clang
15.0.0git
|
#include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/APSIntType.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SValVisitor.h"
Go to the source code of this file.
Functions | |
static bool | isNegationValuePreserving (const llvm::APSInt &Value, APSIntType ResultType) |
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) |
static void | assertEqualBitWidths (ProgramStateRef State, Loc RhsLoc, Loc LhsLoc) |
|
static |
Definition at line 746 of file SimpleSValBuilder.cpp.
References clang::ASTContext::getTypeSize(), and State.
|
static |
Definition at line 262 of file SimpleSValBuilder.cpp.
References clang::BinaryOperator::isAdditiveOp().
Referenced by tryRearrange().
|
static |
Definition at line 277 of file SimpleSValBuilder.cpp.
References clang::BinaryOperator::isAdditiveOp(), clang::BinaryOperator::isComparisonOp(), clang::BinaryOperator::reverseComparisonOp(), and State.
Referenced by tryRearrange().
|
static |
Definition at line 693 of file SimpleSValBuilder.cpp.
References clang::RecordDecl::fields(), clang::FieldDecl::getParent(), and clang::BinaryOperator::isComparisonOp().
|
static |
Definition at line 219 of file SimpleSValBuilder.cpp.
References State.
Referenced by isWithinConstantOverflowBounds().
|
static |
Definition at line 93 of file SimpleSValBuilder.cpp.
|
static |
Definition at line 252 of file SimpleSValBuilder.cpp.
|
static |
Definition at line 236 of file SimpleSValBuilder.cpp.
References isInRelation(), clang::Type::isSignedIntegerOrEnumerationType(), and State.
Referenced by shouldRearrange().
|
static |
Definition at line 343 of file SimpleSValBuilder.cpp.
References clang::BinaryOperator::isComparisonOp(), isWithinConstantOverflowBounds(), and State.
Referenced by tryRearrange().
|
static |
Definition at line 351 of file SimpleSValBuilder.cpp.
References decomposeSymbol(), doRearrangeUnchecked(), clang::BinaryOperator::isAdditiveOp(), clang::BinaryOperator::isComparisonOp(), clang::QualType::isNull(), clang::Type::isSignedIntegerOrEnumerationType(), shouldRearrange(), and State.