add the "noexcept" keyword to value_score=(value_score&&) declaration

levnach · levnach · commit 06ed96dbda5e · 2025-10-20T11:53:34.000-07:00
diff --git a/src/ast/sls/sls_bv_tracker.h b/src/ast/sls/sls_bv_tracker.h
@@ -55,7 +55,7 @@ class sls_tracker {
             touched = other.touched;
         }
         ~value_score() { if (m) m->del(value); }
-        value_score& operator=(value_score&&) = default;
+        value_score& operator=(value_score&&) noexcept = default;
         value_score &operator=(const value_score &other) {
             if (this != &other) {
                 if (m)

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,7 @@ class sls_tracker {`
`55`	`55`	`touched = other.touched;`
`56`	`56`	`}`
`57`	`57`	`~value_score() { if (m) m->del(value); }`
`58`		`- value_score& operator=(value_score&&) = default;`
	`58`	`+ value_score& operator=(value_score&&) noexcept = default;`
`59`	`59`	`value_score &operator=(const value_score &other) {`
`60`	`60`	`if (this != &other) {`
`61`	`61`	`if (m)`