29dff0d4fb
This is a similar commit to D124442, but for CFG dumps. The binary size diff remained the same demonstrated in that patch. This time I'm adding tests for demonstrating that all the dump debug checkers work - even in regular builds without asserts. Reviewed By: martong Differential Revision: https://reviews.llvm.org/D124443
52 lines
1.9 KiB
C++
52 lines
1.9 KiB
C++
// 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;
|
|
}
|