From 294b1afd72c9d53a13532de4760c3dd4fb7a77eb Mon Sep 17 00:00:00 2001 From: rlar Date: Thu, 8 Mar 2018 18:05:10 +0100 Subject: [PATCH] rewrite-rw, rewrite-sw-2.cocci, .cocci script --- rewrite-sw-2.cocci | 39 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 rewrite-sw-2.cocci diff --git a/rewrite-sw-2.cocci b/rewrite-sw-2.cocci new file mode 100644 index 000000000..0cd2f49bd --- /dev/null +++ b/rewrite-sw-2.cocci @@ -0,0 +1,39 @@ +// (compile "git ls-files -- 'src/spicelib/devices/sw/*.c' 'src/spicelib/devices/csw/*.c' | xargs -P8 -n1 spatch --smpl-spacing --sp-file rewrite-sw-2.cocci --in-place && git commit -am 'rewrite-sw, coccinelle semantic patch #2'") +// (compile "git ls-files -- 'src/spicelib/devices/sw/*.c' 'src/spicelib/devices/csw/*.c' | xargs -P8 -n1 spatch --smpl-spacing --sp-file rewrite-sw-2.cocci") + + + +@r1@ +symbol ckt, CKTstates, CKTstate0, CKTstate1; +@@ +( +- ckt->CKTstates[0] ++ ckt->CKTstate0 +| +- ckt->CKTstates[1] ++ ckt->CKTstate1 +) + + +@r2@ +identifier here; +@@ +( +- here->SWstate + 0 ++ here->SWswitchstate +| +- here->SWstate + 1 ++ here->SWctrlvalue +) + + +@r3@ +identifier here; +@@ +( +- here->CSWstate + 0 ++ here->CSWswitchstate +| +- here->CSWstate + 1 ++ here->CSWctrlvalue +)