SimpleSValBuilder.cpp File Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/AnalysisManager.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValVisitor.h"

Include dependency graph for SimpleSValBuilder.cpp:

Go to the source code of this file.

Functions
static bool	isInRelation (BinaryOperator::Opcode Rel, SymbolRef Sym, llvm::APSInt Bound, ProgramStateRef State)
static bool	isWithinConstantOverflowBounds (SymbolRef Sym, ProgramStateRef State)
static bool	isWithinConstantOverflowBounds (llvm::APSInt I)
static std::pair< SymbolRef, llvm::APSInt >	decomposeSymbol (SymbolRef Sym, BasicValueFactory &BV)
static NonLoc	doRearrangeUnchecked (ProgramStateRef State, BinaryOperator::Opcode Op, SymbolRef LSym, llvm::APSInt LInt, SymbolRef RSym, llvm::APSInt RInt)
static bool	shouldRearrange (ProgramStateRef State, BinaryOperator::Opcode Op, SymbolRef Sym, llvm::APSInt Int, QualType Ty)
static Optional< NonLoc >	tryRearrange (ProgramStateRef State, BinaryOperator::Opcode Op, NonLoc Lhs, NonLoc Rhs, QualType ResultTy)
static SVal	evalBinOpFieldRegionFieldRegion (const FieldRegion *LeftFR, const FieldRegion *RightFR, BinaryOperator::Opcode op, QualType resultTy, SimpleSValBuilder &SVB)

Function Documentation

decomposeSymbol()

static std::pair<SymbolRef, llvm::APSInt> decomposeSymbol ( SymbolRef  Sym, BasicValueFactory &  BV  )

static

Definition at line 356 of file SimpleSValBuilder.cpp.

References clang::ento::SymExpr::getType(), and clang::BinaryOperator::isAdditiveOp().

Referenced by tryRearrange().

doRearrangeUnchecked()

static NonLoc doRearrangeUnchecked ( ProgramStateRef  State, BinaryOperator::Opcode  Op, SymbolRef  LSym, llvm::APSInt  LInt, SymbolRef  RSym, llvm::APSInt  RInt  )

static

Definition at line 371 of file SimpleSValBuilder.cpp.

References clang::ento::SVal::castAs(), clang::ento::SValBuilder::evalBinOpNN(), clang::ento::BasicValueFactory::getAPSIntType(), clang::ento::SValBuilder::getBasicValueFactory(), clang::ento::SValBuilder::getConditionType(), clang::ento::SValBuilder::getSymbolManager(), clang::ento::SymbolManager::getSymIntExpr(), clang::ento::SymbolManager::getSymSymExpr(), clang::ento::SymExpr::getType(), clang::BinaryOperator::isAdditiveOp(), clang::BinaryOperator::isComparisonOp(), and clang::BinaryOperator::reverseComparisonOp().

Referenced by tryRearrange().

evalBinOpFieldRegionFieldRegion()

static SVal evalBinOpFieldRegionFieldRegion ( const FieldRegion *  LeftFR, const FieldRegion *  RightFR, BinaryOperator::Opcode  op, QualType  resultTy, SimpleSValBuilder &  SVB  )

static

Definition at line 762 of file SimpleSValBuilder.cpp.

References clang::ento::FieldRegion::getDecl(), clang::FieldDecl::getParent(), clang::ento::SubRegion::getSuperRegion(), and clang::BinaryOperator::isComparisonOp().

isInRelation()

static bool isInRelation ( BinaryOperator::Opcode  Rel, SymbolRef  Sym, llvm::APSInt  Bound, ProgramStateRef  State  )

static

Definition at line 313 of file SimpleSValBuilder.cpp.

References clang::ento::SValBuilder::evalBinOpNN(), clang::ento::SVal::getAs(), and clang::ento::SValBuilder::getConditionType().

Referenced by isWithinConstantOverflowBounds().

isWithinConstantOverflowBounds() [1/2]

static bool isWithinConstantOverflowBounds ( SymbolRef  Sym, ProgramStateRef  State  )

static

Definition at line 330 of file SimpleSValBuilder.cpp.

References clang::ento::BasicValueFactory::getAPSIntType(), clang::ento::SValBuilder::getBasicValueFactory(), clang::ento::APSIntType::getMaxValue(), clang::ento::SymExpr::getType(), isInRelation(), and clang::Type::isSignedIntegerOrEnumerationType().

Referenced by shouldRearrange().

isWithinConstantOverflowBounds() [2/2]

static bool isWithinConstantOverflowBounds ( llvm::APSInt  I )

static

Definition at line 346 of file SimpleSValBuilder.cpp.

shouldRearrange()

static bool shouldRearrange ( ProgramStateRef  State, BinaryOperator::Opcode  Op, SymbolRef  Sym, llvm::APSInt  Int, QualType  Ty  )

static

Definition at line 438 of file SimpleSValBuilder.cpp.

References clang::ento::SymExpr::getType(), clang::BinaryOperator::isComparisonOp(), and isWithinConstantOverflowBounds().

Referenced by tryRearrange().

tryRearrange()

static Optional<NonLoc> tryRearrange ( ProgramStateRef  State, BinaryOperator::Opcode  Op, NonLoc  Lhs, NonLoc  Rhs, QualType  ResultTy  )

static

Definition at line 446 of file SimpleSValBuilder.cpp.

References clang::ento::SVal::castAs(), decomposeSymbol(), doRearrangeUnchecked(), clang::ento::SubEngine::getAnalysisManager(), clang::ento::AnalysisManager::getAnalyzerOptions(), clang::ento::SVal::getAsSymbol(), clang::ento::SValBuilder::getConditionType(), clang::ento::nonloc::LocAsInteger::getLoc(), clang::ento::ProgramStateManager::getOwningEngine(), clang::ento::nonloc::PointerToMember::getPTMData(), clang::ento::SVal::getSubKind(), clang::ento::ProgramStateManager::getSValBuilder(), clang::ento::SymExpr::getType(), getValue(), clang::BinaryOperator::isAdditiveOp(), clang::BinaryOperator::isComparisonOp(), clang::Type::isIntegralOrEnumerationType(), clang::QualType::isNull(), clang::Type::isSignedIntegerOrEnumerationType(), shouldRearrange(), and clang::CodeGen::state.