| Ted Kremenek | 6c07bdb | 2009-06-26 00:05:51 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -analyze -checker-cfref -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) |
| Anders Carlsson | 9668b1f | 2009-07-30 22:37:41 +0000 | [diff] [blame] | 12 | (void)*x; // no-warning |
| Zhongxing Xu | bcd2f76 | 2009-02-06 08:56:58 +0000 | [diff] [blame] | 13 | } |