[LLVMdev] Verifier should not make any assumptions about calls to "malloc"

[Duncan Sands]

Hi Victor,

> Just looked at getMallocType() and it does not assume that the return 
> type of a malloc call is i8*, so I have removed this check from the 
> verifier.

what if the declaration with the name "malloc" returns nothing or a
struct or an array or something like that?  LLVM shouldn't fall over
in a heap.

Ciao,

Duncan.