clang/test/Analysis/debug-checkers.cpp

// 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;
}