<div dir="ltr">Filed PR19074 , thanks!</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Mar 7, 2014 at 12:49 AM, Ted Kremenek <span dir="ltr"><<a href="mailto:kremenek@apple.com" target="_blank">kremenek@apple.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Please file a PR and I’ll take a look.<br>
<div><div class="h5"><br>
On Mar 6, 2014, at 2:32 AM, İsmail Dönmez <<a href="mailto:ismail@donmez.ws">ismail@donmez.ws</a>> wrote:<br>
<br>
> Hi,<br>
><br>
> Given the following code<br>
><br>
> #include <stdlib.h><br>
><br>
> #define av_assert0(cond) do {                                           \<br>
>     if (!(cond)) {                                                      \<br>
>         abort();                                                        \<br>
>     }                                                                   \<br>
> } while (0)<br>
><br>
> int f(int x) {<br>
>     switch(x) {<br>
>         case 0:<br>
>             return 0;<br>
>         default:<br>
>             av_assert0(0);<br>
>     }<br>
> }<br>
><br>
> int main()<br>
> {<br>
> }<br>
><br>
> [/havana/t]> clang --version<br>
> clang version 3.4 (branches/release_34 198681)<br>
> Target: x86_64-suse-linux<br>
> Thread model: posix<br>
> [/havana/t]> clang -Wall -Wreturn-type t.c<br>
> [/havana/t]><br>
><br>
> No warnings. With recent trunk:<br>
><br>
> [/havana/t]> clang -v<br>
> clang version 3.5.0 (trunk 202995)<br>
> [/havana/t]> clang -Wall -Wreturn-type t.c<br>
> t.c:16:1: warning: control may reach end of non-void function [-Wreturn-type]<br>
> }<br>
> ^<br>
> 1 warning generated.<br>
><br>
> So looks like clang is no longer recognizing abort being a __noreturn__ function.<br>
><br>
> Regards,<br>
> ismail<br>
><br>
><br>
</div></div>> _______________________________________________<br>
> cfe-dev mailing list<br>
> <a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
<br>
</blockquote></div><br></div>