> So the _bfd_safe_read_leb128.constprop removes the first unused argument: > ... > > But the analysis is bogus: > > ipa-modref: call to _bfd_safe_read_leb128.constprop/17919 does not clobber > ref: > bytes_read alias sets: 7->7 > > The &bytes_read is always modified in the function (if it's non-null).
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? Maybe problem is that if we call across partitioining boundary, the summary update happens in one ltrans while the call happens in different ltrans? When partitioning, we may need to update summaries at stream-out time.... Honza
