From: Jose Ruiz <r...@adacore.com>
gcc/ada/ChangeLog:
* doc/gnat_ugn/gnat_and_program_execution.rst: Fix a
couple of minor formatting issues.
* gnat_ugn.texi: Regenerate.
Tested on x86_64-pc-linux-gnu, committed on master.
---
gcc/ada/doc/gnat_ugn/gnat_and_program_execution.rst | 6 +++---
gcc/ada/gnat_ugn.texi | 7 ++-----
2 files changed, 5 insertions(+), 8 deletions(-)
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 0184bd4aaf8..58c00e56f5c 100644
--- 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 2bad9b858b8..bda453bf1d9 100644
--- 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
--
2.43.0
