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; |