validation/sm_implied7.c

   1 #include "check_debug.h"
   2 int a, b, c;
   3 int frob(void) {
   4         if (a && b != 1)
   5                 return;
   6
   7         __smatch_print_value("a");
   8         if (b == 0 && c) {
   9                 __smatch_print_value("a");
  10         }
  11         __smatch_print_value("a");
  12 }
  13 /*
  14  * check-name: Smatch implied #7
  15  * check-command: smatch -I.. sm_implied7.c
  16  *
  17  * check-output-start
  18 sm_implied7.c +7 frob(4) a = min-max
  19 sm_implied7.c +9 frob(6) a = 0
  20 sm_implied7.c +11 frob(8) a = min-max
  21  * check-output-end
  22  */