| Zhongxing Xu | 5f09732 | 2009-03-03 00:28:42 +0000 | [diff] [blame] | 1 | // RUN: clang -analyze -checker-simple -analyzer-store=region -verify %s |
| 2 | |||||
| 3 | void f1() { | ||||
| 4 | int a[10]; | ||||
| 5 | int *p = a; | ||||
| 6 | ++p; | ||||
| 7 | } | ||||
| Zhongxing Xu | 3ae9f34 | 2009-03-11 07:43:49 +0000 | [diff] [blame^] | 8 | |
| 9 | char* foo(); | ||||
| 10 | |||||
| 11 | void f2() { | ||||
| 12 | char *p = foo(); | ||||
| 13 | ++p; | ||||
| 14 | } | ||||