https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106075
--- Comment #14 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > Ah - interesting. I wonder how the CALL handling is correct in > using add_non_frame_wild_read then for the case we pass the address > of a frame variable to it. See kill_on_calls. > So I suppose add_wild_read () would do the trick. Nope, since it also calls free_read_records. > So better would be to include the original effects of the insn _plus_ > the non-frame wild read effect. Yes, exactly.
