On Fri, Sep 20, 2024 at 11:12 AM Eric Botcazou <botca...@adacore.com> wrote: > > Hi, > > the attached C testcase exhibits a wrong-code regression present since the > specific support for the static chain was added to the IPA mod/ref pass (GCC > 12 and later) although the underlying issue might have been present before. > > When a memory copy operation is analyzed by analyze_ssa_name, if both the load > and the store are made through the same SSA name, the store is overlooked.
Whoops... > Tested on x86-64/Linux, OK for all active branches? OK. Thanks, Richard. > > 2024-09-20 Eric Botcazou <ebotca...@adacore.com> > > * ipa-modref.cc (modref_eaf_analysis::analyze_ssa_name): Always > process both the load and the store of a memory copy operation. > > > 2024-09-20 Eric Botcazou <ebotca...@adacore.com> > > * gcc.dg/ipa/modref-4.c: New test. > > -- > Eric Botcazou
