import experimental.semmle.code.cpp.rangeanalysis.RangeAnalysis
import semmle.code.cpp.ir.IR
import semmle.code.cpp.controlflow.IRGuards
import semmle.code.cpp.ir.ValueNumbering

query predicate instructionBounds(
  Instruction i, Bound b, int delta, boolean upper, Reason reason, Location reasonLoc
) {
  (
    i.getAUse() instanceof ArgumentOperand
    or
    exists(ReturnValueInstruction retInstr | retInstr.getReturnValueOperand() = i.getAUse())
  ) and
  boundedInstruction(i, b, delta, upper, reason) and
  not valueNumber(b.getInstruction()) = valueNumber(i) and
  if reason instanceof CondReason
  then reasonLoc = reason.(CondReason).getCond().getLocation()
  else reasonLoc instanceof UnknownDefaultLocation
}