2009-04-15 Jan Hubicka <jh@suse.cz>
+ * builtins.def (va_start, va_end, va_copy): Fix my previous commit.
+ Wrong version of patch.
+
+2009-04-15 Jan Hubicka <jh@suse.cz>
+
* builtins.def (va_start, va_end, va_copy): Mark nothrow.
2009-04-15 Nathan Sidwell <nathan@codesourcery.com>