Lines Matching refs:SimpleSValBuilder
23 class SimpleSValBuilder : public SValBuilder { class
61 SimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context, in SimpleSValBuilder() function in __anon06fa25860111::SimpleSValBuilder
64 ~SimpleSValBuilder() override {} in ~SimpleSValBuilder()
88 return new SimpleSValBuilder(alloc, context, stateMgr); in createSimpleSValBuilder()
112 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS, in MakeSymIntVal()
406 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state, in evalBinOpNN()
697 SimpleSValBuilder &SVB) { in evalBinOpFieldRegionFieldRegion()
762 SVal SimpleSValBuilder::evalBinOpLL(ProgramStateRef state, in evalBinOpLL()
1052 SVal SimpleSValBuilder::evalBinOpLN(ProgramStateRef state, in evalBinOpLN()
1168 const llvm::APSInt *SimpleSValBuilder::getConstValue(ProgramStateRef state, in getConstValue()
1185 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state, in getKnownValue()
1190 SVal SimpleSValBuilder::simplifyUntilFixpoint(ProgramStateRef State, SVal Val) { in simplifyUntilFixpoint()
1199 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) { in simplifySVal()
1203 SVal SimpleSValBuilder::simplifySValOnce(ProgramStateRef State, SVal V) { in simplifySValOnce()