Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752291AbbKIRsf (ORCPT ); Mon, 9 Nov 2015 12:48:35 -0500 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:9476 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751838AbbKIRsd (ORCPT ); Mon, 9 Nov 2015 12:48:33 -0500 X-IronPort-AV: E=Sophos;i="5.20,266,1444687200"; d="scan'208";a="186800151" Date: Mon, 9 Nov 2015 17:48:31 +0000 (GMT) From: Julia Lawall X-X-Sender: jll@hadrien To: Emese Revfy cc: kernel-hardening@lists.openwall.com, Julia Lawall , Dan Carpenter , Joe Perches , kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org, Kees Cook Subject: Re: [kernel-hardening] Re: [PATCH] video: constify geode ops structures In-Reply-To: <20151109180555.28c45c3ccaf2042dd7fefec4@gmail.com> Message-ID: References: <1447018493-20631-1-git-send-email-Julia.Lawall@lip6.fr> <20151108221624.GP18797@mwanda> <20151109054253.GQ18797@mwanda> <20151109134942.GB8264@mwanda> <20151109180555.28c45c3ccaf2042dd7fefec4@gmail.com> User-Agent: Alpine 2.10 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 1617 Lines: 42 On Mon, 9 Nov 2015, Emese Revfy wrote: > On Mon, 9 Nov 2015 14:50:47 +0000 (GMT) > Julia Lawall wrote: > > > Actually, it looks like Emese Revfy is going to merge the GCC plugin > > > constify stuff sooner rather than later so maybe adding all these consts > > > isn't going to be needed. > > > > Is there any advantage of const over the plugin? The consts are easy to > > add. > > Hi, > > I think it's a very good advantage that the plugin constifies automatically > without regular maintenance (e.g., generate patches with coccinelle, > send patches to the maintainers every new kernel version). ;) > But if it doesn't convince you, I did constification by hand (with a coccinelle > script) some years ago. > There are too many types that can be const and it took too long to prepare and > get the maintainers to accept the patches. > And it never ends as there are always new types that can be const. What happens if some structures cannot be made const because there is a reassignment somewhere? Is there any feedback about the problem? julia > > > Does the plugin help for structures that have non-function fields? > Yes, it does. See __do_const here: > http://www.openwall.com/lists/kernel-hardening/2015/11/06/11 > or more about the constify plugin: > https://pax.grsecurity.net/docs/PaXTeam-H2HC13-PaX-gcc-plugins.pdf > > -- > Emese > -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/