Testcase: void foo (const char *, ...) __attribute__((__format__(__printf__, 1, 2))), bar (void); With clang -fsyntax-only, glibc prints out an error about a double-free. -Eli