[cocci] Improving software around information “ should be removed”

Markus Elfring <[email protected]>
Newsgroups fr.inria.cocci
Message-ID <[email protected]> 
Hello,

I tried some expressions out with the program interface “command-line semantic match”.
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/e6f8731b851f5d76d2731a9d546dc4f0b181526e/docs/manual/cocci_syntax.tex#L1920-1957

I observed that the message “should be removed” was presented according to my tests.
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/master/parsing_cocci/pretty_print_cocci.ml#L1210-1211

Will any improvements become helpful here?

Regards,
Markus
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.