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