From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 2168) id B7C7D3858C83; Mon, 12 Sep 2022 00:18:41 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org B7C7D3858C83 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1662941921; bh=moN+0LPyQzOmq7M42NTtokNy+16T/g1r6aYdEYYIPSg=; h=From:To:Subject:Date:From; b=vevIJi5jUt0uBW/OftiqcmU+sw5wikvL3Re7UmShE68xvFCLQJEl4PidrSayeE0cb L7NRqnfAj39KvLjfCG17vbiPbjZLX9vMwTMzDe4Vq/G5F74L18bt6ApbpkQc4G1Ml9 CzsF67KHg3MdrJ5gRrpBJSVsko/D6ZQ8Pq9d8VB0= MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: GCC Administrator To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-2583] Daily bump. X-Act-Checkin: gcc X-Git-Author: GCC Administrator X-Git-Refname: refs/heads/master X-Git-Oldrev: 0ea5e3f4542832b8da016b152695e64a2a386309 X-Git-Newrev: 5b9111db573c55dbe7730582d23d0e4c4959abf7 Message-Id: <20220912001841.B7C7D3858C83@sourceware.org> Date: Mon, 12 Sep 2022 00:18:41 +0000 (GMT) List-Id: https://gcc.gnu.org/g:5b9111db573c55dbe7730582d23d0e4c4959abf7 commit r13-2583-g5b9111db573c55dbe7730582d23d0e4c4959abf7 Author: GCC Administrator Date: Mon Sep 12 00:17:04 2022 +0000 Daily bump. Diff: --- gcc/DATESTAMP | 2 +- gcc/analyzer/ChangeLog | 14 ++++++++++++++ gcc/testsuite/ChangeLog | 6 ++++++ 3 files changed, 21 insertions(+), 1 deletion(-) diff --git a/gcc/DATESTAMP b/gcc/DATESTAMP index b56ada5674a..eaf59824aca 100644 --- a/gcc/DATESTAMP +++ b/gcc/DATESTAMP @@ -1 +1 @@ -20220911 +20220912 diff --git a/gcc/analyzer/ChangeLog b/gcc/analyzer/ChangeLog index 0e3cc72aa6f..ea6d5eeff3e 100644 --- a/gcc/analyzer/ChangeLog +++ b/gcc/analyzer/ChangeLog @@ -1,3 +1,17 @@ +2022-09-11 Tim Lange + + PR analyzer/106845 + * region-model.cc (region_model::check_region_bounds): + Bail out if 0 bytes were accessed. + * store.cc (byte_range::dump_to_pp): + Add special case for empty ranges. + (byte_range::exceeds_p): Restrict to non-empty ranges. + (byte_range::falls_short_of_p): Restrict to non-empty ranges. + * store.h (bit_range::empty_p): New function. + (bit_range::get_last_byte_offset): Restrict to non-empty ranges. + (byte_range::empty_p): New function. + (byte_range::get_last_byte_offset): Restrict to non-empty ranges. + 2022-09-09 David Malcolm * analyzer.opt (Wanalyzer-exposure-through-uninit-copy): New. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ffe0c631778..dd4950eaf9e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2022-09-11 Tim Lange + + PR analyzer/106845 + * gcc.dg/analyzer/out-of-bounds-zero.c: New test. + * gcc.dg/analyzer/pr106845.c: New test. + 2022-09-10 Takayuki 'January June' Suwa * gcc.target/xtensa/constsynth_3insns.c (test_4):