Simon Tatham
5891142aee
New functions to shrink a strbuf.
...
These are better than my previous approach of just assigning to
sb->len, because firstly they check by assertion that the new length
is within range, and secondly they preserve the invariant that the
byte stored in the buffer just after the length runs out is \0.
Switched to using the new functions everywhere a grep could turn up
opportunities.
2020-01-21 20:24:04 +00:00
..
2014-02-22 18:01:32 +00:00
2018-11-03 13:47:29 +00:00
2019-12-24 13:47:46 +00:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-11-02 08:26:14 +00:00
2020-01-21 20:24:04 +00:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2018-11-03 13:45:00 +00:00
2018-11-03 13:45:00 +00:00
2019-12-24 13:47:46 +00:00
2017-12-20 10:04:02 +00:00
2019-03-31 10:35:10 +01:00
2017-11-26 11:45:48 +00:00
2019-09-08 20:29:21 +01:00
2017-11-26 11:45:48 +00:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-10-14 19:42:37 +01:00
2020-01-14 19:52:54 +00:00
2018-10-21 10:16:16 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2020-01-21 20:24:04 +00:00
2017-02-15 19:32:42 +00:00
2019-09-08 20:29:21 +01:00
2018-11-03 13:45:00 +00:00
2020-01-09 19:57:35 +00:00
2019-09-08 20:29:21 +01:00
2019-03-26 18:44:19 +00:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2019-01-23 22:36:17 +00:00
2020-01-01 15:47:37 +00:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2019-09-08 20:29:21 +01:00
2020-01-09 19:57:35 +00:00
2019-10-14 19:42:37 +01:00
2019-03-26 18:44:19 +00:00
2019-10-14 19:42:37 +01:00
2019-09-08 20:29:21 +01:00
2020-01-21 20:24:04 +00:00
2019-09-08 20:29:21 +01:00
2019-03-26 19:19:28 +00:00
2019-02-28 20:15:38 +00:00
2018-05-09 09:21:27 +01:00
2019-09-08 20:29:21 +01:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00
2007-01-07 10:17:12 +00:00