diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2013-01-23 14:25:48 +0100 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2013-01-23 14:39:33 +0100 |
| commit | 3404366b6593bbf372da35ef8c7ce6cde429cef7 (patch) | |
| tree | 9ca629f41dcb6809a8fd35fda53dd715a9771829 /src/buffer.cc | |
| parent | f14bc5e31004b37e90ba000a0714aa83e7f2763e (diff) | |
add more asserts
Diffstat (limited to 'src/buffer.cc')
| -rw-r--r-- | src/buffer.cc | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/buffer.cc b/src/buffer.cc index 92089e83..d384f3bb 100644 --- a/src/buffer.cc +++ b/src/buffer.cc @@ -245,7 +245,8 @@ void Buffer::check_invariant() const void Buffer::do_insert(const BufferIterator& pos, const String& content) { - assert(pos.is_end() or utf8::is_character_start(pos)); + assert(pos.is_valid() and (pos.is_end() or utf8::is_character_start(pos))); + assert(not contains(content, '\0')); ++m_timestamp; ByteCount offset = pos.offset(); @@ -322,6 +323,8 @@ void Buffer::do_insert(const BufferIterator& pos, const String& content) void Buffer::do_erase(const BufferIterator& begin, const BufferIterator& end) { + assert(begin.is_valid()); + assert(end.is_valid()); assert(utf8::is_character_start(begin) and (end.is_end() or utf8::is_character_start(end))); ++m_timestamp; |
