blob: 606a3543c2639ebd6ac1929e8fd6cc62f4a27fd2 [file] [log] [blame]
//--Make sure we can run DSA on it!
//RUN: llvm-gcc %s -c --emit-llvm -o - | \
//RUN: dsaopt -dsa-bu -dsa-td -disable-output
#include <stdlib.h>
int*test1(int *b3) {
return b3+1;
}
int* test() {
int* a2 = (int*)malloc(sizeof(int));
*a2 = 10;
if(*a2 > 5 ) {
return test();
}
int *b2 = (int*)malloc(sizeof(int));
return test1(b2);
}
void func() {
int *a1 = test();
int *b1 = test();
}