public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-08 4:48 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-08 4:48 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:44e4b01c3752785579919c28639f0355ab781ca2
commit 44e4b01c3752785579919c28639f0355ab781ca2
Author: Alexandre Oliva <oliva@gnu.org>
Date: Thu Oct 20 20:19:43 2022 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 4ea38b14df1..29c897b21dd 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-23 20:56 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-23 20:56 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:2b1d06875e6dea4bfd3b34352c2890032723b506
commit 2b1d06875e6dea4bfd3b34352c2890032723b506
Author: Alexandre Oliva <oliva@gnu.org>
Date: Fri Jun 16 03:24:27 2023 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 283933cca50..80a73706294 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-23 20:13 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-23 20:13 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:ec47223398099e0c099664f444feb34f8108612b
commit ec47223398099e0c099664f444feb34f8108612b
Author: Alexandre Oliva <oliva@gnu.org>
Date: Fri Jun 16 03:24:27 2023 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 283933cca50..80a73706294 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-09 8:07 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-09 8:07 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:b1fd01a3ef6d797e2528b676460675eac90255b8
commit b1fd01a3ef6d797e2528b676460675eac90255b8
Author: Alexandre Oliva <oliva@gnu.org>
Date: Thu Jun 8 01:35:34 2023 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 4ea38b14df1..29c897b21dd 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-09 6:25 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-09 6:25 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:da37feda0970176380a493d58ae39cf6a8f1f9d4
commit da37feda0970176380a493d58ae39cf6a8f1f9d4
Author: Alexandre Oliva <oliva@gnu.org>
Date: Thu Jun 8 01:35:34 2023 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 4ea38b14df1..29c897b21dd 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-09 6:17 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-09 6:17 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:2a59ca7e08477690bfa25ce128a1bc9697be8ed0
commit 2a59ca7e08477690bfa25ce128a1bc9697be8ed0
Author: Alexandre Oliva <oliva@gnu.org>
Date: Thu Jun 8 01:35:34 2023 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 4ea38b14df1..29c897b21dd 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-08 10:59 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-08 10:59 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:b96122ae0323b340698a01025c6bddb662dcdfcb
commit b96122ae0323b340698a01025c6bddb662dcdfcb
Author: Alexandre Oliva <oliva@gnu.org>
Date: Thu Oct 20 20:19:43 2022 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 4ea38b14df1..29c897b21dd 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-08 10:43 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-08 10:43 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:1c9053ec8ca5c6b9b559b21f933ee46702462489
commit 1c9053ec8ca5c6b9b559b21f933ee46702462489
Author: Alexandre Oliva <oliva@gnu.org>
Date: Thu Jun 8 01:35:34 2023 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 4ea38b14df1..29c897b21dd 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2023-06-08 9:18 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2023-06-08 9:18 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:b96122ae0323b340698a01025c6bddb662dcdfcb
commit b96122ae0323b340698a01025c6bddb662dcdfcb
Author: Alexandre Oliva <oliva@gnu.org>
Date: Thu Oct 20 20:19:43 2022 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index 4ea38b14df1..29c897b21dd 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
* [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc]
@ 2022-10-25 2:52 Alexandre Oliva
0 siblings, 0 replies; 10+ messages in thread
From: Alexandre Oliva @ 2022-10-25 2:52 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:d22b56f2ce234543b3f662f18346a61ddca2c820
commit d22b56f2ce234543b3f662f18346a61ddca2c820
Author: Alexandre Oliva <oliva@gnu.org>
Date: Thu Oct 20 20:19:43 2022 -0300
Add leafy mode for zero-call-used-regs [ada doc]
Document leafy mode.
for gcc/ada/ChangeLog
* doc/gnat_rm/security_hardening_features.rst (Register
Scrubbing): Document leafy mode.
Diff:
---
gcc/ada/doc/gnat_rm/security_hardening_features.rst | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/gcc/ada/doc/gnat_rm/security_hardening_features.rst b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
index fd55752bf33..1780c0d3035 100644
--- a/gcc/ada/doc/gnat_rm/security_hardening_features.rst
+++ b/gcc/ada/doc/gnat_rm/security_hardening_features.rst
@@ -34,6 +34,12 @@ subprograms.
pragma Machine_Attribute (Bar, "zero_call_used_regs", "all");
-- Before returning, Bar scrubs all call-clobbered registers.
+ function Baz return Integer;
+ pragma Machine_Attribute (Bar, "zero_call_used_regs", "leafy");
+ -- Before returning, Bar scrubs only call-clobbered registers
+ -- that it uses itself, if it can be identified as a leaf
+ -- function, or all such registers otherwise.
+
For usage and more details on the command-line option, on the
``zero_call_used_regs`` attribute, and on their use with other
^ permalink raw reply [flat|nested] 10+ messages in thread
end of thread, other threads:[~2023-06-23 20:56 UTC | newest]
Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-06-08 4:48 [gcc(refs/users/aoliva/heads/testme)] Add leafy mode for zero-call-used-regs [ada doc] Alexandre Oliva
-- strict thread matches above, loose matches on Subject: below --
2023-06-23 20:56 Alexandre Oliva
2023-06-23 20:13 Alexandre Oliva
2023-06-09 8:07 Alexandre Oliva
2023-06-09 6:25 Alexandre Oliva
2023-06-09 6:17 Alexandre Oliva
2023-06-08 10:59 Alexandre Oliva
2023-06-08 10:43 Alexandre Oliva
2023-06-08 9:18 Alexandre Oliva
2022-10-25 2:52 Alexandre Oliva
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).