[Bug java/19070] New: internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[Bug java/19070] New: internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[dan at bolser dot co dot uk]

internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

Some specific syntax (see below) in the java prog I am trying to compile causes
the above error...

Here are my details...

/usr/share/gcc-4.0a/bin/gcc -v
Reading specs from /usr/share/gcc-4.0a/lib/gcc/i686-pc-linux-gnu/4.0.0/specs
Configured with: ../gcc/configure --prefix=/usr/share/gcc-4.0a --enable-java-awt=gtk
Thread model: posix
gcc version 4.0.0 20041130 (experimental)


uname -a
Linux bleah.com 2.6.9-1.6_FC2 #1 Thu Nov 18 22:03:19 EST 2004 i686 athlon i386
GNU/Linux

Compiled using... gcj -C


The bug is triggered by the following code example...

public class testish {
    public void test (){
	Number ping = (Number) new Integer(10);
	double pong = ping.doubleValue();
	if (pong != null){                       <-- Line 5
	    System.out.println("well...");
	}
    }
}


/usr/share/gcc-4.0a/bin/gcj -C testish.java
testish.java: In class 'testish':
testish.java: In method 'testish.test()':
testish.java:5: internal compiler error: in generate_bytecode_conditional, at
java/jcf-write.c:1271
Please submit a full bug report,

I haven't tried to compile with JDK.

-- 
           Summary: internal compiler error: in
                    generate_bytecode_conditional, at java/jcf-write.c:1271
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: java
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dan at bolser dot co dot uk
                CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu
                    dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070

[Bug java/19070] internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-12-18 19:04 -------
With "4.0.0 20041214" on powerpc-darwin, I get an error and not an ICE:
testish.java:6: error: Invalid expression statement.
               System.out.println("well...");
                                            ^
1 error

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070

[Bug java/19070] internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[dan at bolser dot co dot uk]

------- Additional Comments From dan at bolser dot co dot uk  2004-12-18 19:07 -------
The following code...

public class testish {
    public static void main (String args[]){
	Number pang = null;
	double pong = pang.doubleValue();
	if (pong != 0){
	    System.out.println("well...");
	}
    }
}

Causes a runtime null pointer exception... 

Exception in thread "main" java.lang.NullPointerException
   at testish.main(java.lang.String[]) (Unknown Source)

I guess it should be a compile time error, although I don't know.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070

[Bug java/19070] internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[dan at bolser dot co dot uk]

------- Additional Comments From dan at bolser dot co dot uk  2004-12-18 19:12 -------
I also get the exact same behaviour using...

gcc -v 
Reading specs from /usr/share/gcc-4.0b/lib/gcc/i686-pc-linux-gnu/4.0.0/specs
Configured with: ../gcc/configure --prefix=/usr/share/gcc-4.0b --enable-java-awt=gtk
Thread model: posix
gcc version 4.0.0 20041217 (experimental)

Trying to compile this code...

public class testish {
    public static void main (String args[]){
	Number pang = null;
	double pong = pang.doubleValue();
	if (pong != null){
	    System.out.println("well...");
	}
    }
}

/usr/share/gcc-4.0b/bin/gcj -C testish.java
testish.java: In class 'testish':
testish.java: In method 'testish.main(java.lang.String[])':
testish.java:5: internal compiler error: in generate_bytecode_conditional, at
java/jcf-write.c:1271


I guess this should compile, as not testing for the null causes a run time null
pointer exception (as shown in comment #2)

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070

[Bug java/19070] internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[tromey at gcc dot gnu dot org]

------- Additional Comments From tromey at gcc dot gnu dot org  2004-12-18 22:02 -------
I reproduced this with 3.3, 3.4, and cvs head.

The test case in comment #2 is correct to throw
NullPointerException.  You are calling a method on
"pang", which is null.


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2004-12-18 22:02:57
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070

[Bug java/19070] internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2005-01-18 13:37 -------
Proposed patch here:

http://gcc.gnu.org/ml/java-patches/2005-q1/msg00117.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |patch


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070

[Bug java/19070] internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-25 06:13 -------
Subject: Bug 19070

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rmathew@gcc.gnu.org	2005-01-25 06:12:40

Modified files:
	gcc/java       : ChangeLog parse.y 

Log message:
	PR java/19070
	* parse.y (patch_binop): Allow comparisons against NULL only
	if the other operand is of a reference type.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.diff?cvsroot=gcc&r1=1.1534&r2=1.1535
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/parse.y.diff?cvsroot=gcc&r1=1.526&r2=1.527



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070

[Bug java/19070] internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-01-25 17:18 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.0.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070

[Bug java/19070] internal compiler error: in generate_bytecode_conditional, at java/jcf-write.c:1271

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-01-26 02:28 -------
Subject: Bug 19070

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rmathew@gcc.gnu.org	2005-01-26 02:28:15

Modified files:
	libjava        : ChangeLog 
	libjava/testsuite/libjava.jacks: jacks.xfail 

Log message:
	* testsuite/libjava.jacks/jacks.xfail: Update for PR java/19070,
	remove other passing tests and add new XFAILs.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/ChangeLog.diff?cvsroot=gcc&r1=1.3295&r2=1.3296
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.jacks/jacks.xfail.diff?cvsroot=gcc&r1=1.18&r2=1.19



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19070