[Bug java/20312] No warning on bad method

[daney at gcc dot gnu dot org]

--- Comment #7 from daney at gcc dot gnu dot org  2007-01-30 01:53 ---
In 4.3.0 this is correctly flagged as an error.  With the testcase in comment
#1 we get:

$ gcj -o t --main=t t.java
t.java:3: error: Exception IOException is not compatible with throws clause in
Object.toString()
public String toString()  throws java.io.IOException
  ^^
1 problem (1 error)


-- 

daney at gcc dot gnu dot org changed:

   What|Removed |Added

 Status|REOPENED|RESOLVED
  Known to work||4.3.0
 Resolution||FIXED
   Target Milestone|--- |4.3.0


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

[Bug java/20312] No warning on bad method

[pinskia at gcc dot gnu dot org]

-- 
   What|Removed |Added

   Target Milestone|4.1.0   |---


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

[Bug java/20312] No warning on bad method

[bothner at gcc dot gnu dot org]

--- Additional Comments From bothner at gcc dot gnu dot org  2005-04-21 
09:05 ---
This patch can cause an ICE when the super-class is byte-compiled.
If a byte-compiled method M in a super-class throws exception X,
we try to emit an erroneous error message that M can't throw X
(because we don't analyze the bytecode).  Worse, because M
doesn't have DECL_FUNCTION_WFL set, we get an ICE in parse_error_context.

The problem is check_interface_throws_clauses, which seems to be doing way
too much work ... it should be not be checking that
The exception must be a subclass of an exception thrown in super-classes.

-- 
   What|Removed |Added

 Status|RESOLVED|REOPENED
 Resolution|FIXED   |


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

[Bug java/20312] No warning on bad method

[rmathew at gcc dot gnu dot org]

--- Additional Comments From rmathew at gcc dot gnu dot org  2005-03-10 
13:30 ---
A patch is here:

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

-- 
   What|Removed |Added

   Keywords||patch


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

[Bug java/20312] No warning on bad method

[cvs-commit at gcc dot gnu dot org]

--- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-03-10 
18:40 ---
Subject: Bug 20312

CVSROOT:/cvs/gcc
Module name:gcc
Changes by: [EMAIL PROTECTED]   2005-03-10 18:40:28

Modified files:
gcc/java   : ChangeLog parse.y 

Log message:
PR java/20312
* parse.y (checks_throws_clauses): Check exceptions list even when
the base class does not come from a source file being compiled.
(java_complete_lhs): Remove unused variable 'wfl'.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.diff?cvsroot=gccr1=1.1570r2=1.1571
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/parse.y.diff?cvsroot=gccr1=1.529r2=1.530



-- 


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

[Bug java/20312] No warning on bad method

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-10 
23:35 ---
Fixed in 4.1.0 and above.

-- 
   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution||FIXED
   Target Milestone|--- |4.1.0


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

[Bug java/20312] No warning on bad method

[pinskia at gcc dot gnu dot org]

--- Additional Comments From pinskia at gcc dot gnu dot org  2005-03-04 
15:04 ---
Confirmed, reduced self contained testcase:
class t
{
  public String toString()  throws java.io.IOException
  {return ;}
}

-- 
   What|Removed |Added

 Status|UNCONFIRMED |NEW
 Ever Confirmed||1
   Keywords||accepts-invalid
  Known to fail||4.1.0
   Last reconfirmed|-00-00 00:00:00 |2005-03-04 15:04:44
   date||


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