Cardmarking writebarrier.

src/objects-debug.cc

 // Copyright 2006-2008 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 788 matching lines @@
   PrintF("\n");
 }
 
 
 void JSGlobalProxy::JSGlobalProxyVerify() {
   CHECK(IsJSGlobalProxy());
   JSObjectVerify();
   VerifyObjectField(JSGlobalProxy::kContextOffset);
   // Make sure that this object has no properties, elements.
   CHECK_EQ(0, properties()->length());
-  CHECK_EQ(0, elements()->length());
+  CHECK(HasFastElements());
+  CHECK_EQ(0, FixedArray::cast(elements())->length());
 }
 
 
 void JSGlobalObject::JSGlobalObjectPrint() {
   PrintF("global ");
   JSObjectPrint();
   PrintF("global context : ");
   global_context()->ShortPrint();
   PrintF("\n");
 }
@@ skipping 530 matching lines @@
       ASSERT(get(i)->IsTheHole());
       get(i)->Verify();
     }
   }
 }
 
 
 #endif  // DEBUG
 
 } }  // namespace v8::internal