diff options
| author | Ted Kremenek <kremenek@apple.com> | 2013-01-11 23:36:25 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2013-01-11 23:36:25 +0000 |
| commit | 4e9a2dbde51fa5c6efc6dca4ee4d0296101ec676 (patch) | |
| tree | 03f6cf1d9fcc6390021e40610a4f832324b73b00 /clang/test/Analysis | |
| parent | 19dfc93912bf0196fb2dcf18644a511eaf7be869 (diff) | |
| download | bcm5719-llvm-4e9a2dbde51fa5c6efc6dca4ee4d0296101ec676.tar.gz bcm5719-llvm-4e9a2dbde51fa5c6efc6dca4ee4d0296101ec676.zip | |
Refine analyzer's handling of unary '!' and floating types to not assert.
Fixes PR 14634 and <rdar://problem/12903080>.
llvm-svn: 172274
Diffstat (limited to 'clang/test/Analysis')
| -rw-r--r-- | clang/test/Analysis/misc-ps.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/clang/test/Analysis/misc-ps.c b/clang/test/Analysis/misc-ps.c index ef65e0d731c..5369ab10615 100644 --- a/clang/test/Analysis/misc-ps.c +++ b/clang/test/Analysis/misc-ps.c @@ -157,3 +157,9 @@ void PR14635(int *p) { *p = a || b; // expected-warning {{Assigned value is garbage or undefined}} } +// Test handling floating point values with unary '!'. +int PR14634(int x) { + double y = (double)x; + return !y; +} + |
