pre-patch to run-time verifier

Tom Tromey tromey@redhat.com
Wed Jan 23 14:04:00 GMT 2002


>>>>> "Per" == Per Bothner <per@bothner.com> writes:

Per> Either of the following syntaxes seem to be accepted:
Per>     __attribute__ ((__noreturn__)) void fail1() { abort(); }
Per>     void __attribute__ ((__noreturn__))  fail2() { abort(); }

Excellent, thanks.

Tom



More information about the Java-patches mailing list