//--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>


static int* test() {
  int* a2 = (int*)malloc(sizeof(int));
  return a2; 
    
}

void func() {

  int *a1 = test();
}