[Bug java/17691] New: error on valid java code from freenet

[Bug java/17691] New: error on valid java code from freenet

[ruben at ugr dot es]

>cat a.java

class A {
int x (){
return 0;
}
}
class B extends A {
int y(){
B.super.x();
return 0;
}
}

>javac a.java
#no error

>gcj a.java
a.java:8: error: '(' expected.
   B.super.x();
          ^
1 error

I know it is not good to use another compiler to check for validity of code.
Nevertheless, I looked this up and it is valid code according to Sun.
I can't find the reference now.
The super in this example is redundant, but it wouldn't be if B had an x() method.

The errors are the same in either case.

This is needed to compile freenet/crypt/ThrottledAsyncEntropyYarrow.java

Please check

-- 
           Summary: error on valid java code from freenet
           Product: gcc
           Version: 3.4.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: java
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: ruben at ugr dot es
                CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu
                    dot org
 GCC build triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug java/17691] error on valid java code from freenet

[ruben at ugr dot es]

------- Additional Comments From ruben at ugr dot es  2004-09-27 12:38 -------
Created an attachment (id=7224)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7224&action=view)
Test case (with int x() in both A and B)


-- 


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

[Bug java/17691] error on valid java code from freenet

[ruben at ugr dot es]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
   Attachment #7224|application/octet-stream    |text/x-java-code
          mime type|                            |


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

[Bug java/17691] error on valid java code from freenet

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2004-09-27 13:27 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
           Keywords|                            |rejects-valid
      Known to fail|                            |4.0.0
   Last reconfirmed|0000-00-00 00:00:00         |2004-09-27 13:27:55
               date|                            |


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

[Bug java/17691] error on valid java code from freenet

[mark at gcc dot gnu dot org]

------- Additional Comments From mark at gcc dot gnu dot org  2004-09-27 22:14 -------
A workaround is to change B.super.x() to just super.x().

-- 


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

[Bug java/17691] error on valid java code from freenet

[ruben at ugr dot es]

------- Additional Comments From ruben at ugr dot es  2004-09-28 09:10 -------
The workaround does not work when in an inner class. This was the original problem.

>cat a.java

class A {
    int x() {
        return 0;
    }
}
class B extends A {
    int x(){
        return 1;
    }
    class C {
        int y(){
            return B.super.x();
        }
    }
}

>javac a.java

#no error

>gcj a.java
a.java:13: error: 'class' or 'this' expected.
            return B.super.x();
                        ^
1 error


-- 


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

[Bug java/17691] error on valid java code from freenet

[ruben at ugr dot es]

------- Additional Comments From ruben at ugr dot es  2004-09-28 09:13 -------
(In reply to comment #4)

This might be a completely unrelated bug; at least the error message is different.


-- 


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

[Bug java/17691] error on valid java code from freenet

[mark at gcc dot gnu dot org]

------- Additional Comments From mark at gcc dot gnu dot org  2004-09-29 22:44 -------
Then a workaround is:

class A
{
  int x()
  {
    return 0;
  }
}

class B extends A
{
  int x()
  {
    return 1;
  }

  // Extra workaround method
  int ax()
  {
    return super.x();
  }

  class C
  {
    int y()
    {
      return ax();
    }
  }
}

But this is getting silly indeed.
It is a real bug that mist be fixed.

-- 


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

[Bug java/17691] error on valid java code from freenet

[tromey at gcc dot gnu dot org]

------- Comment #7 from tromey at gcc dot gnu dot org  2007-01-09 20:46 -------
All gcj front end bugs have been fixed by the gcj-eclipse branch merge.
I'm mass-closing the affected PRs.
If you believe one of these was closed in error, please reopen it
with a note explaining why.
Thanks.


-- 

tromey at gcc dot gnu dot org changed:

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


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