| Index: src/parsing/scanner-character-streams.h
|
| diff --git a/src/parsing/scanner-character-streams.h b/src/parsing/scanner-character-streams.h
|
| index 603db93d022f9c0548219459adb610c214f1e7ab..7e065cf89d35a5df603919a335a3482caa4c0886 100644
|
| --- a/src/parsing/scanner-character-streams.h
|
| +++ b/src/parsing/scanner-character-streams.h
|
| @@ -158,8 +158,10 @@ class ExternalTwoByteStringUtf16CharacterStream: public Utf16CharacterStream {
|
|
|
| void PushBack(uc32 character) override {
|
| DCHECK(buffer_cursor_ > raw_data_);
|
| - buffer_cursor_--;
|
| pos_--;
|
| + if (character != kEndOfInput) {
|
| + buffer_cursor_--;
|
| + }
|
| }
|
|
|
| bool SetBookmark() override;
|
|
|