From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1752601AbcJNIv7 (ORCPT ); Fri, 14 Oct 2016 04:51:59 -0400 Received: from www381.your-server.de ([78.46.137.84]:55215 "EHLO www381.your-server.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751203AbcJNIvj (ORCPT ); Fri, 14 Oct 2016 04:51:39 -0400 Subject: Re: [PATCH] Coccinelle: misc: Improve the script for more accurate results To: Vaishali Thakkar , Julia Lawall References: <1476354490-25635-1-git-send-email-vaishali.thakkar@oracle.com> <57FFBDE0.6000705@oracle.com> Cc: mmarek@suse.com, Gilles Muller , nicolas.palix@imag.fr, cocci@systeme.lip6.fr, linux-kernel@vger.kernel.org From: Lars-Peter Clausen Message-ID: <66694ba2-9108-b400-e412-d9927f593e16@metafoo.de> Date: Fri, 14 Oct 2016 10:51:26 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Icedove/45.1.0 MIME-Version: 1.0 In-Reply-To: <57FFBDE0.6000705@oracle.com> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit X-Authenticated-Sender: lars@metafoo.de Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On 10/13/2016 07:01 PM, Vaishali Thakkar wrote: > > > On Thursday 13 October 2016 09:45 PM, Julia Lawall wrote: >> >> >> On Thu, 13 Oct 2016, Vaishali Thakkar wrote: >> >>> Currently because of the left associativity of the operators, >>> pattern IRQF_ONESHOT | flags does not match with the pattern >>> when we have more than one flag after the disjunction. This >>> eventually results in giving false positives by the script. >>> The patch eliminates these FPs by improving the rule. >>> >>> Also, add a new rule to eliminate the false positives given by >>> the new line issue. >>> >>> Misc: >>> >>> 1. Add support for the context, org and report mode in the case >>> of devm_request_threaded_irq >>> 2. To be consistent with other scripts, change the confidence >>> level to 'Moderate' >> >> I'm getting a lot more reports for context mode than for patch mode, eg >> for sound/pcmcia/vx/vxpocket.c. Is this normal? > > This seems to be because of the ... in '*request_threaded_irq@p(...)'. > Usually I think we should have same rules for the patch and context mode. > But the original code does not do that. So, I was not sure if that was > intentional or not. > [just in case, person wants to check all cases of these functions using > context mode] To be honest, I don't remember if it was intentional or not. But looking at it now, I'd say context mode should use the same pattern as the report mode. The way it is right now context mode certainly generates a fair amount of false positives. As for your patch I'd say split this into multiple patches, one patch to add the missing devm_ variants to the context and report mode and one patch to improve the matching, since these are two independent changes.