diff mbox series

[COMMITTED,2/5] ada: Turn Is_Effective_Use_Clause from syntactic to semantic flag

Message ID 20250110094237.775482-2-poulhies@adacore.com
State New
Headers
Series [COMMITTED,1/5] ada: Reorder syntactic node fields to match the Ada RM grammar |

Commit Message

Marc Poulhiès Jan. 10, 2025, 9:42 a.m. UTC 
  From: Piotr Trojanek <trojanek@adacore.com>

For a USE clause being effective is a semantic property, not a syntactic.
AST cleanup; behavior is unaffected.

gcc/ada/ChangeLog:

	* gen_il-gen-gen_nodes.adb (Gen_Nodes): Change Is_Effective_Use_Clause
	from syntactic to semantic property.

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/ada/gen_il-gen-gen_nodes.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
diff mbox series

Patch

diff --git a/gcc/ada/gen_il-gen-gen_nodes.adb b/gcc/ada/gen_il-gen-gen_nodes.adb
index ca46bcebdd9..1f5dc6d3803 100644
--- a/gcc/ada/gen_il-gen-gen_nodes.adb
+++ b/gcc/ada/gen_il-gen-gen_nodes.adb
@@ -782,7 +782,7 @@  begin -- Gen_IL.Gen.Gen_Nodes
 
    Cc (N_Use_Package_Clause, N_Later_Decl_Item,
        (Sy (Name, Node_Id, Default_Empty),
-        Sy (Is_Effective_Use_Clause, Flag),
+        Sm (Is_Effective_Use_Clause, Flag),
         Sm (Entity_Or_Associated_Node, Node_Id), -- just Associated_Node
         Sm (Hidden_By_Use_Clause, Elist_Id),
         Sm (More_Ids, Flag),
@@ -1497,8 +1497,8 @@  begin -- Gen_IL.Gen.Gen_Nodes
 
    Cc (N_Use_Type_Clause, Node_Kind,
        (Sy (Subtype_Mark, Node_Id, Default_Empty),
-        Sy (Is_Effective_Use_Clause, Flag),
         Sy (All_Present, Flag),
+        Sm (Is_Effective_Use_Clause, Flag),
         Sm (Hidden_By_Use_Clause, Elist_Id),
         Sm (More_Ids, Flag),
         Sm (Next_Use_Clause, Node_Id),