diff options
Diffstat (limited to 'test/Analysis/out-of-bounds.c')
| -rw-r--r-- | test/Analysis/out-of-bounds.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/Analysis/out-of-bounds.c b/test/Analysis/out-of-bounds.c index ac2cdc82..a97bba5 100644 --- a/test/Analysis/out-of-bounds.c +++ b/test/Analysis/out-of-bounds.c @@ -128,13 +128,11 @@ void test2_multi_ok(int x) { buf[0][0] = 1; // no-warning } -// *** FIXME *** -// We don't get a warning here yet because our symbolic constraint solving -// doesn't handle: (symbol * constant) < constant +// Testing if solver handles (symbol * constant) < constant void test3(int x) { int buf[100]; if (x < 0) - buf[x] = 1; + buf[x] = 1; // expected-warning {{Out of bound memory access (accessed memory precedes memory block)}} } // *** FIXME *** |
