libjava/link.cc

   1 // link.cc - Code for linking and resolving classes and pool entries.
   2
   3 /* Copyright (C) 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007 Free Software Foundation
   4
   5    This file is part of libgcj.
   6
   7 This software is copyrighted work licensed under the terms of the
   8 Libgcj License.  Please consult the file "LIBGCJ_LICENSE" for
   9 details.  */
  10
  11 /* Author: Kresten Krab Thorup <krab@gnu.org>  */
  12
  13 #include <config.h>
  14 #include <platform.h>
  15
  16 #include <stdio.h>
  17
  18 #ifdef USE_LIBFFI
  19 #include <ffi.h>
  20 #endif
  21
  22 #include <java-interp.h>
  23
  24 // Set GC_DEBUG before including gc.h!
  25 #ifdef LIBGCJ_GC_DEBUG
  26 # define GC_DEBUG
  27 #endif
  28 #include <gc.h>
  29
  30 #include <jvm.h>
  31 #include <gcj/cni.h>
  32 #include <string.h>
  33 #include <limits.h>
  34 #include <java-cpool.h>
  35 #include <execution.h>
  36 #include <jvmti.h>
  37 #include "jvmti-int.h"
  38 #include <java/lang/Class.h>
  39 #include <java/lang/String.h>
  40 #include <java/lang/StringBuffer.h>
  41 #include <java/lang/Thread.h>
  42 #include <java/lang/InternalError.h>
  43 #include <java/lang/VirtualMachineError.h>
  44 #include <java/lang/VerifyError.h>
  45 #include <java/lang/NoSuchFieldError.h>
  46 #include <java/lang/NoSuchMethodError.h>
  47 #include <java/lang/ClassFormatError.h>
  48 #include <java/lang/IllegalAccessError.h>
  49 #include <java/lang/InternalError.h>
  50 #include <java/lang/AbstractMethodError.h>
  51 #include <java/lang/NoClassDefFoundError.h>
  52 #include <java/lang/IncompatibleClassChangeError.h>
  53 #include <java/lang/VerifyError.h>
  54 #include <java/lang/VMClassLoader.h>
  55 #include <java/lang/reflect/Modifier.h>
  56 #include <java/security/CodeSource.h>
  57
  58 using namespace gcj;
  59
  60 template<typename T>
  61 struct aligner
  62 {
  63   char c;
  64   T field;
  65 };
  66
  67 #define ALIGNOF(TYPE) (offsetof (aligner<TYPE>, field))
  68
  69 // This returns the alignment of a type as it would appear in a
  70 // structure.  This can be different from the alignment of the type
  71 // itself.  For instance on x86 double is 8-aligned but struct{double}
  72 // is 4-aligned.
  73 int
  74 _Jv_Linker::get_alignment_from_class (jclass klass)
  75 {
  76   if (klass == JvPrimClass (byte))
  77     return ALIGNOF (jbyte);
  78   else if (klass == JvPrimClass (short))
  79     return ALIGNOF (jshort);
  80   else if (klass == JvPrimClass (int))
  81     return ALIGNOF (jint);
  82   else if (klass == JvPrimClass (long))
  83     return ALIGNOF (jlong);
  84   else if (klass == JvPrimClass (boolean))
  85     return ALIGNOF (jboolean);
  86   else if (klass == JvPrimClass (char))
  87     return ALIGNOF (jchar);
  88   else if (klass == JvPrimClass (float))
  89     return ALIGNOF (jfloat);
  90   else if (klass == JvPrimClass (double))
  91     return ALIGNOF (jdouble);
  92   else
  93     return ALIGNOF (jobject);
  94 }
  95
  96 void
  97 _Jv_Linker::resolve_field (_Jv_Field *field, java::lang::ClassLoader *loader)
  98 {
  99   if (! field->isResolved ())
 100     {
 101       _Jv_Utf8Const *sig = (_Jv_Utf8Const *) field->type;
 102       jclass type = _Jv_FindClassFromSignature (sig->chars(), loader);
 103       if (type == NULL)
 104         throw new java::lang::NoClassDefFoundError(field->name->toString());
 105       field->type = type;
 106       field->flags &= ~_Jv_FIELD_UNRESOLVED_FLAG;
 107     }
 108 }
 109
 110 // A helper for find_field that knows how to recursively search
 111 // superclasses and interfaces.
 112 _Jv_Field *
 113 _Jv_Linker::find_field_helper (jclass search, _Jv_Utf8Const *name,
 114                                _Jv_Utf8Const *type_name, jclass type,
 115                                jclass *declarer)
 116 {
 117   while (search)
 118     {
 119       // From 5.4.3.2.  First search class itself.
 120       for (int i = 0; i < search->field_count; ++i)
 121         {
 122           _Jv_Field *field = &search->fields[i];
 123           if (! _Jv_equalUtf8Consts (field->name, name))
 124             continue;
 125
 126           // Checks for the odd situation where we were able to retrieve the
 127           // field's class from signature but the resolution of the field itself
 128           // failed which means a different class was resolved.
 129           if (type != NULL)
 130             {
 131               try
 132                 {
 133                   resolve_field (field, search->loader);
 134                 }
 135               catch (java::lang::Throwable *exc)
 136                 {
 137                   java::lang::LinkageError *le = new java::lang::LinkageError
 138                     (JvNewStringLatin1
 139                       ("field type mismatch with different loaders"));
 140
 141                   le->initCause(exc);
 142
 143                   throw le;
 144                 }
 145             }
 146
 147           // Note that we compare type names and not types.  This is
 148           // bizarre, but we do it because we want to find a field
 149           // (and terminate the search) if it has the correct
 150           // descriptor -- but then later reject it if the class
 151           // loader check results in different classes.  We can't just
 152           // pass in the descriptor and check that way, because when
 153           // the field is already resolved there is no easy way to
 154           // find its descriptor again.
 155           if ((field->isResolved ()
 156                ? _Jv_equalUtf8Classnames (type_name, field->type->name)
 157                : _Jv_equalUtf8Classnames (type_name,
 158                                           (_Jv_Utf8Const *) field->type)))
 159             {
 160               *declarer = search;
 161               return field;
 162             }
 163         }
 164
 165       // Next search direct interfaces.
 166       for (int i = 0; i < search->interface_count; ++i)
 167         {
 168           _Jv_Field *result = find_field_helper (search->interfaces[i], name,
 169                                                  type_name, type, declarer);
 170           if (result)
 171             return result;
 172         }
 173
 174       // Now search superclass.
 175       search = search->superclass;
 176     }
 177
 178   return NULL;
 179 }
 180
 181 bool
 182 _Jv_Linker::has_field_p (jclass search, _Jv_Utf8Const *field_name)
 183 {
 184   for (int i = 0; i < search->field_count; ++i)
 185     {
 186       _Jv_Field *field = &search->fields[i];
 187       if (_Jv_equalUtf8Consts (field->name, field_name))
 188         return true;
 189     }
 190   return false;
 191 }
 192
 193 // Find a field.
 194 // KLASS is the class that is requesting the field.
 195 // OWNER is the class in which the field should be found.
 196 // FIELD_TYPE_NAME is the type descriptor for the field.
 197 // Fill FOUND_CLASS with the address of the class in which the field
 198 // is actually declared.
 199 // This function does the class loader type checks, and
 200 // also access checks.  Returns the field, or throws an
 201 // exception on error.
 202 _Jv_Field *
 203 _Jv_Linker::find_field (jclass klass, jclass owner,
 204                         jclass *found_class,
 205                         _Jv_Utf8Const *field_name,
 206                         _Jv_Utf8Const *field_type_name)
 207 {
 208   // FIXME: this allocates a _Jv_Utf8Const each time.  We should make
 209   // it cheaper.
 210   // Note: This call will resolve the primitive type names ("Z", "B", ...) to
 211   // their Java counterparts ("boolean", "byte", ...) if accessed via
 212   // field_type->name later.  Using these variants of the type name is in turn
 213   // important for the find_field_helper function.  However if the class
 214   // resolution failed then we can only use the already given type name.
 215   jclass field_type
 216     = _Jv_FindClassFromSignatureNoException (field_type_name->chars(),
 217                                              klass->loader);
 218
 219   _Jv_Field *the_field
 220     = find_field_helper (owner, field_name,
 221                          (field_type
 222                            ? field_type->name :
 223                              field_type_name ),
 224                            field_type, found_class);
 225
 226   if (the_field == 0)
 227     {
 228       java::lang::StringBuffer *sb = new java::lang::StringBuffer();
 229       sb->append(JvNewStringLatin1("field "));
 230       sb->append(owner->getName());
 231       sb->append(JvNewStringLatin1("."));
 232       sb->append(_Jv_NewStringUTF(field_name->chars()));
 233       sb->append(JvNewStringLatin1(" was not found."));
 234       throw new java::lang::NoSuchFieldError (sb->toString());
 235     }
 236
 237   // Accept it when the field's class could not be resolved.
 238   if (field_type == NULL)
 239     // Silently ignore that we were not able to retrieve the type to make it
 240     // possible to run code which does not access this field.
 241     return the_field;
 242
 243   if (_Jv_CheckAccess (klass, *found_class, the_field->flags))
 244     {
 245       // Note that the field returned by find_field_helper is always
 246       // resolved.  There's no point checking class loaders here,
 247       // since we already did the work to look up all the types.
 248       // FIXME: being lazy here would be nice.
 249       if (the_field->type != field_type)
 250         throw new java::lang::LinkageError
 251           (JvNewStringLatin1
 252            ("field type mismatch with different loaders"));
 253     }
 254   else
 255     {
 256       java::lang::StringBuffer *sb
 257         = new java::lang::StringBuffer ();
 258       sb->append(klass->getName());
 259       sb->append(JvNewStringLatin1(": "));
 260       sb->append((*found_class)->getName());
 261       sb->append(JvNewStringLatin1("."));
 262       sb->append(_Jv_NewStringUtf8Const (field_name));
 263       throw new java::lang::IllegalAccessError(sb->toString());
 264     }
 265
 266   return the_field;
 267 }
 268
 269 _Jv_Method *
 270 _Jv_Linker::resolve_method_entry (jclass klass, jclass &found_class,
 271                                   int class_index, int name_and_type_index,
 272                                   bool init, bool is_iface)
 273 {
 274   _Jv_Constants *pool = &klass->constants;
 275   jclass owner = resolve_pool_entry (klass, class_index).clazz;
 276
 277   if (init && owner != klass)
 278     _Jv_InitClass (owner);
 279
 280   _Jv_ushort name_index, type_index;
 281   _Jv_loadIndexes (&pool->data[name_and_type_index],
 282                    name_index,
 283                    type_index);
 284
 285   _Jv_Utf8Const *method_name = pool->data[name_index].utf8;
 286   _Jv_Utf8Const *method_signature = pool->data[type_index].utf8;
 287
 288   _Jv_Method *the_method = 0;
 289   found_class = 0;
 290
 291   // We're going to cache a pointer to the _Jv_Method object
 292   // when we find it.  So, to ensure this doesn't get moved from
 293   // beneath us, we first put all the needed Miranda methods
 294   // into the target class.
 295   wait_for_state (klass, JV_STATE_LOADED);
 296
 297   // First search the class itself.
 298   the_method = search_method_in_class (owner, klass,
 299                                        method_name, method_signature);
 300
 301   if (the_method != 0)
 302     {
 303       found_class = owner;
 304       goto end_of_method_search;
 305     }
 306
 307   // If we are resolving an interface method, search the
 308   // interface's superinterfaces (A superinterface is not an
 309   // interface's superclass - a superinterface is implemented by
 310   // the interface).
 311   if (is_iface)
 312     {
 313       _Jv_ifaces ifaces;
 314       ifaces.count = 0;
 315       ifaces.len = 4;
 316       ifaces.list = (jclass *) _Jv_Malloc (ifaces.len
 317                                            * sizeof (jclass *));
 318
 319       get_interfaces (owner, &ifaces);
 320
 321       for (int i = 0; i < ifaces.count; i++)
 322         {
 323           jclass cls = ifaces.list[i];
 324           the_method = search_method_in_class (cls, klass, method_name,
 325                                                method_signature);
 326           if (the_method != 0)
 327             {
 328               found_class = cls;
 329               break;
 330             }
 331         }
 332
 333       _Jv_Free (ifaces.list);
 334
 335       if (the_method != 0)
 336         goto end_of_method_search;
 337     }
 338
 339   // Finally, search superclasses.
 340   the_method = (search_method_in_superclasses
 341                 (owner->getSuperclass (), klass, method_name,
 342                  method_signature, &found_class));
 343
 344
 345  end_of_method_search:
 346
 347   // FIXME: if (cls->loader != klass->loader), then we
 348   // must actually check that the types of arguments
 349   // correspond.  That is, for each argument type, and
 350   // the return type, doing _Jv_FindClassFromSignature
 351   // with either loader should produce the same result,
 352   // i.e., exactly the same jclass object. JVMS 5.4.3.3
 353
 354   if (the_method == 0)
 355     {
 356       java::lang::StringBuffer *sb = new java::lang::StringBuffer();
 357       sb->append(JvNewStringLatin1("method "));
 358       sb->append(owner->getName());
 359       sb->append(JvNewStringLatin1("."));
 360       sb->append(_Jv_NewStringUTF(method_name->chars()));
 361       sb->append(JvNewStringLatin1(" with signature "));
 362       sb->append(_Jv_NewStringUTF(method_signature->chars()));
 363       sb->append(JvNewStringLatin1(" was not found."));
 364       throw new java::lang::NoSuchMethodError (sb->toString());
 365     }
 366
 367   return the_method;
 368 }
 369
 370 _Jv_word
 371 _Jv_Linker::resolve_pool_entry (jclass klass, int index, bool lazy)
 372 {
 373   using namespace java::lang::reflect;
 374
 375   if (GC_base (klass) && klass->constants.data
 376       && ! GC_base (klass->constants.data))
 377     {
 378       jsize count = klass->constants.size;
 379       if (count)
 380         {
 381           _Jv_word* constants
 382             = (_Jv_word*) _Jv_AllocRawObj (count * sizeof (_Jv_word));
 383           memcpy ((void*)constants,
 384                   (void*)klass->constants.data,
 385                   count * sizeof (_Jv_word));
 386           klass->constants.data = constants;
 387         }
 388     }
 389
 390   _Jv_Constants *pool = &klass->constants;
 391
 392   if ((pool->tags[index] & JV_CONSTANT_ResolvedFlag) != 0)
 393     return pool->data[index];
 394
 395   switch (pool->tags[index] & ~JV_CONSTANT_LazyFlag)
 396     {
 397     case JV_CONSTANT_Class:
 398       {
 399         _Jv_Utf8Const *name = pool->data[index].utf8;
 400
 401         jclass found;
 402         if (name->first() == '[')
 403           found = _Jv_FindClassFromSignatureNoException (name->chars(),
 404                                                          klass->loader);
 405         else
 406           found = _Jv_FindClassNoException (name, klass->loader);
 407
 408         // If the class could not be loaded a phantom class is created. Any
 409         // function that deals with such a class but cannot do something useful
 410         // with it should just throw a NoClassDefFoundError with the class'
 411         // name.
 412         if (! found)
 413           {
 414             if (lazy)
 415               {
 416                 found = _Jv_NewClass(name, NULL, NULL);
 417                 found->state = JV_STATE_PHANTOM;
 418                 pool->tags[index] |= JV_CONSTANT_ResolvedFlag;
 419                 pool->data[index].clazz = found;
 420                 break;
 421               }
 422             else
 423               throw new java::lang::NoClassDefFoundError (name->toString());
 424           }
 425
 426         // Check accessibility, but first strip array types as
 427         // _Jv_ClassNameSamePackage can't handle arrays.
 428         jclass check;
 429         for (check = found;
 430              check && check->isArray();
 431              check = check->getComponentType())
 432           ;
 433         if ((found->accflags & Modifier::PUBLIC) == Modifier::PUBLIC
 434             || (_Jv_ClassNameSamePackage (check->name,
 435                                           klass->name)))
 436           {
 437             pool->data[index].clazz = found;
 438             pool->tags[index] |= JV_CONSTANT_ResolvedFlag;
 439           }
 440         else
 441           {
 442             java::lang::StringBuffer *sb = new java::lang::StringBuffer ();
 443             sb->append(klass->getName());
 444             sb->append(JvNewStringLatin1(" can't access class "));
 445             sb->append(found->getName());
 446             throw new java::lang::IllegalAccessError(sb->toString());
 447           }
 448       }
 449       break;
 450
 451     case JV_CONSTANT_String:
 452       {
 453         jstring str;
 454         str = _Jv_NewStringUtf8Const (pool->data[index].utf8);
 455         pool->data[index].o = str;
 456         pool->tags[index] |= JV_CONSTANT_ResolvedFlag;
 457       }
 458       break;
 459
 460     case JV_CONSTANT_Fieldref:
 461       {
 462         _Jv_ushort class_index, name_and_type_index;
 463         _Jv_loadIndexes (&pool->data[index],
 464                          class_index,
 465                          name_and_type_index);
 466         jclass owner = (resolve_pool_entry (klass, class_index, true)).clazz;
 467
 468         // If a phantom class was resolved our field reference is
 469         // unusable because of the missing class.
 470         if (owner->state == JV_STATE_PHANTOM)
 471           throw new java::lang::NoClassDefFoundError(owner->getName());
 472
 473         // We don't initialize 'owner', but we do make sure that its
 474         // fields exist.
 475         wait_for_state (owner, JV_STATE_PREPARED);
 476
 477         _Jv_ushort name_index, type_index;
 478         _Jv_loadIndexes (&pool->data[name_and_type_index],
 479                          name_index,
 480                          type_index);
 481
 482         _Jv_Utf8Const *field_name = pool->data[name_index].utf8;
 483         _Jv_Utf8Const *field_type_name = pool->data[type_index].utf8;
 484
 485         jclass found_class = 0;
 486         _Jv_Field *the_field = find_field (klass, owner,
 487                                            &found_class,
 488                                            field_name,
 489                                            field_type_name);
 490         // Initialize the field's declaring class, not its qualifying
 491         // class.
 492         _Jv_InitClass (found_class);
 493         pool->data[index].field = the_field;
 494         pool->tags[index] |= JV_CONSTANT_ResolvedFlag;
 495       }
 496       break;
 497
 498     case JV_CONSTANT_Methodref:
 499     case JV_CONSTANT_InterfaceMethodref:
 500       {
 501         _Jv_ushort class_index, name_and_type_index;
 502         _Jv_loadIndexes (&pool->data[index],
 503                          class_index,
 504                          name_and_type_index);
 505
 506         _Jv_Method *the_method;
 507         jclass found_class;
 508         the_method = resolve_method_entry (klass, found_class,
 509                                            class_index, name_and_type_index,
 510                                            true,
 511                                            pool->tags[index] == JV_CONSTANT_InterfaceMethodref);
 512
 513         pool->data[index].rmethod
 514           = klass->engine->resolve_method(the_method,
 515                                           found_class,
 516                                           ((the_method->accflags
 517                                             & Modifier::STATIC) != 0));
 518         pool->tags[index] |= JV_CONSTANT_ResolvedFlag;
 519       }
 520       break;
 521     }
 522   return pool->data[index];
 523 }
 524
 525 // This function is used to lazily locate superclasses and
 526 // superinterfaces.  This must be called with the class lock held.
 527 void
 528 _Jv_Linker::resolve_class_ref (jclass klass, jclass *classref)
 529 {
 530   jclass ret = *classref;
 531
 532   // If superclass looks like a constant pool entry, resolve it now.
 533   if (ret && (uaddr) ret < (uaddr) klass->constants.size)
 534     {
 535       if (klass->state < JV_STATE_LINKED)
 536         {
 537           _Jv_Utf8Const *name = klass->constants.data[(uaddr) *classref].utf8;
 538           ret = _Jv_FindClass (name, klass->loader);
 539           if (! ret)
 540             {
 541               throw new java::lang::NoClassDefFoundError (name->toString());
 542             }
 543         }
 544       else
 545         ret = klass->constants.data[(uaddr) classref].clazz;
 546       *classref = ret;
 547     }
 548 }
 549
 550 // Find a method declared in the cls that is referenced from klass and
 551 // perform access checks if CHECK_PERMS is true.
 552 _Jv_Method *
 553 _Jv_Linker::search_method_in_class (jclass cls, jclass klass,
 554                                     _Jv_Utf8Const *method_name,
 555                                     _Jv_Utf8Const *method_signature,
 556                                     bool check_perms)
 557 {
 558   using namespace java::lang::reflect;
 559
 560   for (int i = 0;  i < cls->method_count;  i++)
 561     {
 562       _Jv_Method *method = &cls->methods[i];
 563       if (   (!_Jv_equalUtf8Consts (method->name,
 564                                     method_name))
 565           || (!_Jv_equalUtf8Consts (method->signature,
 566                                     method_signature)))
 567         continue;
 568
 569       if (!check_perms || _Jv_CheckAccess (klass, cls, method->accflags))
 570         return method;
 571       else
 572         {
 573           java::lang::StringBuffer *sb = new java::lang::StringBuffer();
 574           sb->append(klass->getName());
 575           sb->append(JvNewStringLatin1(": "));
 576           sb->append(cls->getName());
 577           sb->append(JvNewStringLatin1("."));
 578           sb->append(_Jv_NewStringUTF(method_name->chars()));
 579           sb->append(_Jv_NewStringUTF(method_signature->chars()));
 580           throw new java::lang::IllegalAccessError (sb->toString());
 581         }
 582     }
 583   return 0;
 584 }
 585
 586 // Like search_method_in_class, but work our way up the superclass
 587 // chain.
 588 _Jv_Method *
 589 _Jv_Linker::search_method_in_superclasses (jclass cls, jclass klass,
 590                                            _Jv_Utf8Const *method_name,
 591                                            _Jv_Utf8Const *method_signature,
 592                                            jclass *found_class, bool check_perms)
 593 {
 594   _Jv_Method *the_method = NULL;
 595
 596   for ( ; cls != 0; cls = cls->getSuperclass ())
 597     {
 598       the_method = search_method_in_class (cls, klass, method_name,
 599                                            method_signature, check_perms);
 600       if (the_method != 0)
 601         {
 602           if (found_class)
 603             *found_class = cls;
 604           break;
 605         }
 606     }
 607
 608   return the_method;
 609 }
 610
 611 #define INITIAL_IOFFSETS_LEN 4
 612 #define INITIAL_IFACES_LEN 4
 613
 614 static _Jv_IDispatchTable null_idt = {SHRT_MAX, 0, {}};
 615
 616 // Generate tables for constant-time assignment testing and interface
 617 // method lookup. This implements the technique described by Per Bothner
 618 // <per@bothner.com> on the java-discuss mailing list on 1999-09-02:
 619 // http://gcc.gnu.org/ml/java/1999-q3/msg00377.html
 620 void
 621 _Jv_Linker::prepare_constant_time_tables (jclass klass)
 622 {
 623   if (klass->isPrimitive () || klass->isInterface ())
 624     return;
 625
 626   // Short-circuit in case we've been called already.
 627   if ((klass->idt != NULL) || klass->depth != 0)
 628     return;
 629
 630   // Calculate the class depth and ancestor table. The depth of a class
 631   // is how many "extends" it is removed from Object. Thus the depth of
 632   // java.lang.Object is 0, but the depth of java.io.FilterOutputStream
 633   // is 2. Depth is defined for all regular and array classes, but not
 634   // interfaces or primitive types.
 635
 636   jclass klass0 = klass;
 637   jboolean has_interfaces = 0;
 638   while (klass0 != &java::lang::Object::class$)
 639     {
 640       has_interfaces += klass0->interface_count;
 641       klass0 = klass0->superclass;
 642       klass->depth++;
 643     }
 644
 645   // We do class member testing in constant time by using a small table
 646   // of all the ancestor classes within each class. The first element is
 647   // a pointer to the current class, and the rest are pointers to the
 648   // classes ancestors, ordered from the current class down by decreasing
 649   // depth. We do not include java.lang.Object in the table of ancestors,
 650   // since it is redundant.  Note that the classes pointed to by
 651   // 'ancestors' will always be reachable by other paths.
 652
 653   klass->ancestors = (jclass *) _Jv_AllocBytes (klass->depth
 654                                                 * sizeof (jclass));
 655   klass0 = klass;
 656   for (int index = 0; index < klass->depth; index++)
 657     {
 658       klass->ancestors[index] = klass0;
 659       klass0 = klass0->superclass;
 660     }
 661
 662   if ((klass->accflags & java::lang::reflect::Modifier::ABSTRACT) != 0)
 663     return;
 664
 665   // Optimization: If class implements no interfaces, use a common
 666   // predefined interface table.
 667   if (!has_interfaces)
 668     {
 669       klass->idt = &null_idt;
 670       return;
 671     }
 672
 673   _Jv_ifaces ifaces;
 674   ifaces.count = 0;
 675   ifaces.len = INITIAL_IFACES_LEN;
 676   ifaces.list = (jclass *) _Jv_Malloc (ifaces.len * sizeof (jclass *));
 677
 678   int itable_size = get_interfaces (klass, &ifaces);
 679
 680   if (ifaces.count > 0)
 681     {
 682       // The classes pointed to by the itable will always be reachable
 683       // via other paths.
 684       int idt_bytes = sizeof (_Jv_IDispatchTable) + (itable_size
 685                                                      * sizeof (void *));
 686       klass->idt = (_Jv_IDispatchTable *) _Jv_AllocBytes (idt_bytes);
 687       klass->idt->itable_length = itable_size;
 688
 689       jshort *itable_offsets =
 690         (jshort *) _Jv_Malloc (ifaces.count * sizeof (jshort));
 691
 692       generate_itable (klass, &ifaces, itable_offsets);
 693
 694       jshort cls_iindex = find_iindex (ifaces.list, itable_offsets,
 695                                        ifaces.count);
 696
 697       for (int i = 0; i < ifaces.count; i++)
 698         {
 699           ifaces.list[i]->ioffsets[cls_iindex] = itable_offsets[i];
 700         }
 701
 702       klass->idt->iindex = cls_iindex;
 703
 704       _Jv_Free (ifaces.list);
 705       _Jv_Free (itable_offsets);
 706     }
 707   else
 708     {
 709       klass->idt->iindex = SHRT_MAX;
 710     }
 711 }
 712
 713 // Return index of item in list, or -1 if item is not present.
 714 inline jshort
 715 _Jv_Linker::indexof (void *item, void **list, jshort list_len)
 716 {
 717   for (int i=0; i < list_len; i++)
 718     {
 719       if (list[i] == item)
 720         return i;
 721     }
 722   return -1;
 723 }
 724
 725 // Find all unique interfaces directly or indirectly implemented by klass.
 726 // Returns the size of the interface dispatch table (itable) for klass, which
 727 // is the number of unique interfaces plus the total number of methods that
 728 // those interfaces declare. May extend ifaces if required.
 729 jshort
 730 _Jv_Linker::get_interfaces (jclass klass, _Jv_ifaces *ifaces)
 731 {
 732   jshort result = 0;
 733
 734   for (int i = 0; i < klass->interface_count; i++)
 735     {
 736       jclass iface = klass->interfaces[i];
 737
 738       /* Make sure interface is linked.  */
 739       wait_for_state(iface, JV_STATE_LINKED);
 740
 741       if (indexof (iface, (void **) ifaces->list, ifaces->count) == -1)
 742         {
 743           if (ifaces->count + 1 >= ifaces->len)
 744             {
 745               /* Resize ifaces list */
 746               ifaces->len = ifaces->len * 2;
 747               ifaces->list
 748                 = (jclass *) _Jv_Realloc (ifaces->list,
 749                                           ifaces->len * sizeof(jclass));
 750             }
 751           ifaces->list[ifaces->count] = iface;
 752           ifaces->count++;
 753
 754           result += get_interfaces (klass->interfaces[i], ifaces);
 755         }
 756     }
 757
 758   if (klass->isInterface())
 759     {
 760       // We want to add 1 plus the number of interface methods here.
 761       // But, we take special care to skip <clinit>.
 762       ++result;
 763       for (int i = 0; i < klass->method_count; ++i)
 764         {
 765           if (klass->methods[i].name->first() != '<')
 766             ++result;
 767         }
 768     }
 769   else if (klass->superclass)
 770     result += get_interfaces (klass->superclass, ifaces);
 771   return result;
 772 }
 773
 774 // Fill out itable in klass, resolving method declarations in each ifaces.
 775 // itable_offsets is filled out with the position of each iface in itable,
 776 // such that itable[itable_offsets[n]] == ifaces.list[n].
 777 void
 778 _Jv_Linker::generate_itable (jclass klass, _Jv_ifaces *ifaces,
 779                                jshort *itable_offsets)
 780 {
 781   void **itable = klass->idt->itable;
 782   jshort itable_pos = 0;
 783
 784   for (int i = 0; i < ifaces->count; i++)
 785     {
 786       jclass iface = ifaces->list[i];
 787       itable_offsets[i] = itable_pos;
 788       itable_pos = append_partial_itable (klass, iface, itable, itable_pos);
 789
 790       /* Create ioffsets table for iface */
 791       if (iface->ioffsets == NULL)
 792         {
 793           // The first element of ioffsets is its length (itself included).
 794           jshort *ioffsets = (jshort *) _Jv_AllocBytes (INITIAL_IOFFSETS_LEN
 795                                                         * sizeof (jshort));
 796           ioffsets[0] = INITIAL_IOFFSETS_LEN;
 797           for (int i = 1; i < INITIAL_IOFFSETS_LEN; i++)
 798             ioffsets[i] = -1;
 799
 800           iface->ioffsets = ioffsets;
 801         }
 802     }
 803 }
 804
 805 // Format method name for use in error messages.
 806 jstring
 807 _Jv_GetMethodString (jclass klass, _Jv_Method *meth,
 808                      jclass derived)
 809 {
 810   using namespace java::lang;
 811   StringBuffer *buf = new StringBuffer (klass->name->toString());
 812   buf->append (jchar ('.'));
 813   buf->append (meth->name->toString());
 814   buf->append ((jchar) ' ');
 815   buf->append (meth->signature->toString());
 816   if (derived)
 817     {
 818       buf->append(JvNewStringLatin1(" in "));
 819       buf->append(derived->name->toString());
 820     }
 821   return buf->toString();
 822 }
 823
 824 void
 825 _Jv_ThrowNoSuchMethodError ()
 826 {
 827   throw new java::lang::NoSuchMethodError;
 828 }
 829
 830 #if defined USE_LIBFFI && FFI_CLOSURES
 831 // A function whose invocation is prepared using libffi. It gets called
 832 // whenever a static method of a missing class is invoked. The data argument
 833 // holds a reference to a String denoting the missing class.
 834 // The prepared function call is stored in a class' atable.
 835 void
 836 _Jv_ThrowNoClassDefFoundErrorTrampoline(ffi_cif *,
 837                                         void *,
 838                                         void **,
 839                                         void *data)
 840 {
 841   throw new java::lang::NoClassDefFoundError(
 842     _Jv_NewStringUtf8Const((_Jv_Utf8Const *) data));
 843 }
 844 #else
 845 // A variant of the NoClassDefFoundError throwing method that can
 846 // be used without libffi.
 847 void
 848 _Jv_ThrowNoClassDefFoundError()
 849 {
 850   throw new java::lang::NoClassDefFoundError();
 851 }
 852 #endif
 853
 854 // Throw a NoSuchFieldError.  Called by compiler-generated code when
 855 // an otable entry is zero.  OTABLE_INDEX is the index in the caller's
 856 // otable that refers to the missing field.  This index may be used to
 857 // print diagnostic information about the field.
 858 void
 859 _Jv_ThrowNoSuchFieldError (int /* otable_index */)
 860 {
 861   throw new java::lang::NoSuchFieldError;
 862 }
 863
 864 // This is put in empty vtable slots.
 865 void
 866 _Jv_ThrowAbstractMethodError ()
 867 {
 868   throw new java::lang::AbstractMethodError();
 869 }
 870
 871 // Each superinterface of a class (i.e. each interface that the class
 872 // directly or indirectly implements) has a corresponding "Partial
 873 // Interface Dispatch Table" whose size is (number of methods + 1) words.
 874 // The first word is a pointer to the interface (i.e. the java.lang.Class
 875 // instance for that interface).  The remaining words are pointers to the
 876 // actual methods that implement the methods declared in the interface,
 877 // in order of declaration.
 878 //
 879 // Append partial interface dispatch table for "iface" to "itable", at
 880 // position itable_pos.
 881 // Returns the offset at which the next partial ITable should be appended.
 882 jshort
 883 _Jv_Linker::append_partial_itable (jclass klass, jclass iface,
 884                                    void **itable, jshort pos)
 885 {
 886   using namespace java::lang::reflect;
 887
 888   itable[pos++] = (void *) iface;
 889   _Jv_Method *meth;
 890
 891   for (int j=0; j < iface->method_count; j++)
 892     {
 893       // Skip '<clinit>' here.
 894       if (iface->methods[j].name->first() == '<')
 895         continue;
 896
 897       meth = NULL;
 898       for (jclass cl = klass; cl; cl = cl->getSuperclass())
 899         {
 900           meth = _Jv_GetMethodLocal (cl, iface->methods[j].name,
 901                                      iface->methods[j].signature);
 902
 903           if (meth)
 904             break;
 905         }
 906
 907       if (meth)
 908         {
 909           if ((meth->accflags & Modifier::STATIC) != 0)
 910             throw new java::lang::IncompatibleClassChangeError
 911               (_Jv_GetMethodString (klass, meth));
 912           if ((meth->accflags & Modifier::PUBLIC) == 0)
 913             throw new java::lang::IllegalAccessError
 914               (_Jv_GetMethodString (klass, meth));
 915
 916           if ((meth->accflags & Modifier::ABSTRACT) != 0)
 917             itable[pos] = (void *) &_Jv_ThrowAbstractMethodError;
 918           else
 919             itable[pos] = meth->ncode;
 920         }
 921       else
 922         {
 923           // The method doesn't exist in klass. Binary compatibility rules
 924           // permit this, so we delay the error until runtime using a pointer
 925           // to a method which throws an exception.
 926           itable[pos] = (void *) _Jv_ThrowNoSuchMethodError;
 927         }
 928       pos++;
 929     }
 930
 931   return pos;
 932 }
 933
 934 static _Jv_Mutex_t iindex_mutex;
 935 static bool iindex_mutex_initialized = false;
 936
 937 // We need to find the correct offset in the Class Interface Dispatch
 938 // Table for a given interface. Once we have that, invoking an interface
 939 // method just requires combining the Method's index in the interface
 940 // (known at compile time) to get the correct method.  Doing a type test
 941 // (cast or instanceof) is the same problem: Once we have a possible Partial
 942 // Interface Dispatch Table, we just compare the first element to see if it
 943 // matches the desired interface. So how can we find the correct offset?
 944 // Our solution is to keep a vector of candiate offsets in each interface
 945 // (ioffsets), and in each class we have an index (idt->iindex) used to
 946 // select the correct offset from ioffsets.
 947 //
 948 // Calculate and return iindex for a new class.
 949 // ifaces is a vector of num interfaces that the class implements.
 950 // offsets[j] is the offset in the interface dispatch table for the
 951 // interface corresponding to ifaces[j].
 952 // May extend the interface ioffsets if required.
 953 jshort
 954 _Jv_Linker::find_iindex (jclass *ifaces, jshort *offsets, jshort num)
 955 {
 956   int i;
 957   int j;
 958
 959   // Acquire a global lock to prevent itable corruption in case of multiple
 960   // classes that implement an intersecting set of interfaces being linked
 961   // simultaneously. We can assume that the mutex will be initialized
 962   // single-threaded.
 963   if (! iindex_mutex_initialized)
 964     {
 965       _Jv_MutexInit (&iindex_mutex);
 966       iindex_mutex_initialized = true;
 967     }
 968
 969   _Jv_MutexLock (&iindex_mutex);
 970
 971   for (i=1;; i++)  /* each potential position in ioffsets */
 972     {
 973       for (j=0;; j++)  /* each iface */
 974         {
 975           if (j >= num)
 976             goto found;
 977           if (i >= ifaces[j]->ioffsets[0])
 978             continue;
 979           int ioffset = ifaces[j]->ioffsets[i];
 980           /* We can potentially share this position with another class. */
 981           if (ioffset >= 0 && ioffset != offsets[j])
 982             break; /* Nope. Try next i. */
 983         }
 984     }
 985   found:
 986   for (j = 0; j < num; j++)
 987     {
 988       int len = ifaces[j]->ioffsets[0];
 989       if (i >= len)
 990         {
 991           // Resize ioffsets.
 992           int newlen = 2 * len;
 993           if (i >= newlen)
 994             newlen = i + 3;
 995
 996           jshort *old_ioffsets = ifaces[j]->ioffsets;
 997           jshort *new_ioffsets = (jshort *) _Jv_AllocBytes (newlen
 998                                                             * sizeof(jshort));
 999           memcpy (&new_ioffsets[1], &old_ioffsets[1],
1000                   (len - 1) * sizeof (jshort));
1001           new_ioffsets[0] = newlen;
1002
1003           while (len < newlen)
1004             new_ioffsets[len++] = -1;
1005
1006           ifaces[j]->ioffsets = new_ioffsets;
1007         }
1008       ifaces[j]->ioffsets[i] = offsets[j];
1009     }
1010
1011   _Jv_MutexUnlock (&iindex_mutex);
1012
1013   return i;
1014 }
1015
1016 #if defined USE_LIBFFI && FFI_CLOSURES
1017 // We use a structure of this type to store the closure that
1018 // represents a missing method.
1019 struct method_closure
1020 {
1021   // This field must come first, since the address of this field will
1022   // be the same as the address of the overall structure.  This is due
1023   // to disabling interior pointers in the GC.
1024   ffi_closure closure;
1025   ffi_cif cif;
1026   ffi_type *arg_types[1];
1027 };
1028
1029 void *
1030 _Jv_Linker::create_error_method (_Jv_Utf8Const *class_name)
1031 {
1032   method_closure *closure
1033     = (method_closure *) _Jv_AllocBytes(sizeof (method_closure));
1034
1035   closure->arg_types[0] = &ffi_type_void;
1036
1037   // Initializes the cif and the closure.  If that worked the closure
1038   // is returned and can be used as a function pointer in a class'
1039   // atable.
1040   if (   ffi_prep_cif (&closure->cif,
1041                        FFI_DEFAULT_ABI,
1042                        1,
1043                        &ffi_type_void,
1044                        closure->arg_types) == FFI_OK
1045       && ffi_prep_closure (&closure->closure,
1046                            &closure->cif,
1047                            _Jv_ThrowNoClassDefFoundErrorTrampoline,
1048                            class_name) == FFI_OK)
1049     return &closure->closure;
1050   else
1051     {
1052       java::lang::StringBuffer *buffer = new java::lang::StringBuffer();
1053       buffer->append(JvNewStringLatin1("Error setting up FFI closure"
1054                                        " for static method of"
1055                                        " missing class: "));
1056       buffer->append (_Jv_NewStringUtf8Const(class_name));
1057       throw new java::lang::InternalError(buffer->toString());
1058     }
1059 }
1060 #else
1061 void *
1062 _Jv_Linker::create_error_method (_Jv_Utf8Const *)
1063 {
1064   // Codepath for platforms which do not support (or want) libffi.
1065   // You have to accept that it is impossible to provide the name
1066   // of the missing class then.
1067   return (void *) _Jv_ThrowNoClassDefFoundError;
1068 }
1069 #endif // USE_LIBFFI && FFI_CLOSURES
1070
1071 // Functions for indirect dispatch (symbolic virtual binding) support.
1072
1073 // There are three tables, atable otable and itable.  atable is an
1074 // array of addresses, and otable is an array of offsets, and these
1075 // are used for static and virtual members respectively.  itable is an
1076 // array of pairs {address, index} where each address is a pointer to
1077 // an interface.
1078
1079 // {a,o,i}table_syms is an array of _Jv_MethodSymbols.  Each such
1080 // symbol is a tuple of {classname, member name, signature}.
1081
1082 // Set this to true to enable debugging of indirect dispatch tables/linking.
1083 static bool debug_link = false;
1084
1085 // link_symbol_table() scans these two arrays and fills in the
1086 // corresponding atable and otable with the addresses of static
1087 // members and the offsets of virtual members.
1088
1089 // The offset (in bytes) for each resolved method or field is placed
1090 // at the corresponding position in the virtual method offset table
1091 // (klass->otable).
1092
1093 // The same otable and atable may be shared by many classes.
1094
1095 // This must be called while holding the class lock.
1096
1097 void
1098 _Jv_Linker::link_symbol_table (jclass klass)
1099 {
1100   int index = 0;
1101   _Jv_MethodSymbol sym;
1102   if (klass->otable == NULL
1103       || klass->otable->state != 0)
1104     goto atable;
1105
1106   klass->otable->state = 1;
1107
1108   if (debug_link)
1109     fprintf (stderr, "Fixing up otable in %s:\n", klass->name->chars());
1110   for (index = 0;
1111        (sym = klass->otable_syms[index]).class_name != NULL;
1112        ++index)
1113     {
1114       jclass target_class = _Jv_FindClass (sym.class_name, klass->loader);
1115       _Jv_Method *meth = NULL;
1116
1117       _Jv_Utf8Const *signature = sym.signature;
1118       uaddr special;
1119       maybe_adjust_signature (signature, special);
1120
1121       if (target_class == NULL)
1122         throw new java::lang::NoClassDefFoundError
1123           (_Jv_NewStringUTF (sym.class_name->chars()));
1124
1125       // We're looking for a field or a method, and we can tell
1126       // which is needed by looking at the signature.
1127       if (signature->first() == '(' && signature->len() >= 2)
1128         {
1129           // Looks like someone is trying to invoke an interface method
1130           if (target_class->isInterface())
1131             {
1132               using namespace java::lang;
1133               StringBuffer *sb = new StringBuffer();
1134               sb->append(JvNewStringLatin1("found interface "));
1135               sb->append(target_class->getName());
1136               sb->append(JvNewStringLatin1(" when searching for a class"));
1137               throw new VerifyError(sb->toString());
1138             }
1139
1140           // If the target class does not have a vtable_method_count yet,
1141           // then we can't tell the offsets for its methods, so we must lay
1142           // it out now.
1143           wait_for_state(target_class, JV_STATE_PREPARED);
1144
1145           try
1146             {
1147               meth = (search_method_in_superclasses
1148                       (target_class, klass, sym.name, signature,
1149                        NULL, special == 0));
1150             }
1151           catch (::java::lang::IllegalAccessError *e)
1152             {
1153             }
1154
1155           // Every class has a throwNoSuchMethodErrorIndex method that
1156           // it inherits from java.lang.Object.  Find its vtable
1157           // offset.
1158           static int throwNoSuchMethodErrorIndex;
1159           if (throwNoSuchMethodErrorIndex == 0)
1160             {
1161               Utf8Const* name
1162                 = _Jv_makeUtf8Const ("throwNoSuchMethodError",
1163                                      strlen ("throwNoSuchMethodError"));
1164               _Jv_Method* meth
1165                 = _Jv_LookupDeclaredMethod (&java::lang::Object::class$,
1166                                             name, gcj::void_signature);
1167               throwNoSuchMethodErrorIndex
1168                 = _Jv_VTable::idx_to_offset (meth->index);
1169             }
1170
1171           // If we don't find a nonstatic method, insert the
1172           // vtable index of Object.throwNoSuchMethodError().
1173           // This defers the missing method error until an attempt
1174           // is made to execute it.
1175           {
1176             int offset;
1177
1178             if (meth != NULL)
1179               offset = _Jv_VTable::idx_to_offset (meth->index);
1180             else
1181               offset = throwNoSuchMethodErrorIndex;
1182
1183             if (offset == -1)
1184               JvFail ("Bad method index");
1185             JvAssert (meth->index < target_class->vtable_method_count);
1186
1187             klass->otable->offsets[index] = offset;
1188           }
1189
1190           if (debug_link)
1191             fprintf (stderr, "  offsets[%d] = %d (class %s@%p : %s(%s))\n",
1192                      (int)index,
1193                      (int)klass->otable->offsets[index],
1194                      (const char*)target_class->name->chars(),
1195                      target_class,
1196                      (const char*)sym.name->chars(),
1197                      (const char*)signature->chars());
1198           continue;
1199         }
1200
1201       // Try fields.
1202       {
1203         wait_for_state(target_class, JV_STATE_PREPARED);
1204         jclass found_class;
1205         _Jv_Field *the_field = NULL;
1206         try
1207           {
1208             the_field = find_field (klass, target_class, &found_class,
1209                                     sym.name, signature);
1210             if ((the_field->flags & java::lang::reflect::Modifier::STATIC))
1211               throw new java::lang::IncompatibleClassChangeError;
1212             else
1213               klass->otable->offsets[index] = the_field->u.boffset;
1214           }
1215         catch (java::lang::NoSuchFieldError *err)
1216           {
1217             klass->otable->offsets[index] = 0;
1218           }
1219       }
1220     }
1221
1222  atable:
1223   if (klass->atable == NULL || klass->atable->state != 0)
1224     goto itable;
1225
1226   klass->atable->state = 1;
1227
1228   for (index = 0;
1229        (sym = klass->atable_syms[index]).class_name != NULL;
1230        ++index)
1231     {
1232       jclass target_class =
1233         _Jv_FindClassNoException (sym.class_name, klass->loader);
1234
1235       _Jv_Method *meth = NULL;
1236
1237       _Jv_Utf8Const *signature = sym.signature;
1238       uaddr special;
1239       maybe_adjust_signature (signature, special);
1240
1241       // ??? Setting this pointer to null will at least get us a
1242       // NullPointerException
1243       klass->atable->addresses[index] = NULL;
1244
1245       // If the target class is missing we prepare a function call
1246       // that throws a NoClassDefFoundError and store the address of
1247       // that newly prepared method in the atable. The user can run
1248       // code in classes where the missing class is part of the
1249       // execution environment as long as it is never referenced.
1250       if (target_class == NULL)
1251         klass->atable->addresses[index] = create_error_method(sym.class_name);
1252       // We're looking for a static field or a static method, and we
1253       // can tell which is needed by looking at the signature.
1254       else if (signature->first() == '(' && signature->len() >= 2)
1255         {
1256           // If the target class does not have a vtable_method_count yet,
1257           // then we can't tell the offsets for its methods, so we must lay
1258           // it out now.
1259           wait_for_state (target_class, JV_STATE_PREPARED);
1260
1261           // Interface methods cannot have bodies.
1262           if (target_class->isInterface())
1263             {
1264               using namespace java::lang;
1265               StringBuffer *sb = new StringBuffer();
1266               sb->append(JvNewStringLatin1("class "));
1267               sb->append(target_class->getName());
1268               sb->append(JvNewStringLatin1(" is an interface: "
1269                                            "class expected"));
1270               throw new VerifyError(sb->toString());
1271             }
1272
1273           try
1274             {
1275               meth = (search_method_in_superclasses
1276                       (target_class, klass, sym.name, signature,
1277                        NULL, special == 0));
1278             }
1279           catch (::java::lang::IllegalAccessError *e)
1280             {
1281             }
1282
1283           if (meth != NULL)
1284             {
1285               if (meth->ncode) // Maybe abstract?
1286                 {
1287                   klass->atable->addresses[index] = meth->ncode;
1288                   if (debug_link)
1289                     fprintf (stderr, "  addresses[%d] = %p (class %s@%p : %s(%s))\n",
1290                              index,
1291                              &klass->atable->addresses[index],
1292                              (const char*)target_class->name->chars(),
1293                              klass,
1294                              (const char*)sym.name->chars(),
1295                              (const char*)signature->chars());
1296                 }
1297             }
1298           else
1299             klass->atable->addresses[index]
1300               = create_error_method(sym.class_name);
1301
1302           continue;
1303         }
1304
1305       // Try fields only if the target class exists.
1306       if (target_class != NULL)
1307       {
1308         wait_for_state(target_class, JV_STATE_PREPARED);
1309         jclass found_class;
1310         _Jv_Field *the_field = find_field (klass, target_class, &found_class,
1311                                            sym.name, signature);
1312         if ((the_field->flags & java::lang::reflect::Modifier::STATIC))
1313           klass->atable->addresses[index] = the_field->u.addr;
1314         else
1315           throw new java::lang::IncompatibleClassChangeError;
1316       }
1317     }
1318
1319  itable:
1320   if (klass->itable == NULL
1321       || klass->itable->state != 0)
1322     return;
1323
1324   klass->itable->state = 1;
1325
1326   for (index = 0;
1327        (sym = klass->itable_syms[index]).class_name != NULL;
1328        ++index)
1329     {
1330       jclass target_class = _Jv_FindClass (sym.class_name, klass->loader);
1331
1332       _Jv_Utf8Const *signature = sym.signature;
1333       uaddr special;
1334       maybe_adjust_signature (signature, special);
1335
1336       jclass cls;
1337       int i;
1338
1339       wait_for_state(target_class, JV_STATE_LOADED);
1340       bool found = _Jv_getInterfaceMethod (target_class, cls, i,
1341                                            sym.name, signature);
1342
1343       if (found)
1344         {
1345           klass->itable->addresses[index * 2] = cls;
1346           klass->itable->addresses[index * 2 + 1] = (void *)(unsigned long) i;
1347           if (debug_link)
1348             {
1349               fprintf (stderr, "  interfaces[%d] = %p (interface %s@%p : %s(%s))\n",
1350                        index,
1351                        klass->itable->addresses[index * 2],
1352                        (const char*)cls->name->chars(),
1353                        cls,
1354                        (const char*)sym.name->chars(),
1355                        (const char*)signature->chars());
1356               fprintf (stderr, "            [%d] = offset %d\n",
1357                        index + 1,
1358                        (int)(unsigned long)klass->itable->addresses[index * 2 + 1]);
1359             }
1360
1361         }
1362       else
1363         throw new java::lang::IncompatibleClassChangeError;
1364     }
1365
1366 }
1367
1368 // For each catch_record in the list of caught classes, fill in the
1369 // address field.
1370 void
1371 _Jv_Linker::link_exception_table (jclass self)
1372 {
1373   struct _Jv_CatchClass *catch_record = self->catch_classes;
1374   if (!catch_record || catch_record->classname)
1375     return;
1376   catch_record++;
1377   while (catch_record->classname)
1378     {
1379       try
1380         {
1381           jclass target_class
1382             = _Jv_FindClass (catch_record->classname,
1383                              self->getClassLoaderInternal ());
1384           *catch_record->address = target_class;
1385         }
1386       catch (::java::lang::Throwable *t)
1387         {
1388           // FIXME: We need to do something better here.
1389           *catch_record->address = 0;
1390         }
1391       catch_record++;
1392     }
1393   self->catch_classes->classname = (_Jv_Utf8Const *)-1;
1394 }
1395
1396 // Set itable method indexes for members of interface IFACE.
1397 void
1398 _Jv_Linker::layout_interface_methods (jclass iface)
1399 {
1400   if (! iface->isInterface())
1401     return;
1402
1403   // itable indexes start at 1.
1404   // FIXME: Static initalizers currently get a NULL placeholder entry in the
1405   // itable so they are also assigned an index here.
1406   for (int i = 0; i < iface->method_count; i++)
1407     iface->methods[i].index = i + 1;
1408 }
1409
1410 // Prepare virtual method declarations in KLASS, and any superclasses
1411 // as required, by determining their vtable index, setting
1412 // method->index, and finally setting the class's vtable_method_count.
1413 // Must be called with the lock for KLASS held.
1414 void
1415 _Jv_Linker::layout_vtable_methods (jclass klass)
1416 {
1417   if (klass->vtable != NULL || klass->isInterface()
1418       || klass->vtable_method_count != -1)
1419     return;
1420
1421   jclass superclass = klass->getSuperclass();
1422
1423   if (superclass != NULL && superclass->vtable_method_count == -1)
1424     {
1425       JvSynchronize sync (superclass);
1426       layout_vtable_methods (superclass);
1427     }
1428
1429   int index = (superclass == NULL ? 0 : superclass->vtable_method_count);
1430
1431   for (int i = 0; i < klass->method_count; ++i)
1432     {
1433       _Jv_Method *meth = &klass->methods[i];
1434       _Jv_Method *super_meth = NULL;
1435
1436       if (! _Jv_isVirtualMethod (meth))
1437         continue;
1438
1439       if (superclass != NULL)
1440         {
1441           jclass declarer;
1442           super_meth = _Jv_LookupDeclaredMethod (superclass, meth->name,
1443                                                  meth->signature, &declarer);
1444           // See if this method actually overrides the other method
1445           // we've found.
1446           if (super_meth)
1447             {
1448               if (! _Jv_isVirtualMethod (super_meth)
1449                   || ! _Jv_CheckAccess (klass, declarer,
1450                                         super_meth->accflags))
1451                 super_meth = NULL;
1452               else if ((super_meth->accflags
1453                         & java::lang::reflect::Modifier::FINAL) != 0)
1454                 {
1455                   using namespace java::lang;
1456                   StringBuffer *sb = new StringBuffer();
1457                   sb->append(JvNewStringLatin1("method "));
1458                   sb->append(_Jv_GetMethodString(klass, meth));
1459                   sb->append(JvNewStringLatin1(" overrides final method "));
1460                   sb->append(_Jv_GetMethodString(declarer, super_meth));
1461                   throw new VerifyError(sb->toString());
1462                 }
1463             }
1464         }
1465
1466       if (super_meth)
1467         meth->index = super_meth->index;
1468       else
1469         meth->index = index++;
1470     }
1471
1472   klass->vtable_method_count = index;
1473 }
1474
1475 // Set entries in VTABLE for virtual methods declared in KLASS.
1476 void
1477 _Jv_Linker::set_vtable_entries (jclass klass, _Jv_VTable *vtable)
1478 {
1479   for (int i = klass->method_count - 1; i >= 0; i--)
1480     {
1481       using namespace java::lang::reflect;
1482
1483       _Jv_Method *meth = &klass->methods[i];
1484       if (meth->index == (_Jv_ushort) -1)
1485         continue;
1486       if ((meth->accflags & Modifier::ABSTRACT))
1487         // FIXME: it might be nice to have a libffi trampoline here,
1488         // so we could pass in the method name and other information.
1489         vtable->set_method(meth->index,
1490                            (void *) &_Jv_ThrowAbstractMethodError);
1491       else
1492         vtable->set_method(meth->index, meth->ncode);
1493     }
1494 }
1495
1496 // Allocate and lay out the virtual method table for KLASS.  This will
1497 // also cause vtables to be generated for any non-abstract
1498 // superclasses, and virtual method layout to occur for any abstract
1499 // superclasses.  Must be called with monitor lock for KLASS held.
1500 void
1501 _Jv_Linker::make_vtable (jclass klass)
1502 {
1503   using namespace java::lang::reflect;
1504
1505   // If the vtable exists, or for interface classes, do nothing.  All
1506   // other classes, including abstract classes, need a vtable.
1507   if (klass->vtable != NULL || klass->isInterface())
1508     return;
1509
1510   // Ensure all the `ncode' entries are set.
1511   klass->engine->create_ncode(klass);
1512
1513   // Class must be laid out before we can create a vtable.
1514   if (klass->vtable_method_count == -1)
1515     layout_vtable_methods (klass);
1516
1517   // Allocate the new vtable.
1518   _Jv_VTable *vtable = _Jv_VTable::new_vtable (klass->vtable_method_count);
1519   klass->vtable = vtable;
1520
1521   // Copy the vtable of the closest superclass.
1522   jclass superclass = klass->superclass;
1523   {
1524     JvSynchronize sync (superclass);
1525     make_vtable (superclass);
1526   }
1527   for (int i = 0; i < superclass->vtable_method_count; ++i)
1528     vtable->set_method (i, superclass->vtable->get_method (i));
1529
1530   // Set the class pointer and GC descriptor.
1531   vtable->clas = klass;
1532   vtable->gc_descr = _Jv_BuildGCDescr (klass);
1533
1534   // For each virtual declared in klass, set new vtable entry or
1535   // override an old one.
1536   set_vtable_entries (klass, vtable);
1537
1538   // Note that we don't check for abstract methods here.  We used to,
1539   // but there is a JVMS clarification that indicates that a check
1540   // here would be too eager.  And, a simple test case confirms this.
1541 }
1542
1543 // Lay out the class, allocating space for static fields and computing
1544 // offsets of instance fields.  The class lock must be held by the
1545 // caller.
1546 void
1547 _Jv_Linker::ensure_fields_laid_out (jclass klass)
1548 {
1549   if (klass->size_in_bytes != -1)
1550     return;
1551
1552   // Compute the alignment for this type by searching through the
1553   // superclasses and finding the maximum required alignment.  We
1554   // could consider caching this in the Class.
1555   int max_align = __alignof__ (java::lang::Object);
1556   jclass super = klass->getSuperclass();
1557   while (super != NULL)
1558     {
1559       // Ensure that our super has its super installed before
1560       // recursing.
1561       wait_for_state(super, JV_STATE_LOADING);
1562       ensure_fields_laid_out(super);
1563       int num = JvNumInstanceFields (super);
1564       _Jv_Field *field = JvGetFirstInstanceField (super);
1565       while (num > 0)
1566         {
1567           int field_align = get_alignment_from_class (field->type);
1568           if (field_align > max_align)
1569             max_align = field_align;
1570           ++field;
1571           --num;
1572         }
1573       super = super->getSuperclass();
1574     }
1575
1576   int instance_size;
1577   // This is the size of the 'static' non-reference fields.
1578   int non_reference_size = 0;
1579   // This is the size of the 'static' reference fields.  We count
1580   // these separately to make it simpler for the GC to scan them.
1581   int reference_size = 0;
1582
1583   // Although java.lang.Object is never interpreted, an interface can
1584   // have a null superclass.  Note that we have to lay out an
1585   // interface because it might have static fields.
1586   if (klass->superclass)
1587     instance_size = klass->superclass->size();
1588   else
1589     instance_size = java::lang::Object::class$.size();
1590
1591   klass->engine->allocate_field_initializers (klass);
1592
1593   for (int i = 0; i < klass->field_count; i++)
1594     {
1595       int field_size;
1596       int field_align;
1597
1598       _Jv_Field *field = &klass->fields[i];
1599
1600       if (! field->isRef ())
1601         {
1602           // It is safe to resolve the field here, since it's a
1603           // primitive class, which does not cause loading to happen.
1604           resolve_field (field, klass->loader);
1605           field_size = field->type->size ();
1606           field_align = get_alignment_from_class (field->type);
1607         }
1608       else
1609         {
1610           field_size = sizeof (jobject);
1611           field_align = __alignof__ (jobject);
1612         }
1613
1614       field->bsize = field_size;
1615
1616       if ((field->flags & java::lang::reflect::Modifier::STATIC))
1617         {
1618           if (field->u.addr == NULL)
1619             {
1620               // This computes an offset into a region we'll allocate
1621               // shortly, and then adds this offset to the start
1622               // address.
1623               if (field->isRef())
1624                 {
1625                   reference_size = ROUND (reference_size, field_align);
1626                   field->u.boffset = reference_size;
1627                   reference_size += field_size;
1628                 }
1629               else
1630                 {
1631                   non_reference_size = ROUND (non_reference_size, field_align);
1632                   field->u.boffset = non_reference_size;
1633                   non_reference_size += field_size;
1634                 }
1635             }
1636         }
1637       else
1638         {
1639           instance_size      = ROUND (instance_size, field_align);
1640           field->u.boffset   = instance_size;
1641           instance_size     += field_size;
1642           if (field_align > max_align)
1643             max_align = field_align;
1644         }
1645     }
1646
1647   if (reference_size != 0 || non_reference_size != 0)
1648     klass->engine->allocate_static_fields (klass, reference_size,
1649                                            non_reference_size);
1650
1651   // Set the instance size for the class.  Note that first we round it
1652   // to the alignment required for this object; this keeps us in sync
1653   // with our current ABI.
1654   instance_size = ROUND (instance_size, max_align);
1655   klass->size_in_bytes = instance_size;
1656 }
1657
1658 // This takes the class to state JV_STATE_LINKED.  The class lock must
1659 // be held when calling this.
1660 void
1661 _Jv_Linker::ensure_class_linked (jclass klass)
1662 {
1663   if (klass->state >= JV_STATE_LINKED)
1664     return;
1665
1666   int state = klass->state;
1667   try
1668     {
1669       // Short-circuit, so that mutually dependent classes are ok.
1670       klass->state = JV_STATE_LINKED;
1671
1672       _Jv_Constants *pool = &klass->constants;
1673
1674       // Compiled classes require that their class constants be
1675       // resolved here.  However, interpreted classes need their
1676       // constants to be resolved lazily.  If we resolve an
1677       // interpreted class' constants eagerly, we can end up with
1678       // spurious IllegalAccessErrors when the constant pool contains
1679       // a reference to a class we can't access.  This can validly
1680       // occur in an obscure case involving the InnerClasses
1681       // attribute.
1682       if (! _Jv_IsInterpretedClass (klass))
1683         {
1684           // Resolve class constants first, since other constant pool
1685           // entries may rely on these.
1686           for (int index = 1; index < pool->size; ++index)
1687             {
1688               if (pool->tags[index] == JV_CONSTANT_Class)
1689                 // Lazily resolve the entries.
1690                 resolve_pool_entry (klass, index, true);
1691             }
1692         }
1693
1694       // Resolve the remaining constant pool entries.
1695       for (int index = 1; index < pool->size; ++index)
1696         {
1697           if (pool->tags[index] == JV_CONSTANT_String)
1698             {
1699               jstring str;
1700
1701               str = _Jv_NewStringUtf8Const (pool->data[index].utf8);
1702               pool->data[index].o = str;
1703               pool->tags[index] |= JV_CONSTANT_ResolvedFlag;
1704             }
1705         }
1706
1707       if (klass->engine->need_resolve_string_fields())
1708         {
1709           jfieldID f = JvGetFirstStaticField (klass);
1710           for (int n = JvNumStaticFields (klass); n > 0; --n)
1711             {
1712               int mod = f->getModifiers ();
1713               // If we have a static String field with a non-null initial
1714               // value, we know it points to a Utf8Const.
1715
1716               // Finds out whether we have to initialize a String without the
1717               // need to resolve the field.
1718               if ((f->isResolved()
1719                    ? (f->type == &java::lang::String::class$)
1720                    : _Jv_equalUtf8Classnames((_Jv_Utf8Const *) f->type,
1721                                              java::lang::String::class$.name))
1722                   && (mod & java::lang::reflect::Modifier::STATIC) != 0)
1723                 {
1724                   jstring *strp = (jstring *) f->u.addr;
1725                   if (*strp)
1726                     *strp = _Jv_NewStringUtf8Const ((_Jv_Utf8Const *) *strp);
1727                 }
1728               f = f->getNextField ();
1729             }
1730         }
1731
1732       klass->notifyAll ();
1733
1734       _Jv_PushClass (klass);
1735     }
1736   catch (java::lang::Throwable *t)
1737     {
1738       klass->state = state;
1739       throw t;
1740     }
1741 }
1742
1743 // This ensures that symbolic superclass and superinterface references
1744 // are resolved for the indicated class.  This must be called with the
1745 // class lock held.
1746 void
1747 _Jv_Linker::ensure_supers_installed (jclass klass)
1748 {
1749   resolve_class_ref (klass, &klass->superclass);
1750   // An interface won't have a superclass.
1751   if (klass->superclass)
1752     wait_for_state (klass->superclass, JV_STATE_LOADING);
1753
1754   for (int i = 0; i < klass->interface_count; ++i)
1755     {
1756       resolve_class_ref (klass, &klass->interfaces[i]);
1757       wait_for_state (klass->interfaces[i], JV_STATE_LOADING);
1758     }
1759 }
1760
1761 // This adds missing `Miranda methods' to a class.
1762 void
1763 _Jv_Linker::add_miranda_methods (jclass base, jclass iface_class)
1764 {
1765   // Note that at this point, all our supers, and the supers of all
1766   // our superclasses and superinterfaces, will have been installed.
1767
1768   for (int i = 0; i < iface_class->interface_count; ++i)
1769     {
1770       jclass interface = iface_class->interfaces[i];
1771
1772       for (int j = 0; j < interface->method_count; ++j)
1773         {
1774           _Jv_Method *meth = &interface->methods[j];
1775           // Don't bother with <clinit>.
1776           if (meth->name->first() == '<')
1777             continue;
1778           _Jv_Method *new_meth = _Jv_LookupDeclaredMethod (base, meth->name,
1779                                                            meth->signature);
1780           if (! new_meth)
1781             {
1782               // We assume that such methods are very unlikely, so we
1783               // just reallocate the method array each time one is
1784               // found.  This greatly simplifies the searching --
1785               // otherwise we have to make sure that each such method
1786               // found is really unique among all superinterfaces.
1787               int new_count = base->method_count + 1;
1788               _Jv_Method *new_m
1789                 = (_Jv_Method *) _Jv_AllocRawObj (sizeof (_Jv_Method)
1790                                                   * new_count);
1791               memcpy (new_m, base->methods,
1792                       sizeof (_Jv_Method) * base->method_count);
1793
1794               // Add new method.
1795               new_m[base->method_count] = *meth;
1796               new_m[base->method_count].index = (_Jv_ushort) -1;
1797               new_m[base->method_count].accflags
1798                 |= java::lang::reflect::Modifier::INVISIBLE;
1799
1800               base->methods = new_m;
1801               base->method_count = new_count;
1802             }
1803         }
1804
1805       wait_for_state (interface, JV_STATE_LOADED);
1806       add_miranda_methods (base, interface);
1807     }
1808 }
1809
1810 // This ensures that the class' method table is "complete".  This must
1811 // be called with the class lock held.
1812 void
1813 _Jv_Linker::ensure_method_table_complete (jclass klass)
1814 {
1815   if (klass->vtable != NULL)
1816     return;
1817
1818   // We need our superclass to have its own Miranda methods installed.
1819   if (! klass->isInterface())
1820     wait_for_state (klass->getSuperclass (), JV_STATE_LOADED);
1821
1822   // A class might have so-called "Miranda methods".  This is a method
1823   // that is declared in an interface and not re-declared in an
1824   // abstract class.  Some compilers don't emit declarations for such
1825   // methods in the class; this will give us problems since we expect
1826   // a declaration for any method requiring a vtable entry.  We handle
1827   // this here by searching for such methods and constructing new
1828   // internal declarations for them.  Note that we do this
1829   // unconditionally, and not just for abstract classes, to correctly
1830   // account for cases where a class is modified to be concrete and
1831   // still incorrectly inherits an abstract method.
1832   int pre_count = klass->method_count;
1833   add_miranda_methods (klass, klass);
1834
1835   // Let the execution engine know that we've added methods.
1836   if (klass->method_count != pre_count)
1837     klass->engine->post_miranda_hook(klass);
1838 }
1839
1840 // Verify a class.  Must be called with class lock held.
1841 void
1842 _Jv_Linker::verify_class (jclass klass)
1843 {
1844   klass->engine->verify(klass);
1845 }
1846
1847 // Check the assertions contained in the type assertion table for KLASS.
1848 // This is the equivilent of bytecode verification for native, BC-ABI code.
1849 void
1850 _Jv_Linker::verify_type_assertions (jclass klass)
1851 {
1852   if (debug_link)
1853     fprintf (stderr, "Evaluating type assertions for %s:\n",
1854              klass->name->chars());
1855
1856   if (klass->assertion_table == NULL)
1857     return;
1858
1859   for (int i = 0;; i++)
1860     {
1861       int assertion_code = klass->assertion_table[i].assertion_code;
1862       _Jv_Utf8Const *op1 = klass->assertion_table[i].op1;
1863       _Jv_Utf8Const *op2 = klass->assertion_table[i].op2;
1864
1865       if (assertion_code == JV_ASSERT_END_OF_TABLE)
1866         return;
1867       else if (assertion_code == JV_ASSERT_TYPES_COMPATIBLE)
1868         {
1869           if (debug_link)
1870             {
1871               fprintf (stderr, "  code=%i, operand A=%s B=%s\n",
1872                        assertion_code, op1->chars(), op2->chars());
1873             }
1874
1875           // The operands are class signatures. op1 is the source,
1876           // op2 is the target.
1877           jclass cl1 = _Jv_FindClassFromSignature (op1->chars(),
1878             klass->getClassLoaderInternal());
1879           jclass cl2 = _Jv_FindClassFromSignature (op2->chars(),
1880             klass->getClassLoaderInternal());
1881
1882           // If the class doesn't exist, ignore the assertion. An exception
1883           // will be thrown later if an attempt is made to actually
1884           // instantiate the class.
1885           if (cl1 == NULL || cl2 == NULL)
1886             continue;
1887
1888           if (! _Jv_IsAssignableFromSlow (cl1, cl2))
1889             {
1890               jstring s = JvNewStringUTF ("Incompatible types: In class ");
1891               s = s->concat (klass->getName());
1892               s = s->concat (JvNewStringUTF (": "));
1893               s = s->concat (cl1->getName());
1894               s = s->concat (JvNewStringUTF (" is not assignable to "));
1895               s = s->concat (cl2->getName());
1896               throw new java::lang::VerifyError (s);
1897             }
1898         }
1899       else if (assertion_code == JV_ASSERT_IS_INSTANTIABLE)
1900         {
1901           // TODO: Implement this.
1902         }
1903       // Unknown assertion codes are ignored, for forwards-compatibility.
1904     }
1905 }
1906
1907 void
1908 _Jv_Linker::print_class_loaded (jclass klass)
1909 {
1910   char *codesource = NULL;
1911   if (klass->protectionDomain != NULL)
1912     {
1913       java::security::CodeSource *cs
1914         = klass->protectionDomain->getCodeSource();
1915       if (cs != NULL)
1916         {
1917           jstring css = cs->toString();
1918           int len = JvGetStringUTFLength(css);
1919           codesource = (char *) _Jv_AllocBytes(len + 1);
1920           JvGetStringUTFRegion(css, 0, css->length(), codesource);
1921           codesource[len] = '\0';
1922         }
1923     }
1924   if (codesource == NULL)
1925     codesource = (char *) "<no code source>";
1926
1927   const char *abi;
1928   if (_Jv_IsInterpretedClass (klass))
1929     abi = "bytecode";
1930   else if (_Jv_IsBinaryCompatibilityABI (klass))
1931     abi = "BC-compiled";
1932   else
1933     abi = "pre-compiled";
1934
1935   fprintf (stderr, "[Loaded (%s) %s from %s]\n", abi, klass->name->chars(),
1936            codesource);
1937 }
1938
1939 // FIXME: mention invariants and stuff.
1940 void
1941 _Jv_Linker::wait_for_state (jclass klass, int state)
1942 {
1943   if (klass->state >= state)
1944     return;
1945
1946   java::lang::Thread *self = java::lang::Thread::currentThread();
1947
1948   {
1949     JvSynchronize sync (klass);
1950
1951     // This is similar to the strategy for class initialization.  If we
1952     // already hold the lock, just leave.
1953     while (klass->state <= state
1954            && klass->thread
1955            && klass->thread != self)
1956       klass->wait ();
1957
1958     java::lang::Thread *save = klass->thread;
1959     klass->thread = self;
1960
1961     // Allocate memory for static fields and constants.
1962     if (GC_base (klass) && klass->fields && ! GC_base (klass->fields))
1963       {
1964         jsize count = klass->field_count;
1965         if (count)
1966           {
1967             _Jv_Field* fields
1968               = (_Jv_Field*) _Jv_AllocRawObj (count * sizeof (_Jv_Field));
1969             memcpy ((void*)fields,
1970                     (void*)klass->fields,
1971                     count * sizeof (_Jv_Field));
1972             klass->fields = fields;
1973           }
1974       }
1975
1976   // Print some debugging info if requested.  Interpreted classes are
1977   // handled in defineclass, so we only need to handle the two
1978   // pre-compiled cases here.
1979   if ((klass->state == JV_STATE_COMPILED
1980           || klass->state == JV_STATE_PRELOADING)
1981       && ! _Jv_IsInterpretedClass (klass))
1982     {
1983       if (gcj::verbose_class_flag)
1984         print_class_loaded (klass);
1985       ++gcj::loadedClasses;
1986     }
1987
1988     try
1989       {
1990         if (state >= JV_STATE_LOADING && klass->state < JV_STATE_LOADING)
1991           {
1992             ensure_supers_installed (klass);
1993             klass->set_state(JV_STATE_LOADING);
1994           }
1995
1996         if (state >= JV_STATE_LOADED && klass->state < JV_STATE_LOADED)
1997           {
1998             ensure_method_table_complete (klass);
1999             klass->set_state(JV_STATE_LOADED);
2000           }
2001
2002         if (state >= JV_STATE_PREPARED && klass->state < JV_STATE_PREPARED)
2003           {
2004             ensure_fields_laid_out (klass);
2005             make_vtable (klass);
2006             layout_interface_methods (klass);
2007             prepare_constant_time_tables (klass);
2008             klass->set_state(JV_STATE_PREPARED);
2009           }
2010
2011         if (state >= JV_STATE_LINKED && klass->state < JV_STATE_LINKED)
2012           {
2013             if (gcj::verifyClasses)
2014               verify_class (klass);
2015
2016             ensure_class_linked (klass);
2017             link_exception_table (klass);
2018             link_symbol_table (klass);
2019             klass->set_state(JV_STATE_LINKED);
2020           }
2021       }
2022     catch (java::lang::Throwable *exc)
2023       {
2024         klass->thread = save;
2025         klass->set_state(JV_STATE_ERROR);
2026         throw exc;
2027       }
2028
2029     klass->thread = save;
2030
2031     if (klass->state == JV_STATE_ERROR)
2032       throw new java::lang::LinkageError;
2033   }
2034
2035   if (__builtin_expect (klass->state == JV_STATE_LINKED, false)
2036       && state >= JV_STATE_LINKED
2037       && JVMTI_REQUESTED_EVENT (ClassPrepare))
2038     {
2039       JNIEnv *jni_env = _Jv_GetCurrentJNIEnv ();
2040       _Jv_JVMTI_PostEvent (JVMTI_EVENT_CLASS_PREPARE, self, jni_env,
2041                            klass);
2042     }
2043 }