| Zhongxing Xu | bc37b8d | 2010-01-09 09:16:47 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -analyze -analyzer-experimental-internal-checks -checker-cfref -analyzer-store=region -analyzer-constraints=range -verify %s |
| 2 | |||||
| 3 | void f1() { | ||||
| 4 | int const &i = 3; | ||||
| 5 | int b = i; | ||||
| Zhongxing Xu | 3cd8bd4 | 2010-01-10 02:52:56 +0000 | [diff] [blame^] | 6 | |
| 7 | int *p = 0; | ||||
| 8 | |||||
| 9 | if (b != 3) | ||||
| 10 | *p = 1; // no-warning | ||||
| Zhongxing Xu | bc37b8d | 2010-01-09 09:16:47 +0000 | [diff] [blame] | 11 | } |