| George Karpenkov | 1d3e49e | 2018-02-26 22:14:16 +0000 | [diff] [blame] | 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> | ||||