| Chris Lattner | 4f00818 | 2003-06-30 03:25:53 +0000 | [diff] [blame] | 1 | |
| 2 | ; RUN: analyze %s -datastructure-gc --dsgc-abort-if-merged=Y,BVal | ||||
| 3 | |||||
| 4 | implementation | ||||
| 5 | |||||
| 6 | internal void %F1(int* %X) { | ||||
| 7 | %Y = alloca int | ||||
| 8 | store int 4, int* %Y | ||||
| 9 | %BVal = call int* %F2(int* %Y) | ||||
| 10 | ret void | ||||
| 11 | } | ||||
| 12 | |||||
| 13 | internal int* %F2(int* %A) { | ||||
| 14 | %B = malloc int | ||||
| 15 | store int 4, int* %B | ||||
| 16 | call void %F1(int* %B) | ||||
| 17 | ret int* %B | ||||
| 18 | } | ||||
| 19 | |||||
| 20 | int %main() { | ||||
| 21 | %Q = malloc int | ||||
| 22 | store int 4, int* %Q | ||||
| 23 | call void %F1(int* %Q) | ||||
| 24 | ret int 0 | ||||
| 25 | } | ||||