-/* Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008
+/* Copyright (C) 2001, 2002, 2003, 2004, 2005, 2006, 2008, 2009, 2010
Free Software Foundation
This file is part of libgcj.
/* Hack to work around namespace pollution from java-tree.h. */
#undef current_class
-#ifdef VERIFY_DEBUG
-#include <stdio.h>
-#endif /* VERIFY_DEBUG */
-
/* This is used to mark states which are not scheduled for
verification. */
#define INVALID_STATE ((state *) -1)
static type
check_class_constant (int index)
{
- type t = { 0, 0, 0 };
+ type t = { (type_val) 0, 0, 0 };
vfy_constants *pool;
check_pool_index (index);
static type
check_constant (int index)
{
- type t = { 0, 0, 0 };
+ type t = { (type_val) 0, 0, 0 };
vfy_constants *pool;
check_pool_index (index);
static type
check_wide_constant (int index)
{
- type t = { 0, 0, 0 };
+ type t = { (type_val) 0, 0, 0 };
vfy_constants *pool;
check_pool_index (index);
{
vfy_string name, field_type;
const char *typec;
- int len;
type t;
type ct = handle_field_or_method (index,
if (class_type)
*class_type = ct;
typec = vfy_string_bytes (field_type);
- len = vfy_string_length (field_type);
if (typec[0] == '[' || typec[0] == 'L')
init_type_from_string (&t, field_type);
else
case op_newarray:
{
int atype = get_byte ();
+ vfy_jclass k;
type t;
/* We intentionally have chosen constants to make this
valid. */
if (atype < boolean_type || atype > long_type)
verify_fail_pc ("type not primitive", vfr->start_PC);
pop_type (int_type);
- init_type_from_class (&t, construct_primitive_array_type (atype));
+ k = construct_primitive_array_type ((type_val) atype);
+ init_type_from_class (&t, k);
push_type_t (t);
}
break;