diff options
Diffstat (limited to 'test/Analysis/outofbound.c')
-rw-r--r-- | test/Analysis/outofbound.c | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/test/Analysis/outofbound.c b/test/Analysis/outofbound.c index 891719c1932f2..2e7a7d30d67fa 100644 --- a/test/Analysis/outofbound.c +++ b/test/Analysis/outofbound.c @@ -1,4 +1,4 @@ -// RUN: %clang_cc1 -Wno-array-bounds -analyze -analyzer-checker=core,unix.experimental,security.experimental.ArrayBound -analyzer-store=region -verify %s +// RUN: %clang_cc1 -Wno-array-bounds -analyze -analyzer-checker=core,experimental.unix,experimental.security.ArrayBound -analyzer-store=region -verify %s typedef __typeof(sizeof(int)) size_t; void *malloc(size_t); @@ -63,15 +63,6 @@ void vla(int a) { } } -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}} - } -} - void alloca_region(int a) { if (a == 5) { char *x = __builtin_alloca(a); |