-//===- llvm/Analysis/SafePointerAccess.h - Check pointer safety ---*- C++ -*-=//
+//===- llvm/Analysis/FindUnsafePointerTypes.h - Unsafe pointers -*- C++ -*-===//
+//
+// The LLVM Compiler Infrastructure
+//
+// This file was developed by the LLVM research group and is distributed under
+// the University of Illinois Open Source License. See LICENSE.TXT for details.
+//
+//===----------------------------------------------------------------------===//
//
// This file defines a pass that can be used to determine, interprocedurally,
// which pointer types are accessed unsafely in a program. If there is an
//
// Additionally, this analysis exports a hidden command line argument that (when
// enabled) prints out the reasons a type was determined to be unsafe. Just add
-// -unsafeptrinst to the command line of the tool you want to get it.
+// -printunsafeptrinst to the command line of the tool you want to get it.
//
//===----------------------------------------------------------------------===//
-#ifndef LLVM_ANALYSIS_SAFEPOINTERACCESS_H
-#define LLVM_ANALYSIS_SAFEPOINTERACCESS_H
+#ifndef LLVM_ANALYSIS_UNSAFEPOINTERTYPES_H
+#define LLVM_ANALYSIS_UNSAFEPOINTERTYPES_H
#include "llvm/Pass.h"
#include <set>
+namespace llvm {
+
class PointerType;
-struct FindUnsafePointerTypes : public Pass {
+struct FindUnsafePointerTypes : public ModulePass {
// UnsafeTypes - Set of types that are not safe to transform.
- set<PointerType*> UnsafeTypes;
+ std::set<PointerType*> UnsafeTypes;
public:
-
// Accessor for underlying type set...
- inline const set<PointerType*> &getUnsafeTypes() const {
+ inline const std::set<PointerType*> &getUnsafeTypes() const {
return UnsafeTypes;
}
- // doPerMethodWork - Inspect the operations that the specified method does on
- // values of various types. If they are deemed to be 'unsafe' note that the
- // type is not safe to transform.
- //
- virtual bool doPerMethodWork(Method *M);
+ /// run - Inspect the operations that the specified module does on
+ /// values of various types. If they are deemed to be 'unsafe' note that the
+ /// type is not safe to transform.
+ ///
+ virtual bool runOnModule(Module &M);
+
+ /// print - Loop over the results of the analysis, printing out unsafe types.
+ ///
+ void print(std::ostream &o, const Module *Mod) const;
- // printResults - Loop over the results of the analysis, printing out unsafe
- // types.
- //
- void printResults(const Module *Mod, ostream &o);
+ /// getAnalysisUsage - Of course, we provide ourself...
+ ///
+ virtual void getAnalysisUsage(AnalysisUsage &AU) const {
+ AU.setPreservesAll();
+ }
};
+} // End llvm namespace
+
#endif