github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-06-28 16:41:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

rose: sanity check CHECK_BOUNDS instruction

Browse Source
This commit is contained in:
Justin Viiret 2016-07-11 11:40:32 +10:00 committed by Matthew Barr
parent 8d31607556
commit 3e96cd48ef
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/rose/rose_build_bytecode.cpp
View File

@ -3766,6 +3766,10 @@ void makeRoleCheckBounds(const RoseBuildImpl &build, RoseVertex v,
max_bound = MAX_OFFSET;
}
// This instruction should be doing _something_ -- bounds should be tighter
// than just {length, inf}.
assert(min_bound > lit_length || max_bound < MAX_OFFSET);
auto ri = RoseInstruction(ROSE_INSTR_CHECK_BOUNDS, JumpTarget::NEXT_BLOCK);
ri.u.checkBounds.min_bound = min_bound;
ri.u.checkBounds.max_bound = max_bound;