On Thu, Sep 27, 2012 at 6:05 PM, Nico Weber <span dir="ltr"><<a href="mailto:thakis@chromium.org" target="_blank">thakis@chromium.org</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">On Fri, Sep 28, 2012 at 1:31 AM, Sean Silva <<a href="mailto:silvas@purdue.edu">silvas@purdue.edu</a>> wrote:<br>
>> I couldn't think of a great way. If no filename argument is present,<br>
>> -cc1 -verify reads its input from stdin, which is a valid usecase. I<br>
>> think lit closes stdin when it forks, which is why -cc1 doesn't just<br>
>> wait for eof forever in this case.<br>
><br>
> It is a valid use case, but how about just requiring that it be<br>
> explicit (at least for -verify)? Forcing it to be explicit would<br>
> preserve the use case but make the error case impossible.<br>
<br>
</div>Sounds resonable. Wanna give it a shot? :-)</blockquote><div><br></div><div>Alternatively (and slightly more generally) how about teaching -verify to fail if it doesn't find any expected-* comments to check (like FileCheck does)?</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="HOEnZb"><div class="h5">
><br>
> -- Sean Silva<br>
><br>
> On Thu, Sep 27, 2012 at 6:22 AM, David Blaikie <<a href="mailto:dblaikie@gmail.com">dblaikie@gmail.com</a>> wrote:<br>
>>  /cfe/trunk/test/Sema/no-format-y2k-turnsoff-format.c<br>
>> MIME-Version: 1.0<br>
>> Content-Type: text/plain; charset="utf-8"<br>
>> Content-Transfer-Encoding: 7bit<br>
>><br>
>> If clang was going to read from stdin, wouldn't it need a -x to tell it<br>
>> what kind of input it is? Even if it has a default, an empty file is<br>
>> not a valid TU, at least in C++, though I guess if it has a default it<br>
>> would be C and an empty file is probably valid C. Perhaps a warning<br>
>> there at least could be handy<br>
>> From: Nico Weber<br>
>> Sent: 9/27/2012 7:43 AM<br>
>> To: Sean Silva<br>
>> Cc: Nico Weber; <a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
>> Subject: Re: [cfe-commits] r164677<br>
>> - /cfe/trunk/test/Sema/no-format-y2k-turnsoff-format.c<br>
>> On Thu, Sep 27, 2012 at 2:46 AM, Sean Silva <<a href="mailto:silvas@purdue.edu">silvas@purdue.edu</a>> wrote:<br>
>>> Is there some way to ensure that this doesn't ever happen again? Like<br>
>>> having -verify warn/fail if there is no input? That would allow fixing<br>
>>> all of these cases in a single fell swoop and ensure that it never<br>
>>> happens again.<br>
>><br>
>> I couldn't think of a great way. If no filename argument is present,<br>
>> -cc1 -verify reads its input from stdin, which is a valid usecase. I<br>
>> think lit closes stdin when it forks, which is why -cc1 doesn't just<br>
>> wait for eof forever in this case.<br>
>><br>
>> I suppose lit could check if clang_cc1 is the first command on the run<br>
>> line and then add a flag that tells cc1 to error out if it's reading<br>
>> from stdin, but seems brittle.<br>
>><br>
>> Do you have a good suggestion?<br>
>><br>
>>><br>
>>> -- Sean Silva<br>
>>><br>
>>> On Wed, Sep 26, 2012 at 5:02 AM, Nico Weber <<a href="mailto:nicolasweber@gmx.de">nicolasweber@gmx.de</a>> wrote:<br>
>>>> Author: nico<br>
>>>> Date: Wed Sep 26 04:02:07 2012<br>
>>>> New Revision: 164677<br>
>>>><br>
>>>> URL: <a href="http://llvm.org/viewvc/llvm-project?rev=164677&view=rev" target="_blank">http://llvm.org/viewvc/llvm-project?rev=164677&view=rev</a><br>
>>>> Log:<br>
>>>> Make this test actually test something<br>
>>>><br>
>>>> Modified:<br>
>>>>     cfe/trunk/test/Sema/no-format-y2k-turnsoff-format.c<br>
>>>><br>
>>>> Modified: cfe/trunk/test/Sema/no-format-y2k-turnsoff-format.c<br>
>>>> URL: <a href="http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/no-format-y2k-turnsoff-format.c?rev=164677&r1=164676&r2=164677&view=diff" target="_blank">http://llvm.org/viewvc/llvm-project/cfe/trunk/test/Sema/no-format-y2k-turnsoff-format.c?rev=164677&r1=164676&r2=164677&view=diff</a><br>

>>>> ==============================================================================<br>
>>>> --- cfe/trunk/test/Sema/no-format-y2k-turnsoff-format.c (original)<br>
>>>> +++ cfe/trunk/test/Sema/no-format-y2k-turnsoff-format.c Wed Sep 26 04:02:07 2012<br>
>>>> @@ -1,4 +1,4 @@<br>
>>>> -// RUN: %clang_cc1 -verify -fsyntax-only -Wformat -Wno-format-y2k<br>
>>>> +// RUN: %clang_cc1 -verify -fsyntax-only -Wformat -Wno-format-y2k %s<br>
>>>>  // rdar://9504680<br>
>>>><br>
>>>>  void foo(const char *, ...) __attribute__((__format__ (__printf__, 1, 2)));<br>
>>>><br>
>>>><br>
>>>> _______________________________________________<br>
>>>> cfe-commits mailing list<br>
>>>> <a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
>>>> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
>>> _______________________________________________<br>
>>> cfe-commits mailing list<br>
>>> <a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
>>> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
>> _______________________________________________<br>
>> cfe-commits mailing list<br>
>> <a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
>> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
_______________________________________________<br>
cfe-commits mailing list<br>
<a href="mailto:cfe-commits@cs.uiuc.edu">cfe-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits</a><br>
</div></div></blockquote></div><br>