summaryrefslogtreecommitdiffstats
path: root/clang/test/Analysis/global_region_invalidation.mm
diff options
context:
space:
mode:
Diffstat (limited to 'clang/test/Analysis/global_region_invalidation.mm')
-rw-r--r--clang/test/Analysis/global_region_invalidation.mm9
1 files changed, 8 insertions, 1 deletions
diff --git a/clang/test/Analysis/global_region_invalidation.mm b/clang/test/Analysis/global_region_invalidation.mm
index 0d7f172b3f3..be337edab11 100644
--- a/clang/test/Analysis/global_region_invalidation.mm
+++ b/clang/test/Analysis/global_region_invalidation.mm
@@ -9,4 +9,11 @@ id foo(int x) {
static id p = foo(1);
clang_analyzer_eval(p == 0); // expected-warning{{TRUE}}
return p;
-} \ No newline at end of file
+}
+
+const int &globalInt = 42;
+
+void testGlobal() {
+ // FIXME: Should be TRUE, but should at least not crash.
+ clang_analyzer_eval(globalInt == 42); // expected-warning{{UNKNOWN}}
+}
OpenPOWER on IntegriCloud