]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Remove flag Is_Inherited_Pragma which is only set and never used
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 30 Jan 2024 00:10:17 +0000 (01:10 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Tue, 7 Jan 2025 12:33:34 +0000 (13:33 +0100)
commit4b64d6d6439b002d17055c1c1112b248664face1
tree1ddfb59ef543e7881ccee834137523052bed42d2
parent8f4194d6c3ccb5ab4bd4b420c37cdeb31b712c2a
ada: Remove flag Is_Inherited_Pragma which is only set and never used

Code cleanup; behavior is unaffected. Flag Is_Inherited_Pragma is only set in
GNAT, but is not actually used, neither by the compiler nor by any backend.

gcc/ada/ChangeLog:

* contracts.adb (Inherit_Pragma): Don't set flag Is_Inherited_Pragma.
* gen_il-fields.ads (Opt_Field_Enum): Remove field identifier.
* gen_il-gen-gen_nodes.adb (N_Pragma): Remove field from node.
* sinfo.ads (Is_Inherited_Pragma): Remove field description.
(N_Pragma): Remove field reference.
gcc/ada/contracts.adb
gcc/ada/gen_il-fields.ads
gcc/ada/gen_il-gen-gen_nodes.adb
gcc/ada/sinfo.ads