diff --git a/macaw-ppc/src/Data/Macaw/PPC/Eval.hs b/macaw-ppc/src/Data/Macaw/PPC/Eval.hs index bd324330..396d98ae 100644 --- a/macaw-ppc/src/Data/Macaw/PPC/Eval.hs +++ b/macaw-ppc/src/Data/Macaw/PPC/Eval.hs @@ -88,6 +88,7 @@ mkInitialAbsState _ tocMap _mem startAddr = where s0 = MA.top & MA.setAbsIP startAddr & MA.absRegState . boundValue PPC_LNK .~ MA.ReturnAddr + & MA.absRegState . boundValue (PPC_GP (D.GPR 1)) .~ MA.concreteStackOffset (relativeSegmentAddr startAddr) 0 absEvalArchFn :: (PPCArchConstraints ppc) => proxy ppc