213 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU,  in ExprEngine()  function in ExprEngine
236 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) {  in getInitialState()
313 ProgramStateRef ExprEngine::createTemporaryRegionIfNeeded(  in createTemporaryRegionIfNeeded()
463 ProgramStateRef ExprEngine::setIndexOfElementToConstruct(  in setIndexOfElementToConstruct()
473 Optional<unsigned> ExprEngine::getPendingInitLoop(ProgramStateRef State,  in getPendingInitLoop()
481 ProgramStateRef ExprEngine::removePendingInitLoop(ProgramStateRef State,  in removePendingInitLoop()
490 ProgramStateRef ExprEngine::setPendingInitLoop(ProgramStateRef State,  in setPendingInitLoop()
502 ExprEngine::getIndexOfElementToConstruct(ProgramStateRef State,  in getIndexOfElementToConstruct()
511 ExprEngine::removeIndexOfElementToConstruct(ProgramStateRef State,  in removeIndexOfElementToConstruct()
521 ExprEngine::addObjectUnderConstruction(ProgramStateRef State,  in addObjectUnderConstruction()
561 ExprEngine::getObjectUnderConstruction(ProgramStateRef State,  in getObjectUnderConstruction()
569 ExprEngine::finishObjectConstruction(ProgramStateRef State,  in finishObjectConstruction()
577 ProgramStateRef ExprEngine::elideDestructor(ProgramStateRef State,  in elideDestructor()
587 ExprEngine::cleanupElidedDestructor(ProgramStateRef State,  in cleanupElidedDestructor()
595 bool ExprEngine::isDestructorElided(ProgramStateRef State,  in isDestructorElided()
602 bool ExprEngine::areAllObjectsFullyConstructed(ProgramStateRef State,  in areAllObjectsFullyConstructed()
624 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state,  in processAssume()
630 ExprEngine::processRegionChanges(ProgramStateRef state,  in processRegionChanges()
751 void ExprEngine::printJson(raw_ostream &Out, ProgramStateRef State,  in printJson()
790 void ExprEngine::processEndWorklist() {  in processEndWorklist()
796 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,  in processCFGElement()
858 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out,  in removeDead()
938 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) {  in ProcessStmt()
968 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) {  in ProcessLoopExit()
986 void ExprEngine::ProcessInitializer(const CFGInitializer CFGInit,  in ProcessInitializer()
1074 void ExprEngine::ProcessImplicitDtor(const CFGImplicitDtor D,  in ProcessImplicitDtor()
1101 void ExprEngine::ProcessNewAllocator(const CXXNewExpr *NE,  in ProcessNewAllocator()
1120 void ExprEngine::ProcessAutomaticObjDtor(const CFGAutomaticObjDtor Dtor,  in ProcessAutomaticObjDtor()
1155 void ExprEngine::ProcessDeleteDtor(const CFGDeleteDtor Dtor,  in ProcessDeleteDtor()
1195 void ExprEngine::ProcessBaseDtor(const CFGBaseDtor D,  in ProcessBaseDtor()
1215 void ExprEngine::ProcessMemberDtor(const CFGMemberDtor D,  in ProcessMemberDtor()
1238 void ExprEngine::ProcessTemporaryDtor(const CFGTemporaryDtor D,  in ProcessTemporaryDtor()
1299 void ExprEngine::processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE,  in processCleanupTemporaryBranch()
1317 void ExprEngine::VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *BTE,  in VisitCXXBindTemporaryExpr()
1344 ProgramStateRef ExprEngine::escapeValues(ProgramStateRef State,  in escapeValues()
1371 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,  in Visit()
2082 bool ExprEngine::replayWithoutInlining(ExplodedNode *N,  in replayWithoutInlining()
2146 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L,  in processCFGBlockEntrance()
2328 ProgramStateRef ExprEngine::setWhetherHasMoreIteration(  in REGISTER_MAP_WITH_PROGRAMSTATE()
2336 ExprEngine::removeIterationState(ProgramStateRef State,  in removeIterationState()
2343 bool ExprEngine::hasMoreIteration(ProgramStateRef State,  in hasMoreIteration()
2358         ExprEngine::hasMoreIteration(State, ObjCFor, N->getLocationContext());  in assumeCondition()
2362     State = ExprEngine::removeIterationState(State, ObjCFor,  in assumeCondition()
2400 void ExprEngine::processBranch(const Stmt *Condition,  in processBranch()
2478 void ExprEngine::processStaticInitializer(const DeclStmt *DS,  in REGISTER_TRAIT_WITH_PROGRAMSTATE()
2504 void ExprEngine::processIndirectGoto(IndirectGotoNodeBuilder &builder) {  in processIndirectGoto()
2545 void ExprEngine::processBeginOfFunction(NodeBuilderContext &BC,  in processBeginOfFunction()
2555 void ExprEngine::processEndOfFunction(NodeBuilderContext& BC,  in processEndOfFunction()
2629 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) {  in processSwitch()
2712 void ExprEngine::VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D,  in VisitCommonDeclRefExpr()
2852 void ExprEngine::VisitArrayInitLoopExpr(const ArrayInitLoopExpr *Ex,  in VisitArrayInitLoopExpr()
2950 void ExprEngine::VisitArraySubscriptExpr(const ArraySubscriptExpr *A,  in VisitArraySubscriptExpr()
3001 void ExprEngine::VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred,  in VisitMemberExpr()
3081 void ExprEngine::VisitAtomicExpr(const AtomicExpr *AE, ExplodedNode *Pred,  in VisitAtomicExpr()
3125 ProgramStateRef ExprEngine::processPointerEscapedOnBind(  in processPointerEscapedOnBind()
3166 ExprEngine::processPointerEscapedOnBind(ProgramStateRef State, SVal Loc,  in processPointerEscapedOnBind()
3174 ExprEngine::notifyCheckersOfPointerEscape(ProgramStateRef State,  in notifyCheckersOfPointerEscape()
3218 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,  in evalBind()
3275 void ExprEngine::evalStore(ExplodedNodeSet &Dst, const Expr *AssignE,  in evalStore()
3298 void ExprEngine::evalLoad(ExplodedNodeSet &Dst,  in evalLoad()
3336 void ExprEngine::evalLocation(ExplodedNodeSet &Dst,  in evalLocation()
3372 ExprEngine::geteagerlyAssumeBinOpBifurcationTags() {  in geteagerlyAssumeBinOpBifurcationTags()
3382 void ExprEngine::evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst,  in evalEagerlyAssumeBinOpBifurcation()
3423 void ExprEngine::VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred,  in VisitGCCAsmStmt()
3446 void ExprEngine::VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred,  in VisitMSAsmStmt()
3463     BugReporter &BR = static_cast<ExprEngine &>(  in nodeHasBugReport()
3554 void ExprEngine::ViewGraph(bool trim) {  in ViewGraph()
3559 void ExprEngine::ViewGraph(ArrayRef<const ExplodedNode *> Nodes) {  in ViewGraph()
3564 std::string ExprEngine::DumpGraph(bool trim, StringRef Filename) {  in DumpGraph()
3586 std::string ExprEngine::DumpGraph(ArrayRef<const ExplodedNode *> Nodes,  in DumpGraph()
3606 void ExprEngine::anchor() { }  in anchor()