]> git.ipfire.org Git - thirdparty/gcc.git/commit
tree-optimization/120358 - bogus PTA with structure access
authorRichard Biener <rguenther@suse.de>
Mon, 7 Jul 2025 13:13:38 +0000 (15:13 +0200)
committerRichard Biener <rguenth@gcc.gnu.org>
Wed, 9 Jul 2025 06:29:35 +0000 (08:29 +0200)
commit0f1e4dd1f9354ea962113e066152d0a77209f732
tree0c3990e83f23bb2f9a5cff7fb488d3c951515294
parentc625bc9c7c294ef2851ae42d4a5b6cc899fecb5e
tree-optimization/120358 - bogus PTA with structure access

When we compute the constraint for something like
MEM[(const struct QStringView &)&tok2 + 32] we go and compute
what (const struct QStringView &)&tok2 + 32 points to and then
add subvariables to its dereference that possibly fall in the
range of the access according to the original refs size.  In
doing that we disregarded that the subvariable the starting
address points to might not be aligned to it and thus the
access might start at any point within that variable.  The following
conservatively adjusts the pruning of adjacent sub-variables to
honor this.

PR tree-optimization/120358
* tree-ssa-structalias.cc (get_constraint_for_1): Adjust
pruning of sub-variables according to the imprecise
known start offset.

(cherry picked from commit aa5ae523e84a97bf3a582ea0fa73d959afa9b9c7)
gcc/tree-ssa-structalias.cc