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