2004-02-10 Roland McGrath <roland@frob.com>

	* user.c (WriteTypeCheck): Use BAD_TYPECHECK macro instead of type-pun.
	* server.c (WriteTypeCheck): Likewise.
	* utils.c (WriteBogusDefines): Write a #define for that macro.
	* utils.c (WriteCheckDecl): Write auto const, not static const.
	(WriteStaticShortDecl, WriteStaticLongDecl): Likewise.

1 files changed, 1 insertions, 1 deletions

diff --git a/server.c b/server.c
index f50337b..2768d80 100644
--- a/server.c
+++ b/server.c
@@ -418,7 +418,7 @@ WriteTypeCheck(FILE *file, register const argument_t *arg)
 
     fprintf(file, "#if\tTypeCheck\n");
     if (akCheck(arg->argKind, akbRequestQC))
-	fprintf(file, "\tif (* (int *) &In%dP->%s != * (int *) &%sCheck)\n",
+	fprintf(file, "\tif (BAD_TYPECHECK(&In%dP->%s, &%sCheck))\n",
 		arg->argRequestPos, arg->argTTName, arg->argVarName);
     else
     {