| 1 | // RUN: rm -f %t |
|---|
| 2 | // RUN: %clang_analyze_cc1 -fblocks \ |
|---|
| 3 | // RUN: -analyzer-checker=core,unix.Malloc,unix.cstring.NullArg \ |
|---|
| 4 | // RUN: -analyzer-disable-checker=alpha.unix.cstring.OutOfBounds \ |
|---|
| 5 | // RUN: -analyzer-output=plist -o %t %s |
|---|
| 6 | // RUN: FileCheck -input-file %t %s |
|---|
| 7 | |
|---|
| 8 | typedef __typeof(sizeof(int)) size_t; |
|---|
| 9 | void *malloc(size_t); |
|---|
| 10 | void free(void *); |
|---|
| 11 | char *strncpy(char *restrict s1, const char *restrict s2, size_t n); |
|---|
| 12 | |
|---|
| 13 | |
|---|
| 14 | |
|---|
| 15 | void cstringchecker_bounds_nocrash() { |
|---|
| 16 | char *p = malloc(2); |
|---|
| 17 | strncpy(p, "AAA", sizeof("AAA")); // we don't expect warning as the checker is disabled |
|---|
| 18 | free(p); |
|---|
| 19 | } |
|---|
| 20 | |
|---|
| 21 | // CHECK: <key>diagnostics</key> |
|---|
| 22 | // CHECK-NEXT: <array> |
|---|
| 23 | // CHECK-NEXT: </array> |
|---|
| 24 | // CHECK-NEXT: <key>files</key> |
|---|
| 25 | // CHECK-NEXT: <array> |
|---|
| 26 | // CHECK-NEXT: </array> |
|---|
| 27 | // CHECK-NEXT: </dict> |
|---|
| 28 | // CHECK-NEXT: </plist> |
|---|
| 29 | |
|---|