Blame SOURCES/gdb-rhbz2042257-ftbs-updates.patch

ab2726
From FEDORA_PATCHES Mon Sep 17 00:00:00 2001
ab2726
From: Keith Seitz <keiths@redhat.com>
ab2726
Date: Wed, 26 Jan 2022 08:56:18 -0800
ab2726
Subject: gdb-rhbz2042257-ftbs-updates.patch
ab2726
MIME-Version: 1.0
ab2726
Content-Type: text/plain; charset=UTF-8
ab2726
Content-Transfer-Encoding: 8bit
ab2726
ab2726
;; Fix build problems.
ab2726
;; (RHBZ 2042257, Keith Seitz, Andrew Burgess)
ab2726
ab2726
1) Reference array of structs instead of first member during memcpy
ab2726
ab2726
aarch64-tdep.c defines the following macro:
ab2726
ab2726
        do  \
ab2726
          { \
ab2726
            unsigned int mem_len = LENGTH; \
ab2726
            if (mem_len) \
ab2726
              { \
ab2726
                MEMS =  XNEWVEC (struct aarch64_mem_r, mem_len);  \
ab2726
                memcpy(&MEMS->len, &RECORD_BUF[0], \
ab2726
                       sizeof(struct aarch64_mem_r) * LENGTH); \
ab2726
              } \
ab2726
          } \
ab2726
          while (0)
ab2726
ab2726
This is simlpy allocating a new array and copying it. However, for
ab2726
the destination address, it is actually copying into the first member
ab2726
of the first element of the array (`&MEMS->len"). This elicits a
ab2726
warning with GCC 12:
ab2726
ab2726
../../binutils-gdb/gdb/aarch64-tdep.c: In function ‘int aarch64_process_record(gdbarch*, regcache*, CORE_ADDR)’:
ab2726
../../binutils-gdb/gdb/aarch64-tdep.c:3711:23: error: writing 16 bytes into a region of size 8 [-Werror=stringop-overflow=]
ab2726
 3711 |                 memcpy(&MEMS->len, &RECORD_BUF[0], \
ab2726
      |                       ^
ab2726
../../binutils-gdb/gdb/aarch64-tdep.c:4394:3: note: in expansion of macro ‘MEM_ALLOC’
ab2726
 4394 |   MEM_ALLOC (aarch64_insn_r->aarch64_mems, aarch64_insn_r->mem_rec_count,
ab2726
      |   ^~~~~~~~~
ab2726
../../binutils-gdb/gdb/aarch64-tdep.c:3721:12: note: destination object ‘aarch64_mem_r::len’ of size 8
ab2726
 3721 |   uint64_t len;    /* Record length.  */
ab2726
      |            ^~~
ab2726
ab2726
The simple fix is to reference the array, `MEMS' as the destination of the copy.
ab2726
ab2726
Tested by rebuilding.
ab2726
ab2726
2)     Fix build with current GCC: EL_EXPLICIT(location) always non-NULL
ab2726
ab2726
    Compiling GDB with current GCC (1b4a63593b) runs into this:
ab2726
ab2726
      src/gdb/location.c: In function 'int event_location_empty_p(const event_location*)':
ab2726
      src/gdb/location.c:963:38: error: the address of 'event_location::<unnamed union>::explicit_loc' will never be NULL [-Werror=address]
ab2726
        963 |       return (EL_EXPLICIT (location) == NULL
ab2726
            |                                      ^
ab2726
      src/gdb/location.c:57:30: note: 'event_location::<unnamed union>::explicit_loc' declared here
ab2726
         57 |     struct explicit_location explicit_loc;
ab2726
            |                              ^~~~~~~~~~~~
ab2726
ab2726
    GCC is right, EL_EXPLICIT is defined as returning the address of an
ab2726
    union field:
ab2726
ab2726
          /* An explicit location.  */
ab2726
          struct explicit_location explicit_loc;
ab2726
      #define EL_EXPLICIT(P) (&((P)->u.explicit_loc))
ab2726
ab2726
    and thus must always be non-NULL.
ab2726
ab2726
diff --git a/gdb/aarch64-tdep.c b/gdb/aarch64-tdep.c
ab2726
--- a/gdb/aarch64-tdep.c
ab2726
+++ b/gdb/aarch64-tdep.c
ab2726
@@ -3666,7 +3666,7 @@ When on, AArch64 specific debugging is enabled."),
ab2726
 	    if (mem_len) \
ab2726
 	      { \
ab2726
 		MEMS =  XNEWVEC (struct aarch64_mem_r, mem_len);  \
ab2726
-		memcpy(&MEMS->len, &RECORD_BUF[0], \
ab2726
+		memcpy(MEMS, &RECORD_BUF[0], \
ab2726
 		       sizeof(struct aarch64_mem_r) * LENGTH); \
ab2726
 	      } \
ab2726
 	  } \
ab2726
diff --git a/gdb/location.c b/gdb/location.c
ab2726
--- a/gdb/location.c
ab2726
+++ b/gdb/location.c
ab2726
@@ -960,12 +960,11 @@ event_location_empty_p (const struct event_location *location)
ab2726
       return 0;
ab2726
 
ab2726
     case EXPLICIT_LOCATION:
ab2726
-      return (EL_EXPLICIT (location) == NULL
ab2726
-	      || (EL_EXPLICIT (location)->source_filename == NULL
ab2726
-		  && EL_EXPLICIT (location)->function_name == NULL
ab2726
-		  && EL_EXPLICIT (location)->label_name == NULL
ab2726
-		  && (EL_EXPLICIT (location)->line_offset.sign
ab2726
-		      == LINE_OFFSET_UNKNOWN)));
ab2726
+      return (EL_EXPLICIT (location)->source_filename == NULL
ab2726
+	      && EL_EXPLICIT (location)->function_name == NULL
ab2726
+	      && EL_EXPLICIT (location)->label_name == NULL
ab2726
+	      && (EL_EXPLICIT (location)->line_offset.sign
ab2726
+		  == LINE_OFFSET_UNKNOWN));
ab2726
 
ab2726
     case PROBE_LOCATION:
ab2726
       return EL_PROBE (location) == NULL;