diff options
| -rw-r--r-- | Analysis/DeadStores.cpp | 70 | ||||
| -rw-r--r-- | include/clang/Analysis/LocalCheckers.h | 29 |
2 files changed, 99 insertions, 0 deletions
diff --git a/Analysis/DeadStores.cpp b/Analysis/DeadStores.cpp new file mode 100644 index 0000000000..e7077ecae3 --- /dev/null +++ b/Analysis/DeadStores.cpp @@ -0,0 +1,70 @@ +//==- DeadStores.cpp - Check for stores to dead variables --------*- C++ -*-==// +// +// The LLVM Compiler Infrastructure +// +// This file was developed by Ted Kremenek and is distributed under +// the University of Illinois Open Source License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// This files defines a DeadStores, a flow-sensitive checker that looks for +// stores to variables that are no longer live. +// +//===----------------------------------------------------------------------===// + +#include "clang/AST/Expr.h" +#include "clang/Analysis/LocalCheckers.h" +#include "clang/Analysis/LiveVariables.h" +#include "clang/AST/CFG.h" +#include "clang/Basic/Diagnostic.h" +#include "clang/Lex/Preprocessor.h" + +using namespace clang; + +namespace { + +class DeadStoreAuditor : public LiveVariablesAuditor { + Preprocessor& PP; +public: + DeadStoreAuditor(Preprocessor& pp) : PP(pp) {} + virtual ~DeadStoreAuditor() {} + + virtual void AuditStmt(Stmt* S, LiveVariables& L, llvm::BitVector& Live) { + if (BinaryOperator* B = dyn_cast<BinaryOperator>(S)) { + // Is this an assignment? + if (!B->isAssignmentOp()) + return; + + // Is this an assignment to a variable? + if (DeclRefExpr* DR = dyn_cast<DeclRefExpr>(B->getLHS())) { + // Is the variable live? + if (!L.isLive(Live,DR->getDecl())) { + SourceRange R = B->getRHS()->getSourceRange(); + PP.getDiagnostics().Report(DR->getSourceRange().Begin(), + diag::warn_dead_store, 0, 0, + &R,1); + + } + } + } + } +}; + +} // end anonymous namespace + +namespace clang { + +void CheckDeadStores(CFG& cfg, LiveVariables& L, Preprocessor& PP) { + DeadStoreAuditor A(PP); + + for (CFG::iterator I = cfg.begin(), E = cfg.end(); I != E; ++I) + L.runOnBlock(&(*I),&A); +} + +void CheckDeadStores(CFG& cfg, Preprocessor& PP) { + LiveVariables L; + L.runOnCFG(cfg); + CheckDeadStores(cfg,L,PP); +} + +} // end namespace clang
\ No newline at end of file diff --git a/include/clang/Analysis/LocalCheckers.h b/include/clang/Analysis/LocalCheckers.h new file mode 100644 index 0000000000..346945d6e8 --- /dev/null +++ b/include/clang/Analysis/LocalCheckers.h @@ -0,0 +1,29 @@ +//==- LocalCheckers.h - Intra-Procedural+Flow-Sensitive Checkers -*- C++ -*-==// +// +// The LLVM Compiler Infrastructure +// +// This file was developed by Ted Kremenek and is distributed under +// the University of Illinois Open Source License. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// +// +// This file defines the interface to call a set of intra-procedural (local) +// checkers that use flow/path-sensitive analyses to find bugs. +// +//===----------------------------------------------------------------------===// + +#ifndef LLVM_CLANG_ANALYSIS_LOCALCHECKERS_H +#define LLVM_CLANG_ANALYSIS_LOCALCHECKERS_H + +namespace clang { + +class Preprocessor; +class CFG; +class LiveVariables; + +void CheckDeadStores(CFG& cfg, LiveVariables& L, Preprocessor& PP); +void CheckDeadStores(CFG& cfg, Preprocessor& PP); + +} // end namespace clang + +#endif |