From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 7884) id 433123858C54; Sat, 13 Aug 2022 12:05:48 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 433123858C54 MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="utf-8" From: Tim Lange To: gcc-cvs@gcc.gnu.org Subject: [gcc r13-2037] testsuite: Disable out-of-bounds checker in analyzer/torture/pr93451.c X-Act-Checkin: gcc X-Git-Author: Tim Lange X-Git-Refname: refs/heads/master X-Git-Oldrev: 475ed8fdc78cb9221a191e90868b268e8429f72e X-Git-Newrev: 21d52d11df82e55abfdde3c5c49fbcc103d83861 Message-Id: <20220813120548.433123858C54@sourceware.org> Date: Sat, 13 Aug 2022 12:05:48 +0000 (GMT) X-BeenThere: gcc-cvs@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-cvs mailing list List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , X-List-Received-Date: Sat, 13 Aug 2022 12:05:48 -0000 https://gcc.gnu.org/g:21d52d11df82e55abfdde3c5c49fbcc103d83861 commit r13-2037-g21d52d11df82e55abfdde3c5c49fbcc103d83861 Author: Tim Lange Date: Sat Aug 13 13:31:45 2022 +0200 testsuite: Disable out-of-bounds checker in analyzer/torture/pr93451.c This patch disables Wanalyzer-out-of-bounds for analyzer/torture/pr93451.c and makes the test case pass when compiled with -m32. The emitted warning is a true positive but only occurs if sizeof (long int) is less than sizeof (double). I've already discussed a similar case with Dave in the context of pr96764.c and we came to the conclusion that we just disable the checker in such cases. Committed under the "obvious fix" rule. gcc/testsuite/ChangeLog: * gcc.dg/analyzer/torture/pr93451.c: Disable Wanalyzer-out-of-bounds. Diff: --- gcc/testsuite/gcc.dg/analyzer/torture/pr93451.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gcc/testsuite/gcc.dg/analyzer/torture/pr93451.c b/gcc/testsuite/gcc.dg/analyzer/torture/pr93451.c index 5908bc4b69f..daac745d504 100644 --- a/gcc/testsuite/gcc.dg/analyzer/torture/pr93451.c +++ b/gcc/testsuite/gcc.dg/analyzer/torture/pr93451.c @@ -1,3 +1,5 @@ +/* { dg-additional-options "-Wno-analyzer-out-of-bounds" } */ + void mt (double);