>> Where does the added number come from for the identifier “reg1”? > > It's in the source code, at a different position than the reg result.
You (and the script variant “list_duplicate_statement_pairs_from_if_branches6.cocci”) are right. A bit of exception handling code can be repeated too often in two function implementations from the source file “stv0297.c” according to the Linux coding style, can't it? Will software development challenges be reconsidered around the shown source code analysis approach together with the SmPL setting “forall”? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
