Member predicate IR::Instruction::readsField
Holds if this instruction reads the value of field f on the value of base.
predicate readsField(Instruction base, Field f)Holds if this instruction reads the value of field f on the value of base.
predicate readsField(Instruction base, Field f)