Changeset 0860d9c for tests/io

Timestamp:

Oct 5, 2023, 4:17:14 PM (15 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

4d860ea3

Parents:

b67b632

Message:

Fix read-to-variable-length-string cases when internal buffer fills.

Also fix read-to-cstring ability to give no-exception cases when an entire buffer fills.

The added test cases run, and fail, when run against prior libcfa.
Doing so illustrates a CFA-string-level bug.
Doing so illustrates a C-string-level changed semantics.

At the CFA-string level, the bug was, when reading strings of just the right length,
what should be two reads ("abc" then "def") gets mashed into one ("abcdef").
These cases are clearly bugs because a test program that just echoes chuncks of delimeted input would do so inaccurately.
They're just hard to drive because the relevant chunk lengths are implementation-dependent, and sometimes big.

At the C-string level, the semantic change concerns when to throw the cstring_length exception.
By this change, make the original semantics,
"An exception means the maximum number of characters was read," into
"An exception means that if the buffer were larger, then more characters would have been read."

The added test cases cover the respective stop conditions for manipulator state "%s", include, exclude, getline, and getline/delimiter.

Location:

tests/io

Files:

• .expect/manipulatorsInput.arm64.txt (modified) (1 diff)
• .expect/manipulatorsInput.x64.txt (modified) (1 diff)
• .expect/manipulatorsInput.x86.txt (modified) (1 diff)
• .in/manipulatorsInput.txt (modified) (1 diff)
• manipulatorsInput.cfa (modified) (1 diff)

tests/io/.expect/manipulatorsInput.arm64.txt

@@ -1 +1 @@
 pre1 "123456", canary ok
-pre2a "1234567", exception occurred, canary ok
-pre2b "89", canary ok
+pre2 "1234567", canary ok
+pre3a "1234567", exception occurred, canary ok
+pre3b "8", canary ok
+pre4a "1234567", exception occurred, canary ok
+pre4b "89", canary ok
 1 yyyyyyyyyyyyyyyyyyyy
 2 abcxxx

tests/io/.expect/manipulatorsInput.x64.txt

@@ -1 +1 @@
 pre1 "123456", canary ok
-pre2a "1234567", exception occurred, canary ok
-pre2b "89", canary ok
+pre2 "1234567", canary ok
+pre3a "1234567", exception occurred, canary ok
+pre3b "8", canary ok
+pre4a "1234567", exception occurred, canary ok
+pre4b "89", canary ok
 1 yyyyyyyyyyyyyyyyyyyy
 2 abcxxx

tests/io/.expect/manipulatorsInput.x86.txt

@@ -1 +1 @@
 pre1 "123456", canary ok
-pre2a "1234567", exception occurred, canary ok
-pre2b "89", canary ok
+pre2 "1234567", canary ok
+pre3a "1234567", exception occurred, canary ok
+pre3b "8", canary ok
+pre4a "1234567", exception occurred, canary ok
+pre4b "89", canary ok
 1 yyyyyyyyyyyyyyyyyyyy
 2 abcxxx

tests/io/.in/manipulatorsInput.txt

@@ -1 +1 @@
 123456
+1234567
+12345678
 123456789
 abc 

tests/io/manipulatorsInput.cfa

@@ -45 +45 @@
                 }
 
-                rep("pre1");
-                rep("pre2a");
-                rep("pre2b");
+                rep("pre1");    // 123456     |  123456
+                rep("pre2");    // 1234567    |  1234567
+                rep("pre3a");   // 12345678   |  1234567
+                rep("pre3b");   //            |  8
+                rep("pre4a");   // 123456789  |  1234567
+                rep("pre4b");   //            |  89
+
                 scanf("\n");  // next test does not start with %s so does not tolerate leading whitespace
         }