diff options
| -rw-r--r-- | clang/test/Analysis/ptr-arith.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/clang/test/Analysis/ptr-arith.c b/clang/test/Analysis/ptr-arith.c index f77d7f5ee5a..fd780e8e106 100644 --- a/clang/test/Analysis/ptr-arith.c +++ b/clang/test/Analysis/ptr-arith.c @@ -55,3 +55,8 @@ void f5() { int a[10]; p = a + 1; // no-warning } + +// Allow arithmetic on different symbolic regions. +void f6(int *p, int *q) { + int d = q - p; // no-warning +} |
