> It seems that make coccicheck interprets anything being written on
> standard error as a fatal error.

How do you come to this conclusion?


> This seems like a strange point of view,

I would agree …


> as Coccinelle needs somewhere to print warnings that the user may also
> find useful.

This is usually fine.

But I am more concerned about the safe handling for the program exit status.


Excerpt from scripts/coccicheck:
…
run_cmd_parmap() {
…
        $@ 2>$DEBUG_FILE
        if [[ $? -ne 0 ]]; then
                echo "coccicheck failed"
                exit $?
        fi
}
…


Would you like to take another look at the returned exit code?


> But I have changed Coccinelle such that it prints this particular warning

Will the message reformatting around the information "… with comm_assoc iso"
be really sufficient?



> in a different way that will cause it to disappear when
> the option --very-quiet is used.

Thanks for another bit of fine-tuning in your software.

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to