diff options
| author | Dominic Chen <d.c.ddcc@gmail.com> | 2017-07-12 19:37:57 +0000 |
|---|---|---|
| committer | Dominic Chen <d.c.ddcc@gmail.com> | 2017-07-12 19:37:57 +0000 |
| commit | 35610d21b294d4cdc1fc0f3f69f348b291fa6c89 (patch) | |
| tree | 819b613c77ed09130b872b4fd8f29bce6c41309d /clang/test/Analysis/range_casts.c | |
| parent | 969518b442037aaae89e7370ba305932a150040d (diff) | |
| download | bcm5719-llvm-35610d21b294d4cdc1fc0f3f69f348b291fa6c89.tar.gz bcm5719-llvm-35610d21b294d4cdc1fc0f3f69f348b291fa6c89.zip | |
[analyzer] Support generating and reasoning over more symbolic constraint types
Summary: Generate more IntSymExpr constraints, perform SVal simplification for IntSymExpr and SymbolCast constraints, and create fully symbolic SymExprs
Reviewers: zaks.anna, dcoughlin, NoQ, xazax.hun
Subscribers: mgorny, cfe-commits
Differential Revision: https://reviews.llvm.org/D28953
llvm-svn: 307833
Diffstat (limited to 'clang/test/Analysis/range_casts.c')
| -rw-r--r-- | clang/test/Analysis/range_casts.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/clang/test/Analysis/range_casts.c b/clang/test/Analysis/range_casts.c index a01ab5d5209..b567840cf72 100644 --- a/clang/test/Analysis/range_casts.c +++ b/clang/test/Analysis/range_casts.c @@ -67,8 +67,8 @@ void f7(long foo) { unsigned index = -1; if (index < foo) index = foo; - if (index - 1 == 0) // Was not reached prior fix. - clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} + if (index - 1 == 0) + clang_analyzer_warnIfReached(); // no-warning else clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} } @@ -87,8 +87,8 @@ void f9(long foo) { unsigned index = -1; if (index < foo) index = foo; - if (index - 1L == 0L) // Was not reached prior fix. - clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} + if (index - 1L == 0L) + clang_analyzer_warnIfReached(); // no-warning else clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} } @@ -117,8 +117,8 @@ void f12(long foo) { unsigned index = -1; if (index < foo) index = foo; - if (index - 1UL == 0L) // Was not reached prior fix. - clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} + if (index - 1UL == 0L) + clang_analyzer_warnIfReached(); // no-warning else clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} } |
