<div dir="ltr">Looks like it gives the same result</div><div class="gmail_extra"><br><br><div class="gmail_quote">2014-06-11 14:18 GMT+01:00 Joerg Sonnenberger <span dir="ltr"><<a href="mailto:joerg@britannica.bec.de" target="_blank">joerg@britannica.bec.de</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="">On Wed, Jun 11, 2014 at 02:05:23AM +0100, Marcello Maggioni wrote:<br>
> Hello Joerg,<br>
><br>
> by unreachable default you mean something like this?<br>
><br>
> int foo(int a) {<br>
>   switch (a) {<br>
>   case 0:<br>
>     return 10;<br>
>   case 1:<br>
>     return 20;<br>
>   case 2:<br>
>     return 2;<br>
>   case 8:<br>
>     return 3;<br>
>   case 9:<br>
>     return 4;<br>
>   case 10:<br>
>     return 5;<br>
>   default:<br>
>     abort();<br>
>   }<br>
> }<br>
<br>
</div>More like explicit __builtin_unreachable(), since abort() still has side<br>
effects. Practical use case is switching over an enum.<br>
<div class="HOEnZb"><div class="h5"><br>
Joerg<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
</div></div></blockquote></div><br></div>