1 | // RUN: %clang_analyze_cc1 -analyzer-checker core,unix.Malloc -analyzer-output=plist -o %t.plist -verify %s |
---|---|
2 | // RUN: FileCheck --input-file=%t.plist %s |
3 | |
4 | void free(void *); |
5 | void (*fnptr)(int); |
6 | void foo() { |
7 | free((void *)fnptr); // expected-warning{{Argument to free() is a function pointer}} |
8 | } |
9 | |
10 | // Make sure the bug category is correct. |
11 | // CHECK: <key>category</key><string>Memory error</string> |
12 |