>>> 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 > > Yes.
Unfortunately, I might stumble still on difficulties for the understanding of desired and actually observed software behaviour (because of remaining open issues). Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci