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

Duncan Sands baldrick at free.fr
Tue Sep 22 12:51:01 PDT 2009

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.



More information about the llvm-dev mailing list