diff options
Diffstat (limited to 'test/Analysis/ptr-arith.c')
| -rw-r--r-- | test/Analysis/ptr-arith.c | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/Analysis/ptr-arith.c b/test/Analysis/ptr-arith.c index 35faff4..4a15bc2 100644 --- a/test/Analysis/ptr-arith.c +++ b/test/Analysis/ptr-arith.c @@ -280,3 +280,19 @@ void canonical_equal(int *lhs, int *rhs) { // FIXME: Should be FALSE. clang_analyzer_eval(rhs == lhs); // expected-warning{{UNKNOWN}} } + +void compare_element_region_and_base(int *p) { + int *q = p - 1; + clang_analyzer_eval(p == q); // expected-warning{{FALSE}} +} + +struct Point { + int x; + int y; +}; +void symbolicFieldRegion(struct Point *points, int i, int j) { + clang_analyzer_eval(&points[i].x == &points[j].x);// expected-warning{{UNKNOWN}} + clang_analyzer_eval(&points[i].x == &points[i].y);// expected-warning{{FALSE}} + clang_analyzer_eval(&points[i].x < &points[i].y);// expected-warning{{TRUE}} +} + |
