11506 smatch resync

          --- old/usr/src/tools/smatch/src/validation/sm_equiv1.c
          +++ new/usr/src/tools/smatch/src/validation/sm_equiv1.c

   1    1  #include "check_debug.h"
   2    2  
   3    3  int *something();
   4    4  
   5    5  int *one;
   6    6  int *two;
   7    7  int func(void)
   8    8  {
   9    9          one = something();
  10   10          two = one;
  11   11  
  12   12          if (two == 1) {
  13   13                  __smatch_value("one");
  14   14                  __smatch_value("two");
  15   15          }
  16   16          __smatch_value("one");
  17   17          __smatch_value("two");
  18   18          if (one == 2) {
  19   19                  __smatch_value("one");
  20   20                  __smatch_value("two");
  21   21          }
  22   22          __smatch_value("one");

  23   23          __smatch_value("two");
  24   24          return 0;
  25   25  }
  26   26  /*
  27   27   * check-name: smatch equivalent variables #1
  28   28   * check-command: smatch -I.. -m64 sm_equiv1.c
  29   29   *
  30   30   * check-output-start
  31   31  sm_equiv1.c:13 func() one = 1
  32   32  sm_equiv1.c:14 func() two = 1
  33      -sm_equiv1.c:16 func() one = s64min-s64max
  34      -sm_equiv1.c:17 func() two = s64min-s64max
       33 +sm_equiv1.c:16 func() one = 0-u64max
       34 +sm_equiv1.c:17 func() two = 0-u64max
  35   35  sm_equiv1.c:19 func() one = 2
  36   36  sm_equiv1.c:20 func() two = 2
  37      -sm_equiv1.c:22 func() one = s64min-s64max
  38      -sm_equiv1.c:23 func() two = s64min-s64max
       37 +sm_equiv1.c:22 func() one = 0-u64max
       38 +sm_equiv1.c:23 func() two = 0-u64max
  39   39   * check-output-end
  40   40   */
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX