| Adam Balogh | bf966f5 | 2018-07-13 13:44:44 +0000 | [diff] [blame] | 1 | // RUN: rm -f %t |
| Kristof Umann | c83b0dd | 2018-11-02 15:48:10 +0000 | [diff] [blame] | 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 |
| Adam Balogh | bf966f5 | 2018-07-13 13:44:44 +0000 | [diff] [blame] | 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> |
| George Karpenkov | 8a88c83 | 2018-09-07 21:58:24 +0000 | [diff] [blame] | 24 | // CHECK-NEXT: <key>files</key> |
| 25 | // CHECK-NEXT: <array> |
| 26 | // CHECK-NEXT: </array> |
| Adam Balogh | bf966f5 | 2018-07-13 13:44:44 +0000 | [diff] [blame] | 27 | // CHECK-NEXT: </dict> |
| 28 | // CHECK-NEXT: </plist> |