blob: 385e0843bd6c3a9a356cd7b6fa67b273160b785b [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* test() {
int* a2 = (int*)malloc(sizeof(int));
*a2 = 10;
if(*a2 > 5 ) {
return test();
}
int *b2 = (int*)malloc(sizeof(int));
return b2;
}
void func() {
int *a1 = test();
int *b1 = test();
}