From: Chris Lattner <sabre@nondot.org>
Date: Mon, 11 Feb 2002 20:19:16 +0000 (+0000)
Subject: Make array bound checks optional and disabled by default.
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=c0fbd57c978ecefdcce3ee054cbe736f4f82a76c;p=oota-llvm.git

Make array bound checks optional and disabled by default.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@1725 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/ExecutionEngine/Interpreter/Execution.cpp b/lib/ExecutionEngine/Interpreter/Execution.cpp
index d92764e49a6..d3aa4ccbf62 100644
--- a/lib/ExecutionEngine/Interpreter/Execution.cpp
+++ b/lib/ExecutionEngine/Interpreter/Execution.cpp
@@ -26,7 +26,7 @@ using std::cerr;
 
 cl::Flag   QuietMode ("quiet"  , "Do not emit any non-program output");
 cl::Alias  QuietModeA("q"      , "Alias for -quiet", cl::NoFlags, QuietMode);
-
+cl::Flag   ArrayChecksEnabled("array-checks", "Enable array bound checks");
 
 // Create a TargetData structure to handle memory addressing and size/alignment
 // computations
@@ -797,7 +797,7 @@ static PointerTy getElementOffset(MemAccessInst *I, ExecutionContext &SF) {
       assert(I->getOperand(ArgOff)->getType() == Type::UIntTy);
       unsigned Idx = getOperandValue(I->getOperand(ArgOff++), SF).UIntVal;
       if (const ArrayType *AT = dyn_cast<ArrayType>(ST))
-        if (Idx >= AT->getNumElements()) {
+        if (Idx >= AT->getNumElements() && ArrayChecksEnabled) {
           cerr << "Out of range memory access to element #" << Idx
                << " of a " << AT->getNumElements() << " element array."
                << " Subscript #" << (ArgOff-I->getFirstIndexOperandNumber())