https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97586
--- Comment #9 from Martin Liška <marxin at gcc dot gnu.org> ---
> There is code in modref-transform that is supposed to update the
> summary. It produces debug output about it, but to be honest I am not
> sure where it will land since we now materialize lazily. Can you do
> -fdump-tree-all-details and then grep for "Updating summary for"
> and see if the resulting summary makes sense and we do not miss the
> update?
Nice, I can see it here:
grep 'Updating summary' addr2line*
addr2line.ltrans15.ltrans.083i.modref:Updating summary for
coff_set_custom_section_alignment.constprop/17873 from:
addr2line.ltrans15.ltrans.083i.modref:Updating summary for
_bfd_elf_assign_file_position_for_section.constprop/17888 from:
addr2line.ltrans15.ltrans.083i.modref:Updating summary for
_bfd_safe_read_leb128.constprop/17919 from:
addr2line.ltrans15.ltrans.083i.modref:Updating summary for
elf_i386_tpoff.isra/17989 from:
addr2line.ltrans15.ltrans.083i.modref:Updating summary for
elf_x86_64_tpoff.isra/18043 from:
So yes, _bfd_safe_read_leb128.constprop/17919 is updated in ltrans15, while the
use is in ltrans7.
Updating summary for _bfd_safe_read_leb128.constprop/17919 from:
loads:
Limits: 32 bases, 16 refs
Every base
stores:
Limits: 32 bases, 16 refs
Base 0: alias set 2
Ref 0: alias set 2
access: Parm 2 param offset:0 offset:0 size:32 max_size:32
to:
loads:
Limits: 32 bases, 16 refs
Every base
stores:
Limits: 32 bases, 16 refs
Base 0: alias set 2
Ref 0: alias set 2
access: Parm 1 param offset:0 offset:0 size:32 max_size:32
