[LLVMdev] Verifier should not make any assumptions about calls to "malloc"
baldrick at free.fr
Tue Sep 22 12:51:01 PDT 2009
> 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
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