if (flag_dump_unnumbered)
fprintf (outfile, "#");
else
- fprintf (outfile, HOST_PTR_PRINTF,
+ fprintf (outfile, "%p",
(char *) NOTE_BLOCK (in_rtx));
sawclose = 1;
break;
break;
case 't':
- fprintf (outfile, " " HOST_PTR_PRINTF, (void *) XTREE (in_rtx, i));
+ fprintf (outfile, " %p", (void *) XTREE (in_rtx, i));
break;
case '*':