diff options
Diffstat (limited to 'clang/test/Analysis/malloc-annotations.c')
| -rw-r--r-- | clang/test/Analysis/malloc-annotations.c | 11 |
1 files changed, 1 insertions, 10 deletions
diff --git a/clang/test/Analysis/malloc-annotations.c b/clang/test/Analysis/malloc-annotations.c index 68ac71d51e45..fdfd1d014ded 100644 --- a/clang/test/Analysis/malloc-annotations.c +++ b/clang/test/Analysis/malloc-annotations.c @@ -1,7 +1,7 @@ // RUN: %clang_analyze_cc1 -verify \ +// RUN: -Wno-alloc-size \ // RUN: -analyzer-checker=core \ // RUN: -analyzer-checker=alpha.deadcode.UnreachableCode \ -// RUN: -analyzer-checker=alpha.core.CastSize \ // RUN: -analyzer-checker=unix.Malloc \ // RUN: -analyzer-checker=debug.ExprInspection \ // RUN: -analyzer-config unix.DynamicMemoryModeling:Optimistic=true %s @@ -220,15 +220,6 @@ void f7_realloc(void) { x[0] = 'a'; // expected-warning{{Use of memory after it is released}} } -void PR6123(void) { - int *x = malloc(11); // expected-warning{{Cast a region whose size is not a multiple of the destination type size}} -} - -void PR7217(void) { - int *buf = malloc(2); // expected-warning{{Cast a region whose size is not a multiple of the destination type size}} - buf[1] = 'c'; // not crash -} - void mallocCastToVoid(void) { void *p = malloc(2); const void *cp = p; // not crash |
