>> * Reuse of "long int"? > If you mean adding int to 'unsigned long [long]' types, it does not work.
I am surprised. > For some reason it works only without adding int after long. The Coccinelle software should support the term "generic_ctype" from the SmPL grammar so far, shouldn't it? http://coccinelle.lip6.fr/docs/main_grammar005.html#ctype >> * Splitting of the suggested SmPL rule so that each source code check >> will be connected with appropriate warning messages. > Personally I prefer one message as it is more compact It might look convenient to combine a few source code checks. > and fits quite well in both cases, I got an other impression. > but I have no strong fillings with separate message for each case. * v@p < 0 Find places where this condition will always be false. *v@p >= 0 Find places where this condition will always be true. Will it help to distinguish these special cases also in your SmPL script strictly? Regards, Markus -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
