| ; 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 | |
| } |