>> elfring@Sonne:~/Projekte/Linux/next-patched> spatch >> ~/Projekte/Coccinelle/janitor/show_questionable_variable_initialisation1.cocci >> drivers/misc/lkdtm/core.c >> … >> exn while in timeout_function >> Fatal error: exception Coccinelle_modules.Common.Impossible(56) >> >> >> How do you think about the software situation? > > This problem is now fixed.
Another aspect was improved also for the Coccinelle software. The following SmPL script variant can point source code places out for further considerations. @display@ binary operator bo; expression e1, e2, e3, call; identifier var; statement is, es; type t; @@ *t var = e1; ... when != if ( \( var bo e2 \| var \) ) is else es when != call(..., var, ...) when exists *var = e3 But it seems that data flow analysis would be needed to exclude remaining false positives for such a source code search pattern. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci