Print this page
11506 smatch resync


  16 
  17 
  18         if (x) {
  19                 if (foo && foo->x)
  20                         a = 1;
  21                 else
  22                         a = 0;
  23 
  24                 if (frob())
  25                         a = frob();
  26 
  27                 if (a)
  28                         __smatch_implied(foo);
  29         }
  30 }
  31 /*
  32  * check-name: smatch implied #12
  33  * check-command: smatch -I.. -m64 sm_implied12.c
  34  *
  35  * check-output-start
  36 sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-2117777777777777777'
  37  * check-output-end
  38  */


  16 
  17 
  18         if (x) {
  19                 if (foo && foo->x)
  20                         a = 1;
  21                 else
  22                         a = 0;
  23 
  24                 if (frob())
  25                         a = frob();
  26 
  27                 if (a)
  28                         __smatch_implied(foo);
  29         }
  30 }
  31 /*
  32  * check-name: smatch implied #12
  33  * check-command: smatch -I.. -m64 sm_implied12.c
  34  *
  35  * check-output-start
  36 sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
  37  * check-output-end
  38  */