https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113372
--- Comment #15 from Richard Biener <rguenth at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #14)
> Created attachment 57085 [details]
> gcc14-pr113372.patch
>
> The non-propagation workaround which seems to fix^H^H^Hworkaround all those
> 4 issues (PR90348 testcase actually doesn't FAIL anymore, but I've verified
> the patch results in in and buf no longer being shared) can look like this.
+ || (INTEGRAL_TYPE_P (TREE_TYPE (use))
+ && TYPE_PRECISION (TREE_TYPE (use)) == POINTER_SIZE)))
ptrofftype_p (TREE_TYPE (use))
+ {
+ gimple *g = SSA_NAME_DEF_STMT (use);
+ if (is_gimple_assign (g))
+ for (unsigned i = 1; i < gimple_num_ops (g); ++i)
+ {
+ tree op = gimple_op (g, i);
+ if (op && TREE_CODE (op) == ADDR_EXPR)
I think it should be enough to look at gimple_assing_rhs1, that works
for single non-invariant &a[i], for conversions and for offsetting of
an invariant address (pointer-plus).
I'd say OK with those changes.
