>> ... when any >> when != pointer = \( action(...) \| x \) >> *if ( >> ( !pointer >> | pointer == NULL >> ) > > pointer == NULL would have been sufficient (not related to the noted > problems).
Should this detail be handled as an isomorphism? https://github.com/coccinelle/coccinelle/blob/19ee1697bf152d37a78a20cefe148775bf4b0e0d/standard.iso#L134 >> elfring@Sonne:~/Projekte/Linux/next-patched> spatch >> ~/Projekte/Coccinelle/janitor/show_pointer_access_before_null_check3.cocci >> drivers/firmware/efi/runtime-wrappers.c >> … >> Fatal error: exception File "engine/ctlcocci_integration.ml", line 361, >> characters 4-10: Assertion failed >> elfring@Sonne:~/Projekte/Linux/next-patched> spatch >> ~/Projekte/Coccinelle/janitor/show_pointer_access_before_null_check3.cocci >> net/core/dev.c >> … >> no position information > > Thanks for the reports. These are related to dead code and will be > addressed sooner (second case) or later (first case). I am curious on further collateral evolution. Would you like to discuss any extensions for the affected software areas (besides the mentioned error messages)? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
