Member predicate IR::ImplicitFieldReadInstruction::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)