]> git.ipfire.org Git - thirdparty/binutils-gdb.git/commit - gdb/s390-tdep.c
[tdep/s390] Fix Wmaybe-uninitialized in s390_displaced_step_fixup
authorTom de Vries <tdevries@suse.de>
Wed, 29 Jul 2020 07:03:20 +0000 (09:03 +0200)
committerTom de Vries <tdevries@suse.de>
Wed, 29 Jul 2020 07:03:20 +0000 (09:03 +0200)
commit8ba83e9109a1a02f54f1c4793c8f231bb9256acd
tree3b9b22b97b8449bc7ab65af3a67494d658aa523f
parentf5c79e97fecb9333c150bfaa84bfee66c41a93bc
[tdep/s390] Fix Wmaybe-uninitialized in s390_displaced_step_fixup

When building gdb with CFLAGS/CXXFLAGS="-O2 -g -Wall", I see:
...
src/gdb/s390-tdep.c: In function 'void s390_displaced_step_fixup(gdbarch*, \
  displaced_step_closure*, CORE_ADDR, CORE_ADDR, regcache*)':
src/gdb/s390-tdep.c:528:30: warning: 'r2' may be used uninitialized in this \
  function [-Wmaybe-uninitialized]
  528 |       if (insn[0] == op_basr && r2 == 0)
      |           ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~
...

The problem is that the compiler is unaware that
'is_rr (insn, op_basr, &r1, &r2) == 1' ensures that 'insn[0] == op_basr':
...
  if (is_rr (insn, op_basr, &r1, &r2)
      || is_rx (insn, op_bas, &r1, &d2, &x2, &b2))
    {
      /* Recompute saved return address in R1.  */
      regcache_cooked_write_unsigned (regs, S390_R0_REGNUM + r1,
                                      amode | (from + insnlen));
      /* Update PC iff the instruction doesn't actually branch.  */
      if (insn[0] == op_basr && r2 == 0)
        regcache_write_pc (regs, from + insnlen);
    }
...

Fix this by storing the result of the call, and using it instead of
'insn[0] ==op_basr'.

Build on x86_64-linux with --enable-targets=s390-suse-linux,s390x-suse-linux.

gdb/ChangeLog:

2020-07-29  Tom de Vries  <tdevries@suse.de>

PR tdep/26280
* s390-tdep.c (s390_displaced_step_fixup): Fix Wmaybe-uninitialized.
gdb/ChangeLog
gdb/s390-tdep.c