| Jordan Rose | 7c0a8b5 | 2013-07-12 00:26:14 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -analyze -analyzer-checker=core,debug.ExprInspection %s -std=c++11 -verify |
| 2 | |||||
| 3 | void clang_analyzer_eval(bool); | ||||
| 4 | |||||
| 5 | void test(int x) { | ||||
| 6 | clang_analyzer_eval(&x == __builtin_addressof(x)); // expected-warning{{TRUE}} | ||||
| 7 | } | ||||