Changeset b86dd969 for src/ResolvExpr/SatisfyAssertions.cpp

Timestamp:

Jul 31, 2025, 6:06:12 PM (2 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

cfbfd31

Parents:

8e5dc27

Message:

remove unused loop-counter resetCount causing a warning

File:

• src/ResolvExpr/SatisfyAssertions.cpp (modified) (3 diffs)

src/ResolvExpr/SatisfyAssertions.cpp

@@ -10 +10 @@
 // Created On       : Mon Jun 10 17:45:00 2019
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Tue Jul  2 18:15:51 2024
-// Update Count     : 5
+// Last Modified On : Thu Jul 31 18:04:31 2025
+// Update Count     : 6
 //
 
@@ -456 +456 @@
                         // should a limit be imposed? worst case here is O(n^2) but very unlikely to happen.
 
-                        for (unsigned resetCount = 0; ; ++resetCount) {
+                        for ( ;; ) {
                                 ast::AssertionList next;
                                 // make initial pass at matching assertions
@@ -475 +475 @@
                                         } else if ( result == AssertionResult::Skip ) {
                                                 next.emplace_back(assn);
-                                                // goto nextSat;
                                         }
                                 }