Limit compare_and_jump_indirect_op_valid with EA <= EA_jmp

GrammaTech · Apr 24, 2024 · da13d0e · da13d0e
1 parent e91fa5b
commit da13d0e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/datalog/boundary_value_analysis.dl b/src/datalog/boundary_value_analysis.dl
@@ -193,6 +193,7 @@ compare_and_jump_indirect_op_valid(EA_cmp,EA_jmp,EA,IndirectOp,Steps+1):-
     // Propagate forward (hopefully) towards the jump.
     // We don't support compare/jump pairs that require following complex CFG
     // edges.
+    EA <= EA_jmp,
     compare_and_jump_indirect_op_valid(EA_cmp,EA_jmp,Prev,IndirectOp,Steps),
     Steps < 3,
     may_fallthrough(Prev,EA),