From: Tom Tromey <tromey@redhat.com>
Date: Tue, 11 Mar 2003 20:37:02 +0000 (+0000)
Subject: parse.y (resolve_field_access): Initialize class if field is found in another static... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8b8e6c64afcc492a3b124a229e9b7774e032fdb9;p=gcc.git

parse.y (resolve_field_access): Initialize class if field is found in another static field.

	* parse.y (resolve_field_access): Initialize class if field is
	found in another static field.
	* expr.c (build_class_init): Don't optimize out initialization of
	implemented interface.

From-SVN: r64185
---

diff --git a/gcc/java/ChangeLog b/gcc/java/ChangeLog
index e0eed8ce430..0c9bc9b182a 100644
--- a/gcc/java/ChangeLog
+++ b/gcc/java/ChangeLog
@@ -1,3 +1,10 @@
+2003-03-11  Tom Tromey  <tromey@redhat.com>
+
+	* parse.y (resolve_field_access): Initialize class if field is
+	found in another static field.
+	* expr.c (build_class_init): Don't optimize out initialization of
+	implemented interface.
+
 2003-03-11  Andrew Haley  <aph@redhat.com>
 
 	* jcf-io.c (caching_stat): Initialize origsep to remove compiler
diff --git a/gcc/java/expr.c b/gcc/java/expr.c
index 48e67dfe227..11748238fd7 100644
--- a/gcc/java/expr.c
+++ b/gcc/java/expr.c
@@ -1672,7 +1672,14 @@ tree
 build_class_init (tree clas, tree expr)
 {
   tree init;
-  if (inherits_from_p (current_class, clas))
+
+  /* An optimization: if CLAS is a superclass of the class we're
+     compiling, we don't need to initialize it.  However, if CLAS is
+     an interface, it won't necessarily be initialized, even if we
+     implement it.  */
+  if ((! CLASS_INTERFACE (TYPE_NAME (clas))
+       && inherits_from_p (current_class, clas))
+      || current_class == clas)
     return expr;
 
   if (always_initialize_class_p)
diff --git a/gcc/java/parse.y b/gcc/java/parse.y
index 5c28ce7bd20..82293edfc72 100644
--- a/gcc/java/parse.y
+++ b/gcc/java/parse.y
@@ -9301,6 +9301,19 @@ resolve_field_access (tree qual_wfl, tree *field_decl, tree *field_type)
 	return error_mark_node;
       if (is_static)
 	field_ref = maybe_build_class_init_for_field (decl, field_ref);
+
+      /* If we're looking at a static field, we may need to generate a
+	 class initialization for it.  This can happen when the access
+	 looks like `field.ref', where `field' is a static field in an
+	 interface we implement.  */
+      if (!flag_emit_class_files
+	  && !flag_emit_xref
+	  && TREE_CODE (where_found) == VAR_DECL
+	  && FIELD_STATIC (where_found))
+	{
+	  build_static_field_ref (where_found);
+	  field_ref = build_class_init (DECL_CONTEXT (where_found), field_ref);
+	}
     }
   else
     field_ref = decl;