From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 24 Mar 2021 19:15:06 +0000 (+0000)
Subject: hidden: Provide no-op consistency_check in not(debug_assertions)
X-Git-Tag: otter-0.5.0~444
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=8c339ca003d5a4760f288be630cf69f39c4a6472;p=otter.git

hidden: Provide no-op consistency_check in not(debug_assertions)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/hidden.rs b/src/hidden.rs
index 0d31a972..b58d1bc9 100644
--- a/src/hidden.rs
+++ b/src/hidden.rs
@@ -722,9 +722,7 @@ mod recompute {
         }
       }
 
-      if cfg!(debug_assertions) {
-        consistency_check(gplayers, gpieces, goccults);
-      }
+      consistency_check(gplayers, gpieces, goccults);
 
       Implemented(())
     }
diff --git a/src/vpid.rs b/src/vpid.rs
index e5f4a0bd..1b44b589 100644
--- a/src/vpid.rs
+++ b/src/vpid.rs
@@ -364,6 +364,14 @@ pub fn permute(occid: OccId,
   dbgc!(&occ);
 }
 
+#[cfg(not(debug_assertions))]
+#[inline]
+pub fn consistency_check(
+  _gplayers: &GPlayers,
+  _gpieces: &GPieces,
+  _goccults: &GameOccults,
+) { }
+
 #[cfg(debug_assertions)]
 pub fn consistency_check(
   gplayers: &GPlayers,