summaryrefslogtreecommitdiff
path: root/clang/test/Analysis/malloc-annotations.c
diff options
context:
space:
mode:
Diffstat (limited to 'clang/test/Analysis/malloc-annotations.c')
-rw-r--r--clang/test/Analysis/malloc-annotations.c11
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