On Tue, 9 Nov 2021, Pierre-Marie de Rodat via Gcc-patches wrote:
> We found a SuSE kernel bug that affects 32-bit debugging on 64-bit
> machines. We agreed to document the problem in gnat_ugn.
Late at catching this: Note that it's not been SuSE since 2003.
Also even "SUSE 15" does not exist, I a
We found a SuSE kernel bug that affects 32-bit debugging on 64-bit
machines. We agreed to document the problem in gnat_ugn.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* doc/gnat_ugn/platform_specific_information.rst: Document the
SuSE kernel bug.
* gnat_u