On Tue, 2020-03-31 at 08:28 +0200, Markus Elfring wrote: > > There is a block of if tests against the same variable > > in include/linux/mtd/pfow.h that likely is defective > > I wonder about this interpretation.
Wonder harder. If something is (& 3) it is also either (& 2 || & 1) so why have both below the first test? > * How often will this implementation detail really be a “defect”? Moderately likely. > * Where do you stumble on difficulties to express a corresponding source code > search pattern by the means of the semantic patch language? #defines, shifts, masks _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
