2008-10-06  Thomas Schwinge  <tschwinge@gnu.org>

	* reply_mig_hack.awk: Use the `BAD_TYPECHECK' macro.

Index: reply_mig_hack.awk
===================================================================
RCS file: /cvs/src/src/gdb/reply_mig_hack.awk,v
retrieving revision 1.6
diff -u -p -r1.6 reply_mig_hack.awk
--- reply_mig_hack.awk	1 Jan 2008 22:53:12 -0000	1.6
+++ reply_mig_hack.awk	6 Oct 2008 08:42:50 -0000
@@ -101,7 +101,7 @@ parse_phase == 5 && /^#if[ \t]TypeCheck/
   # structure that we want to check for.
   print "\tif (In0P->Head.msgh_size == sizeof (Reply)";
   print "\t    && ! (In0P->Head.msgh_bits & MACH_MSGH_BITS_COMPLEX)";
-  print "\t    && *(int *)&In0P->" arg_type_code_name[0] " == *(int *)&" arg_check_name[0];
+  print "\t    && ! BAD_TYPECHECK(&In0P->" arg_type_code_name[0] ", &" arg_check_name[0] ")";
   print "\t    && In0P->" arg_name[0] " != 0)";
   print "\t  /* Error return, only the error code argument is passed.  */";
   print "\t  {";