#include "llvm/Analysis/IntervalPartition.h"
#include "llvm/Analysis/Expressions.h"
#include "llvm/Analysis/CallGraph.h"
+#include "llvm/Analysis/FindUnsafePointerTypes.h"
#include <algorithm>
static void PrintMethod(Method *M) {
cout << cfg::CallGraph(M);
}
+static void PrintUnsafePtrTypes(Module *M) {
+ FindUnsafePointerTypes FUPT;
+ FUPT.run(M);
+ FUPT.printResults(M, cout);
+}
+
static void PrintDominatorSets(Method *M) {
cout << cfg::DominatorSet(M);
}
enum Ans {
PassDone, // Unique Marker
- print, intervals, exprclassify, instforest, callgraph,
+ print, intervals, exprclassify, instforest, callgraph, unsafepointertypes,
domset, idom, domtree, domfrontier,
postdomset, postidom, postdomtree, postdomfrontier,
};
clEnumVal(exprclassify , "Classify Expressions"),
clEnumVal(instforest , "Print Instruction Forest"),
clEnumVal(callgraph , "Print Call Graph"),
+ clEnumVal(unsafepointertypes, "Print Unsafe Pointer Types"),
clEnumVal(domset , "Print Dominator Sets"),
clEnumVal(idom , "Print Immediate Dominators"),
pair<enum Ans, void (*)(Module *)> ModAnTable[] = {
pair<enum Ans, void (*)(Module *)>(callgraph , PrintCallGraph),
+ pair<enum Ans, void (*)(Module *)>(unsafepointertypes, PrintUnsafePtrTypes),
};