Print this page
11506 smatch resync


   8 int a;
   9 void test(void)
  10 {
  11         int ret;
  12 
  13         ret = load_sig(a);
  14         if (ret) {
  15                 __smatch_implied(ret);
  16                 __smatch_implied(a);
  17         } else {
  18                 __smatch_implied(a);
  19         }
  20 }
  21 
  22 /*
  23  * check-name: smatch select #5
  24  * check-command: smatch -I.. sm_select5.c
  25  *
  26  * check-output-start
  27 sm_select5.c:15 test() implied: ret = '(-12)'
  28 sm_select5.c:16 test() implied: a = 's32min-s32max'
  29 sm_select5.c:18 test() implied: a = '0-3'
  30  * check-output-end
  31  */


   8 int a;
   9 void test(void)
  10 {
  11         int ret;
  12 
  13         ret = load_sig(a);
  14         if (ret) {
  15                 __smatch_implied(ret);
  16                 __smatch_implied(a);
  17         } else {
  18                 __smatch_implied(a);
  19         }
  20 }
  21 
  22 /*
  23  * check-name: smatch select #5
  24  * check-command: smatch -I.. sm_select5.c
  25  *
  26  * check-output-start
  27 sm_select5.c:15 test() implied: ret = '(-12)'
  28 sm_select5.c:16 test() implied: a = 's32min-(-1),4-s32max'
  29 sm_select5.c:18 test() implied: a = '0-3'
  30  * check-output-end
  31  */