commit c3f261de2d3a48d412ec4a9ce44b3b4a3982dddb
author Ted Kremenek <kremenek@apple.com> Thu Feb 14 18:40:24 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Feb 14 18:40:24 2008 +0000
tree cf0e9d0ef4607261e47684048a5ae7842d71c983
parent d59cccc0b6cd4485897526699fe98514805c1883

Migrated transfer functions for unary "~" and "-" to GRTransferFuncs/GRSimpleVals.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@47126 91177308-0d34-0410-b5e6-96231b3b80d8

Analysis/GRExprEngine.cpp

diff --git a/Analysis/GRExprEngine.cpp b/Analysis/GRExprEngine.cpp
index 3ff4c4b..9ec43d9 100644
--- a/Analysis/GRExprEngine.cpp
+++ b/Analysis/GRExprEngine.cpp
@@ -325,6 +325,14 @@
     return TF.EvalCast(ValMgr, R, CastExpr);
   }
   
+  inline NonLValue EvalMinus(ValueManager& ValMgr, UnaryOperator* U,
+                              NonLValue X) {
+    return TF.EvalMinus(ValMgr, U, X);    
+  }
+  
+  inline NonLValue EvalComplement(ValueManager& ValMgr, NonLValue X) {
+    return TF.EvalComplement(ValMgr, X);
+  }
 };
 } // end anonymous namespace
 
@@ -839,13 +847,13 @@
         
       case UnaryOperator::Minus: {
         const NonLValue& R1 = cast<NonLValue>(GetValue(St, U->getSubExpr()));
-        Nodify(Dst, U, N1, SetValue(St, U, R1.EvalMinus(ValMgr, U)));
+        Nodify(Dst, U, N1, SetValue(St, U, EvalMinus(ValMgr, U, R1)));
         break;
       }
         
       case UnaryOperator::Not: {
         const NonLValue& R1 = cast<NonLValue>(GetValue(St, U->getSubExpr()));
-        Nodify(Dst, U, N1, SetValue(St, U, R1.EvalComplement(ValMgr)));
+        Nodify(Dst, U, N1, SetValue(St, U, EvalComplement(ValMgr, R1)));
         break;
       }
         

Analysis/GRSimpleVals.cpp

diff --git a/Analysis/GRSimpleVals.cpp b/Analysis/GRSimpleVals.cpp
index 447eb44..a2711c7 100644
--- a/Analysis/GRSimpleVals.cpp
+++ b/Analysis/GRSimpleVals.cpp
@@ -56,4 +56,26 @@
   V.extOrTrunc(ValMgr.getContext().getTypeSize(T, CastExpr->getLocStart()));
 
   return nonlval::ConcreteInt(ValMgr.getValue(V));
-}
\ No newline at end of file
+}
+
+// Unary operators.
+
+NonLValue GRSimpleVals::EvalMinus(ValueManager& ValMgr, UnaryOperator* U,
+                                  NonLValue X) {
+  
+  switch (X.getSubKind()) {
+    case nonlval::ConcreteIntKind:
+      return cast<nonlval::ConcreteInt>(X).EvalMinus(ValMgr, U);
+    default:
+      return cast<NonLValue>(UnknownVal());
+  }
+}
+
+NonLValue GRSimpleVals::EvalComplement(ValueManager& ValMgr, NonLValue X) {
+  switch (X.getSubKind()) {
+    case nonlval::ConcreteIntKind:
+      return cast<nonlval::ConcreteInt>(X).EvalComplement(ValMgr);
+    default:
+      return cast<NonLValue>(UnknownVal());
+  }
+}

Analysis/GRSimpleVals.h

diff --git a/Analysis/GRSimpleVals.h b/Analysis/GRSimpleVals.h
index 4c9c689..373be30 100644
--- a/Analysis/GRSimpleVals.h
+++ b/Analysis/GRSimpleVals.h
@@ -25,8 +25,17 @@
   GRSimpleVals() {}
   virtual ~GRSimpleVals() {}
   
+  // Casts.
+  
   virtual RValue EvalCast(ValueManager& ValMgr, NonLValue V, Expr* CastExpr);
   virtual RValue EvalCast(ValueManager& ValMgr, LValue V, Expr* CastExpr);
+  
+  // Unary Operators.
+  
+  virtual NonLValue EvalMinus(ValueManager& ValMgr, UnaryOperator* U,
+                              NonLValue X);
+  
+  virtual NonLValue EvalComplement(ValueManager& ValMgr, NonLValue X);
 };
   
   

Analysis/RValues.cpp

diff --git a/Analysis/RValues.cpp b/Analysis/RValues.cpp
index 06d2955..17425af 100644
--- a/Analysis/RValues.cpp
+++ b/Analysis/RValues.cpp
@@ -243,14 +243,6 @@
 
   // Bitwise-Complement.
 
-NonLValue NonLValue::EvalComplement(ValueManager& ValMgr) const {
-  switch (getSubKind()) {
-    case nonlval::ConcreteIntKind:
-      return cast<nonlval::ConcreteInt>(this)->EvalComplement(ValMgr);
-    default:
-      return cast<NonLValue>(UnknownVal());
-  }
-}
 
 nonlval::ConcreteInt
 nonlval::ConcreteInt::EvalComplement(ValueManager& ValMgr) const {
@@ -259,15 +251,6 @@
 
   // Unary Minus.
 
-NonLValue NonLValue::EvalMinus(ValueManager& ValMgr, UnaryOperator* U) const {
-  switch (getSubKind()) {
-    case nonlval::ConcreteIntKind:
-      return cast<nonlval::ConcreteInt>(this)->EvalMinus(ValMgr, U);
-    default:
-      return cast<NonLValue>(UnknownVal());
-  }
-}
-
 nonlval::ConcreteInt
 nonlval::ConcreteInt::EvalMinus(ValueManager& ValMgr, UnaryOperator* U) const {
   assert (U->getType() == U->getSubExpr()->getType());