From: Alan Modra <amodra@gmail.com>
Date: Fri, 6 Aug 2021 09:38:30 +0000 (+0930)
Subject: bfd_reloc_offset_in_range overflow
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=856c1545ce00d5c7d9368cdf5cb9dc7181c981e8;p=binutils-gdb.git

bfd_reloc_offset_in_range overflow

This patch is more about the style of bounds checking we ought to use,
rather than a real problem.  An overflow of "octet + reloc_size" can
only happen with huge sections which would certainly cause out of
memory errors.

	* reloc.c (bfd_reloc_offset_in_range): Avoid possible overflow.
---

diff --git a/bfd/reloc.c b/bfd/reloc.c
index 6d920e1df06..441ddd8fa2e 100644
--- a/bfd/reloc.c
+++ b/bfd/reloc.c
@@ -547,7 +547,7 @@ bfd_reloc_offset_in_range (reloc_howto_type *howto,
   /* The reloc field must be contained entirely within the section.
      Allow zero length fields (marker relocs or NONE relocs where no
      relocation will be performed) at the end of the section.  */
-  return octet <= octet_end && octet + reloc_size <= octet_end;
+  return octet <= octet_end && reloc_size <= octet_end - octet;
 }
 
 /* Read and return the section contents at DATA converted to a host