Lines Matching defs:SValBuilder

1 //===- SValBuilder.cpp - Basic class for all SValBuilder implementations --===//
9 //  This file defines SValBuilder, the base class for all (complete) SValBuilder
14 #include "clang/StaticAnalyzer/Core/PathSensitive/SValBuilder.h"
50 void SValBuilder::anchor() {}
52 SValBuilder::SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context,
62 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) {
77 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs,
85 nonloc::SymbolVal SValBuilder::makeNonLoc(APSIntPtr lhs,
93 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs,
101 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op,
108 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *operand,
117 SVal SValBuilder::convertToArrayIndex(SVal val) {
132 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){
137 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion *region) {
154 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag,
172 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag,
191 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt,
209 DefinedSVal SValBuilder::getConjuredHeapSymbolVal(const Expr *E,
216 DefinedSVal SValBuilder::getConjuredHeapSymbolVal(const Expr *E,
232 loc::MemRegionVal SValBuilder::getAllocaRegionVal(const Expr *E,
240 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag,
257 SValBuilder::getDerivedRegionValueSymbolVal(SymbolRef parentSymbol,
275 DefinedSVal SValBuilder::getMemberPointer(const NamedDecl *ND) {
291 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) {
295 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block,
307 SValBuilder::getCastedMemRegionVal(const MemRegion *R, QualType Ty) {
314 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D,
321 loc::MemRegionVal SValBuilder::getCXXThis(const CXXRecordDecl *D,
328 std::optional<SVal> SValBuilder::getConstantVal(const Expr *E) {
427 SVal SValBuilder::makeSymExprValNN(BinaryOperator::Opcode Op,
454 SVal SValBuilder::evalMinus(NonLoc X) {
466 SVal SValBuilder::evalComplement(NonLoc X) {
478 SVal SValBuilder::evalUnaryOp(ProgramStateRef state, UnaryOperator::Opcode opc,
491 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
541 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs,
546 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) {
550 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state,
593 SVal SValBuilder::evalIntegralCast(ProgramStateRef state, SVal val,
633   SValBuilder &VB;
638   EvalCastVisitor(SValBuilder &VB, QualType CastTy, QualType OriginalTy)
1102 SVal SValBuilder::evalCast(SVal V, QualType CastTy, QualType OriginalTy) {