diff options
| -rw-r--r-- | clang/lib/StaticAnalyzer/Core/SValBuilder.cpp | 4 | ||||
| -rw-r--r-- | clang/test/Analysis/casts.cpp | 12 |
2 files changed, 16 insertions, 0 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp b/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp index d615d3f5774..2142f06fef5 100644 --- a/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp +++ b/clang/lib/StaticAnalyzer/Core/SValBuilder.cpp @@ -405,6 +405,10 @@ SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { return val; if (val.isConstant()) return makeTruthVal(!val.isZeroConstant(), castTy); + if (!Loc::isLocType(originalTy) && + !originalTy->isIntegralOrEnumerationType() && + !originalTy->isMemberPointerType()) + return UnknownVal(); if (SymbolRef Sym = val.getAsSymbol(true)) { BasicValueFactory &BVF = getBasicValueFactory(); // FIXME: If we had a state here, we could see if the symbol is known to diff --git a/clang/test/Analysis/casts.cpp b/clang/test/Analysis/casts.cpp new file mode 100644 index 00000000000..339539189ed --- /dev/null +++ b/clang/test/Analysis/casts.cpp @@ -0,0 +1,12 @@ +// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -verify %s +// expected-no-diagnostics + +bool PR14634(int x) { + double y = (double)x; + return !y; +} + +bool PR14634_implicit(int x) { + double y = (double)x; + return y; +} |
