[runtime] Support Proxy setPrototypeOf trap

src/parsing/scanner-character-streams.cc

Index: src/parsing/scanner-character-streams.cc
diff --git a/src/parsing/scanner-character-streams.cc b/src/parsing/scanner-character-streams.cc
index 68d531443dba5ca9fd31b88a4684c94aeb924c37..159108090d72ab02142c46b2ec8539cd47a03c08 100644
--- a/src/parsing/scanner-character-streams.cc
+++ b/src/parsing/scanner-character-streams.cc
@@ -49,15 +49,14 @@ size_t CopyCharsHelper(uint16_t* dest, size_t length, const uint8_t* src,
 // BufferedUtf16CharacterStreams
 
 BufferedUtf16CharacterStream::BufferedUtf16CharacterStream()
-    : Utf16CharacterStream(),
-      pushback_limit_(NULL) {
+    : Utf16CharacterStream(), pushback_limit_(NULL) {
   // Initialize buffer as being empty. First read will fill the buffer.
   buffer_cursor_ = buffer_;
   buffer_end_ = buffer_;
 }
 
 
-BufferedUtf16CharacterStream::~BufferedUtf16CharacterStream() { }
+BufferedUtf16CharacterStream::~BufferedUtf16CharacterStream() {}
 
 void BufferedUtf16CharacterStream::PushBack(uc32 character) {
   if (character == kEndOfInput) {
@@ -137,7 +136,7 @@ GenericStringUtf16CharacterStream::GenericStringUtf16CharacterStream(
 }
 
 
-GenericStringUtf16CharacterStream::~GenericStringUtf16CharacterStream() { }
+GenericStringUtf16CharacterStream::~GenericStringUtf16CharacterStream() {}
 
 
 bool GenericStringUtf16CharacterStream::SetBookmark() {
@@ -187,7 +186,7 @@ Utf8ToUtf16CharacterStream::Utf8ToUtf16CharacterStream(const byte* data,
 }
 
 
-Utf8ToUtf16CharacterStream::~Utf8ToUtf16CharacterStream() { }
+Utf8ToUtf16CharacterStream::~Utf8ToUtf16CharacterStream() {}
 
 
 size_t Utf8ToUtf16CharacterStream::CopyChars(uint16_t* dest, size_t length,
@@ -268,7 +267,8 @@ static inline void Utf8CharacterBack(const byte* buffer, size_t* cursor) {
     // Last byte of a multi-byte character encoding. Step backwards until
     // pointing to the first byte of the encoding, recognized by having the
     // top two bits set.
-    while (IsUtf8MultiCharacterFollower(buffer[--*cursor])) { }
+    while (IsUtf8MultiCharacterFollower(buffer[--*cursor])) {
+    }
     DCHECK(IsUtf8MultiCharacterStart(buffer[*cursor]));
   }
 }
@@ -556,7 +556,7 @@ void ExternalStreamingStream::HandleUtf8SplitCharacters(
 // ExternalTwoByteStringUtf16CharacterStream
 
 ExternalTwoByteStringUtf16CharacterStream::
-    ~ExternalTwoByteStringUtf16CharacterStream() { }
+    ~ExternalTwoByteStringUtf16CharacterStream() {}
 
 
 ExternalTwoByteStringUtf16CharacterStream::