diff options
| author | rdivacky <rdivacky@FreeBSD.org> | 2010-07-13 17:21:42 +0000 |
|---|---|---|
| committer | rdivacky <rdivacky@FreeBSD.org> | 2010-07-13 17:21:42 +0000 |
| commit | 1928da94b55683957759d5c5ff4593a118773394 (patch) | |
| tree | 48b44512b5db8ced345df4a1a56b5065cf2a14d9 /test/Analysis/outofbound.c | |
| parent | 53992adde3eda3ccf9da63bc7e45673f043de18f (diff) | |
| download | FreeBSD-src-1928da94b55683957759d5c5ff4593a118773394.zip FreeBSD-src-1928da94b55683957759d5c5ff4593a118773394.tar.gz | |
Update clang to r108243.
Diffstat (limited to 'test/Analysis/outofbound.c')
| -rw-r--r-- | test/Analysis/outofbound.c | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/test/Analysis/outofbound.c b/test/Analysis/outofbound.c index e1ff66c..9b48730 100644 --- a/test/Analysis/outofbound.c +++ b/test/Analysis/outofbound.c @@ -2,6 +2,7 @@ typedef __typeof(sizeof(int)) size_t; void *malloc(size_t); +void *calloc(size_t, size_t); char f1() { char* s = "abcd"; @@ -36,3 +37,37 @@ void f4() { p[1] = a; // no-warning p[2] = a; // expected-warning{{Access out-of-bound array element (buffer overflow)}} } + +void f5() { + char *p = calloc(2,2); + p[3] = '.'; // no-warning + p[4] = '!'; // expected-warning{{out-of-bound}} +} + +void f6() { + char a[2]; + int *b = (int*)a; + b[1] = 3; // expected-warning{{out-of-bound}} +} + +void f7() { + struct three_words a; + a.c[3] = 1; // expected-warning{{out-of-bound}} +} + +void vla(int a) { + if (a == 5) { + int x[a]; + x[4] = 4; // no-warning + x[5] = 5; // expected-warning{{out-of-bound}} + } +} + +void sizeof_vla(int a) { + if (a == 5) { + char x[a]; + int y[sizeof(x)]; + y[4] = 4; // no-warning + y[5] = 5; // expected-warning{{out-of-bound}} + } +} |
