CR feedback

mjp41 · mjp41 · commit e61e147c2125 · 2023-06-06T09:45:26.000+01:00
diff --git a/src/snmalloc/mem/globalalloc.h b/src/snmalloc/mem/globalalloc.h
@@ -87,9 +87,8 @@ namespace snmalloc
       }
     }
 
-    if (
-      result == nullptr && RemoteDeallocCache::remote_inflight.get_curr() != 0)
-      error("ERROR: RemoteDeallocCache::remote_inflight != 0");
+    if (result == nullptr)
+      SNMALLOC_CHECK(RemoteDeallocCache::remote_inflight.get_curr() == 0);
 
     if (result != nullptr)
     {

Original file line number	Diff line number	Diff line change
`@@ -87,9 +87,8 @@ namespace snmalloc`
`87`	`87`	`}`
`88`	`88`	`}`
`89`	`89`
`90`		`- if (`
`91`		`- result == nullptr && RemoteDeallocCache::remote_inflight.get_curr() != 0)`
`92`		`- error("ERROR: RemoteDeallocCache::remote_inflight != 0");`
	`90`	`+ if (result == nullptr)`
	`91`	`+ SNMALLOC_CHECK(RemoteDeallocCache::remote_inflight.get_curr() == 0);`
`93`	`92`
`94`	`93`	`if (result != nullptr)`
`95`	`94`	`{`