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