Commit 2f4baf9
authored
Ensure termination of syslog writer (#857)
Closing #856
This particular code has been struck by lightning a couple of times now
and is pretty hard to reason about using formal reasoning (e.g. a loop
invariant like `self.cursor < LIMIT` would seen to have to hold, but it
doesn't really). This PR doesn't improve that situation (i.e. the formal
reasoning), but it does ensure termination.
As a minor side-fix, the code could also panic on line 54 if we hit the
middle of a UTF8 character in exactly the wrong position, that is fixed
as well.
I'll work on an implementation of this writer in a more declarative
style.File tree
3 files changed
+25
-1
lines changed- src/log
- test-framework/e2e-tests/src
3 files changed
+25
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
51 | 51 | | |
52 | 52 | | |
53 | 53 | | |
54 | | - | |
| 54 | + | |
55 | 55 | | |
56 | 56 | | |
57 | 57 | | |
| 58 | + | |
58 | 59 | | |
59 | 60 | | |
60 | 61 | | |
61 | 62 | | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
62 | 68 | | |
63 | 69 | | |
64 | 70 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
| 4 | + | |
4 | 5 | | |
5 | 6 | | |
6 | 7 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
0 commit comments