]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Do not count comparison of addresses as a modification
authorViljar Indus <indus@adacore.com>
Tue, 12 Dec 2023 15:03:13 +0000 (17:03 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 9 Jan 2024 13:13:32 +0000 (14:13 +0100)
commit9b7d674fadd07aed242711e91232dbd049ef35be
tree2684fd14ab4513d86da0eeac04a62ee5d2b5ed68
parent9f6266e0adfe2e6f941dfc090510b5bf9287502c
ada: Do not count comparison of addresses as a modification

In some extended code we generate comparisons between
the Addresses of some variables. This causes those
variables to be considered modified. Whereas in this
particular scenario the variables are just referenced.

gcc/ada/

* sem_attr.adb: avoid marking a use of the Address attribute
as a modification of its prefix.
gcc/ada/sem_attr.adb