]> git.ipfire.org Git - thirdparty/gcc.git/commit
ada: Find overlying with slices
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 25 Nov 2025 10:29:28 +0000 (11:29 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 9 Jan 2026 10:57:12 +0000 (11:57 +0100)
commit315965cf4e47118152e7e9bf7086ccf833cafa91
tree744d7149b0228fb31b5370ed6a2aa8682758682e
parent5d24c744d41f7b0cada458d5cde1a50d690d10f2
ada: Find overlying with slices

A recent change removed rewriting of address of a slice into address of first
component of a slice. Now we need to explicitly detect overlying with slices.
Together, both changes cause warnings to be emitted when slice of a constant
object is overlaid by a variable.

gcc/ada/ChangeLog:

* sem_util.adb (Find_Overlaid_Entity): Detect overlying with slice.
gcc/ada/sem_util.adb