From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-10631.protonmail.ch (mail-10631.protonmail.ch [79.135.106.31]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id A7E83235341 for ; Tue, 25 Feb 2025 23:03:57 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=79.135.106.31 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1740524639; cv=none; b=GdU8oVWwL/Qekm3qEVw9bO/bpiSO2/pp1UVx2fxpNDkp8r51eTOckuwCsLTtbxd4+0Mv++TbociZHngoRaAg69ga0HKF250i5E8M59gvQeiqLAtHEe1mgkVeJ/o7VrIKBmjTcP4RKbhlQTrajgCNZsag2enOgJP59ozFMmzAQag= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1740524639; c=relaxed/simple; bh=pBz9I+KEaZOCbjA3ZwZoxg+hI8zX2LqoHPTGBpCbDpw=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: MIME-Version:Content-Type; b=c2Az2s3pMguBey/2uUBK5uKnSsUh0ZecxQc3npm2nzvzelLwVMBv5Xe84N2E30YvttuYXXckbEyagqvw2GvOsVIovbKi3MMWmmZdo5SEMK1vji+ykK5gv20AninA06ym+seEZcop8HKaPZP6JAxfdHX362ZJFRy5QXCEeOZSe2Q= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=proton.me; spf=pass smtp.mailfrom=proton.me; dkim=pass (2048-bit key) header.d=proton.me header.i=@proton.me header.b=lplbe7pz; arc=none smtp.client-ip=79.135.106.31 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=proton.me Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=proton.me Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=proton.me header.i=@proton.me header.b="lplbe7pz" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=proton.me; s=protonmail; t=1740524629; x=1740783829; bh=pBz9I+KEaZOCbjA3ZwZoxg+hI8zX2LqoHPTGBpCbDpw=; h=Date:To:From:Cc:Subject:Message-ID:In-Reply-To:References: Feedback-ID:From:To:Cc:Date:Subject:Reply-To:Feedback-ID: Message-ID:BIMI-Selector:List-Unsubscribe:List-Unsubscribe-Post; b=lplbe7pzev/w97HAXcMMMF629/PR7plhtfwLzZZ6S2FhCJ+B1twvwwMoFHMubBxr/ oGTYZlftNzw9ppNA8QIZ5/lZpwusmMar2uSmH2Os+um4gAULhWiHEZfKMB+J4/uzJF U1QFWWyqnm4rJ2Rp6YlGZKqCBJBGrhRNlJ0SpESLeUWQwUH8LnWyqBP15qlMeoGng0 6Evjuw/G73Blw4DEPcdmzvtyXUAnb/nziyezdleWFjOPWUHIC5ExbIokVoea6Ie/u3 iITUnOR0OuTsDadYK2Tx2cGJiXzsg8kMUKCbikBHFNWG/VJDIoiGrvhuGrvjtmRHBv 3v9mdz2IE2eDg== Date: Tue, 25 Feb 2025 23:03:44 +0000 To: Miguel Ojeda From: Benno Lossin Cc: Ventura Jack , Gary Guo , Linus Torvalds , Kent Overstreet , airlied@gmail.com, boqun.feng@gmail.com, david.laight.linux@gmail.com, ej@inai.de, gregkh@linuxfoundation.org, hch@infradead.org, hpa@zytor.com, ksummit@lists.linux.dev, linux-kernel@vger.kernel.org, rust-for-linux@vger.kernel.org Subject: Re: C aggregate passing (Rust kernel policy) Message-ID: In-Reply-To: References: <4cb1d98b-f94b-410a-be90-4394c48bdbf2@proton.me> <137dd7ef-b8f6-43df-87e0-115f913d0465@proton.me> Feedback-ID: 71780778:user:proton X-Pm-Message-ID: fc2b64091c08ed25fd75ed65619672fc39128744 Precedence: bulk X-Mailing-List: ksummit@lists.linux.dev List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 25.02.25 23:47, Miguel Ojeda wrote: > On Tue, Feb 25, 2025 at 11:38=E2=80=AFPM Benno Lossin wrote: >> >> I do not get UB when I comment out any of the commented lines. Can you >> share the output of MIRI? >=20 > I think he means when only having one of the `pz`s definitions out of > the 4, i.e. uncommenting the first and commenting the last one that is > live in the example. Ah of course :facepalm:, thanks for clarifying :) --- Cheers, Benno