Changeset d60a4c2 for libcfa/src/bits

Timestamp:

Jan 11, 2025, 5:48:46 PM (13 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master, stuck-waitfor-destruct

Children:

f886608

Parents:

7d65715f (diff), 32a119e9 (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:

• 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