blob: 234edd762503a42a5b8a16fa294610f5b549f559 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
// 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;
}
|
