'Adjust bp and sp w.r.t. stack difference between GDB session and angr.
This matches sp and bp registers, but there is a high risk of pointers inconsistencies.'

def _adjust_regs(self):

    if (not self.adjust_stack):
        return
    bp = self.state.arch.register_names[self.state.arch.bp_offset]
    sp = self.state.arch.register_names[self.state.arch.sp_offset]
    stack_shift = (self.state.arch.initial_sp - self.real_stack_top)
    self.state.registers.store(sp, (self.state.regs.sp + stack_shift))
    if (not self.omit_fp):
        self.state.registers.store(bp, (self.state.regs.bp + stack_shift))
