| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpDominators %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=DOM-CHECK |
| // DOM-CHECK: Immediate dominance tree (Node#,IDom#) |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpPostDominators %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=POSTDOM-CHECK |
| // POSTDOM-CHECK: Immediate post dominance tree (Node#,IDom#) |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpControlDependencies %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=CTRLDEPS-CHECK |
| // CTRLDEPS-CHECK: Control dependencies (Node#,Dependency#) |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpLiveVars %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=LIVE-VARS-CHECK |
| // LIVE-VARS-CHECK: live variables at block exit |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpLiveExprs %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=LIVE-EXPRS-CHECK |
| // LIVE-EXPRS-CHECK: live expressions at block exit |
| |
| // Skip testing CFGViewer. |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpCFG %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=CFG-CHECK |
| // CFG-CHECK: ENTRY |
| |
| // Skip testing CallGraphViewer. |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.DumpCallGraph %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=CALL-GRAPH-CHECK |
| // CALL-GRAPH-CHECK: --- Call graph Dump --- |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ConfigDumper %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=CONFIG-CHECK |
| // CONFIG-CHECK: [config] |
| |
| // Skip testing ExplodedGraphViewer. |
| |
| // RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ReportStmts %s > %t 2>&1 |
| // RUN: FileCheck --input-file=%t %s -check-prefix=REPORT-STMTS-CHECK |
| // REPORT-STMTS-CHECK: warning: Statement |
| |
| void foo(int *p) { |
| *p = 3; |
| } |
| |
| int bar() { |
| int x; |
| foo(&x); |
| return x; |
| } |