Hi Torok, > + // Check malloc prototype. > + // FIXME: this will be obsolete when nobuiltin attribute will exist. why would it be obsolete then? If LLVM sees "malloc" with a funky prototype it will always need to bail out, no? Ciao, Duncan.