[llvm-commits] [llvm] r83324 - /llvm/trunk/lib/Analysis/MallocHelper.cpp

[Chris Lattner]

On Oct 5, 2009, at 11:49 PM, Duncan Sands wrote:

> Hi Torok,
>
>> +  // Check malloc prototype.
>> +  // FIXME: this will be obsolete when nobuiltin attribute will  
>> exist.
>
> why would it be obsolete then?  If LLVM sees "malloc" with a funky
> prototype it will always need to bail out, no?

Why would it in this case?  Though it doesn't make a lot of sense, it  
wouldn't cause the program to crash, and the code would have undefined  
behavior.

-Chris