Annotate
util.dbuffer: Add efficient shortcuts for discard() in certain cases
If the buffer is already empty, nothing to do. If we're throwing away the
whole buffer, we can just empty it and avoid read_chunk() (which in turn
may collapse()). These shortcuts are much more efficient.
| author |
Matthew Wild <mwild1@gmail.com> |
| date |
Tue, 11 Oct 2022 11:37:55 +0100 |
| parent |
11706:56feb0cf7052 |
| child |
13191:1266efb7101c |
| rev |
line source |
|
11706
|
1 root = true
|
|
|
2
|
|
|
3 [*]
|
|
|
4 end_of_line = lf
|
|
|
5 indent_style = tab
|
|
|
6 insert_final_newline = true
|
|
|
7 trim_trailing_whitespace = true
|
|
|
8
|
|
|
9 [CHANGES]
|
|
|
10 indent_size = 4
|
|
|
11 indent_style = space
|
|
|
12
|
|
|
13 [configure]
|
|
|
14 indent_size = 3
|
|
|
15 indent_style = space
|
|
|
16
|
|
|
17 [**.xml]
|
|
|
18 indent_size = 2
|
|
|
19 indent_style = space
|
