From 383aa2ef4972a828f0be6f36ff7f3e1c742fb173 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Thu, 7 Feb 2002 02:27:10 +0000 Subject: [PATCH] verify.cc (require_array_type): If argument is a null array of references, return null as the element type. * verify.cc (require_array_type): If argument is a null array of references, return null as the element type. From-SVN: r49561 --- libjava/ChangeLog | 5 +++++ libjava/verify.cc | 6 ++++-- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/libjava/ChangeLog b/libjava/ChangeLog index 3a47cc0683c..bbf6942467f 100644 --- a/libjava/ChangeLog +++ b/libjava/ChangeLog @@ -1,3 +1,8 @@ +2002-02-06 Tom Tromey + + * verify.cc (require_array_type): If argument is a null array of + references, return null as the element type. + 2002-02-06 Mark Wielaard * verify.cc (verify_instructions_0) [op_dup2]: Actually push the diff --git a/libjava/verify.cc b/libjava/verify.cc index 8d235e7d3da..562cfaf5bc3 100644 --- a/libjava/verify.cc +++ b/libjava/verify.cc @@ -1166,9 +1166,11 @@ private: // compatible with type ELEMENT. Returns the actual element type. type require_array_type (type array, type element) { - // An odd case. Here we just pretend that everything went ok. + // An odd case. Here we just pretend that everything went ok. If + // the requested element type is some kind of reference, return + // the null type instead. if (array.isnull ()) - return element; + return element.isreference () ? type (null_type) : element; if (! array.isarray ()) verify_fail ("array required"); -- 2.30.2