Print this page
11972 resync smatch

Split Close
Expand all
Collapse all
          --- 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 +CONVERT_COMMON_TCP_SOCK_FIELDS
  11   12  ENCODE
  12   13  ENCODE_DATA
  13   14  ENCODE_STR
  14   15  get_child
  15   16  get_child_rcu
  16   17  get_unaligned
  17   18  get_user
  18   19  __get_user
  19   20  __get_user_nocheck
  20   21  hybrid_tuner_request_state
↓ open down ↓ 22 lines elided ↑ open up ↑
  43   44  R600_FRAME_AGE
  44   45  RADEON_CLEAR_AGE
  45   46  RADEON_DISPATCH_AGE
  46   47  RADEON_FLUSH_CACHE
  47   48  RADEON_FRAME_AGE
  48   49  RADEON_PURGE_CACHE
  49   50  RADEON_PURGE_ZCACHE
  50   51  RADEON_WAIT_UNTIL_2D_IDLE
  51   52  RADEON_WAIT_UNTIL_3D_IDLE
  52   53  RADEON_WAIT_UNTIL_IDLE
       54 +rcu_assign_pointer
  53   55  RCU_INIT_POINTER
  54   56  READ64
  55   57  rtnl_dereference
  56   58  SK_REUSEPORT_LOAD_SKB_FIELD
  57   59  SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
  58   60  send_bits
  59   61  send_code
  60   62  SOCK_ADDR_LOAD_NESTED_FIELD
  61   63  SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
  62   64  SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
  63   65  SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
  64   66  SOCK_OPS_GET_FIELD
  65   67  SOCK_OPS_GET_OR_SET_FIELD
  66   68  SOCK_OPS_GET_TCP32
  67   69  unsafe_get_user
  68   70  unsafe_put_user
  69   71  VIA_OUT_RING_QW
       72 +WREG32_SOC15_DPG_MODE_2_0
  70   73  WRITE64
  71   74  Z
    
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX