[LLVMdev] optimization assumes malloc return is non-null

[Chris Lattner]

On Mon, 23 Jun 2008, Denys Vlasenko wrote:
>> I was confused about this too. LLVM actually *can* assume malloc success
>> in this case, using any of several arguments that came up in my exchange
>> with Daveed.
>
> Under this reasoning, it can equally assume malloc *failure*.

You're right, but I don't see what your point is.  What are you trying to 
achieve?

-Chris

-- 
http://nondot.org/sabre/
http://llvm.org/