| Shih-wei Liao | f8fd82b | 2010-02-10 11:10:31 -0800 | [diff] [blame^] | 1 | // RUN: rm -rf %t |
| 2 | // RUN: %clang_cc1 -analyze -analyzer-output=html -analyzer-check-objc-mem -o %t %s | ||||
| 3 | // RUN: cat %t/*.html | FileCheck %s | ||||
| 4 | |||||
| 5 | // CHECK: <h3>Annotated Source Code</h3> | ||||
| 6 | // CHECK: Dereference of null pointer | ||||
| 7 | |||||
| 8 | void f0(int x) { | ||||
| 9 | int *p = &x; | ||||
| 10 | |||||
| 11 | if (x > 10) { | ||||
| 12 | if (x == 22) | ||||
| 13 | p = 0; | ||||
| 14 | } | ||||
| 15 | |||||
| 16 | *p = 10; | ||||
| 17 | } | ||||
| 18 | |||||
| 19 | |||||