diff options
| -rw-r--r-- | test/Analysis/ptr-arith.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/Analysis/ptr-arith.c b/test/Analysis/ptr-arith.c new file mode 100644 index 0000000000..a8d03eb3d8 --- /dev/null +++ b/test/Analysis/ptr-arith.c @@ -0,0 +1,7 @@ +// RUN: clang -analyze -checker-simple -analyzer-store=region -verify %s + +void f1() { + int a[10]; + int *p = a; + ++p; +} |