Implemented transfer function for unary '~'.
llvm-svn: 46708
diff --git a/clang/Analysis/RValues.cpp b/clang/Analysis/RValues.cpp
index f41051e..2854ee6 100644
--- a/clang/Analysis/RValues.cpp
+++ b/clang/Analysis/RValues.cpp
@@ -138,6 +138,16 @@
}
}
+NonLValue NonLValue::BitwiseComplement(ValueManager& ValMgr) const {
+ switch (getSubKind()) {
+ case ConcreteIntKind:
+ return cast<ConcreteInt>(this)->BitwiseComplement(ValMgr);
+ default:
+ return cast<NonLValue>(InvalidValue());
+ }
+}
+
+
#define NONLVALUE_DISPATCH_CASE(k1,k2,Op)\
case (k1##Kind*NumNonLValueKind+k2##Kind):\
return cast<k1>(*this).Op(ValMgr,cast<k2>(RHS));