commit 44bf60c17d6a4134f8aca64f92d4d28321735734
author John Criswell <criswell@uiuc.edu> Tue Jul 02 20:52:54 2013 +0000
committer John Criswell <criswell@uiuc.edu> Tue Jul 02 20:52:54 2013 +0000
tree 10dd319df09d9ad889373c1107b45c251d477fce
parent 533249fb49e272a3a5d5ffa81e6af5968ac75317

Mark GEPs as not being in bounds.

llvm-svn: 185472

safecode/lib/InsertPoolChecks/GEPChecks.cpp

diff --git a/safecode/lib/InsertPoolChecks/GEPChecks.cpp b/safecode/lib/InsertPoolChecks/GEPChecks.cpp
index 0ad9c4e..5b4fa9f 100644
--- a/safecode/lib/InsertPoolChecks/GEPChecks.cpp
+++ b/safecode/lib/InsertPoolChecks/GEPChecks.cpp
@@ -58,6 +58,8 @@
     return;
   }
 
+  GEP.setIsInBounds (false);
+
   //
   // Get the function in which the GEP instruction lives.
   //