From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on archive.lwn.net X-Spam-Level: X-Spam-Status: No, score=-5.8 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,RCVD_IN_DNSWL_HI autolearn=unavailable autolearn_force=no version=3.4.1 Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by archive.lwn.net (Postfix) with ESMTP id 445AB7D2EE for ; Fri, 31 Aug 2018 08:12:07 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727512AbeHaMRo (ORCPT ); Fri, 31 Aug 2018 08:17:44 -0400 Received: from mail-wm0-f67.google.com ([74.125.82.67]:50714 "EHLO mail-wm0-f67.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727455AbeHaMRo (ORCPT ); Fri, 31 Aug 2018 08:17:44 -0400 Received: by mail-wm0-f67.google.com with SMTP id s12-v6so4335780wmc.0; Fri, 31 Aug 2018 01:11:27 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to:user-agent; bh=HWHotFyCbeXwo93md5yZJNBdp4L42J0NdqG+r75AZcw=; b=i6c26jQWF0Iu5z1TComV5mWy06NhZ6Ued+k6DJhLYX8383U9La+ZYB/DedYYKTed/Q CRFyNax2kZsUZhL5ZKr1myZ0itbCcnENl82I5FqUiuDBu4qXIyemN80ufQpxPjmKsB2P jbJ72Edsc4PbXJrq8O3uBcs4V3tvHuQvgrdoaedjxbqUb3EIht1Rxp5YFQWGoaNobbyo jcAklOWNYXNNq1xjaUa3YEMSdLp5jdQoO+83Q1memp4HP6vwtgZ9Td+MwP0Z7+ebcvsX SVYxvFpaNhBPZ6NW6I7FeuaFub3PQCsWHxbnR2TgeIwtZhCiT0PVW80BxeySdHTUgpvl H+lg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to:user-agent; bh=HWHotFyCbeXwo93md5yZJNBdp4L42J0NdqG+r75AZcw=; b=DDoe/3yfhPxmwXgk72nuJp91aoVNqPyUJGc3JlLf9oeAqqCxETEi/4Y7w/xExWuzs3 QDf5WM+31DmFeET6cyNFz2Liiyj1iafGxN9VQwh1QKsN+rCbxLrUeVlOgpTSZAlASs9D /GEVhXKRGaClzbQBXZsic74iiJ2YdeKgpYJJr8zHUTWORFwNNN3CUXtLiQUsgcyXcbDu 58C8+U2Eaw2obUOmE3F8OjdfgSQZtMuAygZUFj5Bn+278jDf+sPPYZYGF+EmlJL5y39t d9LaSneyRfKGBbFNrVjT5GJmJoLb9E7Pi+Ekcbth1hYMafL8u4HCE06dbnS23qk440TF eGwg== X-Gm-Message-State: APzg51A8DR/YaShO7YxyidO2qeQGM7Et25LItQDayaReLLAkgpDMomSB A8DiN9jaq26rgJDbUXJcJp8= X-Google-Smtp-Source: ANB0VdZyC0gkqfYbJfQc0tcE49aZjO+0//Xw4TP/LnxrazxM4lifPw/5F4k35a8sIajf8MkHUJcDUQ== X-Received: by 2002:a7b:c096:: with SMTP id r22-v6mr3508005wmh.118.1535703086966; Fri, 31 Aug 2018 01:11:26 -0700 (PDT) Received: from ltop.local ([2a02:a03f:4006:df00:41c4:f3ec:dcc3:6a2f]) by smtp.gmail.com with ESMTPSA id l130-v6sm5093490wmd.16.2018.08.31.01.11.25 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 31 Aug 2018 01:11:26 -0700 (PDT) Date: Fri, 31 Aug 2018 10:11:24 +0200 From: Luc Van Oostenryck To: Andrey Konovalov Cc: Catalin Marinas , Will Deacon , Mark Rutland , Robin Murphy , Al Viro , Kees Cook , Kate Stewart , Greg Kroah-Hartman , Andrew Morton , Ingo Molnar , "Kirill A . Shutemov" , Shuah Khan , linux-arm-kernel@lists.infradead.org, linux-doc@vger.kernel.org, linux-mm@kvack.org, linux-arch@vger.kernel.org, linux-kselftest@vger.kernel.org, linux-kernel@vger.kernel.org, Dmitry Vyukov , Kostya Serebryany , Evgeniy Stepanov , Lee Smith , Ramana Radhakrishnan , Jacob Bramley , Ruben Ayrapetyan , Chintan Pandya Subject: Re: [PATCH v6 11/11] arm64: annotate user pointers casts detected by sparse Message-ID: <20180831081123.6mo62xnk54pvlxmc@ltop.local> References: <5d54526e5ff2e5ad63d0dfdd9ab17cf359afa4f2.1535629099.git.andreyknvl@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <5d54526e5ff2e5ad63d0dfdd9ab17cf359afa4f2.1535629099.git.andreyknvl@google.com> User-Agent: NeoMutt/20180622 Sender: linux-doc-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-doc@vger.kernel.org On Thu, Aug 30, 2018 at 01:41:16PM +0200, Andrey Konovalov wrote: > This patch adds __force annotations for __user pointers casts detected by > sparse with the -Wcast-from-as flag enabled (added in [1]). > > [1] https://github.com/lucvoo/sparse-dev/commit/5f960cb10f56ec2017c128ef9d16060e0145f292 Hi, It would be nice to have some explanation for why these added __force are useful. -- Luc Van Oostenryck