From mboxrd@z Thu Jan  1 00:00:00 1970
From: elfring@users.sourceforge.net (SF Markus Elfring)
Date: Sun, 26 Oct 2014 14:54:55 +0100
Subject: [Cocci] Remove unnecessary null pointer checks?
In-Reply-To: <alpine.DEB.2.10.1410260614460.2563@hadrien>
References: <5307CAA2.8060406@users.sourceforge.net>
 <alpine.DEB.2.02.1402212321410.2043@localhost6.localdomain6>
 <53085B37.6030005@users.sourceforge.net>
 <alpine.DEB.2.02.1402221333040.2017@localhost6.localdomain6>
 <5308E617.60705@users.sourceforge.net>
 <544C8FB3.9030000@users.sourceforge.net>
 <alpine.DEB.2.10.1410260614460.2563@hadrien>
Message-ID: <544CFD2F.7040904@users.sourceforge.net>
To: cocci@systeme.lip6.fr
List-Id: cocci@systeme.lip6.fr

I would like to show again that the version 1.0.0-rc22 works better than
1.0.0-rc20 for another use case.


> There is an isomorphism for unlikely, but it does not work well.

Interesting ...


> You can disable it (look in standard.iso to find the name and then put disable
> name between the initial @@).

Does your feedback refer also to the message "(ONCE) already tagged but only
removed, so safe" eventually?


I am curious how the shown profiling results will change over time because of
software improvements.

Regards,
Markus