]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Turn Is_Effective_Use_Clause from syntactic to semantic flag
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 20 Dec 2024 12:09:22 +0000 (13:09 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 10 Jan 2025 09:39:55 +0000 (10:39 +0100)
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.

gcc/ada/gen_il-gen-gen_nodes.adb

index ca46bcebdd98729fe8273b6a656f1fe5b705ab7f..1f5dc6d3803e0090127bb0dcb483b0ba80034e8f 100644 (file)
@@ -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),