1 ; Test to check for support for "physical subtyping"
3 ; RUN: analyze %s -datastructure-gc -dsgc-abort-if-any-collapsed
6 %T = type { int, float, double }
10 %Ap = getelementptr %S* %A, long 0, ubyte 0
12 %Bp = getelementptr %T* %B, long 0, ubyte 0
15 store int* %Ap, int** %C
16 store int* %Bp, int** %C