Changeset c8ec58e for tests/io/manipulatorsInput.cfa

Timestamp:

Sep 11, 2023, 12:55:49 PM (2 years ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

c0035fc

Parents:

9509d67a (diff), 73d0a84c (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• tests/io/manipulatorsInput.cfa (modified) (1 diff)

tests/io/manipulatorsInput.cfa

@@ -15 +15 @@
 
 int main() {
+        {
+                // Upfront checks to ensure buffer safety.  Once these pass, the simpler `wdi(sizeof(s),s)`
+                // usage, as in the scanf alignment cases below, is justified.
+                struct {
+                        char buf[8];
+                        char canary;
+                } data;
+                static_assert( sizeof(data.buf) == 8 );
+                static_assert( &data.buf[8] == &data.canary );  // canary comes right after buf
+
+                void rep(const char* casename) {
+                        data.canary = 42;
+                        bool caught = false;
+                        try {
+                                sin | wdi( sizeof(data.buf), data.buf );
+                        } catch (cstring_length*) {
+                                caught = true;
+                        }
+                        printf( "%s \"%s\"", casename, data.buf );
+                        if ( caught ) {
+                                printf(", exception occurred");
+                        }
+                        if ( data.canary == 42 ) {
+                                printf(", canary ok");
+                        } else {
+                                printf(", canary overwritten to %d", data.canary);
+                        }
+                        printf("\n");
+                }
+
+                rep("pre1");
+                rep("pre2a");
+                rep("pre2b");
+                scanf("\n");  // next test does not start with %s so does not tolerate leading whitespace
+        }
         {
                 char s[] = "yyyyyyyyyyyyyyyyyyyy";