If GDB doesn't need to do single step the region, it should make no difference. Trying to single step the region would restart it indefinitely. librseq generat

If GDB doesn't need to do single step the region, it should make no difference. Trying to single step the region would restart it indefinitely. librseq generates a section describing the possible critical sections, so it would be possible to make GDB read it and skip critical sections when single stepping.