On Thu, 27 Mar 2014, SF Markus Elfring wrote: > > 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?
Coccinelle makes an effort to infer types. YOu may need to use eg --recursive-includes and --relax-include-path to get the most possible type information. julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
