ubsan: microblaze: left shift cannot be represented in type 'int'

	* microblaze-dis.c (read_insn_microblaze): Avoid signed overflow.

diff --git a/opcodes/ChangeLog b/opcodes/ChangeLog
index 113fd09264a4fbf2dd4f3b2a2b88fafa771f8ff2..d33c7a17d004d280c98e0a04ff79a20383a2dfd6 100644 (file)
--- a/opcodes/ChangeLog
+++ b/opcodes/ChangeLog
@@ -1,3 +1,7 @@
+2019-12-16  Alan Modra  <amodra@gmail.com>
+
+       * microblaze-dis.c (read_insn_microblaze): Avoid signed overflow.
+
 2019-12-16  Alan Modra  <amodra@gmail.com>
 
        * nios2-dis.c (nios2_print_insn_arg): Avoid signed overflow

diff --git a/opcodes/microblaze-dis.c b/opcodes/microblaze-dis.c
index 2b3aa8e078601d0853852d01be196bfa2bb71527..5df7ae497e9899dc17359c1f9dcf448d0d57a8e1 100644 (file)
--- a/opcodes/microblaze-dis.c
+++ b/opcodes/microblaze-dis.c
@@ -200,9 +200,11 @@ read_insn_microblaze (bfd_vma memaddr,
     }
 
   if (info->endian == BFD_ENDIAN_BIG)
-    inst = (ibytes[0] << 24) | (ibytes[1] << 16) | (ibytes[2] << 8) | ibytes[3];
+    inst = (((unsigned) ibytes[0] << 24) | (ibytes[1] << 16)
+           | (ibytes[2] << 8) | ibytes[3]);
   else if (info->endian == BFD_ENDIAN_LITTLE)
-    inst = (ibytes[3] << 24) | (ibytes[2] << 16) | (ibytes[1] << 8) | ibytes[0];
+    inst = (((unsigned) ibytes[3] << 24) | (ibytes[2] << 16)
+           | (ibytes[1] << 8) | ibytes[0]);
   else
     abort ();