replica
/
hanchenye-llvm-project
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[analyzer] Remove EndPath function as it is dead code 

Summary: -

Reviewers: george.karpenkov

Reviewed By: george.karpenkov

Subscribers: baloghadamsoftware, cfe-commits, xazax.hun, szepet, a.sidorin,
             mikhail.ramalho, Szelethus, donat.nagy, dkrupp

Tags: #clang

Differential Revision: https://reviews.llvm.org/D53720

llvm-svn: 362030
This commit is contained in:
Csaba Dabis 2019-05-29 20:47:27 +00:00
parent 71ee3d0237
commit 74c5fac3bb
3 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ConstraintManager.h
View File

@ -166,8 +166,6 @@ public:
const char *NL, unsigned int Space,
bool IsDot) const = 0;
virtual void EndPath(ProgramStateRef state) {}
/// Convenience method to query the state to see if a symbol is null or
/// not null, or if neither assumption can be made.
ConditionTruthVal isNull(ProgramStateRef State, SymbolRef Sym) {

4
clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h
View File

@ -634,10 +634,6 @@ public:
return ProgramStateTrait<T>::MakeContext(p);
}
void EndPath(ProgramStateRef St) {
ConstraintMgr->EndPath(St);
}
};

1
clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
View File

@ -2316,7 +2316,6 @@ void ExprEngine::processEndOfFunction(NodeBuilderContext& BC,
Pred->getStackFrame()->getParent()));
PrettyStackTraceLocationContext CrashInfo(Pred->getLocationContext());
StateMgr.EndPath(Pred->getState());
ExplodedNodeSet Dst;
if (Pred->getLocationContext()->inTopFrame()) {