| // 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 | |
| void f(int *); | |
| int *getMem(void); | |
| int main(void) { | |
| f(getMem()); | |
| return 0; | |
| } | |
| // CHECK: PostCall (f) | |
| // CHECK-NEXT: PointerEscape |