[Bug java/11600] New: CloneNotSupportedException not checked on super.clone()

[Bug java/11600] New: CloneNotSupportedException not checked on super.clone()

[gcc-bugzilla at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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

           Summary: CloneNotSupportedException not checked on super.clone()
           Product: gcc
           Version: 3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: java
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: green at localhost dot localdomain
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu

	gcj should complain about the "bad" class, below.  For instance,
ecj says:
1. Error in bad.java (at line 5)
        return super.clone ();
               ^^^^^^^^^^^^^^
Unhandled exception type CloneNotSupportedException

	gcj lets this bad code pass.

Environment:
System: Linux escape 2.4.20-13.9 #1 Mon May 12 10:55:37 EDT 2003 i686 i686 i386 GNU/Linux
Architecture: i686

	
host: i686-pc-linux-gnu
build: i686-pc-linux-gnu
target: i686-pc-linux-gnu
configured with: ../gcc/configure --prefix=/home/green/tools/FSF/HEAD/i --enable-languages=c,c++,java

How-To-Repeat:
Try compiling this.  It should fail.

public class bad implements Cloneable
{
  public Object clone ()
    {
      return super.clone ();
    }
}

[Bug libgcj/11600] CloneNotSupportedException not checked on super.clone()

[pinskia at physics dot uc dot edu]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


pinskia at physics dot uc dot edu changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|java                        |libgcj
     Ever Confirmed|                            |1
           Keywords|                            |accepts-invalid
   Last reconfirmed|0000-00-00 00:00:00         |2003-07-20 02:32:00
               date|                            |


------- Additional Comments From pinskia at physics dot uc dot edu  2003-07-20 02:32 -------
I can confirm this on the mainline (20030714) but I think it is caused by a libgcj, not a 
front-end problem.

[Bug libgcj/11600] CloneNotSupportedException not checked on super.clone()

[green at redhat dot com]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From green at redhat dot com  2003-07-20 15:41 -------
This is definitely a compiler problem - not a libgcj problem.  bugzilla won't
let me change the "Component" field back to the original "java".

[Bug java/11600] CloneNotSupportedException not checked on super.clone()

[tromey at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


tromey at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |tromey at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED


------- Additional Comments From tromey at gcc dot gnu dot org  2003-08-05 02:10 -------
I submitted a patch

[Bug java/11600] CloneNotSupportedException not checked on super.clone()

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-08-05 18:47 -------
Subject: Bug 11600

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	tromey@gcc.gnu.org	2003-08-05 18:47:23

Modified files:
	gcc/java       : ChangeLog parse.y 

Log message:
	Fix for PR java/11600:
	* parse.y (java_complete_lhs): See whether we're calling a method
	on an array.
	(check_thrown_exceptions): Added `is_array_call' argument;
	fixed `clone' checking; updated all callers.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.diff?cvsroot=gcc&r1=1.1236&r2=1.1237
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/parse.y.diff?cvsroot=gcc&r1=1.437&r2=1.438

[Bug java/11600] CloneNotSupportedException not checked on super.clone()

[tromey at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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


tromey at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |3.4


------- Additional Comments From tromey at gcc dot gnu dot org  2003-08-05 18:48 -------
I've checked in the fix for this.

[Bug java/11600] CloneNotSupportedException not checked on super.clone()

[cvs-commit at gcc dot gnu dot org]

PLEASE REPLY TO gcc-bugzilla@gcc.gnu.org ONLY, *NOT* gcc-bugs@gcc.gnu.org.

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



------- Additional Comments From cvs-commit at gcc dot gnu dot org  2003-08-05 19:43 -------
Subject: Bug 11600

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	tromey@gcc.gnu.org	2003-08-05 19:43:20

Modified files:
	libjava/testsuite: ChangeLog 
Added files:
	libjava/testsuite/libjava.compile: PR11600.java PR11600.xfail 

Log message:
	For PR java/11600:
	* libjava.compile/PR11600.xfail: New file.
	* libjava.compile/PR11600.java: New file.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/ChangeLog.diff?cvsroot=gcc&r1=1.282&r2=1.283
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.compile/PR11600.java.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.compile/PR11600.xfail.diff?cvsroot=gcc&r1=NONE&r2=1.1