commit 95fc2c25b9bb3e9358e4eb7cd0f1c1486d709c38
author John Criswell <criswell@uiuc.edu> Fri May 05 02:23:11 2006 +0000
committer John Criswell <criswell@uiuc.edu> Fri May 05 02:23:11 2006 +0000
tree 4d567620aacaee5b42d8d748e357dd9f59d5a272
parent 2e06f0b7f49d76e60561446f5e12725dbbc39453

Added a statistic for the number of poolchecks inserted for
multi-dimensional arrays.
Removed dead code.

llvm-svn: 87228

safecode/lib/InsertPoolChecks/insert.cpp

diff --git a/safecode/lib/InsertPoolChecks/insert.cpp b/safecode/lib/InsertPoolChecks/insert.cpp
index c7cfce4..0f5faf1 100755
--- a/safecode/lib/InsertPoolChecks/insert.cpp
+++ b/safecode/lib/InsertPoolChecks/insert.cpp
@@ -42,8 +42,11 @@
 static Statistic<> PoolChecks ("safecode", "Poolchecks Added");
 static Statistic<> BoundChecks("safecode",
                                "Bounds checks inserted");
+
 static Statistic<> MissedIncompleteChecks ("safecode",
                                "Poolchecks missed because of incompleteness");
+static Statistic<> MissedMultDimArrayChecks ("safecode",
+                                             "Multi-dimensional array checks");
 
 static Statistic<> MissedStackChecks  ("safecode", "Missed stack checks");
 static Statistic<> MissedGlobalChecks ("safecode", "Missed global checks");
@@ -574,17 +577,6 @@
     GetElementPtrInst *GEPNew = GEP;
     Instruction *Casted = GEP;
 
-    //
-    // If the pool handle is a NULL pointer, don't bother inserting the
-    // check.
-    //
-#if 0
-    if (PH && isa<ConstantPointerNull>(PH)) {
-      ++NullChecks;
-      continue;
-    }
-#endif
-
     DSGraph & TDG = TDPass->getDSGraph(*F);
     DSNode * Node = TDG.getNodeForValue(GEP).getNode();
 
@@ -639,6 +631,7 @@
           //Handle Multi dimensional cases later
           std::cerr << "WARNING: Handle multi dimensional globals later\n";
           (*iCurrent)->dump();
+          ++MissedMultDimArrayChecks;
         }
         DEBUG(std::cerr << " Global variable ok \n");
       }