| Zhongxing Xu | bcd2f76 | 2009-02-06 08:56:58 +0000 | [diff] [blame] | 1 | // RUN: clang -analyze -checker-simple -analyzer-store-region -verify %s |
| 2 | |||||
| 3 | // Region store must be enabled for tests in this file. | ||||
| 4 | |||||
| 5 | // Exercise creating ElementRegion with symbolic super region. | ||||
| 6 | void foo(int* p) { | ||||
| 7 | int *x; | ||||
| 8 | int a; | ||||
| 9 | if (p[0] == 1) | ||||
| 10 | x = &a; | ||||
| 11 | if (p[0] == 1) | ||||
| 12 | *x; // no-warning | ||||
| 13 | } | ||||