tests/three.cocci

   1 @ rule1 @
   2 identifier init;
   3 identifier XXX_attach, XXX_detach; // pad: XXX_detach useful ?
   4 @@
   5
   6   int init (...) {
   7     ...
   8     register_pccard_driver(&XXX_attach)
   9     ...
  10   }
  11
  12 @ rule2 extends rule1 @
  13 @@
  14
  15   init (...) {
  16     ...
  17 -   register_pccard_driver(&XXX_attach);
  18 -   return 0;
  19 +   return pcmcia_register_driver(&ZZZ_driver);
  20   }
  21
  22 @ rule3 extends rule1 @
  23 identifier exit;
  24 @@
  25
  26   exit (...) {
  27     ...
  28 -   unregister_pccard_driver(&dev_info);
  29 +   pcmcia_unregister_driver(&XXX_attach);
  30     ...
  31   }