diff options
| author | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-11 12:33:27 +0000 |
|---|---|---|
| committer | Zhongxing Xu <xuzhongxing@gmail.com> | 2009-11-11 12:33:27 +0000 |
| commit | 4f7759a33966a0398a945b0afa830a09939f59f4 (patch) | |
| tree | ac15ab9f035fcde3f1ccf2d76bf17633667a9908 /clang/test/Analysis/outofbound.c | |
| parent | 3ef93badbe6fbb62c8df82d7bff138a7d8851695 (diff) | |
| download | bcm5719-llvm-4f7759a33966a0398a945b0afa830a09939f59f4.tar.gz bcm5719-llvm-4f7759a33966a0398a945b0afa830a09939f59f4.zip | |
Reimplement out-of-bound array access checker with the new checker interface.
Now only one test case is XFAIL'ed.
llvm-svn: 86834
Diffstat (limited to 'clang/test/Analysis/outofbound.c')
| -rw-r--r-- | clang/test/Analysis/outofbound.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/clang/test/Analysis/outofbound.c b/clang/test/Analysis/outofbound.c index e676ea3b388..102ab59874c 100644 --- a/clang/test/Analysis/outofbound.c +++ b/clang/test/Analysis/outofbound.c @@ -1,8 +1,7 @@ // RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s -// XFAIL: * char f1() { char* s = "abcd"; char c = s[4]; // no-warning - return s[5] + c; // expected-warning{{Load or store into an out-of-bound memory position.}} + return s[5] + c; // expected-warning{{Access out-of-bound array element (buffer overflow)}} } |
