| ; RUN: analyze %s -datastructure-gc -dsgc-dspass=td -dsgc-check-flags=Ptr:HR | |
| int %main() { | |
| call void %A() | |
| call void %B() | |
| ret int 0 | |
| } | |
| internal void %A() { | |
| %V = malloc int | |
| call void %Callee(int* %V) | |
| ret void | |
| } | |
| internal void %B() { | |
| %V = malloc int | |
| call void %Callee(int* %V) | |
| ret void | |
| } | |
| internal void %Callee(int* %Ptr) { | |
| load int* %Ptr | |
| ret void | |
| } |