| Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -analyze -checker-simple -analyzer-store=region -verify %s |
| Zhongxing Xu | bcd2f76 | 2009-02-06 08:56:58 +0000 | [diff] [blame] | 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 | } | ||||