| Index: src/objects.h
|
| diff --git a/src/objects.h b/src/objects.h
|
| index a0e77cb86dbd63a8bff729b21e37a57878b8a619..f325a3d5ec5621c5fce58c0ce41105c0c9314dc3 100644
|
| --- a/src/objects.h
|
| +++ b/src/objects.h
|
| @@ -1928,6 +1928,10 @@ class JSObject: public JSReceiver {
|
| FILE* file, ElementsKind from_kind, FixedArrayBase* from_elements,
|
| ElementsKind to_kind, FixedArrayBase* to_elements);
|
|
|
| + void RecordElementsTransition(
|
| + ElementsKind from_kind, FixedArrayBase* from_elements,
|
| + ElementsKind to_kind, FixedArrayBase* to_elements);
|
| +
|
| #ifdef DEBUG
|
| // Structure for collecting spill information about JSObjects.
|
| class SpillInformation {
|
|
|