diff options
author | Dimitry Andric <dim@FreeBSD.org> | 2013-12-22 00:07:40 +0000 |
---|---|---|
committer | Dimitry Andric <dim@FreeBSD.org> | 2013-12-22 00:07:40 +0000 |
commit | bfef399519ca9b8a4b4c6b563253bad7e0eeffe0 (patch) | |
tree | df8df0b0067b381eab470a3b8f28d14a552a6340 /test/Analysis/reference.cpp | |
parent | 6a0372513edbc473b538d2f724efac50405d6fef (diff) |
Diffstat (limited to 'test/Analysis/reference.cpp')
-rw-r--r-- | test/Analysis/reference.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Analysis/reference.cpp b/test/Analysis/reference.cpp index 1dabe7bc1a3d..bd5eaaa30909 100644 --- a/test/Analysis/reference.cpp +++ b/test/Analysis/reference.cpp @@ -75,6 +75,13 @@ namespace PR13440 { int (&x)[1]; int *m() { return x; } + + void testArrayToPointerDecayWithNonTypedValueRegion() { + int *p = x; + int *q = x; + clang_analyzer_eval(p[0] == q[0]); // expected-warning{{TRUE}} + } + }; void test() { |