| 1 | // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist -o %t %s |
|---|---|
| 2 | // RUN: cat %t | %diff_plist %S/Inputs/expected-plists/undef-value-caller.c.plist - |
| 3 | |
| 4 | #include "undef-value-callee.h" |
| 5 | |
| 6 | // This code used to cause a crash since we were not adding fileID of the header to the plist diagnostic. |
| 7 | |
| 8 | int test_calling_unimportant_callee(int argc, char *argv[]) { |
| 9 | int x; |
| 10 | callee(); |
| 11 | return x; // expected-warning {{Undefined or garbage value returned to caller}} |
| 12 | } |
| 13 | |
| 14 |