; Test to check for support for "physical subtyping" | |
; | |
; RUN: analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed | |
; | |
%S = type { int } | |
%T = type { int, float, double } | |
int %main() { | |
%A = alloca %S | |
%Ap = getelementptr %S* %A, long 0, ubyte 0 | |
%B = alloca %T | |
%Bp = getelementptr %T* %B, long 0, ubyte 0 | |
%C = alloca int* | |
store int* %Ap, int** %C | |
store int* %Bp, int** %C | |
ret int 0 | |
} |