[binutils-gdb] PR25070, SEGV in function _bfd_dwarf2_find_nearest_line

[gdb-buildbot@sergiodj.net]

*** TEST RESULTS FOR COMMIT 336bfbeb1848f4b9558456fdcf283ee8a32d7fd1 ***

commit 336bfbeb1848f4b9558456fdcf283ee8a32d7fd1
Author:     Alan Modra <amodra@gmail.com>
AuthorDate: Wed Oct 9 10:47:13 2019 +1030
Commit:     Alan Modra <amodra@gmail.com>
CommitDate: Wed Oct 9 13:28:20 2019 +1030

    PR25070, SEGV in function _bfd_dwarf2_find_nearest_line
    
    Evil testcase with two debug info sections, with sizes of 2aaaabac4ec1
    and ffffd5555453b140 result in a total size of 1.  Reading the first
    section of course overflows the buffer and tramples on other memory.
    
            PR 25070
            * dwarf2.c (_bfd_dwarf2_slurp_debug_info): Catch overflow of
            total_size calculation.

diff --git a/bfd/ChangeLog b/bfd/ChangeLog
index cf5b372860..87a6244bca 100644
--- a/bfd/ChangeLog
+++ b/bfd/ChangeLog
@@ -1,3 +1,9 @@
+2019-10-09  Alan Modra  <amodra@gmail.com>
+
+	PR 25070
+	* dwarf2.c (_bfd_dwarf2_slurp_debug_info): Catch overflow of
+	total_size calculation.
+
 2019-10-08  Alan Modra  <amodra@gmail.com>
 
 	PR 25078
diff --git a/bfd/dwarf2.c b/bfd/dwarf2.c
index d39f4fdfe4..88aaa2d23c 100644
--- a/bfd/dwarf2.c
+++ b/bfd/dwarf2.c
@@ -4439,7 +4439,16 @@ _bfd_dwarf2_slurp_debug_info (bfd *abfd, bfd *debug_bfd,
       for (total_size = 0;
 	   msec;
 	   msec = find_debug_info (debug_bfd, debug_sections, msec))
-	total_size += msec->size;
+	{
+	  /* Catch PR25070 testcase overflowing size calculation here.  */
+	  if (total_size + msec->size < total_size
+	      || total_size + msec->size < msec->size)
+	    {
+	      bfd_set_error (bfd_error_no_memory);
+	      return FALSE;
+	    }
+	  total_size += msec->size;
+	}
 
       stash->info_ptr_memory = (bfd_byte *) bfd_malloc (total_size);
       if (stash->info_ptr_memory == NULL)