intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-02-04 11:38:04 +08:00
Code Issues Packages Projects Releases Wiki Activity

Added version of CheckDeadStores that accepts a client-provided LiveVariables object.

Browse Source 
Modified the DeadStores logic in AnalysisConsumer.cpp to use the LiveVariables object created by the AnalysisManager.

llvm-svn: 53043
This commit is contained in:
Ted Kremenek
2008-07-02 18:39:20 +00:00
parent c3b30340d9
commit d8ca1f6dd9
3 changed files with 12 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
clang/Driver/AnalysisConsumer.cpp
View File

@@ -264,7 +264,8 @@ void AnalysisConsumer::HandleCode(Decl* D, Stmt* Body, Actions actions) {
//===----------------------------------------------------------------------===//
static void ActionDeadStores(AnalysisManager& mgr) {
CheckDeadStores(*mgr.getCFG(), mgr.getContext(), *mgr.getParentMap(),
CheckDeadStores(*mgr.getCFG(), mgr.getContext(),
*mgr.getLiveVariables(), *mgr.getParentMap(),
mgr.getDiagnostic());
}

4
clang/include/clang/Analysis/LocalCheckers.h
View File

@@ -26,10 +26,14 @@ class GRTransferFuncs;
class BugType;
class LangOptions;
class ParentMap;
class LiveVariables;
void CheckDeadStores(CFG& cfg, ASTContext &Ctx, ParentMap& Parents,
Diagnostic &Diags);
void CheckDeadStores(CFG& cfg, ASTContext &Ctx, LiveVariables& L,
ParentMap& Parents, Diagnostic &Diags);
void CheckUninitializedValues(CFG& cfg, ASTContext& Ctx, Diagnostic& Diags,
bool FullUninitTaint=false);

6
clang/lib/Analysis/DeadStores.cpp
View File

@@ -151,6 +151,12 @@ void clang::CheckDeadStores(CFG& cfg, ASTContext &Ctx,
ParentMap& Parents, Diagnostic &Diags) {
LiveVariables L(cfg);
L.runOnCFG(cfg);
CheckDeadStores(cfg, Ctx, L, Parents, Diags);
}
void clang::CheckDeadStores(CFG& cfg, ASTContext &Ctx, LiveVariables& L,
ParentMap& Parents, Diagnostic &Diags) {
DeadStoreObs A(Ctx, Diags, Diags.getClient(), Parents);
L.runOnAllBlocks(cfg, &A);
}