diff options
Diffstat (limited to 'clang/test/Analysis/global_region_invalidation.mm')
-rw-r--r-- | clang/test/Analysis/global_region_invalidation.mm | 9 |
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}} +} |