Is there a way to combine those 2 patches in one file?
For example, following spatch:
_____________________________
// spatch --in-place --sp-file my.spatch tests/test.c
@@
@@
- #define OLD(msg, data, len) ...
@@
expression a, b, c;
@@
- OLD(a, b, c);
+ if (!my_func(a, b, c))
+ abort();
_____________________________
Gives me following error:
rule starting on line 2: node 25: [end][] in something_else reachable by
inconsistent control-flow paths
which I don't know how to interpret.
--
- Max Suraev <[email protected]> http://www.sysmocom.de/
=======================================================================
* sysmocom - systems for mobile communications GmbH
* Alt-Moabit 93
* 10559 Berlin, Germany
* Sitz / Registered office: Berlin, HRB 134158 B
* Geschaeftsfuehrer / Managing Directors: Harald Welte
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
