]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Implement From_Address attribute
authorSteve Baird <baird@adacore.com>
Tue, 9 Dec 2025 22:14:53 +0000 (14:14 -0800)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 9 Jan 2026 10:57:18 +0000 (11:57 +0100)
commit7216df7146ee11df20ff85ab5de2a372d6e553b3
tree1524be131c8d4e1b020e874bc64a305b09fd1ff6
parent66a48b5b51d12b6cd4f7002408d29f65ed83bb78
ada: Implement From_Address attribute

Add support for the GNAT-defined From_Address attribute.

gcc/ada/ChangeLog:

* doc/gnat_rm/implementation_defined_attributes.rst: Document the
From_Address attribute.
* exp_attr.adb (Expand_N_Attribute_Reference): Implement expansion
of a From_Address attribute reference.
* sem_attr.adb (Analyze_Attribute): Implement analysis of a
From_Address attribute reference.
(Eval_Attribute): A From_Address attribute reference cannot be
statically evaluated.
* snames.ads-tmpl: Declare Name_From_Address and Attribute_From_Address.
* gnat_rm.texi: Regenerate.
* gnat_ugn.texi: Regenerate.
gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
gcc/ada/exp_attr.adb
gcc/ada/gnat_rm.texi
gcc/ada/gnat_ugn.texi
gcc/ada/sem_attr.adb
gcc/ada/snames.ads-tmpl