> I don't know if this would find much. Intuitively, one might expect such > problems to be detected easily by testing or developers to know better in > thw first place, but who knows.
I see the software development challenge in the analysis of the expression which is used in a condition check. Such an expression could be constructed out of several elements. I am still unsure on how a data type property like "volatile" can be safely determined by the semantic patch language for each used element. I would be able to specify a filter for a single element as you suggest. But is the combination of some elements more interesting for the general use case? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
