Member predicate IR::ReadResultInstruction::reads
Holds if this instruction reads the value of variable or constant v.
predicate reads(ValueEntity v)Holds if this instruction reads the value of variable or constant v.
predicate reads(ValueEntity v)