Changeset e50fce1

Timestamp:

May 9, 2023, 12:41:37 PM (19 months ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

2d0f918, fece3d9

Parents:

253a78f

Message:

added some instrumentation to attempt to glean some insight into optimized away values

File:

• tests/concurrent/waituntil/one_chan.cfa (modified) (2 diffs)

tests/concurrent/waituntil/one_chan.cfa

@@ -28 +28 @@
     long long int total = 0;
     printf("start\n");
+    volatile size_t LINE_COUNTER = 1;
     {
         Server1 s[numServers];
@@ -33 +34 @@
             waituntil( j >> C ) { total += j; }
         }
+        LINE_COUNTER = 2;
         printf("waiting for empty channels\n");
+        LINE_COUNTER = 3;
         size_t C_count = get_count( C );
-        size_t LINE_COUNTER = 0;
+        LINE_COUNTER = 5;
         while( C_count > 0 ) { 
             C_count = get_count( C );