aboutsummaryrefslogtreecommitdiff
path: root/Analysis/ValueState.cpp
diff options
context:
space:
mode:
authorTed Kremenek <kremenek@apple.com>2008-02-19 02:01:16 +0000
committerTed Kremenek <kremenek@apple.com>2008-02-19 02:01:16 +0000
commit72639102e52a49f04ff8d9d02aa84e8b2d2a2cc2 (patch)
treea8370c8a7c4059f2ac0627a621c31deed2ddd344 /Analysis/ValueState.cpp
parentde43424560f1a744de6214dab6bbee28ad8437f5 (diff)
Added back explicit state/node creation when visiting IntegerLiterals and
CharacterLiterals. This may not be a permanent solution; it doesn't cost that much, however, to create a few additional states, and solves a whole bunch of edge cases when handling ?, ||, and &&. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47299 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Analysis/ValueState.cpp')
-rw-r--r--Analysis/ValueState.cpp3
1 files changed, 2 insertions, 1 deletions
diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index 0f29def4a0..963864662a 100644
--- a/Analysis/ValueState.cpp
+++ b/Analysis/ValueState.cpp
@@ -232,7 +232,7 @@ RValue ValueStateManager::GetValue(ValueState St, Expr* E, bool* hasVal) {
// Integer literals evaluate to an RValue. Simply retrieve the
// RValue for the literal.
-
+#if 0
case Stmt::IntegerLiteralClass:
return NonLValue::GetValue(ValMgr, cast<IntegerLiteral>(E));
@@ -242,6 +242,7 @@ RValue ValueStateManager::GetValue(ValueState St, Expr* E, bool* hasVal) {
return NonLValue::GetValue(ValMgr, C->getValue(), C->getType(),
C->getLoc());
}
+#endif
// Casts where the source and target type are the same
// are no-ops. We blast through these to get the descendant