From 938a71ff18373802faac05656dfab702c2c99104 Mon Sep 17 00:00:00 2001 From: Benjamin Kramer Date: Mon, 28 May 2012 21:01:59 +0000 Subject: [PATCH] Fix suspicous isIntegerType() check, found by PVS Studio (PR12357). llvm-svn: 157593 --- clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h index 2acb5c1..8856c82 100644 --- a/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h +++ b/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h @@ -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); -- 2.7.4