[gcc r12-3752] [Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmas

[gcc r12-3752] [Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmas

[Pierre-Marie de Rodat]

https://gcc.gnu.org/g:57fb9d3820cd955ba0af1baadb27cd9a756a87c8

commit r12-3752-g57fb9d3820cd955ba0af1baadb27cd9a756a87c8
Author: Matthieu Eyraud <eyraud@adacore.com>
Date:   Wed Jul 7 19:33:25 2021 +0200

    [Ada] SCOs: generate 'P' decisions for [Type_]Invariant pragmas
    
    gcc/ada/
    
            * par_sco.adb (Traverse_One): Add support for pragma Invariant /
            Type_Invariant.

Diff:
---
 gcc/ada/par_sco.adb | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/gcc/ada/par_sco.adb b/gcc/ada/par_sco.adb
index b4f76091f44..513275a495a 100644
--- a/gcc/ada/par_sco.adb
+++ b/gcc/ada/par_sco.adb
@@ -2248,6 +2248,8 @@ package body Par_SCO is
                         | Name_Loop_Invariant
                         | Name_Postcondition
                         | Name_Precondition
+                        | Name_Type_Invariant
+                        | Name_Invariant
                      =>
                         --  For Assert/Check/Precondition/Postcondition, we
                         --  must generate a P entry for the decision. Note
@@ -2256,7 +2258,10 @@ package body Par_SCO is
                         --  on when we output the decision line in Put_SCOs,
                         --  depending on setting by Set_SCO_Pragma_Enabled.
 
-                        if Nam = Name_Check then
+                        if Nam = Name_Check
+                           or else Nam = Name_Type_Invariant
+                           or else Nam = Name_Invariant
+                        then
                            Next (Arg);
                         end if;
 
@@ -2285,8 +2290,7 @@ package body Par_SCO is
                      --  never disabled.
 
                      --  Should generate P decisions (not X) for assertion
-                     --  related pragmas: [Type_]Invariant,
-                     --  [{Static,Dynamic}_]Predicate???
+                     --  related pragmas: [{Static,Dynamic}_]Predicate???
 
                      when others =>
                         Process_Decisions_Defer (N, 'X');