diff options
Diffstat (limited to 'test/Analysis/malloc-annotations.c')
| -rw-r--r-- | test/Analysis/malloc-annotations.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test/Analysis/malloc-annotations.c b/test/Analysis/malloc-annotations.c index 50a18c5b96..f7904ef092 100644 --- a/test/Analysis/malloc-annotations.c +++ b/test/Analysis/malloc-annotations.c @@ -1,8 +1,10 @@ -// RUN: %clang_analyze_cc1 -analyzer-store=region -verify %s \ +// RUN: %clang_analyze_cc1 -analyzer-store=region -verify \ // RUN: -analyzer-checker=core \ // RUN: -analyzer-checker=alpha.deadcode.UnreachableCode \ -// RUN: -analyzer-checker=alpha.core.CastSize,unix.Malloc \ -// RUN: -analyzer-config unix.Malloc:Optimistic=true +// RUN: -analyzer-checker=alpha.core.CastSize \ +// RUN: -analyzer-checker=unix.Malloc \ +// RUN: -analyzer-config unix.DynamicMemoryModeling:Optimistic=true %s + typedef __typeof(sizeof(int)) size_t; void *malloc(size_t); void free(void *); |