#include "clang/AST/AST.h"
#include "clang/AST/ASTConsumer.h"
#include "clang/AST/CFG.h"
-#include "clang/AST/ParentMap.h"
-#include "clang/Analysis/Analyses/LiveVariables.h"
-#include "clang/Analysis/LocalCheckers.h"
-#include "clang/Analysis/PathSensitive/GRTransferFuncs.h"
-#include "clang/Analysis/PathSensitive/GRExprEngine.h"
#include "llvm/Support/Streams.h"
#include "llvm/Support/Timer.h"
#include "llvm/ADT/OwningPtr.h"
return new CFGDumper(ViewGraphs, FName);
}
-//===----------------------------------------------------------------------===//
-// AnalyzeLiveVariables - perform live variable analysis and dump results
-
-namespace {
- class LivenessVisitor : public CFGVisitor {
- SourceManager *SM;
- public:
- LivenessVisitor(const std::string& fname) : CFGVisitor(fname) {}
-
- virtual void Initialize(ASTContext &Context) {
- SM = &Context.getSourceManager();
- }
-
- virtual void VisitCFG(CFG& C, Decl& CD) {
- LiveVariables L(C);
- L.runOnCFG(C);
- L.dumpBlockLiveness(*SM);
- }
- };
-} // end anonymous namespace
-
-ASTConsumer *clang::CreateLiveVarAnalyzer(const std::string& fname) {
- return new LivenessVisitor(fname);
-}
-
//===----------------------------------------------------------------------===//
// AST Serializer
ASTConsumer *CreateCFGDumper(bool ViewGraphs, const std::string& FName);
-ASTConsumer *CreateLiveVarAnalyzer(const std::string& fname);
-
ASTConsumer *CreateCodeRewriterTest(const std::string& InFile,
const std::string& OutFile,
Diagnostic &Diags,
return *C.Ctx;
}
+ SourceManager& getSourceManager() {
+ return getContext().getSourceManager();
+ }
+
Diagnostic& getDiagnostic() {
return C.Diags;
}
}
LiveVariables* getLiveVariables() {
- if (!liveness) liveness.reset(new LiveVariables(*getCFG()));
+ if (!liveness) {
+ liveness.reset(new LiveVariables(*getCFG()));
+ liveness->runOnCFG(*getCFG());
+ }
return liveness.get();
}
switch (D->getKind()) {
case Decl::Function: {
FunctionDecl* FD = cast<FunctionDecl>(D);
+
+ if (FName.size() > 0 && FName != FD->getIdentifier()->getName())
+ break;
+
Stmt* Body = FD->getBody();
if (Body) HandleCode(FD, Body, FunctionActions);
break;
case Decl::ObjCMethod: {
ObjCMethodDecl* MD = cast<ObjCMethodDecl>(D);
+
+ if (FName.size() > 0 && FName != MD->getSelector().getName())
+ return;
+
Stmt* Body = MD->getBody();
if (Body) HandleCode(MD, Body, ObjCMethodActions);
break;
ActionGRExprEngine(mgr, MakeGRSimpleValsTF());
}
+static void ActionLiveness(AnalysisManager& mgr) {
+ mgr.DisplayFunction();
+ mgr.getLiveVariables()->dumpBlockLiveness(mgr.getSourceManager());
+}
+
//===----------------------------------------------------------------------===//
// AnalysisConsumer creation.
//===----------------------------------------------------------------------===//
case WarnUninitVals:
C->addCodeAction(&ActionUninitVals);
break;
+
+ case DisplayLiveVariables:
+ C->addCodeAction(&ActionLiveness);
+ break;
case CheckerCFRef:
C->addCodeAction(&ActionRefLeakChecker);
enum Analyses {
WarnDeadStores,
WarnUninitVals,
+ DisplayLiveVariables,
CheckerCFRef,
CheckerSimple
};
ASTView, // Parse ASTs and view them in Graphviz.
ParseCFGDump, // Parse ASTS. Build CFGs. Print CFGs.
ParseCFGView, // Parse ASTS. Build CFGs. View CFGs.
- AnalysisLiveVariables, // Print results of live-variable analysis.
TestSerialization, // Run experimental serialization code.
ParsePrintCallbacks, // Parse and print each callback.
ParseSyntaxOnly, // Parse and perform semantic analysis.
"Run parser, then build and print CFGs"),
clEnumValN(ParseCFGView, "view-cfg",
"Run parser, then build and view CFGs with Graphviz"),
- clEnumValN(AnalysisLiveVariables, "dump-live-variables",
- "Print results of live variable analysis"),
clEnumValN(TestSerialization, "test-pickling",
"Run prototype serialization code"),
clEnumValN(EmitLLVM, "emit-llvm",
static llvm::cl::list<Analyses>
AnalysisList(llvm::cl::desc("Available Source Code Analyses:"),
llvm::cl::values(
+clEnumValN(DisplayLiveVariables, "dump-live-variables",
+ "Print results of live variable analysis"),
clEnumValN(WarnDeadStores, "warn-dead-stores",
"Flag warnings of stores to dead variables"),
clEnumValN(WarnUninitVals, "warn-uninit-values",
return CreateCFGDumper(ProgAction == ParseCFGView,
AnalyzeSpecificFunction);
- case AnalysisLiveVariables:
- return CreateLiveVarAnalyzer(AnalyzeSpecificFunction);
-
case TestSerialization:
return CreateSerializationTest(Diag, FileMgr);