Received: by 2002:a6b:500f:0:0:0:0:0 with SMTP id e15csp1559314iob; Thu, 5 May 2022 04:07:00 -0700 (PDT) X-Google-Smtp-Source: ABdhPJwJR5n3AhJCrmgHbNkUEI0V9eFu5v7tTwrLZx/cJx72vpI9u4dn9zXQkCGDmTdHFGYvGENB X-Received: by 2002:a17:902:e841:b0:15e:b10a:9f40 with SMTP id t1-20020a170902e84100b0015eb10a9f40mr16009825plg.128.1651748820631; Thu, 05 May 2022 04:07:00 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1651748820; cv=none; d=google.com; s=arc-20160816; b=Cg5BcXtL2eASKEhpeDQjD1iqHnryUWfcUgNjWsWLoubgpOpBIgxBD9JdIvK4Qs36fa RM1QxSj2Z87LnrCRMTCntgfYu6d0gZgM96xBPOPFcXGzaKOJZohhbxSkZkQ2nreJoA8f jXFTI++JLEZhi8f3bWLr/Bx3Ijwkto0i2PpApF9CC+JvMHaQU1hZqDPBNHbNdVRi8j1a B8DQY7KzKgrdlWxTxGEv4FFxnmRHCFlZBaV/T0metYO7QlsQInSzJ8DUj4FLrQt1jUz+ pTH6nn0/iVsGflVN8da+Co/eHw0qX4H4LK/0/j0no1OG9GnGo/fGQoD3DflWgKTuiV1L xjJg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:cc:to:subject:message-id:date:from:in-reply-to :references:mime-version:dkim-signature; bh=faKNM+qwcArkJmPdQKZUatJOcPW6asWisYRgltgA+bM=; b=KMWOaSv7OkKBYRboCDkFm8AfbIGePX6Lw9bReKlxxG87VjSZawj6nyFIBXpl1c5ac/ 4RQLlaE5y4MRDUHTuoSwFc1N1UukSyqoeE1vAwj52457ejEtAmcVXAgaQlmMjofk37J7 GbH02BQVO5XAjYWA5xyul0O4XGM5zq9Q3mmwyr3DXxiRVXUu77S6HSDNIUk6V+L9g5IJ EZKG8uUFeIsFuww01m2OBz6jy5DkBXA+7LQwZoh/R6RvZKt8s26dzLjr21q7ekcp6IXs kwhE7Eqzq6AAzq5PXVip4eu6hNi5cOww9u1cvfzd4i24QBxcdZg6foVWnG7yCleua9Sh EGvg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=VrLn4DXj; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id f10-20020a639c0a000000b003985223c137si1211637pge.354.2022.05.05.04.06.45; Thu, 05 May 2022 04:07:00 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20210112 header.b=VrLn4DXj; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1353110AbiEDTaL (ORCPT + 99 others); Wed, 4 May 2022 15:30:11 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:58322 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1357259AbiEDTaH (ORCPT ); Wed, 4 May 2022 15:30:07 -0400 Received: from mail-il1-x12d.google.com (mail-il1-x12d.google.com [IPv6:2607:f8b0:4864:20::12d]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id EAE7A4A90C; Wed, 4 May 2022 12:26:30 -0700 (PDT) Received: by mail-il1-x12d.google.com with SMTP id h11so1504054ila.5; Wed, 04 May 2022 12:26:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=faKNM+qwcArkJmPdQKZUatJOcPW6asWisYRgltgA+bM=; b=VrLn4DXjigrD/Rraqf7CcvlUwmR7BblTWy83YVocIBLYRtnQrXbss03vXrg9mQL2JW JheLYxPbVecLLCpGdrFWJ32cImulwZiUJy/UhNWxROYuDL2Th2jbPXLSVX3EZapQ846X 1yoFSHf/bA+P9hUV6to0Q30YZUdUDaLV/iyc7O9JEj3F2xOnh1b1zyV1gQFTAorEuUvj lYS/Y3xdAQh7TtWahQLT5kNe/ISqAEUt5EqSCtmU4MG3cGa5oLweRn5ihIBVeUWcUy5V TVpjBmLGHnx9vXtXGATV6pgXuOfCRGsOJdpYUGEhZ3PoJDO4P4qHU2/80bxp+heODJKA 0hsg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=faKNM+qwcArkJmPdQKZUatJOcPW6asWisYRgltgA+bM=; b=T+CjMSgOsCsvykI4hwQMblazD+ZMcWlXazaOp/Qebnze3LbyeY7Lz0122qgpsXSP0B B/LFjYFoC/g88OT/b1A8JIXwaH9BsS3oQN89hh/2CTQoHhmsQF3BFqc1GuHfL6C3HScO SUlTNT704nqU1oAI5QbscY1yVSEHB+pibes9ueS92Ba8nZZHpIO3sOLhntbnvzLqzC/p SmqLixgD2PTmakG4hdMKZ7st+SonwClmXkcdZcFY1h+ejaz7KDURy6nCFJiTL9U9OXEi GmKWSZ5iJNIZtSiDQP6LgSnb/E/Jx6/ygJXErWMjiKdgv6S5enknUa9gqJBBq6LIEXVy KsVg== X-Gm-Message-State: AOAM533zgZG1KsrnC/dp303VGx3aqwjBDEhXLjB+8/6DseNaVYWw0F6+ TozY2uL2nO4IN8wz6GfaftSSOIPIPk6Rdj1EXeADrnli X-Received: by 2002:a92:7309:0:b0:2ca:8c9c:752d with SMTP id o9-20020a927309000000b002ca8c9c752dmr9144096ilc.151.1651692390336; Wed, 04 May 2022 12:26:30 -0700 (PDT) MIME-Version: 1.0 References: <20220502093625.GA23225@kernel.org> In-Reply-To: From: Miguel Ojeda Date: Wed, 4 May 2022 21:26:19 +0200 Message-ID: Subject: Re: [PATCH] kunit: take `kunit_assert` as `const` To: David Gow Cc: Daniel Latypov , Miguel Ojeda , Brendan Higgins , "open list:KERNEL SELFTEST FRAMEWORK" , KUnit Development , linux-kernel Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM, RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,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 lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Hi David, On Wed, May 4, 2022 at 4:05 PM David Gow wrote: > > I definitely agree here -- I can't recall any particular plan that > would require this to be non-const, and we can always change it back > if we really need to. That is good to know, thanks! Out-of-tree users can always be a surprise... :) > Very exciting! I assume that's the PR here: > https://github.com/Rust-for-Linux/linux/pull/757 Indeed! I hope you like it -- we are taking the documentation tests in Rust (which are a very lightweight way of writing examples which double as tests) and generating KUnit test cases on the fly. For the moment it is just for the `kernel` crate, but the idea is to generalize it for modules etc. By the way, since you saw the PR... do you know if KUnit relies (or will rely) on "stack-dumping" functions like `longjmp`? Cheers, Miguel