Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752189AbbEEVqw (ORCPT ); Tue, 5 May 2015 17:46:52 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:18531 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750810AbbEEVqv (ORCPT ); Tue, 5 May 2015 17:46:51 -0400 X-IronPort-AV: E=Sophos;i="5.13,375,1427752800"; d="scan'208";a="139121070" Date: Tue, 5 May 2015 23:46:41 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@hadrien To: SF Markus Elfring cc: Julia Lawall , Nicholas Mc Guire , Coccinelle , LKML , Nicholas Mc Guire Subject: Re: [PATCH RFC] Coccinelle: Check for return not matching function signature In-Reply-To: <5548EEFE.8070106@users.sourceforge.net> Message-ID: References: <1430820761-28122-1-git-send-email-hofrat@osadl.org> <5548EEFE.8070106@users.sourceforge.net> 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: 607 Lines: 16 On Tue, 5 May 2015, SF Markus Elfring wrote: > > Then Coccinelle will find the cases where the types are wrong, rather than > > requiring a test in python. > > Do you need a minus character in the first text column of the SmPL scripts then > to mark corresponding update candidates (instead of the mentioned warning printing)? He has a *, as he should. julia -- 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/