Fix suspicous isIntegerType() check, found by PVS Studio (PR12357).
authorBenjamin Kramer <benny.kra@googlemail.com>
Mon, 28 May 2012 21:01:59 +0000 (21:01 +0000)
committerBenjamin Kramer <benny.kra@googlemail.com>
Mon, 28 May 2012 21:01:59 +0000 (21:01 +0000)
llvm-svn: 157593

clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h

index 2acb5c1..8856c82 100644 (file)
@@ -78,7 +78,7 @@ public:
     // FIXME: Remove the second disjunct when we support symbolic
     // truncation/extension.
     return (Context.getCanonicalType(Ty1) == Context.getCanonicalType(Ty2) ||
-            (Ty2->isIntegerType() && Ty2->isIntegerType()));
+            (Ty1->isIntegerType() && Ty2->isIntegerType()));
   }
 
   SVal evalCast(SVal val, QualType castTy, QualType originalType);