Message ID | 20250425205618.360232-7-adhemerval.zanella@linaro.org |
---|---|
State | New |
Headers | show
Delivered-To: patch@linaro.org Received: by 2002:a5d:474d:0:b0:38f:210b:807b with SMTP id o13csp4158345wrs; Fri, 25 Apr 2025 13:57:50 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCXjW2N9aNyOwfu3n+41+QJgmqLPN8ewNTCFGF4uQnjZU/cccgN62tVTxqdZNzgm2HIuPFVuyQ==@linaro.org X-Google-Smtp-Source: AGHT+IGrGtdQKqIJoAgCVhj3O3Bcd0kHQ7riy8E9u2ytMmp0+l49ApOXWTqDtHMgzVizlS0NRdxp X-Received: by 2002:a05:620a:2984:b0:7c7:b5e9:6428 with SMTP id af79cd13be357-7c96687115cmr147422885a.22.1745614670291; Fri, 25 Apr 2025 13:57:50 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1745614670; cv=pass; d=google.com; s=arc-20240605; b=NiBcxXv/b3gamWPxgkjTAR3yCDhPKb7Lt2YSnNaHwqq//1Vn28R4o5W+XUE2TUF2IE 09cafPnD66+e6WwlaBIiyYp79/yFW3hMflj5cVDSjLCRQv+XeuLLvle2DtSAm2wlhWzQ vkl3LEqEVfuw3ijRdPP01zxEmvjda5+f6agcgqQeLd/aaIom0Ajoumj40lw/pgKM7/r0 0mDC4qzPh09O4q57VLnz7nN2hNr6RgP8NiNvkUbLAC67fhTnYk5zrWEx6EfC/VliKVmV azkauZ66n33+vg7Tf8qbPWrqj37Z2zUxNel+weCxQrnxcuxcOrLesD5WCanI44RwnBtM Mv0g== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=errors-to:list-subscribe:list-help:list-post:list-archive :list-unsubscribe:list-id:precedence:content-transfer-encoding :mime-version:references:in-reply-to:message-id:date:subject:cc:to :from:dkim-signature:dkim-filter:arc-filter:dmarc-filter :delivered-to:dkim-filter; bh=LNoqOXWaK/YGvBTeS9gxQQ3in7EFwcCryPT+dlptFkI=; fh=G1NI73xfDcVophzg1+e/pmkwSVc7WWCXN7V/bl5G28k=; b=aDOgF1JcvGOrw1gqxR8OOrj8Ib8YuYC8w5h0lqpHV6YvGX5r2/a6bHa6H5H8qi8yTx qv1I8dJnJSwDX0auHidmBjUvfaAamjd2JAkYjzxtq3z35J7xfvKFrtqL6e670KanPd+l TTUOsW6bDbzC/5x1hXiwT6YGjsTHlfx9qY0/10x0cdeppz44qf70evRMTFfKlmOPLEG3 YZVFK4t4u0JCFWDOFRmgRS1Jfw/8WeNJEEDzQiG4XYTLCAHDaCJCSGwvc94MGAwBboAQ SUhImWqYeSU/HmBwjqHmxJwEsKBRX2TceErYw/Xm3WXnLHiZU8GuXeTzT+j0zDnOpSbS huXg==; dara=google.com ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=QOCh2NYd; arc=pass (i=1); spf=pass (google.com: domain of libc-alpha-bounces~patch=linaro.org@sourceware.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="libc-alpha-bounces~patch=linaro.org@sourceware.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: <libc-alpha-bounces~patch=linaro.org@sourceware.org> Received: from server2.sourceware.org (server2.sourceware.org. [2620:52:3:1:0:246e:9693:128c]) by mx.google.com with ESMTPS id af79cd13be357-7c958e9fdf0si431712685a.412.2025.04.25.13.57.50 for <patch@linaro.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 25 Apr 2025 13:57:50 -0700 (PDT) Received-SPF: pass (google.com: domain of libc-alpha-bounces~patch=linaro.org@sourceware.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) client-ip=2620:52:3:1:0:246e:9693:128c; Authentication-Results: mx.google.com; dkim=pass header.i=@linaro.org header.s=google header.b=QOCh2NYd; arc=pass (i=1); spf=pass (google.com: domain of libc-alpha-bounces~patch=linaro.org@sourceware.org designates 2620:52:3:1:0:246e:9693:128c as permitted sender) smtp.mailfrom="libc-alpha-bounces~patch=linaro.org@sourceware.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id DD7C83858408 for <patch@linaro.org>; Fri, 25 Apr 2025 20:57:49 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DD7C83858408 Authentication-Results: sourceware.org; dkim=pass (2048-bit key, unprotected) header.d=linaro.org header.i=@linaro.org header.a=rsa-sha256 header.s=google header.b=QOCh2NYd X-Original-To: libc-alpha@sourceware.org Delivered-To: libc-alpha@sourceware.org Received: from mail-pg1-x534.google.com (mail-pg1-x534.google.com [IPv6:2607:f8b0:4864:20::534]) by sourceware.org (Postfix) with ESMTPS id E58833858031 for <libc-alpha@sourceware.org>; Fri, 25 Apr 2025 20:56:32 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org E58833858031 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=linaro.org Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=linaro.org ARC-Filter: OpenARC Filter v1.0.0 sourceware.org E58833858031 Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2607:f8b0:4864:20::534 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1745614593; cv=none; b=Yl5d5eeIpL+KzcvAOBLmLwG91W9uGU1A0uvxiSBQ0r4kxdu3BoyGyVFpXTgQqPxDd1F71tHJa9Rq2QbNXyvLnpfagmEcaPwgRwQt9ZxKF8A+6LvnawOwkXr7YTlPgmEJPx5Q7UED+5tJxCS3Pvua8vSEcKQCAqDrQoQcLQr32vI= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1745614593; c=relaxed/simple; bh=85sgPp/DLHga5o7g4/LQV5cFfD7qqmDhE3pU4eJmz7Q=; h=DKIM-Signature:From:To:Subject:Date:Message-ID:MIME-Version; b=rI5t9eE2nKZLxOxe9GKrsBxECfJmRUIKO1HQEzvVAUsEhG2U1X6OE0ahO6jD01g6T8BzZ4UnXNf5xTzyufFb+LfBTlpTgDIOVSoeJLc3+9qU8HRQRM4NrymdAibvE9wjiV6UcpNAJQ+9mX92CCeQe2OdxuSf7JQ7bBQDHdqW7+c= ARC-Authentication-Results: i=1; server2.sourceware.org DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E58833858031 Received: by mail-pg1-x534.google.com with SMTP id 41be03b00d2f7-7fd35b301bdso3415938a12.2 for <libc-alpha@sourceware.org>; Fri, 25 Apr 2025 13:56:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; t=1745614591; x=1746219391; darn=sourceware.org; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=LNoqOXWaK/YGvBTeS9gxQQ3in7EFwcCryPT+dlptFkI=; b=QOCh2NYdFN4zJCjILTyefRE4BlAdqAXg6k8M6VlSjTMMkkR3LNrQAmgPcEUZCJ5Nv3 aCg5YfnoCzOc7N50IZdiEHYxMNsDe0HshOOT8OyXhltttmqMzWLZ3zaJM9ExVhv3kq2u EI24izKDjyYaSlnZuUCQeLRe7Ydn0mcJTg/9/SgjCsAYViJn83VIjgcZ7KrJcUUPrKbM oTeqUh5y0gOkFrEC26itJ2s5C80UweBHRMVOoOa043Tv/kBEaqbt61tE6uVVU5/iJ6il Aw46prX6SwObES5hpFBNZ2rlYa7FfSgDqqw0+zLZpEVegRsG5hAOSF4b+/YMyZLTs248 SZcw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1745614591; x=1746219391; h=content-transfer-encoding:mime-version:references:in-reply-to :message-id:date:subject:cc:to:from:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=LNoqOXWaK/YGvBTeS9gxQQ3in7EFwcCryPT+dlptFkI=; b=bttEtWPtIxC6Bud/x+FeGnDFFXQvrs9mmaFB7QjPitCMYwcP36u90tHP54Z6kdsbXQ +8lBfKKBMq4FdURtGCRBt+F9uXsUCYdKSEnpppCYZmFohKGEjHnmNojr9QZnfHZKbPgO gijUrXiq6to98tXsZQIoPc489frnmABAOQu1cmZ/0wj4I7c0QgIh6PiIO5xTKg1XlDHW 559tVPnanJ5PhIAXjAX+q/QNP0vtq3DNWnh5KrhcZIABpnwI+FPy9bC53l23OqWZfGX/ YnQSUsx7xc08uUgOkQU9gpaSYUqba7OMJ2HG8sjUv3cpJoXQeLgjZu8U9z6FT6fWHFl0 JKeA== X-Gm-Message-State: AOJu0Yx7y7dfR9jfe5Gu9XtOj48MUAb7yT4Jivt0SBKTwSZSynCbrNg8 Y6VbnThFc2mHmI0844/oWcZwM2VjBebnWbe8eOROjtgF62KFerjgOG4ZBARenu4OuBlLZWURQtx T X-Gm-Gg: ASbGnctlhesKUEvw9+Ee3OH03ryBtQZA1kA2PRMV/AV49HV7HKO7AAkzZYxrEG1fRWR /xCCltBpD8KdwgVInr2sO/MIAMmMiPiJSdeV5UQmNQLVY+V2YDOaPQDDRzHUkHEW5d+1KkIA8CH uipL5j5/X2wAJ+VLalrLUhFCVHVkjEkeBLwSWek2GijvHftGcTlOcN7MD7LYBQwTE2wSGf4BuiA RMJBcLCgtcxPNsA2iQlPwoL3uK9BOT/2ldE9376+N/yp+HHUnvIJLvYIt6JSwLHvBYNxk999s7p GV/z7vhH7OgzGGHb5BIjCTSMBrMzJJePAINkYVxb1O2Ph4bwX+qewQ== X-Received: by 2002:a17:90b:2e03:b0:2ee:db1a:2e3c with SMTP id 98e67ed59e1d1-30a012ffafdmr1390963a91.1.1745614591421; Fri, 25 Apr 2025 13:56:31 -0700 (PDT) Received: from mandiga.. ([2804:1b3:a7c0:9bf1:37fb:44e3:5707:516b]) by smtp.gmail.com with ESMTPSA id 98e67ed59e1d1-309f782d47bsm2357188a91.37.2025.04.25.13.56.30 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 25 Apr 2025 13:56:31 -0700 (PDT) From: Adhemerval Zanella <adhemerval.zanella@linaro.org> To: libc-alpha@sourceware.org Cc: Paul Zimmermann <Paul.Zimmermann@inria.fr> Subject: [PATCH 6/8] math: Fix UB on cospif Date: Fri, 25 Apr 2025 17:54:27 -0300 Message-ID: <20250425205618.360232-7-adhemerval.zanella@linaro.org> X-Mailer: git-send-email 2.43.0 In-Reply-To: <20250425205618.360232-1-adhemerval.zanella@linaro.org> References: <20250425205618.360232-1-adhemerval.zanella@linaro.org> MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-BeenThere: libc-alpha@sourceware.org X-Mailman-Version: 2.1.30 Precedence: list List-Id: Libc-alpha mailing list <libc-alpha.sourceware.org> List-Unsubscribe: <https://sourceware.org/mailman/options/libc-alpha>, <mailto:libc-alpha-request@sourceware.org?subject=unsubscribe> List-Archive: <https://sourceware.org/pipermail/libc-alpha/> List-Post: <mailto:libc-alpha@sourceware.org> List-Help: <mailto:libc-alpha-request@sourceware.org?subject=help> List-Subscribe: <https://sourceware.org/mailman/listinfo/libc-alpha>, <mailto:libc-alpha-request@sourceware.org?subject=subscribe> Errors-To: libc-alpha-bounces~patch=linaro.org@sourceware.org |
Series | Fix UB in math implementations | expand |
diff --git a/sysdeps/ieee754/flt-32/s_cospif.c b/sysdeps/ieee754/flt-32/s_cospif.c index 1e838037e1..eb4a10f57f 100644 --- a/sysdeps/ieee754/flt-32/s_cospif.c +++ b/sysdeps/ieee754/flt-32/s_cospif.c @@ -3,7 +3,7 @@ Copyright (c) 2022-2025 Alexei Sibidanov. The original version of this file was copied from the CORE-MATH -project (src/binary32/cospi/cospif.c, revision f786e13). +project (src/binary32/cospi/cospif.c, revision bbfabd99). Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal @@ -58,10 +58,10 @@ __cospif (float x) { if (__glibc_unlikely (p > 63)) return 1.0f; - int32_t iq = m << (p - 32); + int32_t iq = (uint32_t)m << (p - 32); return S[(iq + 32) & 127]; } - int32_t k = m << p; + int32_t k = (uint32_t)m << p; if (__glibc_unlikely (k == 0)) { int32_t iq = m >> (32 - p);