]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
[Ada] Note that hardening features are experimental
authorAlexandre Oliva <oliva@adacore.com>
Thu, 5 May 2022 03:45:38 +0000 (00:45 -0300)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 1 Jun 2022 08:43:18 +0000 (08:43 +0000)
Some features haven't got customer feedback or made upstream yet.

gcc/ada/

* doc/gnat_rm/security_hardening_features.rst: Note that hardening
features are experimental.
* gnat_rm.texi: Regenerate.

gcc/ada/doc/gnat_rm/security_hardening_features.rst
gcc/ada/gnat_rm.texi

index 0631a53df9b1a9ea33e5a20246fcae38cb37a35b..f4f752d53c7ed8822caee366664602203f516a99 100644 (file)
@@ -7,6 +7,9 @@ Security Hardening Features
 This chapter describes Ada extensions aimed at security hardening that
 are provided by GNAT.
 
+The features in this chapter are currently experimental and subject to
+change.
+
 .. Register Scrubbing:
 
 Register Scrubbing
index 1fa93a36a40488fd03d4c113d2ac20a8999fd2de..a7077e05b47021acabe2bac0751fd2e4158c01b9 100644 (file)
@@ -28878,6 +28878,9 @@ RM References:  H.04 (8/1)
 This chapter describes Ada extensions aimed at security hardening that
 are provided by GNAT.
 
+The features in this chapter are currently experimental and subject to
+change.
+
 @c Register Scrubbing:
 
 @menu