Received: by 2002:a05:6a10:f347:0:0:0:0 with SMTP id d7csp411575pxu; Tue, 1 Dec 2020 14:37:29 -0800 (PST) X-Google-Smtp-Source: ABdhPJw7SbWVpivXkpGUrvPpgSa4oHqet7d/GaVHzt5HeyVu59cGTxrSFMdsONQY4/mUECTDfwVm X-Received: by 2002:a17:906:6bc9:: with SMTP id t9mr5221268ejs.472.1606862249033; Tue, 01 Dec 2020 14:37:29 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1606862249; cv=none; d=google.com; s=arc-20160816; b=PP83M60wsuKIRk8MUGdTENnlvX7ABYguHTtmQXUYJTapY2WHc9vEvHV7+vtEI9nQgn C3KrFddme3qcSb90jHPMLd3AOoUaMqCyNYUWEa09PS6gRL6ZR7nB52ghUK8+Fip4mkDU NZ0nm9DN3XI63Oh4ode/N7uo+uriNLbk0nxLIv41w8eTpjyEXgYKdYJackZmj8Egbghb 1Xo9+LmfscjsKT5R3FJ001jHAvu4uB4c6KUyykPeTg6cQ58HGRgX2FG8cvWGSPipIo3z 1zohgtt8Da361k/sgh0LkHG4TwLTUEPLRy0uNlw0iO9iPvbgreFT26Z/NGRMNdfOL+H0 0jcg== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-disposition:mime-version :references:message-id:subject:cc:to:from:date:dkim-signature; bh=RnGA5Cc3+ZrsRdSAsahPpcoJsQNEjff88u4YaGWhsTo=; b=UqXCTxJaoGOqpBw5FR2YvbKJnM35IjHHaSXK9vFJ9HnPpLloFnwpiwl1Zstg98s+Zz s7aggy79+ZoDY0PTiWzLDbsWkqcM+75fG0lLn4YhZGRmvXWI81DIFWByhq1YLdeG9aRr 6DF/pij9WsUyYqBEKSSFTfD8lkTtIGK4c8VYqC1xqHEzxiEDw1quYNcUzCR7HmcttxDz 2ySIkZp1mOi4w8TDVImg5rQsx4AWxQBYidef8IcuJ7g4LrGIkMc4HaygJt/zCLOi0+DL 9U4WfIWWpgMO7nS6bDiz6WjkYytnMYe0W2DJWCa0HsBVPcg6d+QF/vswEGNuqnj88DPT 5X0Q== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=Wfmg+OHN; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id a88si827788ede.230.2020.12.01.14.37.06; Tue, 01 Dec 2020 14:37:29 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@infradead.org header.s=casper.20170209 header.b=Wfmg+OHN; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S2404065AbgLAQO5 (ORCPT + 99 others); Tue, 1 Dec 2020 11:14:57 -0500 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:34446 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S2392050AbgLAQO5 (ORCPT ); Tue, 1 Dec 2020 11:14:57 -0500 Received: from casper.infradead.org (casper.infradead.org [IPv6:2001:8b0:10b:1236::1]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id D495FC0613CF for ; Tue, 1 Dec 2020 08:14:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=casper.20170209; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=RnGA5Cc3+ZrsRdSAsahPpcoJsQNEjff88u4YaGWhsTo=; b=Wfmg+OHNLDPR49wJEmpRclrDIL S/j2mvnUegPbrs/9gS8CEPrHBj3ZJdlgiEphxf5H3JArP3fPnUW51xQrParI1vllsGyd6hAAuZBi/ Z33Y8vgdwRtk8DiZhL7rodrxT1kGfxQ2RhC6ygMiEOOXy8ogQJ6ReiYIXUj3Q790mVbYU6s2sxPVv FQsZ/7CM8JNw9PUPkorYK77AWtajra0DKaoIbwp1x1WJ6Y71WlIxAibzMjVjTHluawX+PrGAxGXpd MgAnRa5IP4s52F/AZQNWo2XA5GblqbE0AwrzJQDtT9RJgT0RoS4g/YgC+a9G8K4VlGsrTWSquX8Jq yuwd5dJg==; Received: from hch by casper.infradead.org with local (Exim 4.92.3 #3 (Red Hat Linux)) id 1kk8IA-0003By-KE; Tue, 01 Dec 2020 16:14:14 +0000 Date: Tue, 1 Dec 2020 16:14:14 +0000 From: Christoph Hellwig To: Marco Elver Cc: linux-kernel@vger.kernel.org, kasan-dev@googlegroups.com, masahiroy@kernel.org, ndesaulniers@google.com, joe@perches.com Subject: Re: [PATCH] genksyms: Ignore module scoped _Static_assert() Message-ID: <20201201161414.GA10881@infradead.org> References: <20201201152017.3576951-1-elver@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20201201152017.3576951-1-elver@google.com> X-SRS-Rewrite: SMTP reverse-path rewritten from by casper.infradead.org. See http://www.infradead.org/rpr.html Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Why not use the kernels own BUILD_BUG_ON instead of this idiom?