<div dir="ltr">On Wed, Nov 20, 2013 at 12:29 PM, Enea Zaffanella <span dir="ltr"><<a href="mailto:zaffanella@cs.unipr.it" target="_blank">zaffanella@cs.unipr.it</a>></span> wrote:<br><div class="gmail_extra"><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"><br>
On 11/20/2013 08:46 PM, Richard Smith wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I suspect this is not currently visible to any in-tree code. Perhaps we could teach -ast-dump to dump this flag, and test it that way.<br>
</blockquote>
<br></div>
It seems that -ast-print is able to show the difference ... but I can not tell if this is only happening by chance (the status of the pretty printer is unclear to me):<br>
<br>
$ cat a.cc<br>
float test() {<br>
  return __builtin_asinf(1.0);<br>
}<br>
<br>
Before the patch we were getting:<br>
$ clang++ -cc1 -ast-print a.cc<br>
float test() {<br>
    return __builtin_asinf(1.);<br>
}<br>
<br>
<br>
extern "C" extern float __builtin_asinf(float) __attribute__((nothrow)) __attribute__((const))<br>
$<br>
<br>
After the patch, only function test() is printed out.</blockquote><div><br></div><div>That makes sense; the ast printer tries to avoid printing implicit declarations. Please add a test for that! =) </div></div></div></div>