From 2a4fc266dbf77ed7ab83da16468e9ba627b8bc2d Mon Sep 17 00:00:00 2001 From: Nick Clifton Date: Mon, 27 Jun 2022 13:07:40 +0100 Subject: [PATCH] Have gold's File_read::do_read() function check the start parameter PR 23765 * fileread.cc (File_read::do_read): Check start parameter before computing number of bytes to read. --- gold/ChangeLog | 6 ++++++ gold/fileread.cc | 6 ++++++ 2 files changed, 12 insertions(+) diff --git a/gold/ChangeLog b/gold/ChangeLog index 5103dab7b67..8557dc6db7f 100644 --- a/gold/ChangeLog +++ b/gold/ChangeLog @@ -1,3 +1,9 @@ +2022-06-27 Nick Clifton + + PR 23765 + * fileread.cc (File_read::do_read): Check start parameter before + computing number of bytes to read. + 2022-05-18 Nick Clifton * int_encoding.cc (get_length_as_unsigned_LEB_128): Remove diff --git a/gold/fileread.cc b/gold/fileread.cc index 2b653f78c2e..af2df215468 100644 --- a/gold/fileread.cc +++ b/gold/fileread.cc @@ -385,6 +385,12 @@ File_read::do_read(off_t start, section_size_type size, void* p) ssize_t bytes; if (this->whole_file_view_ != NULL) { + // See PR 23765 for an example of a testcase that triggers this error. + if (((ssize_t) start) < 0) + gold_fatal(_("%s: read failed, starting offset (%#llx) less than zero"), + this->filename().c_str(), + static_cast(start)); + bytes = this->size_ - start; if (static_cast(bytes) >= size) { -- 2.30.2