When popping a return point from the stack, we must restore the trail pointer

drt24 / gnuprologjava

GNU Prolog for Java

8 stars 5 forks source link

When popping a return point from the stack, we must restore the trail pointer #3

Closed thetrime closed 8 years ago

thetrime commented 8 years ago

This is variablesAmount. Since this points to variables, which is also popped, failing to pop the pointer means we risk writing outside of the bounds of variables - at best we are writing to the wrong part of the array.