Lines Matching refs:SValBuilder
51 void SValBuilder::anchor() {} in anchor()
53 SValBuilder::SValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, in SValBuilder() function in SValBuilder
63 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { in makeZeroVal()
78 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
90 nonloc::SymbolVal SValBuilder::makeNonLoc(const llvm::APSInt &lhs, in makeNonLoc()
98 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *lhs, in makeNonLoc()
106 NonLoc SValBuilder::makeNonLoc(const SymExpr *operand, UnaryOperator::Opcode op, in makeNonLoc()
113 nonloc::SymbolVal SValBuilder::makeNonLoc(const SymExpr *operand, in makeNonLoc()
122 SVal SValBuilder::convertToArrayIndex(SVal val) { in convertToArrayIndex()
136 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){ in makeBoolVal()
141 SValBuilder::getRegionValueSymbolVal(const TypedValueRegion *region) { in getRegionValueSymbolVal()
158 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, in conjureSymbolVal()
176 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, in conjureSymbolVal()
195 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, in conjureSymbolVal()
214 SValBuilder::getConjuredHeapSymbolVal(const Expr *E, in getConjuredHeapSymbolVal()
222 SValBuilder::getConjuredHeapSymbolVal(const Expr *E, in getConjuredHeapSymbolVal()
234 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal()
251 SValBuilder::getDerivedRegionValueSymbolVal(SymbolRef parentSymbol, in getDerivedRegionValueSymbolVal()
269 DefinedSVal SValBuilder::getMemberPointer(const NamedDecl *ND) { in getMemberPointer()
285 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { in getFunctionPointer()
289 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block, in getBlockPointer()
301 SValBuilder::getCastedMemRegionVal(const MemRegion *R, QualType Ty) { in getCastedMemRegionVal()
308 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D, in getCXXThis()
315 loc::MemRegionVal SValBuilder::getCXXThis(const CXXRecordDecl *D, in getCXXThis()
322 Optional<SVal> SValBuilder::getConstantVal(const Expr *E) { in getConstantVal()
422 SVal SValBuilder::makeSymExprValNN(BinaryOperator::Opcode Op, in makeSymExprValNN()
447 SVal SValBuilder::evalMinus(NonLoc X) { in evalMinus()
459 SVal SValBuilder::evalComplement(NonLoc X) { in evalComplement()
471 SVal SValBuilder::evalUnaryOp(ProgramStateRef state, UnaryOperator::Opcode opc, in evalUnaryOp()
484 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, in evalBinOp()
534 ConditionTruthVal SValBuilder::areEqual(ProgramStateRef state, SVal lhs, in areEqual()
539 SVal SValBuilder::evalEQ(ProgramStateRef state, SVal lhs, SVal rhs) { in evalEQ()
543 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, in evalEQ()
586 SVal SValBuilder::evalIntegralCast(ProgramStateRef state, SVal val, in evalIntegralCast()
628 SValBuilder &VB;
633 EvalCastVisitor(SValBuilder &VB, QualType CastTy, QualType OriginalTy) in EvalCastVisitor()
1092 SVal SValBuilder::evalCast(SVal V, QualType CastTy, QualType OriginalTy) { in evalCast()