diff mbox series

[Ada] Fix glitch for N_Delta_Aggregate/N_Case_Expression/N_Quantified_Expression

Message ID 20200604091255.GA134655@adacore.com
State New
Headers show
Series [Ada] Fix glitch for N_Delta_Aggregate/N_Case_Expression/N_Quantified_Expression | expand

Commit Message

Pierre-Marie de Rodat June 4, 2020, 9:12 a.m. UTC 
The Etype of the first 2 nodes is set during type resolution by
procedure Resolve_Delta_Aggregate and Resolve_Case_Expression, whereas
the Etype of the last one is not.

Tested on x86_64-pc-linux-gnu, committed on trunk

2020-06-04  Eric Botcazou  <ebotcazou@adacore.com>

gcc/ada/

	* sinfo.ads (N_Delta_Aggregate): Document Etype field.
	(N_Case_Expression): Likewise.
	(Is_Syntactic_Field) <N_Quantified_Expression>: Adjust.
	<N_Case_Expression>: Likewise.
diff mbox series

Patch

--- gcc/ada/sinfo.ads
+++ gcc/ada/sinfo.ads
@@ -4252,6 +4252,7 @@  package Sinfo is
       --  Sloc points to left parenthesis
       --  Expression (Node3)
       --  Component_Associations (List2)
+      --  Etype (Node5-Sem)
 
       --------------------------------------------------
       -- 4.4  Expression/Relation/Term/Factor/Primary --
@@ -4657,6 +4658,7 @@  package Sinfo is
       --  Sloc points to CASE
       --  Expression (Node3) (the selecting expression)
       --  Alternatives (List4) (the case expression alternatives)
+      --  Etype (Node5-Sem)
       --  Do_Overflow_Check (Flag17-Sem)
 
       ----------------------------------------
@@ -12118,7 +12120,7 @@  package Sinfo is
         2 => True,    --  Iterator_Specification (Node2)
         3 => False,   --  unused
         4 => True,    --  Loop_Parameter_Specification (Node4)
-        5 => False),  --  Etype (Node5-Sem)
+        5 => False),  --  unused
 
      N_Allocator =>
        (1 => False,   --  Storage_Pool (Node1-Sem)
@@ -12174,7 +12176,7 @@  package Sinfo is
         2 => False,   --  unused
         3 => True,    --  Expression (Node3)
         4 => True,    --  Alternatives (List4)
-        5 => False),  --  unused
+        5 => False),  --  Etype (Node5-Sem)
 
      N_Case_Expression_Alternative =>
        (1 => False,   --  Actions (List1-Sem)