mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2024-12-18 12:09:46 +08:00
Code Issues Packages Projects Releases Wiki Activity

verify.cc (require_array_type): If argument is a null array of references, return null as the element type.

Browse Source 
* verify.cc (require_array_type): If argument is a null array of
	references, return null as the element type.

From-SVN: r49561
This commit is contained in:
Tom Tromey 2002-02-07 02:27:10 +00:00 committed by Tom Tromey
parent edd1967d0c
commit 383aa2ef49
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
libjava/ChangeLog
View File

@ -1,3 +1,8 @@
2002-02-06 Tom Tromey <tromey@redhat.com>
* verify.cc (require_array_type): If argument is a null array of
references, return null as the element type.
2002-02-06 Mark Wielaard <mark@klomp.org>
* verify.cc (verify_instructions_0) [op_dup2]: Actually push the

6
libjava/verify.cc
View File

@ -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");