[COMMITTED,10/51] ada: Update gnat-llvm debugging documentation

Message ID 20260602084541.3829876-10-poulhies@adacore.com
State Committed
Commit c83345da51fd1b33d93960a766cbda515495c4b3
Headers
Series [COMMITTED,01/51] ada: Rename Private_Component function |

Commit Message

Marc Poulhiès June 2, 2026, 8:44 a.m. UTC
  From: Tom Tromey <tromey@adacore.com>

With the latest patches to LLVM and gnat-llvm, I believe that types
are represented correctly.  This patch updates the documentation
accordingly.

gcc/ada/ChangeLog:

	* doc/gnat_ugn/building_executable_programs_with_gnat.rst
	(GNATLLVM): Update debugging documentation.
	* gnat_ugn.texi: Regenerate.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 .../building_executable_programs_with_gnat.rst        | 11 +----------
 gcc/ada/gnat_ugn.texi                                 | 11 +----------
 2 files changed, 2 insertions(+), 20 deletions(-)
  

Patch

diff --git a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
index 3db1b44d7fb..9efcc42afca 100644
--- a/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
+++ b/gcc/ada/doc/gnat_ugn/building_executable_programs_with_gnat.rst
@@ -8003,16 +8003,7 @@  passed between C and Ada as simple as practical.
 
 GNAT LLVM currently provides limited support for debugging data. It
 provides full line number information for declarations and statements,
-but not sufficient debugging data to display all Ada data
-structures. GNAT LLVM outputs complete debugging data only for a
-subset of types: scalar types; records whose field offsets are known
-at compile time, including discriminated records fitting this
-description; and arrays. Records that have a field whose size or
-offset is only known at run time do not yet have correct debugging
-data. You will not be able to use ``gdb`` print commands to look at
-objects not of those types or to display components of those
-types. You can use low-level ``gdb`` commands that display memory to
-view such data provided you know how they're laid out.
+and complete debugging data for all types.
 
 In some situations, a name in the source may not be available.
 Renamings are not currently emitted into the debugging data. When
diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 130a50e91ee..b91a9e90975 100644
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -17569,16 +17569,7 @@  passed between C and Ada as simple as practical.
 
 GNAT LLVM currently provides limited support for debugging data. It
 provides full line number information for declarations and statements,
-but not sufficient debugging data to display all Ada data
-structures. GNAT LLVM outputs complete debugging data only for a
-subset of types: scalar types; records whose field offsets are known
-at compile time, including discriminated records fitting this
-description; and arrays. Records that have a field whose size or
-offset is only known at run time do not yet have correct debugging
-data. You will not be able to use @code{gdb} print commands to look at
-objects not of those types or to display components of those
-types. You can use low-level @code{gdb} commands that display memory to
-view such data provided you know how they’re laid out.
+and complete debugging data for all types.
 
 In some situations, a name in the source may not be available.
 Renamings are not currently emitted into the debugging data. When