db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / smatch_data / kernel.ignore_side_effects
blobed3f285d88da2e4e8466b298fe9375bbcb2a2982
1 /*
2  * Manually created.
3  *
4  * Most of these have intentional side effects.
5  * Some of them like put_user() and friends, have side effects when __CHECKER__
6  * is defined but not in the compiled kernel.
7  */
8 ADD_STA_STATS
9 ARCH_DLINFO
10 ASTXQ
11 AT_READ_REG
12 AWDATA
13 BPF_TCP_SOCK_GET_COMMON
14 CONVERT_COMMON_TCP_SOCK_FIELDS
15 DUMP_REG
16 ENCODE
17 ENCODE_DATA
18 ENCODE_STR
19 get_child
20 get_child_rcu
21 get_unaligned
22 get_user
23 __get_user
24 __get_user_nocheck
25 hybrid_tuner_request_state
26 iterate_bvec
27 iterate_all_kinds
28 LOCKDEP_STATE
29 lookup
30 lookup_rightempty
31 MAKE_RAW_BYTE
32 MAKE_RAW_BYTE_56K
33 mdelay
34 memcpy
35 memmove
36 memset
37 MsgHead
38 MUL64
39 NEW_AUX_ENT
40 nh_vmac_nhbytes
41 ntohl
42 OUT_RING_REG
43 poly_step
44 PUT_BYTE
45 put_short
46 put_user
47 __put_user
48 __put_user_nocheck
49 QMI_ENCDEC_ENCODE_TLV
50 R128_WAIT_UNTIL_PAGE_FLIPPED
51 R600_CLEAR_AGE
52 R600_DISPATCH_AGE
53 R600_FRAME_AGE
54 RADEON_CLEAR_AGE
55 RADEON_DISPATCH_AGE
56 RADEON_FLUSH_CACHE
57 RADEON_FRAME_AGE
58 RADEON_PURGE_CACHE
59 RADEON_PURGE_ZCACHE
60 RADEON_WAIT_UNTIL_2D_IDLE
61 RADEON_WAIT_UNTIL_3D_IDLE
62 RADEON_WAIT_UNTIL_IDLE
63 rcu_assign_pointer
64 RCU_INIT_POINTER
65 rcu_dereference
66 rcu_dereference_bh
67 READ64
68 rtnl_dereference
69 SK_REUSEPORT_LOAD_SKB_FIELD
70 SK_REUSEPORT_LOAD_SK_FIELD_SIZE_OFF
71 send_bits
72 send_code
73 SOCK_ADDR_LOAD_NESTED_FIELD
74 SOCK_ADDR_LOAD_NESTED_FIELD_SIZE_OFF
75 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD_SIZE_OFF
76 SOCK_ADDR_LOAD_OR_STORE_NESTED_FIELD
77 SOCK_OPS_GET_FIELD
78 SOCK_OPS_GET_OR_SET_FIELD
79 SOCK_OPS_GET_SK
80 SOCK_OPS_GET_TCP32
81 SOCK_OPS_GET_TCP_SOCK_FIELD
82 __soc_pcm_params_symmetry
83 test_simple_strtoxx
84 unsafe_get_user
85 unsafe_put_user
86 VIA_OUT_RING_QW
87 WREG32_SOC15_DPG_MODE_2_0
88 WRITE64