11506 smatch resync

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

   1    1  #include "check_debug.h"
   2    2  
   3    3  struct foo {
   4    4          int x;
   5    5  };
   6    6  
   7    7  void *frob();
   8    8  
   9    9  struct foo *foo;
  10   10  
  11   11  int x;
  12   12  
  13   13  static void ad_agg_selection_logic(void)
  14   14  {
  15   15          int a;
  16   16  
  17   17  
  18   18          if (x) {
  19   19                  if (foo && foo->x)
  20   20                          a = 1;
  21   21                  else
  22   22                          a = 0;
  23   23  
  24   24                  if (frob())
  25   25                          a = frob();

  26   26  
  27   27                  if (a)
  28   28                          __smatch_implied(foo);
  29   29          }
  30   30  }
  31   31  /*
  32   32   * check-name: smatch implied #12
  33   33   * check-command: smatch -I.. -m64 sm_implied12.c
  34   34   *
  35   35   * check-output-start
  36      -sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-2117777777777777777'
       36 +sm_implied12.c:28 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
  37   37   * check-output-end
  38   38   */
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX