diff --git a/src/include/c.h b/src/include/c.h
index ce38d78736f5ae275a9186ccaf209786c4b77bcf..93d6924c5c4eed8b59a46344d260e1350cafa016 100644
--- a/src/include/c.h
+++ b/src/include/c.h
@@ -578,12 +578,12 @@ typedef NameData *Name;
  */
 #ifndef USE_ASSERT_CHECKING
 
-#define Assert(condition)
+#define Assert(condition)	((void)true)
 #define AssertMacro(condition)	((void)true)
-#define AssertArg(condition)
-#define AssertState(condition)
+#define AssertArg(condition)	((void)true)
+#define AssertState(condition)	((void)true)
 #define AssertPointerAlignment(ptr, bndr)	((void)true)
-#define Trap(condition, errorType)
+#define Trap(condition, errorType)	((void)true)
 #define TrapMacro(condition, errorType) (true)
 
 #elif defined(FRONTEND)