validation/sm_impossible3.c

   1 #include "check_debug.h"
   2
   3 int a;
   4
   5 static void ad_agg_selection_logic(void)
   6 {
   7
   8         if (a < 0 || a > 2)
   9                 return;
  10
  11         switch (a) {
  12         case 1:
  13                 break;
  14         default:
  15                 __smatch_implied(a);
  16                 __smatch_states("register_impossible");
  17
  18         }
  19
  20         switch (a) {
  21         case 0:
  22         case 1:
  23         case 2:
  24                 break;
  25         default:
  26                 __smatch_implied(a);
  27                 __smatch_states("register_impossible");
  28         }
  29
  30         switch (a) {
  31         case 0:
  32         case 1:
  33         case 2:
  34         default:
  35                 __smatch_states("register_impossible");
  36         }
  37
  38         switch (a) {
  39         case 4:
  40                 __smatch_states("register_impossible");
  41         case 3:
  42         case 0:
  43                 __smatch_states("register_impossible");
  44                 break;
  45         case 1:
  46         case 2:
  47                 __smatch_states("register_impossible");
  48                 break;
  49         default:
  50                 __smatch_states("register_impossible");
  51         }
  52
  53
  54 }
  55
  56 /*
  57  * check-name: smatch impossible #3
  58  * check-command: smatch -I.. sm_impossible3.c
  59  *
  60  * check-output-start
  61 sm_impossible3.c:15 ad_agg_selection_logic() implied: a = '0,2'
  62 sm_impossible3.c:16 ad_agg_selection_logic() register_impossible: no states
  63 sm_impossible3.c:26 ad_agg_selection_logic() implied: a = ''
  64 sm_impossible3.c:27 ad_agg_selection_logic() [register_impossible] 'impossible' = 'impossible'
  65 sm_impossible3.c:35 ad_agg_selection_logic() [register_impossible] 'impossible' = 'merged' (impossible, undefined, merged)
  66 sm_impossible3.c:40 ad_agg_selection_logic() [register_impossible] 'impossible' = 'impossible'
  67 sm_impossible3.c:43 ad_agg_selection_logic() [register_impossible] 'impossible' = 'merged' (impossible, undefined, merged)
  68 sm_impossible3.c:47 ad_agg_selection_logic() [register_impossible] 'impossible' = 'merged' (impossible, undefined, merged)
  69 sm_impossible3.c:50 ad_agg_selection_logic() [register_impossible] 'impossible' = 'impossible'
  70  * check-output-end
  71  */