Lines Matching defs:SimpleSValBuilder

1 // SimpleSValBuilder.cpp - A basic SValBuilder -----------------------*- C++ -*-
9 //  This file defines SimpleSValBuilder, a basic implementation of SValBuilder.
25 class SimpleSValBuilder : public SValBuilder {
67   SimpleSValBuilder(llvm::BumpPtrAllocator &alloc, ASTContext &context,
70   ~SimpleSValBuilder() override {}
104   return new SimpleSValBuilder(alloc, context, stateMgr);
128 SVal SimpleSValBuilder::MakeSymIntVal(const SymExpr *LHS,
423 SVal SimpleSValBuilder::evalBinOpNN(ProgramStateRef state,
727                                             SimpleSValBuilder &SVB) {
791 SVal SimpleSValBuilder::evalBinOpLL(ProgramStateRef state,
1082 SVal SimpleSValBuilder::evalBinOpLN(ProgramStateRef state,
1200 const llvm::APSInt *SimpleSValBuilder::getConstValue(ProgramStateRef state,
1211 const llvm::APSInt *SimpleSValBuilder::getConcreteValue(SVal V) {
1221 const llvm::APSInt *SimpleSValBuilder::getKnownValue(ProgramStateRef state,
1226 const llvm::APSInt *SimpleSValBuilder::getMinValue(ProgramStateRef state,
1239 const llvm::APSInt *SimpleSValBuilder::getMaxValue(ProgramStateRef state,
1252 SVal SimpleSValBuilder::simplifyUntilFixpoint(ProgramStateRef State, SVal Val) {
1261 SVal SimpleSValBuilder::simplifySVal(ProgramStateRef State, SVal V) {
1265 SVal SimpleSValBuilder::simplifySValOnce(ProgramStateRef State, SVal V) {