ada: Document sanitizers for Ada

gcc/ada/ChangeLog:

	* doc/gnat_ugn/gnat_and_program_execution.rst: Add the
	documentation about using sanitizers with Ada code.
	* gnat_ugn.texi: Regenerate.

diff --git a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst
index ab49e12e7949cd7723e881511e8e7ad369dde0de..0184bd4aaf87e9f9761b9858e44bd10639f453ca 100644 (file)
--- a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst
+++ b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst
@@ -4200,7 +4200,8 @@ It can detect the following types of problems:
   Ada’s ``Index_Check`` detects buffer overflows caused by out-of-bounds array
   access. If run-time checks are disabled, the sanitizer can still detect such
   overflows at execution time the same way as it signalled the previous wrong
-  memory overlay.
+  memory overlay. Note that if both the Ada run-time checks and the sanitizer
+  are enabled, the Ada run-time exception takes precedence.
 
     .. code-block:: ada
 

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 170384b505ff527a3c0de61d4aeeb00a0a27e706..2bad9b858b8b7df98f067131778986af88ad36c5 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -22971,7 +22971,8 @@ Buffer overflow
 Ada’s @code{Index_Check} detects buffer overflows caused by out-of-bounds array
 access. If run-time checks are disabled, the sanitizer can still detect such
 overflows at execution time the same way as it signalled the previous wrong
-memory overlay.
+memory overlay. Note that if both the Ada run-time checks and the sanitizer
+are enabled, the Ada run-time exception takes precedence.
 
 @quotation