diff options
| author | Ted Kremenek <kremenek@apple.com> | 2010-07-29 00:28:33 +0000 |
|---|---|---|
| committer | Ted Kremenek <kremenek@apple.com> | 2010-07-29 00:28:33 +0000 |
| commit | 1008a2a3d5f8d93ad846e22640e5f367db9ecf1f (patch) | |
| tree | 66a7ff59b78d0676c91eb95b77b6ed79a1d6e30b /clang/lib | |
| parent | b59d21c22b7ca8d66f15e7f99f4a1aae9ebe6920 (diff) | |
| download | bcm5719-llvm-1008a2a3d5f8d93ad846e22640e5f367db9ecf1f.tar.gz bcm5719-llvm-1008a2a3d5f8d93ad846e22640e5f367db9ecf1f.zip | |
Remove extraneous guards around the call to getConjuredSymbolVal(). These checks are already done within getConjuredSymbolVal() itself.
llvm-svn: 109707
Diffstat (limited to 'clang/lib')
| -rw-r--r-- | clang/lib/Checker/GRExprEngine.cpp | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/clang/lib/Checker/GRExprEngine.cpp b/clang/lib/Checker/GRExprEngine.cpp index e2d3bd66687..73fc9262605 100644 --- a/clang/lib/Checker/GRExprEngine.cpp +++ b/clang/lib/Checker/GRExprEngine.cpp @@ -3234,8 +3234,8 @@ void GRExprEngine::VisitBinaryOperator(const BinaryOperator* B, // FIXME: Handle structs. QualType T = RHS->getType(); - if ((RightV.isUnknown()||!getConstraintManager().canReasonAbout(RightV)) - && (Loc::IsLocType(T) || (T->isScalarType()&&T->isIntegerType()))) { + if (RightV.isUnknown() ||!getConstraintManager().canReasonAbout(RightV)) + { unsigned Count = Builder->getCurrentBlockCount(); RightV = ValMgr.getConjuredSymbolVal(NULL, B->getRHS(), Count); } @@ -3322,10 +3322,8 @@ void GRExprEngine::VisitBinaryOperator(const BinaryOperator* B, SVal LHSVal; - if ((Result.isUnknown() || - !getConstraintManager().canReasonAbout(Result)) - && (Loc::IsLocType(CTy) - || (CTy->isScalarType() && CTy->isIntegerType()))) { + if (Result.isUnknown() || + !getConstraintManager().canReasonAbout(Result)) { unsigned Count = Builder->getCurrentBlockCount(); |
