On Thu, 16 Jul 2015, SF Markus Elfring wrote:
> > void receiver(...)
> > {
> > ...
> > (
> > - exit(...);
> > |
> > - fprintf(...);
> > )
> > ...
> > }
> > …
> > diff -u -p a/backend/ipp.c b/backend/ipp.c
> > --- a/backend/ipp.c
> > +++ b/backend/ipp.c
> > @@ -3271,8 +3271,6 @@ sigterm_handler(int sig) /* I - Signal
> >
> > if (tmpfilename[0])
> > unlink(tmpfilename);
> > -
> > - exit(1);
>
> I find another detail interesting in this generated patch.
> The Coccinelle software suggests here to delete also a blank line
> at a specific source code place. I would usually interpret
> this SmPL script example in the way that I did not express the removal
> of blank lines.
Is there a blank line after the call to exit(1); also? I think that it
tries toavoid creeating two blank lines.
julia
>
> How often do you care if additional source code reformatting should
> happen around a specific change (or not)?
>
> Regards,
> Markus
> _______________________________________________
> Cocci mailing list
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
