https://gcc.gnu.org/bugzilla/show_bug.cgi?id=52090
--- Comment #1 from John David Anglin <danglin at gcc dot gnu.org> --- I believe this is probably a gdb bug. Calling the verify routine after each step can corrupt the register state. I don't see a way to save and restore all general registers in verify routine.
