I have a lot of code with this sort of thing:

if (waserror()) {
    error stuff
}

if waserror() {
   more error stuff
   nexterror() goes to first waserror
}

if (bad2) error() // goes to second waserror

poperror()

if (bad1) error() // goes to first error

Now, by inspection, one can unwind this stuff but ... any thoughts on
whether this is doable by spatch?

This could get transformed into:

if (bad2) goto fail2

if (bad1) goto fail1

fail2:
  fail2 stuff
fail1:
   fail1 stuff



Thanks

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

Reply via email to