Re: java/8433: Static initializers must be able to complete normally

Re: java/8433: Static initializers must be able to complete normally

[aph]

Synopsis: Static initializers must be able to complete normally

State-Changed-From-To: open->feedback
State-Changed-By: aph
State-Changed-When: Wed Jan 29 20:01:55 2003
State-Changed-Why:
    I don't understand how gcj is expected to do this.
    Determining whether a static initializer will complete normally is equivalent to the halting problem, and is therefore not computable.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8433

java/8433: Static initializers must be able to complete normally

[ebb9]

>Number:         8433
>Category:       java
>Synopsis:       Static initializers must be able to complete normally
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          accepts-illegal
>Submitter-Id:   net
>Arrival-Date:   Sat Nov 02 17:46:00 PST 2002
>Closed-Date:
>Last-Modified:
>Originator:     ebb9@email.byu.edu
>Release:        gcj (GCC) 3.2 20020818 (prerelease)
>Organization:
>Environment:
Configured with: /netrel/src/gcc-3.2-1/configure --enable-languages=c,c++,f77,ja
va --enable-libgcj --enable-threads=posix --with-system-zlib --enable-nls --with
out-included-gettext --enable-interpreter --disable-sjlj-exceptions --disable-ve
rsion-specific-runtime-libs --enable-shared --build=i686-pc-linux --host=i686-pc
-cygwin --target=i686-pc-cygwin --enable-haifa --prefix=/usr --exec-prefix=/usr
--sysconfdir=/etc --libdir=/usr/lib --includedir=/nonexistent/include --libexecd
ir=/usr/sbin
Thread model: posix
gcc version 3.2 20020818 (prerelease)
>Description:
Java forbids static initializers from not being able to complete normally. These two classes should both cause a compile-time error, but gcj accepts them:

class Foo
{
  static
  {
    throw new NullPointerException("nope");
  }
}
class Other
{
  static
  {
    while (true);
  }
}

>How-To-Repeat:
Compile the two example classes. It should give two compile errors.
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted: