[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?
Cheers.
Tim.
More information about the llvm-dev
mailing list