Changeset 10b5970 for libcfa/src

Timestamp:

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

Location:

libcfa/src

Files:

• bits/queue.hfa (modified) (1 diff)
• concurrency/mutex_stmt.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

libcfa/src/concurrency/mutex_stmt.hfa

@@ -30 +30 @@
 forall(L & | is_lock(L)) {
     static inline void * __get_mutexstmt_lock_ptr( L & this ) { return &this; }
-    static inline L __get_mutexstmt_lock_type( L & this ) {}
-    static inline L __get_mutexstmt_lock_type( L * this ) {}
+    static inline L __get_mutexstmt_lock_type( L & ) {}
+    static inline L __get_mutexstmt_lock_type( L * ) {}
 }