From mboxrd@z Thu Jan 1 00:00:00 1970 From: Luc Van Oostenryck Subject: Re: complain about re-declared functions with different modifiers Date: Fri, 15 May 2020 18:18:05 +0200 Message-ID: <20200515161805.3xcxg3woquhbpspc@ltop.local> References: <20200514140451.GD2078@kadam> <20200514205604.f4uxvv7lf4wrg4un@ltop.local> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from lindbergh.monkeyblade.net ([23.128.96.19]:51682 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-FAIL-OK-FAIL) by vger.kernel.org with ESMTP id S1726144AbgEOQSI (ORCPT ); Fri, 15 May 2020 12:18:08 -0400 Received: from mail-wr1-x42f.google.com (mail-wr1-x42f.google.com [IPv6:2a00:1450:4864:20::42f]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id C538EC061A0C for ; Fri, 15 May 2020 09:18:07 -0700 (PDT) Received: by mail-wr1-x42f.google.com with SMTP id l11so4272183wru.0 for ; Fri, 15 May 2020 09:18:07 -0700 (PDT) Content-Disposition: inline In-Reply-To: Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Linus Torvalds Cc: Dan Carpenter , Sparse Mailing-list On Thu, May 14, 2020 at 03:32:38PM -0700, Linus Torvalds wrote: > > And gcc refuses to compile it with > > error: redefinition of ‘a’ > > which is admittedly very sane. > > So I think sparse is in the wrong here, and we should consider both > external and static symbols to be in the same scope and conflict with > each other unless their declarations match. Yes, I agree. I'll see what can be done for this. -- Luc