diff options
| author | Jordan Rose <jordan_rose@apple.com> | 2013-05-02 19:51:20 +0000 |
|---|---|---|
| committer | Jordan Rose <jordan_rose@apple.com> | 2013-05-02 19:51:20 +0000 |
| commit | 4b75085f5669efc6407c662b5686361624c3ff2f (patch) | |
| tree | 959f9cebb4a939a426b72fd52f2aa66605c048fc /include/clang/StaticAnalyzer/Core | |
| parent | 4e3b54b4acb4dd926ca50d7f06c8265d1d24ba79 (diff) | |
[analyzer] Don't try to evaluate MaterializeTemporaryExpr as a constant.
...and don't consider '0' to be a null pointer constant if it's the
initializer for a float!
Apparently null pointer constant evaluation looks through both
MaterializeTemporaryExpr and ImplicitCastExpr, so we have to be more
careful about types in the callers. For RegionStore this just means giving
up a little more; for ExprEngine this means handling the
MaterializeTemporaryExpr case explicitly.
Follow-up to r180894.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@180944 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/clang/StaticAnalyzer/Core')
| -rw-r--r-- | include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h b/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h index 713a6d5933..bbb56885af 100644 --- a/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h +++ b/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h @@ -206,9 +206,6 @@ public: /// manner. /// /// If \p E is not a constant or cannot be modeled, returns \c None. - /// - /// Note that this function always treats \p E as a prvalue. Callers should - /// check to see if \p E is a glvalue and modify their behavior accordingly. Optional<SVal> getConstantVal(const Expr *E); NonLoc makeCompoundVal(QualType type, llvm::ImmutableList<SVal> vals) { |