[cfe-dev] Straw poll: -verify and fatal errors

Andy Gibbs andyg1001 at hotmail.co.uk
Mon Jul 9 21:59:54 PDT 2012

On Tuesday, July 10, 2012 12:08 AM, Richard Smith wrote: 
> On Mon, Jul 9, 2012 at 2:14 PM, Andy Gibbs wrote:
>> The question at hand here relates to how -verify should handle
>> fatal errors generated within test cases.  At the moment,
>> -verify doesn't handle them at all: it cannot be used to check
>> for the generation of fatal errors, nor does it provide any
>> diagnostics back to the user.
> For those not following on cfe-commits, this is an inaccurate
> summary. We use -verify to check fatal errors in a few tests
> (for instance, test/SemaTemplate/instantiation-depth*), and it
> works, but if the test fails then -verify is unable to produce
> a diagnostic explaining why, because all diagnostics are
> suppressed after a fatal error

Yes, and I kicked myself too because I did know it but I had totally
forgotten it in all the discussions.  Apologies to all for bungling
my post.  So, the behaviour needs to be option 2 (i.e. treat fatal
errors as all other errors/warnings), but fix the fact that it doesn't
produce diagnostics to the user.

Jordan, I will post the patch for this on cfe-commits this morning
when I'm properly awake (unlike last night!). I have just noted that
you've committed the first three parts: many thanks!!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20120710/bedcf3f3/attachment.html>

More information about the cfe-dev mailing list