overflow: check sprintf() and snprintf()
[smatch.git] / smatch_data / kernel.puts_argument
blobf31a104bf07a2b36beb94ae2032b1811ec0a6bc0
1 // list of functions and the argument they decrement the ref of.
2 // generated by `gen_puts_list.sh`
3 add_port 0
4 alloc_mad 0
5 autogroup_kref_put 0
6 blk_put_queue 0
7 blktrans_dev_put 0
8 blk_unregister_queue 0
9 bnx2fc_interface_put 0
10 bnx2fc_post_io_req 1
11 bnx2fc_process_cleanup_compl 0
12 bnx2fc_process_els_compl 0
13 bnx2fc_process_scsi_cmd_compl 0
14 bnx2fc_process_tm_compl 0
15 bus_remove_driver 0
16 capiminor_put 0
17 cdev_del 0
18 ceph_osdc_put_event 0
19 cfg80211_bss_update 1
20 __cfg80211_unlink_bss 1
21 cifs_writev_requeue 0
22 class_compat_unregister 0
23 cleanup_glue_dir 1
24 client_put 0
25 cm_create_port_fs 0
26 cm_remove_port_fs 0
27 cpufreq_add_dev_interface 1
28 cpufreq_cpu_put 0
29 del_gendisk 0
30 destroy_foo_obj 0
31 destroy_nbp 0
32 dlm_lock_put 0
33 dlm_lockres_put 0
34 dlm_put 0
35 __dlm_put_mle 0
36 drm_master_put 0
37 edac_device_delete_block 1
38 edac_device_unregister_sysfs_main_kobj 0
39 edac_mc_unregister_sysfs_main_kobj 0
40 edac_pci_unregister_sysfs_instance_kobj 0
41 edac_remove_sysfs_mci_device 0
42 edd_device_unregister 0
43 efivar_unregister 0
44 elevator_exit 0
45 eventfd_ctx_put 0
46 exofs_io_execute 0
47 export_rdev 0
48 fc_exch_mgr_del 0
49 fcoe_interface_put 0
50 free_mad 0
51 fscache_withdraw_cache 0
52 ftdi_elan_put_kref 0
53 ft_sess_put 0
54 gfs2_sys_fs_del 0
55 hvc_remove 0
56 i2400m_fw_put 0
57 ib_dealloc_device 0
58 ib_device_unregister_sysfs 0
59 _io_exec 0
60 ipmi_destroy_user 0
61 ipmi_unregister_smi 0
62 iscsi_boot_remove_kobj 0
63 klist_dec_and_del 0
64 kobject_del 0
65 kobject_move 0
66 kobject_move 1
67 kobject_rename 0
68 kset_unregister 0
69 lpfc_bsg_event_unref 0
70 lpfc_nlp_put 0
71 lynx_put 0
72 mod_sysfs_fini 0
73 mod_sysfs_teardown 0
74 mon_reader_del 0
75 nfs_direct_req_release 0
76 nfs_release_request 0
77 o2net_handler_put 0
78 ocfs2_refcount_tree_put 0
79 padata_free 0
80 pci_destroy_slot 0
81 posix_clock_unregister 0
82 process_timeout 0
83 psb_gtt_kref_put 0
84 put_driver 0
85 put_generic_request 0
86 put_ir_device 0
87 put_ir_rx 0
88 put_ir_tx 0
89 __put_lkb 1
90 put_rsb 0
91 put_uobj 0
92 qh_put 0
93 rate_control_put 0
94 rbd_put_client 0
95 relay_close 0
96 relay_close_buf 0
97 release_lockspace 0
98 remove_domain_devices 0
99 sbp2_target_put 0
100 sc_put 0
101 scsi_cd_put 0
102 scsi_tape_put 0
103 sdio_uart_port_put 0
104 sdma_put 0
105 sg_put_dev 0
106 svc_xprt_put 0
107 sysdev_unregister 0
108 sysfs_del_hardif 0
109 sysfs_slab_add 0
110 sysfs_slab_remove 0
111 ttm_mem_global_init 0
112 ttm_mem_global_release 0
113 tty_driver_kref_put 0
114 u132_endp_put_kref 1
115 u132_monitor_put_kref 0
116 u132_ring_put_kref 0
117 u132_ring_requeue_work 0
118 u132_u132_put_kref 0
119 u132_udev_put_kref 1
120 uio_dev_add_attributes 0
121 uio_dev_del_attributes 0
122 unhold_lkb 0
123 unhold_rsb 0
124 unplug_port 0
125 unregister_memory 0
126 usbatm_put_instance 0
127 usb_serial_put 0
128 uwb_rc_neh_put 0
129 uwb_rsv_put 0
130 v4l2_device_put 0
131 wa_xfer_put 0