ada: Fix a couple of typos in the sanitizers for Ada

gcc/ada/ChangeLog:

	* doc/gnat_ugn/gnat_and_program_execution.rst: Fix a
	couple of minor formatting issues.
	* 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 0184bd4aaf87e9f9761b9858e44bd10639f453ca..58c00e56f5c175b49d5546a550ee98d1bb6a626e 100644 (file)
--- a/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst
+++ b/gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst
@@ -4311,7 +4311,7 @@ UndefinedBehaviorSanitizer
 UndefinedBehaviorSanitizer (aka UBSan) modifies the program at compile-time to
 catch various kinds of undefined behavior during program execution.
 
-Different sanitize options (:switch:`-fsanitize=alignment,float-cast-overflow,signed-integer-overflow``)
+Different sanitize options (:switch:`-fsanitize=alignment,float-cast-overflow,signed-integer-overflow`)
 detect the following types of problems:
 
 * Wrong alignment
@@ -4397,8 +4397,8 @@ detect the following types of problems:
             Int := Integer (Flt); --  Overflow
          end Float_Cast_Overflow;
 
-   If the code is built with the :switch:`-fsanitize=float-cast-overflow` and
-   :switch:`-g` options, the following error is shown at execution time.
+  If the code is built with the :switch:`-fsanitize=float-cast-overflow` and
+  :switch:`-g` options, the following error is shown at execution time.
 
     ::
 

diff --git a/gcc/ada/gnat_ugn.texi b/gcc/ada/gnat_ugn.texi
index 2bad9b858b8b7df98f067131778986af88ad36c5..bda453bf1d975020dba58a3ae7a7f1cc658d7c69 100644 (file)
--- a/gcc/ada/gnat_ugn.texi
+++ b/gcc/ada/gnat_ugn.texi
@@ -23102,7 +23102,7 @@ SUMMARY: AddressSanitizer: 4 byte(s) leaked in 1 allocation(s).
 UndefinedBehaviorSanitizer (aka UBSan) modifies the program at compile-time to
 catch various kinds of undefined behavior during program execution.
 
-Different sanitize options (@code{-fsanitize=alignment,float-cast-overflow,signed-integer-overflow`})
+Different sanitize options (@code{-fsanitize=alignment,float-cast-overflow,signed-integer-overflow})
 detect the following types of problems:
 
 
@@ -23199,8 +23199,6 @@ In the following code:
 
 @quotation
 
-@quotation
-
 @example
 procedure Float_Cast_Overflow is
    Flt : Float := Float'Last with Export;
@@ -23220,7 +23218,6 @@ If the code is built with the @code{-fsanitize=float-cast-overflow} and
 float_cast_overflow.adb:5:20: runtime error: 3.40282e+38 is outside the range of representable values of type 'integer'
 @end example
 @end quotation
-@end quotation
 @end itemize
 
 @c -- Non-breaking space in running text
@@ -30225,8 +30222,8 @@ to permit their use in free software.
 
 @printindex ge
 
-@anchor{d2}@w{                              }
 @anchor{gnat_ugn/gnat_utility_programs switches-related-to-project-files}@w{                              }
+@anchor{d2}@w{                              }
 
 @c %**end of body
 @bye