From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 47DEBC433EF for ; Wed, 3 Nov 2021 09:38:32 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id CEA4B6112D for ; Wed, 3 Nov 2021 09:38:31 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.4.1 mail.kernel.org CEA4B6112D Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=linaro.org Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=kvack.org Received: by kanga.kvack.org (Postfix) id F3558940007; Wed, 3 Nov 2021 05:38:30 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id EE5BB6B0071; Wed, 3 Nov 2021 05:38:30 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id DACE9940007; Wed, 3 Nov 2021 05:38:30 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0232.hostedemail.com [216.40.44.232]) by kanga.kvack.org (Postfix) with ESMTP id CC01D6B006C for ; Wed, 3 Nov 2021 05:38:30 -0400 (EDT) Received: from smtpin22.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay04.hostedemail.com (Postfix) with ESMTP id 837756EDCA for ; Wed, 3 Nov 2021 09:38:30 +0000 (UTC) X-FDA: 78767118780.22.A4BF264 Received: from mail-ed1-f42.google.com (mail-ed1-f42.google.com [209.85.208.42]) by imf27.hostedemail.com (Postfix) with ESMTP id 24073700009D for ; Wed, 3 Nov 2021 09:38:30 +0000 (UTC) Received: by mail-ed1-f42.google.com with SMTP id f8so6962023edy.4 for ; Wed, 03 Nov 2021 02:38:29 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=zEyIczqFSHpavkegJTGcffG0KJRQlbVgPG2I11SEzIk=; b=vE8celaAZhFLiXMY3hj+ux1f4WpUOtB+IYPgxA+T3rNqveRNEQm86XNOSQ7+s9eVJn GELJidoE/FALVgt0sG3aOE+fD/QYwbJjtvBMP2BG/I77YXX1+zxkPFgFEjzuIi9SoMwO RSXHZld3YZhMd6yXkQNEk15b28o4td9KGN+hOkrjxmr4fN6kxERAFDOB8ralLISEDiFK Z4lpDlK9gSUHrwPDYHDoV30hbKcHE/jPhgpceG9mTT47ADu5zyKrpUs/PmasPL51k1Q/ 8Nda7xOAFirJX1iOO0xRXBrMaHaSyz/0FrkkVQsPv4JijQpkp77F7idxvjr0jZXCLle8 O+yQ== 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=zEyIczqFSHpavkegJTGcffG0KJRQlbVgPG2I11SEzIk=; b=2PtibS4sU7VTUtbgYH1GxZgQinUcNk2+Et5w3hiVpEoMCJZO5d7kYDruTV65T+7W1Y 5pix2o3kOp6cMpceFnNK0A/qo7YzcbkcXuwzQJg1WXxXgYP2JsOYlT+2+crfaDaLFm0Q izxr3+Po0EicOBD+rZZv1oW0yeEG+SfqlImX3QOxaubU+2yMikki5ZA66yqPhMu0llTd XTppEsWKdj70E4ywh9gf+KV3j2n3YQiO+d9U3EdYAzODAnTgDVaCNbTxE19VVitjR7lq hTVU2WVw6j7CCCKhc71XUxiECFo9Rtjpa4bsdzN4JCMSCmRHzuOnm5RfWUrFlb/I2BZb pJ4w== X-Gm-Message-State: AOAM533U0lxIDsWA59W/RwlbTzrb/DKA5od631XZWvqtjmbO54+xy3fv wYLJCdXFjLFbE4lZqlEqjfkNzNb5z00F1QImiEzHrA== X-Google-Smtp-Source: ABdhPJylvEHPgODpfxQWb3myB8GzOfRCv9ha0X5xGunFbmsG+KmnpYDbhMqV4MR+y93eMexM+Aj3CQofSDWo2t+wrHA= X-Received: by 2002:a17:907:10cf:: with SMTP id rv15mr2446809ejb.383.1635932308691; Wed, 03 Nov 2021 02:38:28 -0700 (PDT) MIME-Version: 1.0 References: <20211029114312.1921603-1-anders.roxell@linaro.org> <834d18b6-4106-045f-0264-20e54edf47bc@linuxfoundation.org> In-Reply-To: From: Anders Roxell Date: Wed, 3 Nov 2021 10:38:17 +0100 Message-ID: Subject: Re: [PATCH] selftests: kselftest.h: mark functions with 'noreturn' To: Nick Desaulniers Cc: Shuah Khan , shuah@kernel.org, fenghua.yu@intel.com, reinette.chatre@intel.com, john.stultz@linaro.org, tglx@linutronix.de, akpm@linux-foundation.org, nathan@kernel.org, linux-kernel@vger.kernel.org, linux-kselftest@vger.kernel.org, linux-mm@kvack.org, llvm@lists.linux.dev, Mike Rapoport Content-Type: text/plain; charset="UTF-8" X-Rspamd-Queue-Id: 24073700009D X-Stat-Signature: b1d9hxywty311rj737m9q4r6suaqgm1s Authentication-Results: imf27.hostedemail.com; dkim=pass header.d=linaro.org header.s=google header.b=vE8celaA; spf=pass (imf27.hostedemail.com: domain of anders.roxell@linaro.org designates 209.85.208.42 as permitted sender) smtp.mailfrom=anders.roxell@linaro.org; dmarc=pass (policy=none) header.from=linaro.org X-Rspamd-Server: rspam02 X-HE-Tag: 1635932310-983675 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On Tue, 2 Nov 2021 at 23:04, Anders Roxell wrote: > > On Sat, 30 Oct 2021 at 00:08, Nick Desaulniers wrote: > > > > On Fri, Oct 29, 2021 at 11:19 AM Shuah Khan wrote: > > > > > > On 10/29/21 5:43 AM, Anders Roxell wrote: > > > > When building kselftests/capabilities the following warning shows up: > > > > > > > > clang -O2 -g -std=gnu99 -Wall test_execve.c -lcap-ng -lrt -ldl -o test_execve > > > > test_execve.c:121:13: warning: variable 'have_outer_privilege' is used uninitialized whenever 'if' condition is false [-Wsometimes-uninitialized] > > > > } else if (unshare(CLONE_NEWUSER | CLONE_NEWNS) == 0) { > > > > ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > > > test_execve.c:136:9: note: uninitialized use occurs here > > > > return have_outer_privilege; > > > > ^~~~~~~~~~~~~~~~~~~~ > > > > test_execve.c:121:9: note: remove the 'if' if its condition is always true > > > > } else if (unshare(CLONE_NEWUSER | CLONE_NEWNS) == 0) { > > > > ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > > > test_execve.c:94:27: note: initialize the variable 'have_outer_privilege' to silence this warning > > > > bool have_outer_privilege; > > > > ^ > > > > = false > > > > > > > > Rework so all the ksft_exit_*() functions have attribue > > > > '__attribute__((noreturn))' so the compiler knows that there wont be > > > > any return from the function. That said, without > > > > '__attribute__((noreturn))' the compiler warns about the above issue > > > > since it thinks that it will get back from the ksft_exit_skip() > > > > function, which it wont. > > > > Cleaning up the callers that rely on ksft_exit_*() return code, since > > > > the functions ksft_exit_*() have never returned anything. > > > > > > > > Signed-off-by: Anders Roxell > > > > > > Lot of changes to fix this warning. Is this necessary? I would > > > like to explore if there is an easier and localized change that > > > can fix the problem. > > > > via `man 3 exit`: > > ``` > > The exit() function causes normal process termination ... > > ... > > RETURN VALUE > > The exit() function does not return. > > ``` > > so seeing `ksft_exit_pass`, `ksft_exit_fail`, `ksft_exit_fail_msg`, > > `ksft_exit_xfail`, `ksft_exit_xpass`, and `ksft_exit_skip` all > > unconditional call `exit` yet return an `int` looks wrong to me on > > first glance. So on that point this patch and its resulting diffstat > > LGTM. > > I'll respin the patch with these changes only. > > > > > That said, there are many changes that explicitly call `ksft_exit` > > with an expression; are those setting the correct exit code? Note that > > ksft_exit_pass is calling exit with KSFT_PASS which is 0. So some of > > the negations don't look quite correct to me. For example: > > > > - return !ksft_get_fail_cnt() ? ksft_exit_pass() : ksft_exit_fail(); > > + ksft_exit(!ksft_get_fail_cnt()); > > > > so if ksft_get_fail_cnt() returns 0, then we were calling > > ksft_exit_pass() which exited with 0. Now we'd be exiting with 1? > > oh, right, thank you for your review. > I will drop all the 'ksft_exit()' changes, they should be fixed and go > in as separete patches. tools/testing/selftests/vm/memfd_secret.c has the 'ksft_exit(!ksft_get_fail_cnt())' statement and when I looked at it it when I did this patch it looked correct. However, when I look at it now I get a bit confused how ksft_exit() can be used with ksft_get_fail_cnt(). @Mike can you please clarify the 'ksft_exit(!ksft_get_fail_cnt())' instance in tools/testing/selftests/vm/memfd_secret.c. Cheers, Anders