tools/zprivs.cocci

   1 @@
   2 identifier change;
   3 identifier end;
   4 expression E, f, g;
   5 iterator name frr_elevate_privs;
   6 @@
   7
   8 - if (E.change(ZPRIVS_RAISE))
   9 -   f;
  10 + frr_elevate_privs(&E) {
  11   <+...
  12 -   goto end;
  13 +   break;
  14   ...+>
  15 - end:
  16 - if (E.change(ZPRIVS_LOWER))
  17 -   g;
  18 + }
  19
  20 @@
  21 identifier change, errno, safe_strerror, exit;
  22 expression E, f1, f2, f3, ret, fn;
  23 iterator name frr_elevate_privs;
  24 @@
  25
  26   if (E.change(ZPRIVS_RAISE))
  27     f1;
  28   ...
  29   if (...) {
  30 -   int save_errno = errno;
  31     ...
  32 -   if (E.change(ZPRIVS_LOWER))
  33 -     f2;
  34     ...
  35 -   safe_strerror(save_errno)
  36 +   safe_strerror(errno)
  37     ...
  38     \( return ret; \| exit(ret); \)
  39   }
  40   ...
  41   if (E.change(ZPRIVS_LOWER))
  42     f3;
  43
  44 @@
  45 identifier change;
  46 expression E, f1, f2, f3, ret;
  47 iterator name frr_elevate_privs;
  48 @@
  49
  50   if (E.change(ZPRIVS_RAISE))
  51     f1;
  52   ...
  53   if (...) {
  54     ...
  55 -   if (E.change(ZPRIVS_LOWER))
  56 -     f2;
  57     ...
  58     return ret;
  59   }
  60   ...
  61   if (E.change(ZPRIVS_LOWER))
  62     f3;
  63
  64 @@
  65 identifier change;
  66 expression E, f, g;
  67 iterator name frr_elevate_privs;
  68 @@
  69
  70 - if (E.change(ZPRIVS_RAISE))
  71 -   f;
  72 + frr_elevate_privs(&E) {
  73   ...
  74 - if (E.change(ZPRIVS_LOWER))
  75 -   g;
  76 + }