From: Per Bothner <bothner@gcc.gnu.org>
Date: Wed, 5 May 1999 21:09:08 +0000 (-0700)
Subject: verify.c (verify_jvm_instructions): Better error messages.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=10b905f1eab24dd18a023aaa3681a3673866de10;p=gcc.git

verify.c (verify_jvm_instructions): Better error messages.

�
	* verify.c (verify_jvm_instructions):  Better error messages.

From-SVN: r26788
---

diff --git a/gcc/java/verify.c b/gcc/java/verify.c
index 4b34c4717d3..8779bd02674 100644
--- a/gcc/java/verify.c
+++ b/gcc/java/verify.c
@@ -750,8 +750,12 @@ verify_jvm_instructions (jcf, byte_ops, length)
 	      pop_type (field_type);
 	    if (! is_static)
 	      {
+		int clindex = COMPONENT_REF_CLASS_INDEX (&current_jcf->cpool,
+							index);
+		tree self_type = get_class_constant (current_jcf, clindex);
 		/* Defer actual checking until next pass. */
-		pop_type (ptr_type_node);
+		if (pop_type_0 (self_type) == NULL_TREE)
+		  VERIFICATION_ERROR ("incorrect type for field reference");
 	      }
 	    if (! is_putting)
 	      push_type (field_type);
@@ -1283,6 +1287,7 @@ verify_jvm_instructions (jcf, byte_ops, length)
   message = "program counter out of range";
   goto verify_error;
  verify_error:
-  error ("verification error at PC=%d: %s", oldpc, message);
+  error ("verification error at PC=%d: %s", oldpc);
+  error (message);
   return 0;
 }