| Index: src/objects.h
|
| diff --git a/src/objects.h b/src/objects.h
|
| index 8e64fe38da799f8c772a11ccda4977442703d94f..f8db36600174d7e1c2f147f316368dac3afbf7fb 100644
|
| --- a/src/objects.h
|
| +++ b/src/objects.h
|
| @@ -3448,24 +3448,19 @@ class SeededNumberDictionary
|
|
|
| // Type specific at put (default NONE attributes is used when adding).
|
| MUST_USE_RESULT static Handle<SeededNumberDictionary> AtNumberPut(
|
| - Handle<SeededNumberDictionary> dictionary,
|
| - uint32_t key,
|
| - Handle<Object> value);
|
| + Handle<SeededNumberDictionary> dictionary, uint32_t key,
|
| + Handle<Object> value, bool used_as_prototype);
|
| MUST_USE_RESULT static Handle<SeededNumberDictionary> AddNumberEntry(
|
| - Handle<SeededNumberDictionary> dictionary,
|
| - uint32_t key,
|
| - Handle<Object> value,
|
| - PropertyDetails details);
|
| + Handle<SeededNumberDictionary> dictionary, uint32_t key,
|
| + Handle<Object> value, PropertyDetails details, bool used_as_prototype);
|
|
|
| // Set an existing entry or add a new one if needed.
|
| // Return the updated dictionary.
|
| MUST_USE_RESULT static Handle<SeededNumberDictionary> Set(
|
| - Handle<SeededNumberDictionary> dictionary,
|
| - uint32_t key,
|
| - Handle<Object> value,
|
| - PropertyDetails details);
|
| + Handle<SeededNumberDictionary> dictionary, uint32_t key,
|
| + Handle<Object> value, PropertyDetails details, bool used_as_prototype);
|
|
|
| - void UpdateMaxNumberKey(uint32_t key);
|
| + void UpdateMaxNumberKey(uint32_t key, bool used_as_prototype);
|
|
|
| // If slow elements are required we will never go back to fast-case
|
| // for the elements kept in this dictionary. We require slow
|
|
|