| 1 | /* A Bison parser, made by GNU Bison 1.875. */ |
|---|---|
| 2 | |
| 3 | // RUN: rm -rf %t.plist |
| 4 | // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-output=plist -o %t.plist -verify %s |
| 5 | // RUN: FileCheck --input-file=%t.plist %s |
| 6 | |
| 7 | // expected-no-diagnostics |
| 8 | int foo() { |
| 9 | int *x = 0; |
| 10 | return *x; // no-warning |
| 11 | } |
| 12 | |
| 13 | // CHECK: <key>diagnostics</key> |
| 14 |