Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1760595AbbEEQZw (ORCPT ); Tue, 5 May 2015 12:25:52 -0400 Received: from mout.web.de ([212.227.17.12]:52858 "EHLO mout.web.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1760568AbbEEQZt (ORCPT ); Tue, 5 May 2015 12:25:49 -0400 Message-ID: <5548EEFE.8070106@users.sourceforge.net> Date: Tue, 05 May 2015 18:25:34 +0200 From: SF Markus Elfring User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.6.0 MIME-Version: 1.0 To: Julia Lawall , Nicholas Mc Guire CC: Coccinelle , LKML , Nicholas Mc Guire Subject: Re: [PATCH RFC] Coccinelle: Check for return not matching function signature References: <1430820761-28122-1-git-send-email-hofrat@osadl.org> In-Reply-To: Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 8bit X-Provags-ID: V03:K0:sphHHuHTLG/RQrmL9vDVN5sUYxB8QXi5sqky6JM61AXVptshcKv XlXLKgq8LrcwmOh5jsNDV00ODnfH8evgNdJb3Hj6o39wsPuX7U6RfF6v90OO2m6e8JlbaO0 IbZL3FipnwAHYc9GQOqYWyb1CiOT21xA04lGFvqxFNx/B0zX1pJajggjMBekx3Ph/4ICcgb UE7GoM364SMXlfnbcrpxw== X-UI-Out-Filterresults: notjunk:1; Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Content-Length: 535 Lines: 13 > 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)? Regards, Markus -- 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/