diff options
| author | rdivacky <rdivacky@FreeBSD.org> | 2009-11-18 14:59:57 +0000 |
|---|---|---|
| committer | rdivacky <rdivacky@FreeBSD.org> | 2009-11-18 14:59:57 +0000 |
| commit | 741c13ecc20fb35b836ad690aeecd402f002d654 (patch) | |
| tree | 60a1694bec5a44d15456acc880cb2f91619f66aa /test/Analysis/outofbound.c | |
| parent | b3a51061b1b9c4add078237850649f7c9efb13ab (diff) | |
| download | FreeBSD-src-741c13ecc20fb35b836ad690aeecd402f002d654.zip FreeBSD-src-741c13ecc20fb35b836ad690aeecd402f002d654.tar.gz | |
Update clang to r89205.
Diffstat (limited to 'test/Analysis/outofbound.c')
| -rw-r--r-- | test/Analysis/outofbound.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/Analysis/outofbound.c b/test/Analysis/outofbound.c index e676ea3..d1a07ab 100644 --- a/test/Analysis/outofbound.c +++ b/test/Analysis/outofbound.c @@ -1,8 +1,7 @@ -// RUN: clang-cc -analyze -checker-cfref -analyzer-store=region -verify %s -// XFAIL: * +// RUN: clang-cc -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -verify %s 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)}} } |
