From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from www523.your-server.de (www523.your-server.de [159.69.224.22]) by sourceware.org (Postfix) with ESMTPS id 5701B3856969 for ; Fri, 9 Jun 2023 18:29:40 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 5701B3856969 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=tim-lange.me Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=tim-lange.me DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=tim-lange.me; s=default2108; h=Content-Transfer-Encoding:MIME-Version: References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From:Sender:Reply-To: Content-Type:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID; bh=4n+HuDYcHuYN/Jm1XGi4FEp6vqsDJZ2UbxAD7BNgKwM=; b=EZdV6MlAiV6YdviZz62pY6KGUB z1UOziQyJjOS3vWoe/ggNHMGemG0snLJjFB+CY0wp1Xk4tPPLmL/JmKqt/znBs+Iufdix71UB+Y1O K/X2QlledR1K9BRrM7AAIGhFNcyjaw2MEvhWAtcC567UhgUlmMzcsHxwTl5WGCv8m8/MzC47ilH2B w1BAx0zUITuJsiRGyDrvIpQAWHtXnZ+y3HCrPaekzgmTNy5ThjufvpSfDCMUKejbZKCwMfG2/K8TJ 9ehtfzXHtiUhLBcCyZH6rOhLTNXdH71It7sbTYVK3Akfe7+weT04moieq27bLTXLHHW2IQAx1KZ5b z0UUxURA==; Received: from sslproxy03.your-server.de ([88.198.220.132]) by www523.your-server.de with esmtpsa (TLS1.3) tls TLS_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1q7grj-000Nzk-9b; Fri, 09 Jun 2023 20:29:39 +0200 Received: from [2a02:908:1861:d6a0::7959] (helo=workstation..) by sslproxy03.your-server.de with esmtpsa (TLSv1.3:TLS_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1q7grj-000ROv-1h; Fri, 09 Jun 2023 20:29:39 +0200 From: Tim Lange To: dmalcolm@redhat.com, gcc-patches@gcc.gnu.org Cc: Tim Lange Subject: [PATCH 2/2] testsuite: Add more allocation size tests for conjured svalues [PR110014] Date: Fri, 9 Jun 2023 20:28:13 +0200 Message-Id: <20230609182813.72319-2-mail@tim-lange.me> X-Mailer: git-send-email 2.40.1 In-Reply-To: <20230609182813.72319-1-mail@tim-lange.me> References: <20230609182813.72319-1-mail@tim-lange.me> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Authenticated-Sender: mail@tim-lange.me X-Virus-Scanned: Clear (ClamAV 0.103.8/26934/Fri Jun 9 09:25:21 2023) X-Spam-Status: No, score=-12.2 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,GIT_PATCH_0,KAM_INFOUSMEBIZ,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: This patch adds the reproducers reported in PR 110014 as test cases. The false positives in those cases are already fixed with PR 109577. 2023-06-09 Tim Lange PR analyzer/110014 gcc/testsuite/ChangeLog: * gcc.dg/analyzer/pr110014.c: New tests. --- gcc/testsuite/gcc.dg/analyzer/pr110014.c | 25 ++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/analyzer/pr110014.c diff --git a/gcc/testsuite/gcc.dg/analyzer/pr110014.c b/gcc/testsuite/gcc.dg/analyzer/pr110014.c new file mode 100644 index 00000000000..d76b8781413 --- /dev/null +++ b/gcc/testsuite/gcc.dg/analyzer/pr110014.c @@ -0,0 +1,25 @@ +void *realloc (void *, unsigned long) + __attribute__((__nothrow__, __leaf__)) + __attribute__((__warn_unused_result__)) __attribute__((__alloc_size__ (2))); + +long * +slurp (long *buffer, unsigned long file_size) +{ + unsigned long cc; + if (!__builtin_add_overflow (file_size - file_size % sizeof (long), + 2 * sizeof (long), &cc)) + buffer = realloc (buffer, cc); + return buffer; +} + +long * +slurp1 (long *buffer, unsigned long file_size) +{ + return realloc (buffer, file_size - file_size % sizeof (long)); +} + +long * +slurp2 (long *buffer, unsigned long file_size) +{ + return realloc (buffer, (file_size / sizeof (long)) * sizeof (long)); +} -- 2.40.1