Reviewers: Benedikt Meurer,
Description:
Version 4.6.85.13 (cherry-pick)
Merged 5434d052f138adc0933c20ad24cc3d84555be53d
fix gen-postmortem-metadata.py for kInObjectPropertiesOffset
R=bmeu...@chromium.org
BUG=v8:4411
Please review this at https://codereview.chromium.org/1308703013/
Base URL: https://chromium.googlesource.com/v8/v8.git@4.6
Affected files (+2, -2 lines):
M include/v8-version.h
M tools/gen-postmortem-metadata.py
Index: include/v8-version.h
diff --git a/include/v8-version.h b/include/v8-version.h
index
c98e51fffd5896d0689b0a201c3fa6ea7a488a24..621866a5360e1a869c68b05747efa389e961ebd3
100644
--- a/include/v8-version.h
+++ b/include/v8-version.h
@@ -11,7 +11,7 @@
#define V8_MAJOR_VERSION 4
#define V8_MINOR_VERSION 6
#define V8_BUILD_NUMBER 85
-#define V8_PATCH_LEVEL 12
+#define V8_PATCH_LEVEL 13
// Use 1 for candidates and 0 otherwise.
// (Boolean macro values are not supported by all preprocessors.)
Index: tools/gen-postmortem-metadata.py
diff --git a/tools/gen-postmortem-metadata.py
b/tools/gen-postmortem-metadata.py
index
d5defa7a2a96ffbabf0edd7a6170c1a2237769a1..29416cebd2be5e9b26812017dae468be0c1dd921
100644
--- a/tools/gen-postmortem-metadata.py
+++ b/tools/gen-postmortem-metadata.py
@@ -142,7 +142,7 @@ extras_accessors = [
'JSObject, elements, Object, kElementsOffset',
'FixedArray, data, uintptr_t, kHeaderSize',
'Map, instance_attributes, int, kInstanceAttributesOffset',
- 'Map, inobject_properties, int, kInObjectPropertiesOffset',
+ 'Map, inobject_properties_of_constructor_function_index_offset, int,
kInObjectPropertiesOrConstructorFunctionIndexOffset',
'Map, instance_size, int, kInstanceSizeOffset',
'Map, bit_field, char, kBitFieldOffset',
'Map, bit_field2, char, kBitField2Offset',
--
--
v8-dev mailing list
v8-dev@googlegroups.com
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 v8-dev+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.