11506 smatch resync

          --- old/usr/src/tools/smatch/src/validation/sm_implied11.c
          +++ new/usr/src/tools/smatch/src/validation/sm_implied11.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  static void ad_agg_selection_logic(void)
  12   12  {
  13   13          int a;
  14   14  
  15   15  
  16   16          if (foo && foo->x)
  17   17                  a = 1;
  18   18          else
  19   19                  a = 0;
  20   20  
  21   21          if (frob())

  22   22                  a = frob();
  23   23  
  24   24          if (a)
  25   25                  __smatch_implied(foo);
  26   26  }
  27   27  /*
  28   28   * check-name: smatch implied #11
  29   29   * check-command: smatch -I.. -m64 sm_implied11.c
  30   30   *
  31   31   * check-output-start
  32      -sm_implied11.c:25 ad_agg_selection_logic() implied: foo = '0,4096-2117777777777777777'
       32 +sm_implied11.c:25 ad_agg_selection_logic() implied: foo = '0,4096-ptr_max'
  33   33   * check-output-end
  34   34   */
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX