* reply_mig_hack.awk: Use the `BAD_TYPECHECK' macro.
2008-10-09 Thomas Schwinge <tschwinge@gnu.org>
+ * reply_mig_hack.awk: Use the `BAD_TYPECHECK' macro.
+
* MAINTAINERS (Write After Approval): Add myself.
2008-10-09 Pedro Alves <pedro@codesourcery.com>
# 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 {";