[aarch64] Handle unknown instruction encoding
authorYao Qi <yao.qi@linaro.org>
Wed, 27 May 2015 10:08:40 +0000 (11:08 +0100)
committerYao Qi <yao.qi@linaro.org>
Wed, 27 May 2015 16:16:45 +0000 (17:16 +0100)
We see the following build error:

 gdb/aarch64-tdep.c: In function 'aarch64_process_record':
 gdb/aarch64-tdep.c:2823:17: error: 'record_buf[0]' may be used uninitialized in this function [-Werror=maybe-uninitialized]
                 memcpy(&REGS[0], &RECORD_BUF[0], sizeof(uint32_t)*LENGTH); \
                 ^
 gdb/aarch64-tdep.c:3529:12: note: 'record_buf[0]' was declared here
   uint32_t record_buf[2];

since record_buf[0] isn't initialized in some paths in which
instruction encodings doesn't exist in current ARMv8 reference manual.
This patch is to let the function return AARCH64_RECORD_UNKNOWN for
these paths.

gdb:

2015-05-27  Yao Qi  <yao.qi@linaro.org>

* aarch64-tdep.c (aarch64_record_data_proc_simd_fp): Return
AARCH64_RECORD_UNKNOWN for unknown instruction encoding.

gdb/ChangeLog
gdb/aarch64-tdep.c

index 3f3d2ebc0a9ced4b025586bbe82e5367cee938e7..945549248fb8c81fbec2d8b755a729427c350374 100644 (file)
@@ -1,3 +1,8 @@
+2015-05-27  Yao Qi  <yao.qi@linaro.org>
+
+       * aarch64-tdep.c (aarch64_record_data_proc_simd_fp): Return
+       AARCH64_RECORD_UNKNOWN for unknown instruction encoding.
+
 2015-05-27  Yao Qi  <yao.qi@linaro.org>
 
        * aarch64-tdep.c (aarch64_record_branch_except_sys): Split lines
index 8f1c7ef1dd2243086eb52a9fe9b83975aac6772f..9650a7a0cd7cf64b95e0778b79f1ca883802b0e2 100644 (file)
@@ -3592,7 +3592,7 @@ aarch64_record_data_proc_simd_fp (insn_decode_record *aarch64_insn_r)
              record_buf[0] = AARCH64_CPSR_REGNUM;
            }
          /* Floating point - integer conversions instructions.  */
-         if (insn_bits12_15 == 0x00)
+         else if (insn_bits12_15 == 0x00)
            {
              /* Convert float to integer instruction.  */
              if (!(opcode >> 1) || ((opcode >> 1) == 0x02 && !rmode))
@@ -3621,8 +3621,14 @@ aarch64_record_data_proc_simd_fp (insn_decode_record *aarch64_insn_r)
                  else
                    record_buf[0] = reg_rd + AARCH64_V0_REGNUM;
                }
+             else
+               return AARCH64_RECORD_UNKNOWN;
             }
+         else
+           return AARCH64_RECORD_UNKNOWN;
         }
+      else
+       return AARCH64_RECORD_UNKNOWN;
     }
   else if ((insn_bits28_31 & 0x09) == 0x00 && insn_bits24_27 == 0x0e)
     {
This page took 0.029802 seconds and 4 git commands to generate.