rose: always push CHECK_BOUNDS onto end of program

diff --git a/src/rose/rose_build_bytecode.cpp b/src/rose/rose_build_bytecode.cpp
index 1b00b4b5a1d4c8483905f36c13ac5b699c47a74c..758dd442afeb3e923c7e74c28bbfeb6de2d67a54 100644 (file)
--- a/src/rose/rose_build_bytecode.cpp
+++ b/src/rose/rose_build_bytecode.cpp
@@ -3010,13 +3010,7 @@ void makeRoleCheckBounds(const RoseBuildImpl &build, RoseVertex v,
     ri.u.checkBounds.min_bound = min_bound;
     ri.u.checkBounds.max_bound = max_bound;
 
-    // This precondition instruction should go near the start of
-    // the program, after the ONLY_EOD check if it's present.
-    auto it =
-        find_if(begin(program), end(program), [](const RoseInstruction &ri) {
-            return ri.code() > ROSE_INSTR_CHECK_ONLY_EOD;
-        });
-    program.insert(it, ri);
+    program.push_back(move(ri));
 }
 
 static