Status: Accepted
Owner: [email protected]
CC: [email protected]
Labels: Type-Bug Priority-Medium
New issue 2640 by [email protected]: Snapshot generation with
gc_interval=10 fails after r14285
http://code.google.com/p/v8/issues/detail?id=2640
Setting default value of gc_interval to 10 in flag-definitions causes build
to fail during snapshot generation:
#
# Fatal error in ../src/serialize.cc, line 1591
# CHECK(to_skip >= 0) failed
#
==== C stack trace ===============================
1: V8_Fatal
2: v8::internal::Serializer::ObjectSerializer::OutputRawData(unsigned
char*, v8::internal::Serializer::ObjectSerializer::ReturnSkip)
3: v8::internal::Serializer::ObjectSerializer::Serialize()
4: v8::internal::PartialSerializer::SerializeObject(v8::internal::Object*,
v8::internal::SerializerDeserializer::HowToCode,
v8::internal::SerializerDeserializer::WhereToPoint, int)
5:
v8::internal::Serializer::ObjectSerializer::VisitPointers(v8::internal::Object**,
v8::internal::Object**)
6: v8::internal::FixedBodyDescriptor<12, 40,
40>::IterateBody(v8::internal::HeapObject*, v8::internal::ObjectVisitor*)
7: v8::internal::HeapObject::IterateBody(v8::internal::InstanceType, int,
v8::internal::ObjectVisitor*)
8: v8::internal::Serializer::ObjectSerializer::Serialize()
9: v8::internal::PartialSerializer::SerializeObject(v8::internal::Object*,
v8::internal::SerializerDeserializer::HowToCode,
v8::internal::SerializerDeserializer::WhereToPoint, int)
10:
v8::internal::Serializer::ObjectSerializer::VisitPointers(v8::internal::Object**,
v8::internal::Object**)
Bisected it to https://v8.googlecode.com/svn/branches/bleeding_edge@14285).
--
You received this message because this project is configured to send all
issue notifications to this address.
You may adjust your notification preferences at:
https://code.google.com/hosting/settings
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
