]> granicus.if.org Git - clang/commitdiff
Minor fix in transfer function of '!=' where a 'false' literal should
authorTed Kremenek <kremenek@apple.com>
Tue, 29 Jan 2008 21:27:49 +0000 (21:27 +0000)
committerTed Kremenek <kremenek@apple.com>
Tue, 29 Jan 2008 21:27:49 +0000 (21:27 +0000)
have been 'true'.

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

Analysis/GRConstants.cpp

index 5ef4c0ba3c8691505d969855da80b502c94c0ef7..e846aac45136bc290bfa00cfaf254ac551b3b67a 100644 (file)
@@ -625,7 +625,7 @@ NonLValue LValue::EQ(ValueManager& ValMgr, const LValue& RHS) const {
 
 NonLValue LValue::NE(ValueManager& ValMgr, const LValue& RHS) const {
   if (getSubKind() != RHS.getSubKind())
-    return NonLValue::GetIntTruthValue(ValMgr, false);
+    return NonLValue::GetIntTruthValue(ValMgr, true);
 
   switch (getSubKind()) {
     default: