[LLVMdev] Disabling special treatment of "malloc" function

[Tim Northover]

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.