tests/dc_close.cocci

   1 @@
   2 //identifier rule3.d_fill_fifo;
   3 struct IsdnCardState *cs;
   4 identifier E;
   5 @@
   6
   7         ... when != cs->DC_Send_Data
   8 (
   9 +       cs->DC_Send_Data = d_fill_fifo;
  10         cs->DC_Close = E;
  11 |
  12 +       cs->DC_Send_Data = &d_fill_fifo;
  13         cs->DC_Close = &E;
  14 )
  15         ... when != cs->DC_Send_Data