Changeset 10b5970 for tests/concurrency/signal

Timestamp:

Jan 7, 2025, 3:22:19 PM (3 months ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

master

Children:

190a833

Parents:

70670e7

Message:

Fix many test-suite- and libcfa-caused unused variable warnings.

In scope are easy fixes among tests whose sole warnings were unused variable. Reduces the wflags lax list by 40%.

Location:

tests/concurrency/signal

Files:

• block.cfa (modified) (5 diffs)
• disjoint.cfa (modified) (4 diffs)
• wait.cfa (modified) (6 diffs)

tests/concurrency/signal/block.cfa ¶

@@ -51 +51 @@
 
 //------------------------------------------------------------------------------
-void wait_op( global_data_t & mutex a, global_data_t & mutex b, unsigned i ) {
+void wait_op( global_data_t & mutex a, global_data_t & mutex b, unsigned ) {
     wait( cond, (uintptr_t)active_thread() );
 
@@ -67 +67 @@
 
 thread Waiter {};
-void main( Waiter & this ) {
+void main( Waiter & ) {
         for( int i = 0; TEST(i < N); i++ ) {
                 wait_op( globalA, globalB, i );
@@ -100 +100 @@
 
 thread Signaller {};
-void main( Signaller & this ) {
+void main( Signaller & ) {
         while( !done ) {
                 signal_op( globalA, globalB );
@@ -112 +112 @@
 
 thread Barger {};
-void main( Barger & this ) {
+void main( Barger & ) {
         for( unsigned i = 0; !done; i++ ) {
                 //Choose some monitor to barge into with some irregular pattern
@@ -123 +123 @@
 //------------------------------------------------------------------------------
 
-int main(int argc, char* argv[]) {
+int main() {
         srandom( time( NULL ) );
         done = false;

tests/concurrency/signal/disjoint.cfa ¶

@@ -65 +65 @@
 }
 
-void main( Barger & this ) {
+void main( Barger & ) {
         while( !all_done ) {
                 barge( globals.data );
@@ -93 +93 @@
 }
 
-void main( Waiter & this ) {
+void main( Waiter & ) {
         while( wait( globals.mut, globals.data ) ) { KICK_WATCHDOG; yield(); }
 }
@@ -122 +122 @@
 }
 
-void main( Signaller & this ) {
+void main( Signaller & ) {
         while( !all_done ) {
                 logic( globals.mut );
@@ -131 +131 @@
 //------------------------------------------------------------------------------
 // Main loop
-int main(int argc, char* argv[]) {
+int main() {
         srandom( time( NULL ) );
         all_done = false;

tests/concurrency/signal/wait.cfa ¶

@@ -65 +65 @@
 //----------------------------------------------------------------------------------------------------
 // Signaler
-void main( Signaler & this ) {
+void main( Signaler & ) {
 
         while( waiter_left != 0 ) {
@@ -92 +92 @@
 //----------------------------------------------------------------------------------------------------
 // Waiter ABC
-void main( WaiterABC & this ) {
+void main( WaiterABC & ) {
         for( int i = 0; TEST(i < N); i++ ) {
                 wait( condABC, globalA, globalB, globalC );
@@ -103 +103 @@
 //----------------------------------------------------------------------------------------------------
 // Waiter AB
-void main( WaiterAB & this ) {
+void main( WaiterAB & ) {
         for( int i = 0; TEST(i < N); i++ ) {
                 wait( condAB , globalA, globalB );
@@ -114 +114 @@
 //----------------------------------------------------------------------------------------------------
 // Waiter AC
-void main( WaiterAC & this ) {
+void main( WaiterAC & ) {
         for( int i = 0; TEST(i < N); i++ ) {
                 wait( condAC , globalA, globalC );
@@ -125 +125 @@
 //----------------------------------------------------------------------------------------------------
 // Waiter BC
-void main( WaiterBC & this ) {
+void main( WaiterBC & ) {
         for( int i = 0; TEST(i < N); i++ ) {
                 wait( condBC , globalB, globalC );
@@ -136 +136 @@
 //----------------------------------------------------------------------------------------------------
 // Main
-int main(int argc, char* argv[]) {
+int main() {
         srandom( time( NULL ) );
         waiter_left = 4;