clang/test/Analysis/pointer-escape-on-conservative-calls.c

   1 // RUN: %clang_cc1 -analyze -analyzer-checker=debug.AnalysisOrder -analyzer-config debug.AnalysisOrder:PointerEscape=true -analyzer-config debug.AnalysisOrder:PostCall=true %s 2>&1 | FileCheck %s
   2
   3
   4 void f(int *);
   5 int *getMem(void);
   6
   7 int main(void) {
   8     f(getMem());
   9     return 0;
  10 }
  11
  12 // CHECK: PostCall (f)
  13 // CHECK-NEXT: PointerEscape