[PATCH 26/28] Don't write to inferior_ptid in ravenscar-thread.c

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves via Gdb-patches <gdb-patches@sourceware.org> writes:

>> https://sourceware.org/pipermail/gdb-patches/2019-March/156453.html

Pedro> Offhand that seemed like a gross hack to me when I first saw it, which is
Pedro> why I've had trouble responding.  :-(  But maybe I just misunderstood it.

Yeah, it pretty much is.  On the other hand it helps in this situation.

Probably the gross hack is ravenscar-tdep.c, which is a sort of "green
thread" layer.  Maybe there's some more principled way to tackle this.

Tom