| Shih-wei Liao | f8fd82b | 2010-02-10 11:10:31 -0800 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -analyzer-check-objc-mem -analyzer-store=region -analyzer-constraints=range -verify %s |
| 2 | |||||
| 3 | void f1() { | ||||
| 4 | int const &i = 3; | ||||
| 5 | int b = i; | ||||
| 6 | |||||
| 7 | int *p = 0; | ||||
| 8 | |||||
| 9 | if (b != 3) | ||||
| 10 | *p = 1; // no-warning | ||||
| 11 | } | ||||