Re: read_word_using's behavior in TEXT_FILE_READ

[Paolo Redaelli]

Il 22/11/24 10:30, 小泉 悟 ha scritto:
> Dear Liberty Eiffel community
>
> I made a program which use read_word_using of TEXT_FILE_READ: test.e
> When I compile the program with boost option and run it, the result is as 
> expected.
> ("key1 value1” is displayed.)
> But when I compile it with no option and run it, the result is "Require 
> Assertion Violated.”
> Is my usage of read_word_using wrong?

No, you used it as intended.

I can confirm the bug.

It is not related to the garbage collector since it shows also without 
it (as in "compile --no-gc test -o test.nogc && ./test.nogc")

It shows enabling require checks

I suspected it was caused by last_string being an once feature, but it 
shows even turning it into a newly allocated STRING for every stream, so 
it is not the case.

This definitively deserve to be put in the test suite!