Print this page
new 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
21 22 iterate_bvec
22 23 iterate_all_kinds
23 24 lookup
24 25 lookup_rightempty
25 26 MAKE_RAW_BYTE
26 27 MAKE_RAW_BYTE_56K
27 28 mdelay
28 29 MsgHead
29 30 MUL64
30 31 NEW_AUX_ENT
31 32 nh_vmac_nhbytes
32 33 ntohl
33 34 OUT_RING_REG
34 35 poly_step
35 36 PUT_BYTE
36 37 put_short
37 38 put_user
38 39 __put_user
39 40 __put_user_nocheck
40 41 R128_WAIT_UNTIL_PAGE_FLIPPED
41 42 R600_CLEAR_AGE
42 43 R600_DISPATCH_AGE
↓ 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