Index: src/scanner-character-streams.h |
diff --git a/src/scanner-character-streams.h b/src/scanner-character-streams.h |
index e9047d3212e101675e777151e7a70f58ce290124..582165710db84c1171f74a163e3dcfdeaa8170ac 100644 |
--- a/src/scanner-character-streams.h |
+++ b/src/scanner-character-streams.h |
@@ -93,7 +93,8 @@ class ExternalStreamingStream : public BufferedUtf16CharacterStream { |
current_data_offset_(0), |
current_data_length_(0), |
utf8_split_char_buffer_length_(0), |
- bookmark_(0) {} |
+ bookmark_(0), |
+ bookmark_utf8_split_char_buffer_length_(0) {} |
virtual ~ExternalStreamingStream() { |
delete[] current_data_; |
@@ -133,6 +134,8 @@ class ExternalStreamingStream : public BufferedUtf16CharacterStream { |
size_t bookmark_; |
Vector<uint16_t> bookmark_buffer_; |
Vector<uint8_t> bookmark_data_; |
+ uint8_t bookmark_utf8_split_char_buffer_[4]; |
+ size_t bookmark_utf8_split_char_buffer_length_; |
}; |