On Mon, 2015-11-09 at 18:12 +0000, Julia Lawall wrote: > > On Mon, 9 Nov 2015, Dan Carpenter wrote: > > > Yeah, that's tricky and I don't have an answer but marking things as > > const is a worth while in itself because it makes static some analysis > > easier. > > I'm not clear on how to proceed here... I think not relying on gcc plugins would be good and would not be harmful even with a future plugin use. So I think sending patches to add const is good. -- To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html