We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 1e1d833 commit d5cca09Copy full SHA for d5cca09
1 file changed
zjit/src/hir.rs
@@ -1174,7 +1174,8 @@ impl Insn {
1174
Insn::LoadPC { .. } => Effect::read_write(abstract_heaps::PC, abstract_heaps::Empty),
1175
Insn::LoadEC { .. } => effects::Empty,
1176
Insn::LoadSP { .. } => effects::Empty,
1177
- Insn::GetEP { .. } => effects::Empty,
+ // GetEP reads from the current frame pointer (abstract_heaps::Frame) and also traverses previous frames too.
1178
+ Insn::GetEP { .. } => Effect::read_write(abstract_heaps::Memory, abstract_heaps::Empty),
1179
Insn::LoadSelf { .. } => Effect::read_write(abstract_heaps::Frame, abstract_heaps::Empty),
1180
Insn::LoadField { .. } => Effect::read_write(abstract_heaps::Memory, abstract_heaps::Empty),
1181
Insn::StoreField { .. } => effects::Any,
0 commit comments