From mboxrd@z Thu Jan 1 00:00:00 1970 Delivery-date: Thu, 13 Mar 2025 08:52:30 +0100 Received: from metis.whiteo.stw.pengutronix.de ([2a0a:edc0:2:b01:1d::104]) by lore.white.stw.pengutronix.de with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1tsdMk-00DTi4-2p for lore@lore.pengutronix.de; Thu, 13 Mar 2025 08:52:30 +0100 Received: from bombadil.infradead.org ([2607:7c80:54:3::133]) by metis.whiteo.stw.pengutronix.de with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1tsdMi-00013J-SS for lore@pengutronix.de; Thu, 13 Mar 2025 08:52:30 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender:List-Subscribe:List-Help :List-Post:List-Archive:List-Unsubscribe:List-Id:Content-Transfer-Encoding: MIME-Version:References:In-Reply-To:Message-Id:Date:Subject:Cc:To:From: Reply-To:Content-Type:Content-ID:Content-Description:Resent-Date:Resent-From: Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Owner; bh=TN4kiWqmqIWeOqzHqDyZLresQFq8p61emu2Tg3vuIOU=; b=mfo/fwTzmao8PGZrjp7cNYZNdd 5BlHcX2UiZ7LHQJsePt7g+rbYaekqLhsWkYB6esP/6HUfmm7y6cegvwN0MmV8xSSZfKYMRMd57M6y AHrwVMPPYpglbM5Cy0DJpMXFFUE689jBKubj55CMMSm+Vd8R/FGLMlIpui15PW+k8xRWUGNs66YLw b9k+VvTlQ3mrSlJDj1Gp/zUUc9S9qdh91PubPR3cGcEm/SGCmJbDZKMbCX+P+bKKPBNyLJWQIauTg BlKaCMc2AWQO0pIiOC5S0k9SabgNxw7QnIrxM+4UEnbuxVSjdEvSpaLtLtmmYHhUNXhARBnXWgSWK pRMCDnWw==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.98 #2 (Red Hat Linux)) id 1tsdMF-0000000ARcJ-2WFm; Thu, 13 Mar 2025 07:51:59 +0000 Received: from metis.whiteo.stw.pengutronix.de ([2a0a:edc0:2:b01:1d::104]) by bombadil.infradead.org with esmtps (Exim 4.98 #2 (Red Hat Linux)) id 1tsd6g-0000000AOlu-3c9z for barebox@lists.infradead.org; Thu, 13 Mar 2025 07:35:55 +0000 Received: from drehscheibe.grey.stw.pengutronix.de ([2a0a:edc0:0:c01:1d::a2]) by metis.whiteo.stw.pengutronix.de with esmtps (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1tsd6f-00060B-Jc; Thu, 13 Mar 2025 08:35:53 +0100 Received: from dude05.red.stw.pengutronix.de ([2a0a:edc0:0:1101:1d::54]) by drehscheibe.grey.stw.pengutronix.de with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.96) (envelope-from ) id 1tsd6f-005UwH-1L; Thu, 13 Mar 2025 08:35:53 +0100 Received: from localhost ([::1] helo=dude05.red.stw.pengutronix.de) by dude05.red.stw.pengutronix.de with esmtp (Exim 4.96) (envelope-from ) id 1tsd5i-003pwb-1W; Thu, 13 Mar 2025 08:34:54 +0100 From: Ahmad Fatoum To: barebox@lists.infradead.org Cc: Ahmad Fatoum Date: Thu, 13 Mar 2025 08:34:35 +0100 Message-Id: <20250313073445.764875-13-a.fatoum@pengutronix.de> X-Mailer: git-send-email 2.39.5 In-Reply-To: <20250313073445.764875-1-a.fatoum@pengutronix.de> References: <20250313073445.764875-1-a.fatoum@pengutronix.de> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20250313_003554_898654_8F7872D1 X-CRM114-Status: UNSURE ( 8.36 ) X-CRM114-Notice: Please train this message. X-BeenThere: barebox@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: "barebox" X-SA-Exim-Connect-IP: 2607:7c80:54:3::133 X-SA-Exim-Mail-From: barebox-bounces+lore=pengutronix.de@lists.infradead.org X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on metis.whiteo.stw.pengutronix.de X-Spam-Level: X-Spam-Status: No, score=-5.2 required=4.0 tests=AWL,BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_MED,SPF_HELO_NONE,SPF_NONE autolearn=unavailable autolearn_force=no version=3.4.2 Subject: [PATCH 12/22] commands: ubsan: hide zero division in test X-SA-Exim-Version: 4.2.1 (built Wed, 08 May 2019 21:11:16 +0000) X-SA-Exim-Scanned: Yes (on metis.whiteo.stw.pengutronix.de) clang-analyzer pierces the volatile veil and complains that test_ubsan_divrem_overflow() does a division by zero. The division is intentional to exercise UBSAN runtime detection of the condition, so let's hide the fact that val2 is zero using OPTIMIZER_HIDE_VAR. Signed-off-by: Ahmad Fatoum --- commands/ubsan.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/commands/ubsan.c b/commands/ubsan.c index 4a9716139c4b..634ab2bc60b2 100644 --- a/commands/ubsan.c +++ b/commands/ubsan.c @@ -43,6 +43,8 @@ static void test_ubsan_divrem_overflow(void) volatile int val = 16; volatile int val2 = 0; + OPTIMIZER_HIDE_VAR(&val2); + val /= val2; } -- 2.39.5