Re: [cocci] Logical consequences for applications of SmPL conjunctions
Markus Elfring <[email protected]> Mon, 30 Mar 2026 11:38:09 +0200
| Newsgroups | fr.inria.cocci |
|---|---|
| Message-ID | <[email protected]> |
> Are involved subterms as often evaluated as they are specified for such SmPL conjunctions? Will clarifications and development ideas evolve further also according to another SmPL script variant? @Example@ @@ ( // X: Check data 1 & // Y: Adjust data 2 ) Would a source code search start with the selection of entities which should be matched? Which item would you choose for a condition check here? Is collateral evolution involved then for the specification of SmPL code in companion branches like “Y”? Regards, Markus