include/llvm/Analysis/FindUnsafePointerTypes.h

   1 //===- llvm/Analysis/FindUnsafePointerTypes.h - Unsafe pointers ---*- C++ -*-=//
   2 //
   3 // This file defines a pass that can be used to determine, interprocedurally,
   4 // which pointer types are accessed unsafely in a program.  If there is an
   5 // "unsafe" access to a specific pointer type, transformations that depend on
   6 // type safety cannot be permitted.
   7 //
   8 // The result of running this analysis over a program is a set of unsafe pointer
   9 // types that cannot be transformed.  Safe pointer types are not tracked.
  10 //
  11 // Additionally, this analysis exports a hidden command line argument that (when
  12 // enabled) prints out the reasons a type was determined to be unsafe.  Just add
  13 // -printunsafeptrinst to the command line of the tool you want to get it.
  14 //
  15 //===----------------------------------------------------------------------===//
  16
  17 #ifndef LLVM_ANALYSIS_UNSAFEPOINTERTYPES_H
  18 #define LLVM_ANALYSIS_UNSAFEPOINTERTYPES_H
  19
  20 #include "llvm/Pass.h"
  21 #include <set>
  22
  23 class PointerType;
  24
  25 struct FindUnsafePointerTypes : public Pass {
  26   // UnsafeTypes - Set of types that are not safe to transform.
  27   std::set<PointerType*> UnsafeTypes;
  28 public:
  29   static AnalysisID ID;    // We are an analysis, we must have an ID
  30
  31   // Accessor for underlying type set...
  32   inline const std::set<PointerType*> &getUnsafeTypes() const {
  33     return UnsafeTypes;
  34   }
  35
  36   // run - Inspect the operations that the specified module does on
  37   // values of various types.  If they are deemed to be 'unsafe' note that the
  38   // type is not safe to transform.
  39   //
  40   virtual bool run(Module &M);
  41
  42   // printResults - Loop over the results of the analysis, printing out unsafe
  43   // types.
  44   //
  45   void printResults(const Module *Mod, std::ostream &o) const;
  46
  47   // getAnalysisUsage - Of course, we provide ourself...
  48   //
  49   virtual void getAnalysisUsage(AnalysisUsage &AU) const {
  50     AU.setPreservesAll();
  51     AU.addProvided(ID);
  52   }
  53 };
  54
  55 #endif