* config/ia64/ia64.h (ASM_OUTPUT_DWARF_OFFSET): Add cast.
        * config/i386/cygming.h (ASM_OUTPUT_DWARF_OFFSET): Likewise.

diff --git a/gcc/config/i386/cygming.h b/gcc/config/i386/cygming.h
index faf8fa4..60e11b4 100644
--- a/gcc/config/i386/cygming.h
+++ b/gcc/config/i386/cygming.h
@@ -110,7 +110,8 @@ along with GCC; see the file COPYING3.  If not see
        fputs ("\t.secrel32\t", FILE);                          \
        assemble_name (FILE, LABEL);                            \
        if ((OFFSET) != 0)                                      \
-         fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC, OFFSET)   \
+         fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC,           \
+                  (HOST_WIDE_INT) (OFFSET))                    \
        break;                                                  \
       case 8:                                                  \
        /* This is a hack.  There is no 64-bit section relative \
@@ -121,7 +122,8 @@ along with GCC; see the file COPYING3.  If not see
        fputs ("\t.secrel32\t", FILE);                          \
        assemble_name (FILE, LABEL);                            \
        if ((OFFSET) != 0)                                      \
-         fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC, OFFSET)   \
+         fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC,           \
+                  (HOST_WIDE_INT) (OFFSET))                    \
        fputs ("\n\t.long\t0", FILE);                           \
        break;                                                  \
       default:                                                 \
diff --git a/gcc/config/ia64/ia64.h b/gcc/config/ia64/ia64.h
index 00516bb..ac0cb86 100644
--- a/gcc/config/ia64/ia64.h
+++ b/gcc/config/ia64/ia64.h
@@ -1587,7 +1587,8 @@ do {                                                      
                \
     fputs ("@secrel(", FILE);                                  \
     assemble_name (FILE, LABEL);                               \
     if ((OFFSET) != 0)                                         \
-      fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC, OFFSET);     \
+      fprintf (FILE, "+" HOST_WIDE_INT_PRINT_DEC,              \
+              (HOST_WIDE_INT) (OFFSET));                       \
     fputc (')', FILE);                                         \
   } while (0)
 
-- 
2.10.0

-- 
Andreas Schwab, sch...@linux-m68k.org
GPG Key fingerprint = 58CA 54C7 6D53 942B 1756  01D3 44D5 214B 8276 4ED5
"And now for something completely different."

Reply via email to