Changeset 10b5970 for libcfa/src/bits/queue.hfa

Timestamp:

Jan 7, 2025, 3:22:19 PM (4 weeks 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%.

File:

• libcfa/src/bits/queue.hfa (modified) (1 diff)

libcfa/src/bits/queue.hfa

@@ -33 +33 @@
                 }
 
-                T * succ( Queue(T) & q, T * n ) with( q ) {             // pre: *n in *q
-                        #ifdef __CFA_DEBUG__
+                T * succ( Queue(T) & q, T * n ) {                                       // pre: *n in *q
+                  #ifdef __CFA_DEBUG__
                         if ( ! listed( n ) ) abort( "(Queue &)%p.succ( %p ) : Node is not on a list.", &q, n );
-                        #endif // __CFA_DEBUG__
+                  #else
+                        (void) q;
+                  #endif // __CFA_DEBUG__
                         return (Next( n ) == n) ? 0p : Next( n );
                 } // post: n == tail() & succ(n) == 0 | n != tail() & *succ(n) in *q