void f () __attribute__ ((__malloc__)); int main () { f (); }
Confirmed. The issue is in the middle-end in expand_call. Should an easy fix.
*** Bug 20613 has been marked as a duplicate of this bug. ***
Patch here: <http://gcc.gnu.org/ml/gcc-patches/2005-03/msg02336.html>.
Fixed checked into the mainline for 4.1.0.