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