11506 smatch resync

          --- old/usr/src/tools/smatch/src/smatch_data/kernel.ignore_side_effects
          +++ new/usr/src/tools/smatch/src/smatch_data/kernel.ignore_side_effects

   1    1  /*
   2    2   * Manually created.
   3    3   *
   4    4   * Most of these have intentional side effects.
   5    5   * Some of them like put_user() and friends, have side effects when __CHECKER__
   6    6   * is defined but not in the compiled kernel.
   7    7   */
   8    8  ADD_STA_STATS
   9    9  ARCH_DLINFO
  10   10  AWDATA
  11   11  ENCODE
  12   12  ENCODE_DATA
  13   13  ENCODE_STR
  14   14  get_child
  15   15  get_child_rcu
  16   16  get_unaligned
  17   17  get_user
  18   18  __get_user
  19   19  __get_user_nocheck
  20   20  hybrid_tuner_request_state
  21   21  iterate_bvec
  22   22  iterate_all_kinds
  23   23  lookup
  24   24  lookup_rightempty
  25   25  MAKE_RAW_BYTE
  26   26  MAKE_RAW_BYTE_56K
  27   27  mdelay
  28   28  MsgHead
  29   29  MUL64
  30   30  NEW_AUX_ENT
  31   31  nh_vmac_nhbytes
  32   32  ntohl
  33   33  OUT_RING_REG
  34   34  poly_step
  35   35  PUT_BYTE
  36   36  put_short
  37   37  put_user
  38   38  __put_user
  39   39  __put_user_nocheck
  40   40  R128_WAIT_UNTIL_PAGE_FLIPPED
  41   41  R600_CLEAR_AGE
  42   42  R600_DISPATCH_AGE
  43   43  R600_FRAME_AGE
  44   44  RADEON_CLEAR_AGE
  45   45  RADEON_DISPATCH_AGE

  46   46  RADEON_FLUSH_CACHE
  47   47  RADEON_FRAME_AGE
  48   48  RADEON_PURGE_CACHE
  49   49  RADEON_PURGE_ZCACHE
  50   50  RADEON_WAIT_UNTIL_2D_IDLE
  51   51  RADEON_WAIT_UNTIL_3D_IDLE
  52   52  RADEON_WAIT_UNTIL_IDLE
  53   53  RCU_INIT_POINTER
  54   54  READ64
  55   55  rtnl_dereference
       56 +SK_REUSEPORT_LOAD_SKB_FIELD
       57 +SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
  56   58  send_bits
  57   59  send_code
  58   60  SOCK_ADDR_LOAD_NESTED_FIELD
  59   61  SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
  60   62  SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
  61   63  SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
       64 +SOCK_OPS_GET_FIELD
       65 +SOCK_OPS_GET_OR_SET_FIELD
  62   66  SOCK_OPS_GET_TCP32
  63   67  unsafe_get_user
  64   68  unsafe_put_user
  65   69  VIA_OUT_RING_QW
  66   70  WRITE64
  67   71  Z
    

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX