tests/ali.cocci

   1 @ rule1 @
   2 fresh identifier agp_driver_struct;
   3 function fn;
   4 identifier ent,dev;
   5 @@
   6
   7 + static struct agp_driver agp_driver_struct = {
   8 +   .owner = THIS_MODULE,
   9 + };
  10 fn (struct pci_dev *dev, struct pci_device_id *ent) {
  11     ...
  12 (
  13 -   agp_register_driver(dev);
  14 +   agp_driver_struct.dev = dev;
  15 +   agp_register_driver(&agp_driver_struct);
  16 |
  17     if (...) { // a non-error pathm, but looks like an error path
  18       ...
  19 -     agp_register_driver(dev);
  20 +     agp_driver_struct.dev = dev;
  21 +     agp_register_driver(&agp_driver_struct);
  22       ...
  23       return 0;
  24     }
  25 )
  26     ...
  27   }
  28
  29 @ rule2 extends rule1 @
  30 @@
  31 -   agp_unregister_driver();
  32 +   agp_unregister_driver(&agp_driver_struct);