test/Analysis/DSGraph/2003-06-29-IncompleteTDPass.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

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