[LLVMdev] interesting possible compiler bug

[Eli Friedman]

On Mon, Oct 15, 2012 at 2:28 PM, Krzysztof Parzyszek
<kparzysz at codeaurora.org> wrote:
> On 10/1/2012 9:40 PM, Nick Lewycky wrote:
>>
>>
>> As far as I know, this optimization is legal.
>
>
> It's not legal.
> 1. malloc is not known to always return a non-null pointer.

The system malloc isn't, but the compiler can change any given call to
malloc to call an implementation which is known to return a non-null
pointer.

-Eli