<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content=text/html;charset=iso-8859-1 http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.7601.17824"></HEAD>
<BODY style="PADDING-LEFT: 10px; PADDING-RIGHT: 10px; PADDING-TOP: 15px"
id=MailContainerBody leftMargin=0 topMargin=0 CanvasTabStop="true"
name="Compose message area">
<DIV><FONT size=2 face=Consolas>Bah, I missed your post and put up a poll at
almost the same time to cfe-dev on this issue.</FONT></DIV>
<DIV><FONT size=2 face=Consolas></FONT> </DIV>
<DIV><FONT size=2 face=Consolas>Oops :o)</FONT></DIV>
<DIV> </DIV>
<DIV style="FONT: 10pt Tahoma">
<DIV><FONT face=Consolas></FONT><BR></DIV>
<DIV style="BACKGROUND: #f5f5f5">
<DIV style="font-color: black"><B>From:</B> <A
title="mailto:richard@metafoo.co.uk
STRG + Klicken, um Verknüpfung zu folgen"
href="mailto:richard@metafoo.co.uk">Richard Smith</A> </DIV>
<DIV><B>Sent:</B> Monday, July 09, 2012 11:08 PM</DIV>
<DIV><B>To:</B> <A title=jordan_rose@apple.com
href="mailto:jordan_rose@apple.com">Jordan Rose</A> </DIV>
<DIV><B>Cc:</B> <A title=andyg1001@hotmail.co.uk
href="mailto:andyg1001@hotmail.co.uk">Andy Gibbs</A> ; <A
title=cfe-commits@cs.uiuc.edu href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits
cfe</A> </DIV>
<DIV><B>Subject:</B> Re: [cfe-commits] [Patch 4 of 7] -verify fixes and
enhancement</DIV></DIV></DIV>
<DIV><FONT size=2 face=Consolas></FONT><BR></DIV>
<DIV class=gmail_quote>On Mon, Jul 9, 2012 at 12:01 PM, Jordan Rose <SPAN
dir=ltr><<A href="mailto:jordan_rose@apple.com"
target=_blank>jordan_rose@apple.com</A>></SPAN> wrote:<BR>
<BLOCKQUOTE
style="BORDER-LEFT: #ccc 1px solid; MARGIN: 0px 0px 0px 0.8ex; PADDING-LEFT: 1ex"
class=gmail_quote>
<DIV class=HOEnZb>
<DIV class=h5>On Jul 4, 2012, at 8:41 , Andy Gibbs <<A
href="mailto:andyg1001@hotmail.co.uk">andyg1001@hotmail.co.uk</A>>
wrote:<BR><BR>> So, in conclusion, we have the choice now: use the above
patch and have fatal<BR>> errors shown but all other diagnostics
suppressed, or I can fix the patch from<BR>> last time with your comment
above and we can use -verify to even check fatal<BR>>
errors.<BR>><BR>> I am personally happy with either route. I can
see advantages both ways.<BR><BR></DIV></DIV>I prefer this approach, but I'm
hoping someone else can comment here. It's something that really affects the
behavior of -verify.</BLOCKQUOTE>
<DIV><FONT size=2 face=Consolas></FONT><FONT size=2
face=Consolas></FONT><BR></DIV>
<DIV>-verify already works when checking fatal errors, and is currently used for
that by several tests. What doesn't work currently is printing out the -verify
summary after a fatal error occurs, if there are mismatches between expectations
and diagnostics. So let's just fix that.</DIV></DIV></BODY></HTML>