commit 2cdfd6670e08e1bd6e4c112b1e27a22d4c3b67d1
author Ted Kremenek <kremenek@apple.com> Mon Feb 04 16:58:30 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Mon Feb 04 16:58:30 2008 +0000
tree ac3ec00a10ac9e77095a12ddd07b9b808daf8a7b
parent 0bf88b9a510f0055dfb636562f3ae36fb9b5d9e2

Implemented transfer function for unary '~'.

llvm-svn: 46708

clang/Analysis/RValues.h

diff --git a/clang/Analysis/RValues.h b/clang/Analysis/RValues.h
index c5ad8a5..79202da 100644
--- a/clang/Analysis/RValues.h
+++ b/clang/Analysis/RValues.h
@@ -196,6 +196,7 @@
   NonLValue Div(ValueManager& ValMgr, const NonLValue& RHS) const;
   NonLValue Rem(ValueManager& ValMgr, const NonLValue& RHS) const;
   NonLValue UnaryMinus(ValueManager& ValMgr, UnaryOperator* U) const;
+  NonLValue BitwiseComplement(ValueManager& ValMgr) const;
   
   // Equality operators.
   NonLValue EQ(ValueManager& ValMgr, const NonLValue& RHS) const;
@@ -295,6 +296,10 @@
     return ValMgr.getValue(-getValue()); 
   }
   
+  ConcreteInt BitwiseComplement(ValueManager& ValMgr) const {
+    return ValMgr.getValue(~getValue()); 
+  }
+  
   // Casting.
   
   ConcreteInt Cast(ValueManager& ValMgr, Expr* CastExpr) const {