validation/sm_select5.c

   1 #include "check_debug.h"
   2
   3 int load_sig(unsigned long sig)
   4 {
   5         return sig < 4 ? 0 : -12;
   6 }
   7
   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  */