11 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core \2// RUN: -analyzer-checker=debug.ExprInspection -verify %s3 4void clang_analyzer_dump(bool);5 6void foo(int &x) {7 int *p = &x; // 'p' is the same SVal as 'x'8 bool b = p;9 clang_analyzer_dump(b); // expected-warning {{1 U1b}}10}11