[LLVMdev] Disabling special treatment of "malloc" function

Tim Northover t.p.northover at gmail.com
Sun Sep 8 08:36:17 PDT 2013

Hi Chris,

> For now I've added a flag to MDA such that malloc clobbers rather than
> resolving to undef; however I was wondering if there is a "proper" way to do
> this with any compiler targeting LLVM?

Clang has an option "-fno-builtin" that disables such assumptions (by
adding the attribute "nobuiltin" to the relevant callsites by the
looks of it). Is that useful to you?



More information about the llvm-dev mailing list