> +@safe depends on context || org || report exists@ > +expression x; > +position p; > +@@ > + > +( > + x = kmalloc(...) > +| > + x = kvasprintf(...) …
* How do you think about to reduce also a bit of duplicate SmPL code? * Can it help to work with nested SmPL disjunctions here? Regards, Markus