This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [commited] profile updating
Jan Hubicka wrote:
>> Is it possible to add some verify_profile stuff which aborts if the
>> profile info is incorrect? I think this would be the safest way.
>
> This is, very unfortunately ineed, impossible in general.
> Basically in some optimizations you have no other choice but keep
> profile inconsistent.
OK. What about something less ambitious - can we at least have a simple
out-of-band value to which the profile info is reset when e.g. an edge is
redirected, so that we can later detect if the developer at least cared of
updating the field?
Giovanni Bajo