From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
 id 3C2613858D20; Thu,  3 Mar 2022 18:25:41 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3C2613858D20
From: "msebor at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug tree-optimization/104746] False positive for
 -Wformat-overflow=2 since r12-7033-g3c9f762ad02f398c
Date: Thu, 03 Mar 2022 18:25:41 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: tree-optimization
X-Bugzilla-Version: 12.0
X-Bugzilla-Keywords: diagnostic, lto
X-Bugzilla-Severity: normal
X-Bugzilla-Who: msebor at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 12.0
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: short_desc
Message-ID: <bug-104746-4-o9AUkDoPRw@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-104746-4@http.gcc.gnu.org/bugzilla/>
References: <bug-104746-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-BeenThere: gcc-bugs@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-bugs mailing list <gcc-bugs.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-bugs>,
 <mailto:gcc-bugs-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 03 Mar 2022 18:25:41 -0000

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D104746

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[12 Regression] False       |False positive for
                   |positive for                |-Wformat-overflow=3D2 since
                   |-Wformat-overflow=3D2 since   |r12-7033-g3c9f762ad02f39=
8c
                   |r12-7033-g3c9f762ad02f398c  |

--- Comment #6 from Martin Sebor <msebor at gcc dot gnu.org> ---
None of these "false positives" is due to a bug in the warning code.  The
warning has been designed and documented to work this way.  What triggers m=
ore
instances of these warnings in GCC 12 is the more accurate range info court=
esy
of Ranger.  Prior to GCC 12, the ranges were less accurate and sometimes
unavailable at all, and the warning is designed to avoid triggering in the
absence of any range info at all.

So I don't consider this a regression.=