Address splint warnings when debugging is turned off.

2024-12-01 15:55:48 +00:00
parent c29d306d10
commit aee34fce32
2 changed files with 6 additions and 6 deletions
@@ -280,7 +280,7 @@ extern void pv_state_free(/*@only@*/ pvstate_t);
 # endif
 # define debug(x,...) debugging_output(__func__, __FILE__, __LINE__, x, __VA_ARGS__)
 #else
-# define debug(x,...) do { } while (0)
+# define debug(x,...) /*@-noeffect@*/ do { } while (0) /*@+noeffect@*/
 #endif

 /*