[Bug java/19870] New: gcj -C compiled code accessing private fields of inner classes from outer class give IllegalAccessError

[Bug java/19870] New: gcj -C compiled code accessing private fields of inner classes from outer class give IllegalAccessError

[mark at gcc dot gnu dot org]

The following compiled with jikes outputs 42.
Compiled with gcj -C and ran with gij gives a java.lang.IllegalAccessError

public class A
{
  public static class B
  {
    private static int i = 42;
  }

  public static void main(String[] args)
  {
    System.out.println(B.i);
  }
}

-- 
           Summary: gcj -C compiled code accessing private fields of inner
                    classes from outer class give IllegalAccessError
           Product: gcc
           Version: 4.0.0
            Status: UNCONFIRMED
          Keywords: wrong-code
          Severity: normal
          Priority: P2
         Component: java
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: mark at gcc dot gnu dot org
                CC: gcc-bugs at gcc dot gnu dot org,java-prs at gcc dot gnu
                    dot org
OtherBugsDependingO 18131
             nThis:


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

[Bug java/19870] gcj -C compiled code accessing private fields of inner classes from outer class give IllegalAccessError

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-10 00:26 -------
This is a dup of bug 9369.

*** This bug has been marked as a duplicate of 9369 ***

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|                            |DUPLICATE


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

[Bug java/19870] gcj -C compiled code accessing private fields of inner classes from outer class give IllegalAccessError

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-10 00:27 -------
Crap actually it is not.

-- 


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

[Bug java/19870] gcj -C compiled code accessing private fields of inner classes from outer class give IllegalAccessError

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-10 00:28 -------
Woops.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|DUPLICATE                   |


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

[Bug java/19870] gcj -C compiled code accessing private fields of inner classes from outer class give IllegalAccessError

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-02-10 00:29 -------
Confirmed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-02-10 00:29:30
               date|                            |


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

[Bug java/19870] gcj -C doesn't generate accessors for private members in inner class

[mckinlay at redhat dot com]

------- Additional Comments From mckinlay at redhat dot com  2005-03-09 18:22 -------
gcj is generating code which references private members across class boundaries,
which isn't legal at the class/VM level. To fix this, we need to generate
package-private accessor methods when a private member is referenced from an
enclosed or enclosing class.

eg: jikes generates:

Method name:"main" public static Signature: (java.lang.String[])void
Attribute "Code", length:38, max_stack:2, max_locals:1, code_length:10
  0: getstatic <Field java.lang.System.out java.io.PrintStream>
  3: invokestatic <Method A$B.access$0 ()int>
  6: invokevirtual <Method java.io.PrintStream.println (int)void>
  9: return
Attribute "LineNumberTable", length:10, count: 2
  line: 10 at pc: 0
  line: 11 at pc: 9

Method name:"access$0" static Signature: ()int
Attribute "Synthetic", length:0
Attribute "Code", length:28, max_stack:1, max_locals:0, code_length:4
  0: getstatic <Field A$B.i int>
  3: ireturn
Attribute "LineNumberTable", length:6, count: 1
  line: 3 at pc: 0


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|gcj -C compiled code        |gcj -C doesn't generate
                   |accessing private fields of |accessors for private
                   |inner classes from outer    |members in inner class
                   |class give                  |
                   |IllegalAccessError          |


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

[Bug java/19870] gcj -C doesn't generate accessors for private members in inner class

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2005-05-19 22:57 -------
I note that GCJ already seems to have the infrastructure in place to do this and
possibly used to work properly for this case. For example, see the
build_outer_field_access(), outer_field_access_p(), etc. methods in parse.y. The
patch to turn this on seems to have been:

2000-02-03  Alexandre Petit-Bianco  <apbianco@cygnus.com>

        * java-tree.h (FIELD_THISN): New macro.
        * jcf-write.c (append_synthetic_attribute): New function.
        (generate_classfile): Set "Synthetic" attribute on this$<n>,
        val$<name> fields, access$<n> and $finit$ methods. Fixed indentation.
        * parse.y (add_inner_class_fields): Set FIELD_THISN for created
        this$<n> fields.
        (build_outer_field_access): Turned on access functions usage and
        generation when compiling to bytecode.
        (maybe_use_access_method): Likewise.

As with other such things in GCJ, this seems to have bitrotted over time. :-(

-- 


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2005-05-23 07:45 -------
outer_field_access_p(), build_outer_field_access(), etc. are only for non-static
fields (instance variables). Even for some simple testcases, I could not get GCJ
to emit correct bytecode for non-static instance variables. Lastly these methods
 are for access from inside a nested class to a private member in a containing
class, not the other way round as given in the testcase for this PR.

So a significant surgery is indeed needed to make these cases work with GCJ.

If anyone is working on a patch to fix this, I would certainly like to hear from
them - I have a partially working patch, but I don't know if I'd be able to
finish it given the lack of skills as well as time on my part. 

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rmathew at gcc dot gnu dot
                   |                            |org
   Last reconfirmed|2005-05-12 16:53:53         |2005-05-23 07:45:49
               date|                            |
            Summary|gcj -C doesn't generate     |gcj -C doesn't generate
                   |accessors for private       |accessors for private
                   |members in inner class      |members across nested class
                   |                            |boundaries


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[rmathew at gcc dot gnu dot org]

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


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2005-05-26 07:31 -------
I have now submitted a patch for fixing this bug:

  http://gcc.gnu.org/ml/java-patches/2005-q2/msg00570.html

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


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-05-27 05:11 -------
Subject: Bug 19870

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rmathew@gcc.gnu.org	2005-05-27 05:11:44

Modified files:
	libjava        : ChangeLog 
	libjava/testsuite/libjava.jacks: jacks.xfail 
Added files:
	libjava/testsuite/libjava.lang: PR19870.java PR19870.out 

Log message:
	Testsuite adjustments for PR java/19870.
	* testsuite/libjava.lang/PR19870.java: New testcase.
	* testsuite/libjava.lang/PR19870.out: Expected output for the
	testcase.
	* testsuite/libjava.jacks/jacks.xfail: Add
	8.5.2-accessible-static-member-usage-3 and 15.8.4-static-2

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/ChangeLog.diff?cvsroot=gcc&r1=1.3636&r2=1.3637
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.lang/PR19870.java.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.lang/PR19870.out.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.jacks/jacks.xfail.diff?cvsroot=gcc&r1=1.23&r2=1.24



-- 


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-05-27 05:15 -------
Subject: Bug 19870

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rmathew@gcc.gnu.org	2005-05-27 05:15:30

Modified files:
	gcc/java       : ChangeLog java-tree.h jcf-write.c parse.y 

Log message:
	PR java/19870.
	* java-tree.h (OUTER_FIELD_ACCESS_IDENTIFIER_P): Rename to
	NESTED_FIELD_ACCESS_IDENTIFIER_P.
	(FIELD_INNER_ACCESS): Rename to FIELD_NESTED_ACCESS.
	(FIELD_INNER_ACCESS_P): Rename to FIELD_NESTED_ACCESS_P.
	* jcf-write.c (generate_classfile): Use
	NESTED_FIELD_ACCESS_IDENTIFIER_P instead of
	OUTER_FIELD_ACCESS_IDENTIFIER_P.
	* parse.y (build_outer_field_access): Rename to
	build_nested_field_access. Support static fields and outer-to-inner
	class accesses.
	(outer_field_access_p): Rename to nested_field_access_p. Support
	static fields and generalise to outer-to-inner class and sibling
	inner class accesses.
	(outer_field_expanded_access_p): Rename to
	nested_field_expanded_access_p and support static fields.
	(outer_field_access_fix): Rename to nested_field_access_fix and
	support static fields.
	(build_outer_field_access_expr): Rename to
	build_nested_field_access_expr and support static fields.
	(build_outer_field_access_methods): Rename to
	build_nested_field_access_methods and support static fields. For
	static fields, generate accessors without class instance parameters.
	(build_outer_field_access_method): Rename to
	build_nested_field_access_method and support static fields.
	(build_outer_method_access_method): Use
	NESTED_FIELD_ACCESS_IDENTIFIER_P instead of
	OUTER_FIELD_ACCESS_IDENTIFIER_P.
	(resolve_expression_name): Consider static field accesses across
	nested classes.
	(resolve_qualified_expression_name): Likewise.
	(java_complete_lhs): Use nested_field_access_fix instead of
	outer_field_access_fix.
	(patch_unary_op): Rename outer_field_flag to nested_field_flag.
	Use nested_field_expanded_access_p instead of
	outer_field_expanded_access_p. Use nested_field_access_fix instead
	of outer_field_access_fix.
	(check_thrown_exceptions): Use NESTED_FIELD_ACCESS_IDENTIFIER_P
	instead of OUTER_FIELD_ACCESS_IDENTIFIER_P.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.diff?cvsroot=gcc&r1=1.1618&r2=1.1619
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/java-tree.h.diff?cvsroot=gcc&r1=1.232&r2=1.233
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/jcf-write.c.diff?cvsroot=gcc&r1=1.164&r2=1.165
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/parse.y.diff?cvsroot=gcc&r1=1.535&r2=1.536



-- 


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2005-05-27 05:39 -------
Note that this PR should not be closed as the checked-in patch was
only for generating accessors for static fields. Methods are still
a problem as is demonstrated by this simple testcase:

public class A
{
  public static class B
  {
    private static void snafu( )
    {
      System.out.println( "Hello!");
    }
  }

  public static void main( String[] args)
  {
    B.snafu( );
  }
}


-- 


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2005-06-19 03:23 -------
A patch for the remaining bit is here:

  http://gcc.gnu.org/ml/java-patches/2005-q2/msg00742.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|http://gcc.gnu.org/ml/java- |http://gcc.gnu.org/ml/java-
                   |patches/2005-               |patches/2005-
                   |q2/msg00570.html            |q2/msg00742.html


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2005-08-14 15:50 -------
Updated patch for Part 2 posted in:

  http://gcc.gnu.org/ml/java-patches/2005-q3/msg00195.html

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                URL|http://gcc.gnu.org/ml/java- |http://gcc.gnu.org/ml/java-
                   |patches/2005-               |patches/2005-
                   |q2/msg00742.html            |q3/msg00195.html


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-16 18:22 -------
Subject: Bug 19870

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rmathew@gcc.gnu.org	2005-08-16 18:22:34

Modified files:
	gcc/java       : ChangeLog parse.y 

Log message:
	PR java/19870
	* parse.y (nested_field_access_p): Rename to nested_member_access_p
	and expand to handle method accesses across nested classes.
	(build_outer_method_access_method): Rename to
	build_nested_method_access_method.  Minor adjustments to comments.
	(resolve_expression_name): Use the newly-renamed
	nested_member_access_p method.
	(resolve_qualified_expression_name): Likewise.
	(patch_method_invocation): Also consider static methods for access
	method generation.  Minor adjustments to comments.
	(maybe_use_access_method): Use the more general
	nested_memeber_access_p to determine access across nested class
	boundaries.  Allow THIS_ARG to be NULL (for static methods).

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/ChangeLog.diff?cvsroot=gcc&r1=1.1656&r2=1.1657
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/java/parse.y.diff?cvsroot=gcc&r1=1.551&r2=1.552



-- 


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-08-16 18:32 -------
Subject: Bug 19870

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	rmathew@gcc.gnu.org	2005-08-16 18:32:14

Modified files:
	libjava        : ChangeLog 
	libjava/testsuite/libjava.jacks: jacks.xfail 
Added files:
	libjava/testsuite/libjava.lang: PR19870_2.java PR19870_2.out 

Log message:
	More testsuite adjustments for PR java/19870.
	* testsuite/libjava.lang/PR19870_2.java: New testcase.
	* testsuite/libjava.lang/PR19870_2.out: Expected output for the
	new testcase.
	* testsuite/libjava.jacks/jacks.xfail: Remove
	8.5.2-non-static-member-usage-2 and add 15.12.3-explicit-constructor-9.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/ChangeLog.diff?cvsroot=gcc&r1=1.3718&r2=1.3719
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.lang/PR19870_2.java.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.lang/PR19870_2.out.diff?cvsroot=gcc&r1=NONE&r2=1.1
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/libjava/testsuite/libjava.jacks/jacks.xfail.diff?cvsroot=gcc&r1=1.28&r2=1.29



-- 


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

[Bug java/19870] gcj -C doesn't generate accessors for private members across nested class boundaries

[rmathew at gcc dot gnu dot org]

------- Additional Comments From rmathew at gcc dot gnu dot org  2005-08-16 18:39 -------
Last part of the fix has now been checked in.

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


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