fixes #21273; fixes an io.readLine off by one bug [backport 1.0] (#21276)

fixes #21273; io.readLine off by one
This commit is contained in:
ringabout
2023-01-26 03:56:19 +08:00
committed by GitHub
parent d54a7f078d
commit c4d3d650ba
2 changed files with 22 additions and 3 deletions

View File

@@ -484,11 +484,12 @@ proc readLine*(f: File, line: var string): bool {.tags: [ReadIOEffect],
if last > 0 and line[last-1] == '\c':
line.setLen(last-1)
return last > 1 or fgetsSuccess
# We have to distinguish between two possible cases:
elif last > 0 and line[last-1] == '\0':
# We have to distinguish among three possible cases:
# \0\l\0 => line ending in a null character.
# \0\l\l => last line without newline, null was put there by fgets.
elif last > 0 and line[last-1] == '\0':
if last < pos + sp - 1 and line[last+1] != '\0':
# \0\l => last line without newline, null was put there by fgets.
if last >= pos + sp - 1 or line[last+1] != '\0': # bug #21273
dec last
line.setLen(last)
return last > 0 or fgetsSuccess