This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH] Don't error on coverage mismatch by request


> On 11/29/06, Richard Guenther <rguenther@suse.de> wrote:
> >
> >This makes coverage mismatch errors a warning if requested by
> >-Wcoverage-mismatch and assumes execution counts to be zero in
> >this case as we do for missing coverage info.
> >
> >This allows the same profile data to be used if re-compiling with
> >like small bugfixes added to a big project without the need to
> >re-do possibly lengthy profiling.
> >
> >Bootstrapped and tested on x86_64-unknown-linux-gnu.
> >
> >Ok for mainline?
> 
> I'm going to commit this in the next few days after another 
> bootstrap/regtest.

OK, if you find this useful (I originally missed this patch, sorry).
However I think the documentaiton should not suggest that if compiler
does not warn, everything is OK.  Please drop in the warning that even
if the mismatch is not diagnozed, the profile might be misapplied
resulting in poorly optimized code.

Honza
> 
> Thanks,
> Richard.
> 
> >2006-11-23  Richard Guenther  <rguenther@suse.de>
> >
> >        * doc/invoke.texi (-Wcoverage-mismatch): Document.
> >        * common.opt (-Wcoverage-mismatch): New warning option.
> >        * coverage.c (get_coverage_counts): Ignore coverage mismatch
> >        if -Wcoverage-mismatch is given.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]