as: fixed internal error when immediate value of relocation overflow.
authorLulu Cai <cailulu@loongson.cn>
Wed, 11 Oct 2023 02:20:45 +0000 (10:20 +0800)
committerliuzhensong <liuzhensong@loongson.cn>
Tue, 24 Oct 2023 07:27:39 +0000 (15:27 +0800)
The as and ld use _bfd_error_handler to output error messages when
checking relocation alignment and relocation overflow. However, the
abfd value passed by as to the function is NULL, resulting in an
internal error. The ld passes a non-null value to the function,
so it can output an error message normally.

bfd/elfxx-loongarch.c
gas/config/tc-loongarch.c
gas/testsuite/gas/loongarch/imm_overflow.d [new file with mode: 0644]
gas/testsuite/gas/loongarch/imm_overflow.l [new file with mode: 0644]
gas/testsuite/gas/loongarch/imm_overflow.s [new file with mode: 0644]
gas/testsuite/gas/loongarch/imm_unalign.d [new file with mode: 0644]
gas/testsuite/gas/loongarch/imm_unalign.l [new file with mode: 0644]
gas/testsuite/gas/loongarch/imm_unalign.s [new file with mode: 0644]

index 0a595eb87d52a4e31ac2cee9a19b744e07c44bf2..a970a257aa9b324fba66a1c1b88dba6b9599df40 100644 (file)
@@ -1682,9 +1682,14 @@ reloc_sign_bits (bfd *abfd, reloc_howto_type *howto, bfd_vma *fix_val)
   if (howto->rightshift
       && (val & ((((bfd_signed_vma) 1) << howto->rightshift) - 1)))
     {
-      (*_bfd_error_handler) (_("%pB: relocation %s right shift %d error 0x%lx"),
-                            abfd, howto->name, howto->rightshift, (long) val);
-      bfd_set_error (bfd_error_bad_value);
+      /* The as passes NULL casued internal error, so it can not use _bfd_error_handler
+        output details, ld is not affected.  */
+      if (abfd != NULL)
+       {
+         (*_bfd_error_handler) (_("%pB: relocation %s right shift %d error 0x%lx"),
+                                abfd, howto->name, howto->rightshift, (long) val);
+         bfd_set_error (bfd_error_bad_value);
+       }
       return false;
     }
 
@@ -1696,9 +1701,14 @@ reloc_sign_bits (bfd *abfd, reloc_howto_type *howto, bfd_vma *fix_val)
      high part: from sign bit to highest bit.  */
   if ((val & ~mask) && ((val & ~mask) != ~mask))
     {
-      (*_bfd_error_handler) (_("%pB: relocation %s overflow 0x%lx"),
-                            abfd, howto->name, (long) val);
-      bfd_set_error (bfd_error_bad_value);
+      /* The as passes NULL casued internal error, so it can not use _bfd_error_handler
+        output details, ld is not affected.  */
+      if (abfd != NULL)
+       {
+         (*_bfd_error_handler) (_("%pB: relocation %s overflow 0x%lx"),
+                                abfd, howto->name, (long) val);
+         bfd_set_error (bfd_error_bad_value);
+       }
       return false;
     }
 
index b563982b933167223da2bf82c194b9acac58eddf..33f3e71ce2f225874ba4f9ffaa13707ece05236a 100644 (file)
@@ -1234,7 +1234,7 @@ static void fix_reloc_insn (fixS *fixP, bfd_vma reloc_val, char *buf)
   insn = bfd_getl32 (buf);
 
   if (!loongarch_adjust_reloc_bitsfield (NULL, howto, &reloc_val))
-    as_warn_where (fixP->fx_file, fixP->fx_line, "Reloc overflow");
+    as_bad_where (fixP->fx_file, fixP->fx_line, "Reloc overflow");
 
   insn = (insn & (insn_t)howto->src_mask)
     | ((insn & (~(insn_t)howto->dst_mask)) | reloc_val);
diff --git a/gas/testsuite/gas/loongarch/imm_overflow.d b/gas/testsuite/gas/loongarch/imm_overflow.d
new file mode 100644 (file)
index 0000000..50a65b7
--- /dev/null
@@ -0,0 +1,3 @@
+#as:
+#source: imm_overflow.s
+#error_output: imm_overflow.l
diff --git a/gas/testsuite/gas/loongarch/imm_overflow.l b/gas/testsuite/gas/loongarch/imm_overflow.l
new file mode 100644 (file)
index 0000000..449b3c2
--- /dev/null
@@ -0,0 +1,2 @@
+.*Assembler messages:
+.*Error: Reloc overflow
diff --git a/gas/testsuite/gas/loongarch/imm_overflow.s b/gas/testsuite/gas/loongarch/imm_overflow.s
new file mode 100644 (file)
index 0000000..9aac396
--- /dev/null
@@ -0,0 +1,4 @@
+.L1:
+  nop
+  .fill 0x3ffffff, 4, 0
+  b .L1
diff --git a/gas/testsuite/gas/loongarch/imm_unalign.d b/gas/testsuite/gas/loongarch/imm_unalign.d
new file mode 100644 (file)
index 0000000..1deb502
--- /dev/null
@@ -0,0 +1,3 @@
+#as:
+#source: imm_unalign.s
+#error_output: imm_unalign.l
diff --git a/gas/testsuite/gas/loongarch/imm_unalign.l b/gas/testsuite/gas/loongarch/imm_unalign.l
new file mode 100644 (file)
index 0000000..449b3c2
--- /dev/null
@@ -0,0 +1,2 @@
+.*Assembler messages:
+.*Error: Reloc overflow
diff --git a/gas/testsuite/gas/loongarch/imm_unalign.s b/gas/testsuite/gas/loongarch/imm_unalign.s
new file mode 100644 (file)
index 0000000..a853bdc
--- /dev/null
@@ -0,0 +1,6 @@
+.L1:
+  .2byte 0x12
+
+.L2:
+  .fill 1, 4, 0
+  b .L1