Received: by 2002:ac0:a5a6:0:0:0:0:0 with SMTP id m35-v6csp1968336imm; Fri, 7 Sep 2018 08:50:43 -0700 (PDT) X-Google-Smtp-Source: ANB0VdZBp9UO/P4yEDJjE25bEo+/wgA/SWWa32Xg2fE9Q7jO3Q18ELq2nBOQdsU3aUSWlRbrXvnV X-Received: by 2002:a63:cc04:: with SMTP id x4-v6mr8683925pgf.33.1536335443790; Fri, 07 Sep 2018 08:50:43 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1536335443; cv=none; d=google.com; s=arc-20160816; b=wovZEG6GyQHHi6JPPIfbqiJcga8mk1w9bXG4ml509puXjRuASmlgROey5lOYWk0agN OQj95g3KfYD8CPLuVF0vWXGhBb+u+TnwEjRWHkOvD+OeSHzUFJtLHn0TCsyVZPf1CjgT owDdxPgZJLHJAMGZbqzke3+GLNG6hlkx7ZoPBFxvDreiayeXGdBOniS2QjPceyYXAVnE jybg2dw1HMwUyshA5rmsZC7RxW55PyiJnip3Dy54NMt9L2CflXMy7+bTKz+VKYmgyEj6 U4ste6gn4oQ06NFllQUPUtpbMuVPqlhmtT8v0MpV0X6zvetAzWrP3JWIcqVHixWeAG94 FUxQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding :content-language:in-reply-to:mime-version:user-agent:date :message-id:references:cc:to:from:subject; bh=+QQCtimnbPhTKd9WeLcwA/NEv3WvuEusm0vg2vW8w8E=; b=Vas2UzFlI+4+O0ebwoveqkwhVh1IBvYiqRH6cVx+20CDSu2WwQBgVs/ErJr3nouthf itPqe4qYCgUHPhs29u62UMaPvewESzPpG6X9Rh2c5r1DM/mpC93eCPI0oC4W7B/DrEdD cmh/Oab+5hNXe3PpYiG8QXU65Lbln/ykD1OLZRytdrnIe6dJnKLhJL3Y6dE7wOpx0g4o Yt/A+OVBPkmiP/YrYzgtIBc0fFD7sGv6XSLUy13ZFXO8avCw14fTpKuObu5XSk4yLN/d PpHU/xGnJvR6PyNiZaoknbeuZ1dD1/s6OyMSY2fi8e9EZfzLhsNad0NFnxjotHZRNTuv V2Yg== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id a33-v6si8803119pld.269.2018.09.07.08.50.28; Fri, 07 Sep 2018 08:50:43 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729892AbeIGTPM (ORCPT + 99 others); Fri, 7 Sep 2018 15:15:12 -0400 Received: from pegase1.c-s.fr ([93.17.236.30]:1054 "EHLO pegase1.c-s.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727659AbeIGTPM (ORCPT ); Fri, 7 Sep 2018 15:15:12 -0400 Received: from localhost (mailhub1-int [192.168.12.234]) by localhost (Postfix) with ESMTP id 426Kgl3MMfz9ttFX; Fri, 7 Sep 2018 16:33:55 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at c-s.fr Received: from pegase1.c-s.fr ([192.168.12.234]) by localhost (pegase1.c-s.fr [192.168.12.234]) (amavisd-new, port 10024) with ESMTP id KZTHsUm-_W7V; Fri, 7 Sep 2018 16:33:55 +0200 (CEST) Received: from messagerie.si.c-s.fr (messagerie.si.c-s.fr [192.168.25.192]) by pegase1.c-s.fr (Postfix) with ESMTP id 426Kgl2nWhz9ttFT; Fri, 7 Sep 2018 16:33:55 +0200 (CEST) Received: from localhost (localhost [127.0.0.1]) by messagerie.si.c-s.fr (Postfix) with ESMTP id 1EAFE8B94C; Fri, 7 Sep 2018 16:33:59 +0200 (CEST) X-Virus-Scanned: amavisd-new at c-s.fr Received: from messagerie.si.c-s.fr ([127.0.0.1]) by localhost (messagerie.si.c-s.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id iLhzZ55TFrse; Fri, 7 Sep 2018 16:33:59 +0200 (CEST) Received: from PO15451 (po15451.idsi0.si.c-s.fr [172.25.231.3]) by messagerie.si.c-s.fr (Postfix) with ESMTP id BD2ED8B950; Fri, 7 Sep 2018 16:33:58 +0200 (CEST) Subject: Re: Conflict between sparse and commit cafa0010cd51f ("Raise the minimum required gcc version to 4.6") From: Christophe LEROY To: Joe Perches , Kees Cook , Nick Desaulniers Cc: linux-kernel@vger.kernel.org, linux-sparse@vger.kernel.org References: <81a5fd11-366c-0897-4143-d8d041420a41@c-s.fr> Message-ID: <1324e7d6-83f8-f40f-ad34-c46e4ad3139b@c-s.fr> Date: Fri, 7 Sep 2018 16:33:58 +0200 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 MIME-Version: 1.0 In-Reply-To: <81a5fd11-366c-0897-4143-d8d041420a41@c-s.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: fr Content-Transfer-Encoding: 8bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Cc linux-sparse@vger.kernel.org Le 07/09/2018 à 14:22, Christophe Leroy a écrit : > Since commit cafa0010cd51f ("Raise the minimum required gcc version to > 4.6"), sparse check fails as follows: > > [root@pc16082vm linux-powerpc]# make C=2 arch/powerpc/kernel/process.o >   CALL    scripts/checksyscalls.sh >   CHECK   scripts/mod/empty.c > ./include/linux/compiler-gcc.h:14:3: error: Sorry, your compiler is too > old - please upgrade it. >   CHECK   arch/powerpc/kernel/process.c > ./include/linux/compiler-gcc.h:14:3: error: Sorry, your compiler is too > old - please upgrade it. > > > I have sparse version 0.5.2 > > What can be done to fix that ? > > Christophe