Generators can resume

src/objects-debug.cc

 // Copyright 2012 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 400 matching lines @@
 
 
 void JSGeneratorObject::JSGeneratorObjectVerify() {
   // In an expression like "new g()", there can be a point where a generator
   // object is allocated but its fields are all undefined, as it hasn't yet been
   // initialized by the generator.  Hence these weak checks.
   VerifyObjectField(kFunctionOffset);
   VerifyObjectField(kContextOffset);
   VerifyObjectField(kOperandStackOffset);
   VerifyObjectField(kContinuationOffset);
+
+  // Verify that the sentinel values are not positive, and thus that they do not
+  // indicate a suspended continuation.
+  STATIC_ASSERT(JSGeneratorObject::kGeneratorExecuting <= 0);

[Michael Starzinger, 2013/04/21 22:45:21]

Move these static asserts into the runtime functions right to where the
assumption is actually needed. This will also make the comment obsolete.

+  STATIC_ASSERT(JSGeneratorObject::kGeneratorClosed <= 0);
 }
 
 
 void JSModule::JSModuleVerify() {
   VerifyObjectField(kContextOffset);
   VerifyObjectField(kScopeInfoOffset);
   CHECK(context()->IsUndefined() ||
         Context::cast(context())->IsModuleContext());
 }
 
@@ skipping 679 matching lines @@
   for (int i = 0; i < number_of_transitions(); ++i) {
     if (!CheckOneBackPointer(current_map, GetTarget(i))) return false;
   }
   return true;
 }
 
 
 #endif  // DEBUG
 
 } }  // namespace v8::internal