1 #include "check_debug.h"
   2 int a, b, c;
   3 int frob(void) {
   4         if (a && b != 1)
   5                 return;
   6 
   7         __smatch_value("a");
   8         if (b == 0 && c) {
   9                 __smatch_value("a");
  10         }
  11         __smatch_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() a = s32min-s32max
  19 sm_implied7.c:9 frob() a = 0
  20 sm_implied7.c:11 frob() a = s32min-s32max
  21  * check-output-end
  22  */