Lines Matching defs:ExprEngine
1 //=-- ExprEngine.cpp - Path-Sensitive Expression-Level Dataflow ---*- C++ -*-=
16 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
41 #define DEBUG_TYPE "ExprEngine"
67 static const char* TagProviderName = "ExprEngine";
69 ExprEngine::ExprEngine(AnalysisManager &mgr, bool gcEnabled,
95 ExprEngine::~ExprEngine() {
103 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) {
182 ExprEngine::createTemporaryRegionIfNeeded(ProgramStateRef State,
259 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state,
264 bool ExprEngine::wantsRegionChangeUpdate(ProgramStateRef state) {
269 ExprEngine::processRegionChanges(ProgramStateRef state,
278 void ExprEngine::printState(raw_ostream &Out, ProgramStateRef State,
283 void ExprEngine::processEndWorklist(bool hasWorkRemaining) {
287 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,
341 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out,
423 void ExprEngine::ProcessStmt(const CFGStmt S,
454 void ExprEngine::ProcessInitializer(const CFGInitializer Init,
538 void ExprEngine::ProcessImplicitDtor(const CFGImplicitDtor D,
565 void ExprEngine::ProcessNewAllocator(const CXXNewExpr *NE,
584 void ExprEngine::ProcessAutomaticObjDtor(const CFGAutomaticObjDtor Dtor,
603 void ExprEngine::ProcessDeleteDtor(const CFGDeleteDtor Dtor,
632 void ExprEngine::ProcessBaseDtor(const CFGBaseDtor D,
651 void ExprEngine::ProcessMemberDtor(const CFGMemberDtor D,
668 void ExprEngine::ProcessTemporaryDtor(const CFGTemporaryDtor D,
695 void ExprEngine::processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE,
712 void ExprEngine::VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *BTE,
738 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,
1308 bool ExprEngine::replayWithoutInlining(ExplodedNode *N,
1372 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L,
1515 void ExprEngine::processBranch(const Stmt *Condition, const Stmt *Term,
1618 void ExprEngine::processStaticInitializer(const DeclStmt *DS,
1644 void ExprEngine::processIndirectGoto(IndirectGotoNodeBuilder &builder) {
1704 void ExprEngine::processEndOfFunction(NodeBuilderContext& BC,
1732 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) {
1837 void ExprEngine::VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D,
1892 void ExprEngine::VisitLvalArraySubscriptExpr(const ArraySubscriptExpr *A,
1921 void ExprEngine::VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred,
2021 ProgramStateRef ExprEngine::processPointerEscapedOnBind(ProgramStateRef State,
2063 ExprEngine::notifyCheckersOfPointerEscape(ProgramStateRef State,
2112 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,
2174 void ExprEngine::evalStore(ExplodedNodeSet &Dst, const Expr *AssignE,
2197 void ExprEngine::evalLoad(ExplodedNodeSet &Dst,
2236 void ExprEngine::evalLoadCommon(ExplodedNodeSet &Dst,
2273 void ExprEngine::evalLocation(ExplodedNodeSet &Dst,
2310 ExprEngine::geteagerlyAssumeBinOpBifurcationTags() {
2320 void ExprEngine::evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst,
2362 void ExprEngine::VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred,
2385 void ExprEngine::VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred,
2396 static ExprEngine* GraphPrintCheckerState;
2406 // FIXME: Since we do not cache error nodes in ExprEngine now, this does not
2651 void ExprEngine::ViewGraph(bool trim) {
2674 llvm::ViewGraph(*G.roots_begin(), "ExprEngine");
2682 void ExprEngine::ViewGraph(ArrayRef<const ExplodedNode*> Nodes) {
