StaticAnalyzer/Core/ExprEngine.cpp

1 //===- ExprEngine.cpp - Path-Sensitive Expression-Level Dataflow ----------===//
15 #include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"
88 #define DEBUG_TYPE "ExprEngine"
200 static const char* TagProviderName = "ExprEngine";
202 ExprEngine::ExprEngine(cross_tu::CrossTranslationUnitContext &CTU,
232 ProgramStateRef ExprEngine::getInitialState(const LocationContext *InitLoc) {
309 ProgramStateRef ExprEngine::createTemporaryRegionIfNeeded(
461 ExprEngine::addObjectUnderConstruction(ProgramStateRef State,
474 ExprEngine::getObjectUnderConstruction(ProgramStateRef State,
482 ExprEngine::finishObjectConstruction(ProgramStateRef State,
490 ProgramStateRef ExprEngine::elideDestructor(ProgramStateRef State,
500 ExprEngine::cleanupElidedDestructor(ProgramStateRef State,
508 bool ExprEngine::isDestructorElided(ProgramStateRef State,
515 bool ExprEngine::areAllObjectsFullyConstructed(ProgramStateRef State,
537 ProgramStateRef ExprEngine::processAssume(ProgramStateRef state,
543 ExprEngine::processRegionChanges(ProgramStateRef state,
601 void ExprEngine::printJson(raw_ostream &Out, ProgramStateRef State,
623 void ExprEngine::processEndWorklist() {
627 void ExprEngine::processCFGElement(const CFGElement E, ExplodedNode *Pred,
689 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out,
769 void ExprEngine::ProcessStmt(const Stmt *currStmt, ExplodedNode *Pred) {
799 void ExprEngine::ProcessLoopExit(const Stmt* S, ExplodedNode *Pred) {
817 void ExprEngine::ProcessInitializer(const CFGInitializer CFGInit,
905 void ExprEngine::ProcessImplicitDtor(const CFGImplicitDtor D,
932 void ExprEngine::ProcessNewAllocator(const CXXNewExpr *NE,
951 void ExprEngine::ProcessAutomaticObjDtor(const CFGAutomaticObjDtor Dtor,
985 void ExprEngine::ProcessDeleteDtor(const CFGDeleteDtor Dtor,
1025 void ExprEngine::ProcessBaseDtor(const CFGBaseDtor D,
1045 void ExprEngine::ProcessMemberDtor(const CFGMemberDtor D,
1069 void ExprEngine::ProcessTemporaryDtor(const CFGTemporaryDtor D,
1130 void ExprEngine::processCleanupTemporaryBranch(const CXXBindTemporaryExpr *BTE,
1148 void ExprEngine::VisitCXXBindTemporaryExpr(const CXXBindTemporaryExpr *BTE,
1175 ProgramStateRef ExprEngine::escapeValues(ProgramStateRef State,
1202 void ExprEngine::Visit(const Stmt *S, ExplodedNode *Pred,
1858 bool ExprEngine::replayWithoutInlining(ExplodedNode *N,
1922 void ExprEngine::processCFGBlockEntrance(const BlockEdge &L,
2100 void ExprEngine::processBranch(const Stmt *Condition,
2198 void ExprEngine::processStaticInitializer(const DeclStmt *DS,
2224 void ExprEngine::processIndirectGoto(IndirectGotoNodeBuilder &builder) {
2265 void ExprEngine::processBeginOfFunction(NodeBuilderContext &BC,
2275 void ExprEngine::processEndOfFunction(NodeBuilderContext& BC,
2349 void ExprEngine::processSwitch(SwitchNodeBuilder& builder) {
2432 void ExprEngine::VisitCommonDeclRefExpr(const Expr *Ex, const NamedDecl *D,
2523 void ExprEngine::VisitArraySubscriptExpr(const ArraySubscriptExpr *A,
2574 void ExprEngine::VisitMemberExpr(const MemberExpr *M, ExplodedNode *Pred,
2654 void ExprEngine::VisitAtomicExpr(const AtomicExpr *AE, ExplodedNode *Pred,
2698 ProgramStateRef ExprEngine::processPointerEscapedOnBind(
2739 ExprEngine::processPointerEscapedOnBind(ProgramStateRef State, SVal Loc,
2747 ExprEngine::notifyCheckersOfPointerEscape(ProgramStateRef State,
2791 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,
2848 void ExprEngine::evalStore(ExplodedNodeSet &Dst, const Expr *AssignE,
2871 void ExprEngine::evalLoad(ExplodedNodeSet &Dst,
2909 void ExprEngine::evalLocation(ExplodedNodeSet &Dst,
2945 ExprEngine::geteagerlyAssumeBinOpBifurcationTags() {
2955 void ExprEngine::evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst,
2996 void ExprEngine::VisitGCCAsmStmt(const GCCAsmStmt *A, ExplodedNode *Pred,
3019 void ExprEngine::VisitMSAsmStmt(const MSAsmStmt *A, ExplodedNode *Pred,
3037     BugReporter &BR = static_cast<ExprEngine &>(
3129 void ExprEngine::ViewGraph(bool trim) {
3138 void ExprEngine::ViewGraph(ArrayRef<const ExplodedNode*> Nodes) {
3146 std::string ExprEngine::DumpGraph(bool trim, StringRef Filename) {
3163     return llvm::WriteGraph(&G, "ExprEngine", /*ShortNames=*/false,
3171 std::string ExprEngine::DumpGraph(ArrayRef<const ExplodedNode*> Nodes,