I just wanted to post an update on this. I've been working on it. I've attached the current list of errors I have. This list is generated using devel code that I will push next week. There are still many fixes needed, try to make this work has uncovered bugs all over smatch. I haven't yet resorted to manually editing the cross function database to eliminate false positives using smatch_data/db/fixup_kernel.sh. Fun though! regards, dan carpenter
sound/pci/asihpi/asihpi.c:802 snd_card_asihpi_timer_function() error: XXX potentially using uninitialized 'bytes_avail'. kernel/kexec.c:2524 kexec_apply_relocations() error: XXX potentially using uninitialized 'ret'. kernel/cgroup.c:2402 __cgroup_procs_write() error: XXX potentially using uninitialized 'pid'. arch/x86/kvm/emulate.c:2361 em_sysenter() error: XXX potentially using uninitialized 'msr_data'. arch/x86/kvm/emulate.c:2427 em_sysexit() error: XXX potentially using uninitialized 'msr_data'. mm/filemap.c:137 page_cache_tree_delete() error: XXX potentially using uninitialized 'node'. fs/xfs/libxfs/xfs_attr.c:344 xfs_attr_set() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr.c:642 xfs_attr_leaf_addname() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr.c:744 xfs_attr_leaf_addname() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr.c:817 xfs_attr_leaf_removename() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr.c:953 xfs_attr_node_addname() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr.c:991 xfs_attr_node_addname() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr.c:1101 xfs_attr_node_addname() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr.c:1234 xfs_attr_node_removename() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr.c:1280 xfs_attr_node_removename() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_dir2.c:687 xfs_dir2_shrink_inode() error: XXX potentially using uninitialized 'done'. fs/xfs/libxfs/xfs_attr_remote.c:452 xfs_attr_rmtval_set() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_attr_remote.c:607 xfs_attr_rmtval_remove() error: XXX potentially using uninitialized 'committed'. fs/xfs/libxfs/xfs_dir2_leaf.c:1733 xfs_dir2_node_to_leaf() error: XXX potentially using uninitialized 'rval'. fs/jbd/checkpoint.c:629 __journal_clean_checkpoint_list() error: XXX potentially using uninitialized 'released'. fs/ocfs2/cluster/tcp.c:1020 o2net_fill_node_map() error: XXX potentially using uninitialized 'ret'. fs/ocfs2/refcounttree.c:4329 ocfs2_reflink() error: XXX potentially using uninitialized 'default_acl'. fs/ocfs2/refcounttree.c:4331 ocfs2_reflink() error: XXX potentially using uninitialized 'acl'. fs/btrfs/scrub.c:581 scrub_print_warning() error: XXX potentially using uninitialized 'ref_level'. fs/sysfs/mount.c:44 sysfs_mount() error: XXX potentially using uninitialized 'new_sb'. fs/ceph/addr.c:753 ceph_writepages_start() error: XXX potentially using uninitialized 'do_sync'. fs/jfs/jfs_metapage.c:403 metapage_writepage() error: XXX potentially using uninitialized 'xlen'. init/initramfs.c:489 unpack_to_rootfs() error: XXX potentially using uninitialized 'compress_name'. drivers/hid/hid-gt683r.c:121 mode_store() error: XXX potentially using uninitialized 'sysfs_mode'. drivers/hid/wacom_sys.c:1062 wacom_store_speed() error: XXX potentially using uninitialized 'new_speed'. drivers/hid/hid-lenovo.c:176 attr_fn_lock_store_cptkbd() error: XXX potentially using uninitialized 'value'. drivers/mmc/card/block.c:1891 mmc_blk_issue_rw_rq() error: XXX potentially using uninitialized 'status'. drivers/staging/rtl8192u/r8192U_dm.c:591 dm_TXPowerTrackingCallback_TSSI() error: XXX potentially using uninitialized 'Pwr_Flag'. drivers/staging/rtl8192u/r8192U_dm.c:597 dm_TXPowerTrackingCallback_TSSI() error: XXX potentially using uninitialized 'Avg_TSSI_Meas'. drivers/staging/rts5208/ms.c:571 ms_identify_media_type() error: XXX potentially using uninitialized 'val'. drivers/staging/vt6655/mac.c:124 MACbIsIntDisable() error: XXX potentially using uninitialized 'dwData'. drivers/staging/vt6655/mac.c:824 MACvTimer0MicroSDelay() error: XXX potentially using uninitialized 'byValue'. drivers/staging/iio/light/isl29018.c:335 store_prox_infrared_suppression() error: XXX potentially using uninitialized 'val'. drivers/staging/iio/light/tsl2583.c:504 taos_power_state_store() error: XXX potentially using uninitialized 'value'. drivers/staging/iio/light/tsl2583.c:630 taos_als_trim_store() error: XXX potentially using uninitialized 'value'. drivers/staging/iio/light/tsl2583.c:655 taos_als_cal_target_store() error: XXX potentially using uninitialized 'value'. drivers/staging/iio/addac/adt7316.c:1648 adt7316_show_bus_type() error: XXX potentially using uninitialized 'stat'. drivers/staging/iio/adc/ad7280a.c:368 ad7280_chain_setup() error: XXX potentially using uninitialized 'val'. drivers/staging/rtl8188eu/core/rtw_mlme.c:2058 rtw_update_ht_cap() error: XXX potentially using uninitialized 'rf_type'. drivers/staging/rtl8188eu/core/rtw_wlan_util.c:791 HT_caps_handler() error: XXX potentially using uninitialized 'rf_type'. drivers/staging/rtl8188eu/core/rtw_cmd.c:1050 rtw_antenna_select_cmd() error: XXX potentially using uninitialized 'support_ant_div'. drivers/isdn/hardware/eicon/maintidi.c:869 process_idi_event() error: XXX potentially using uninitialized 'ch_id'. drivers/isdn/hardware/eicon/maintidi.c:885 process_idi_event() error: XXX potentially using uninitialized 'ch_id'. drivers/isdn/hardware/eicon/maintidi.c:901 process_idi_event() error: XXX potentially using uninitialized 'ch_id'. drivers/usb/phy/phy-msm-usb.c:1500 msm_otg_read_dt() error: XXX potentially using uninitialized 'len'. drivers/usb/storage/debug.c:178 usb_stor_show_sense() error: XXX potentially using uninitialized 'fmt'. drivers/usb/misc/rio500.c:335 write_rio() error: XXX potentially using uninitialized 'partial'. drivers/usb/misc/rio500.c:408 read_rio() error: XXX potentially using uninitialized 'partial'. drivers/usb/host/u132-hcd.c:1714 u132_run() error: XXX potentially using uninitialized 'periodicstart'. drivers/input/keyboard/lm8323.c:621 lm8323_set_disable() error: XXX potentially using uninitialized 'i'. drivers/tty/serial/ifx6x60.c:712 ifx_spi_complete() error: XXX potentially using uninitialized 'more'. drivers/md/dm-thin-metadata.c:1494 dm_pool_block_is_used() error: XXX potentially using uninitialized 'ref_count'. drivers/md/dm-thin.c:3016 maybe_resize_data_dev() error: XXX potentially using uninitialized 'sb_data_size'. drivers/md/dm-stripe.c:109 stripe_ctr() error: XXX potentially using uninitialized 'stripes'. drivers/md/dm-stripe.c:114 stripe_ctr() error: XXX potentially using uninitialized 'chunk_size'. drivers/md/dm-exception-store.c:152 set_chunk_size() error: XXX potentially using uninitialized 'chunk_size'. drivers/gpu/drm/nouveau/nouveau_gem.c:427 validate_init() error: XXX potentially using uninitialized 'ret'. drivers/gpu/drm/radeon/radeon_fence.c:1062 radeon_fence_default_wait() error: XXX potentially using uninitialized 'signaled'. drivers/gpu/drm/gma500/psb_intel_sdvo.c:1401 psb_intel_sdvo_detect() error: XXX potentially using uninitialized 'response'. drivers/gpu/drm/amd/amdkfd/kfd_packet_manager.c:357 pm_send_set_resources() error: XXX potentially using uninitialized 'packet'. drivers/gpu/drm/i915/intel_sdvo.c:1759 intel_sdvo_detect() error: XXX potentially using uninitialized 'response'. drivers/ata/sata_mv.c:3655 mv_hardreset() error: XXX potentially using uninitialized 'sstatus'. drivers/base/power/sysfs.c:297 pm_qos_no_power_off_store() error: XXX potentially using uninitialized 'ret'. drivers/base/power/sysfs.c:324 pm_qos_remote_wakeup_store() error: XXX potentially using uninitialized 'ret'. drivers/leds/leds-lm3533.c:507 store_als_en() error: XXX potentially using uninitialized 'enable'. drivers/scsi/virtio_scsi.c:942 virtscsi_probe() error: XXX potentially using uninitialized '__val'. drivers/scsi/virtio_scsi.c:956 virtscsi_probe() error: XXX potentially using uninitialized '__val'. drivers/scsi/virtio_scsi.c:974 virtscsi_probe() error: XXX potentially using uninitialized '__val'. drivers/scsi/virtio_scsi.c:976 virtscsi_probe() error: XXX potentially using uninitialized '__val'. drivers/scsi/mpt2sas/mpt2sas_base.c:3315 mpt2sas_base_sas_iounit_control() error: XXX potentially using uninitialized 'issue_reset'. drivers/scsi/mpt2sas/mpt2sas_base.c:3413 mpt2sas_base_scsi_enclosure_processor() error: XXX potentially using uninitialized 'issue_reset'. drivers/scsi/mpt3sas/mpt3sas_base.c:3498 mpt3sas_base_sas_iounit_control() error: XXX potentially using uninitialized 'issue_reset'. drivers/scsi/mpt3sas/mpt3sas_base.c:3596 mpt3sas_base_scsi_enclosure_processor() error: XXX potentially using uninitialized 'issue_reset'. drivers/scsi/bfa/bfa_fcs.c:1499 bfa_fcs_fabric_aen_post() error: XXX potentially using uninitialized 'aen_entry'. drivers/scsi/bfa/bfa_ioc.c:2926 bfa_ioc_aen_post() error: XXX potentially using uninitialized 'aen_entry'. drivers/scsi/bfa/bfa_ioc.c:3727 bfa_sfp_scn_aen_post() error: XXX potentially using uninitialized 'aen_entry'. drivers/scsi/bfa/bfa_ioc.c:4208 bfa_flash_aen_audit_post() error: XXX potentially using uninitialized 'aen_entry'. drivers/scsi/bfa/bfa_fcpim.c:3582 bfa_tskim_alloc() error: XXX potentially using uninitialized 'tskim'. drivers/scsi/bfa/bfa_svc.c:596 bfa_fcxp_get() error: XXX potentially using uninitialized 'fcxp'. drivers/scsi/bfa/bfa_svc.c:678 bfa_fcxp_put() error: XXX potentially using uninitialized 'wqe'. drivers/scsi/bfa/bfa_svc.c:2073 bfa_fcport_aen_post() error: XXX potentially using uninitialized 'aen_entry'. drivers/scsi/bfa/bfa_svc.c:4979 bfa_rport_alloc() error: XXX potentially using uninitialized 'rport'. drivers/scsi/bfa/bfa_svc.c:5378 bfa_sgpg_malloc() error: XXX potentially using uninitialized 'hsgpg'. drivers/scsi/bfa/bfa_fcs_fcpim.c:432 bfa_fcs_itnim_aen_post() error: XXX potentially using uninitialized 'aen_entry'. drivers/scsi/bfa/bfa_fcs_fcpim.c:595 bfa_fcs_itnim_create() error: XXX potentially using uninitialized 'itnim'. drivers/scsi/bfa/bfa_fcs_rport.c:2414 bfa_fcs_rport_aen_post() error: XXX potentially using uninitialized 'aen_entry'. drivers/scsi/bnx2i/bnx2i_iscsi.c:690 bnx2i_find_ep_in_ofld_list() error: XXX potentially using uninitialized 'ep'. drivers/scsi/bnx2i/bnx2i_iscsi.c:718 bnx2i_find_ep_in_destroy_list() error: XXX potentially using uninitialized 'ep'. drivers/block/virtio_blk.c:587 virtblk_probe() error: XXX potentially using uninitialized 'sg_elems'. drivers/block/virtio_blk.c:703 virtblk_probe() error: XXX potentially using uninitialized 'physical_block_exp'. drivers/block/virtio_blk.c:710 virtblk_probe() error: XXX potentially using uninitialized 'alignment_offset'. drivers/block/virtio_blk.c:716 virtblk_probe() error: XXX potentially using uninitialized 'min_io_size'. drivers/block/virtio_blk.c:722 virtblk_probe() error: XXX potentially using uninitialized 'opt_io_size'. drivers/uwb/i1480/dfu/phy.c:188 i1480_phy_fw_upload() error: XXX potentially using uninitialized 'phy_stat'. drivers/rapidio/rio-scan.c:586 rio_enum_peer() error: XXX potentially using uninitialized 'regval'. drivers/platform/x86/toshiba_acpi.c:859 get_tr_backlight_status() error: XXX potentially using uninitialized 'status'. drivers/platform/x86/alienware-wmi.c:482 show_hdmi_cable() error: XXX potentially using uninitialized 'out_data'. drivers/infiniband/hw/mthca/mthca_cq.c:473 handle_error_cqe() error: XXX potentially using uninitialized 'dbd'. drivers/infiniband/core/iwpm_util.c:581 iwpm_send_mapinfo() error: XXX potentially using uninitialized 'ret'. drivers/crypto/qat/qat_common/adf_transport.c:412 adf_init_bank() error: XXX potentially using uninitialized 'coalesc_enabled'. drivers/vhost/net.c:392 handle_tx() error: XXX potentially using uninitialized 'in'. drivers/vhost/net.c:520 get_rx_bufs() error: XXX potentially using uninitialized 'out'. drivers/media/usb/cx231xx/cx231xx-417.c:754 cx231xx_mbox_func() error: XXX potentially using uninitialized 'flag'. drivers/media/usb/dvb-usb/cxusb.c:405 cxusb_d680_dmb_drain_message() error: XXX potentially using uninitialized 'rd_count'. drivers/media/usb/dvb-usb/cxusb.c:428 cxusb_d680_dmb_drain_video() error: XXX potentially using uninitialized 'rd_count'. drivers/media/dvb-frontends/stv090x.c:2226 stv090x_get_coldlock() error: XXX potentially using uninitialized 'reg'. drivers/media/dvb-frontends/mb86a16.c:1472 mb86a16_set_fe() error: XXX potentially using uninitialized 'VIRM'. drivers/media/dvb-frontends/drxd_hard.c:992 HI_Command() error: XXX potentially using uninitialized 'waitCmd'. drivers/media/dvb-frontends/drxd_hard.c:1309 SC_WaitForReady() error: XXX potentially using uninitialized 'curCmd'. drivers/media/dvb-frontends/af9033.c:647 af9033_set_frontend() error: XXX potentially using uninitialized 'if_frequency'. drivers/media/dvb-frontends/af9013.c:328 af9013_power_ctrl() error: XXX potentially using uninitialized 'tmp'. drivers/media/dvb-frontends/af9013.c:441 af9013_statistics_snr_result() error: XXX potentially using uninitialized 'tmp'. drivers/media/dvb-frontends/af9013.c:1008 af9013_read_status() error: XXX potentially using uninitialized 'tmp'. drivers/media/pci/cx23885/cx23885-av.c:35 cx23885_av_work_handler() error: XXX potentially using uninitialized 'handled'. drivers/hwmon/ina209.c:534 ina209_init_client() error: XXX potentially using uninitialized 'shunt'. drivers/iio/adc/xilinx-xadc-core.c:1086 xadc_parse_dt() error: XXX potentially using uninitialized 'ext_mux_chan'. drivers/iio/adc/xilinx-xadc-core.c:1124 xadc_parse_dt() error: XXX potentially using uninitialized 'reg'. drivers/net/wireless/ath/ath10k/pci.c:1445 ath10k_pci_bmi_recv_data() error: XXX potentially using uninitialized 'xfer'. drivers/net/wireless/ath/ath10k/debug.c:1538 ath10k_write_pktlog_filter() error: XXX potentially using uninitialized 'filter'. drivers/net/wireless/ath/ath6kl/debug.c:913 ath6kl_regread_write() error: XXX potentially using uninitialized 'reg_addr'. drivers/net/wireless/ath/ath6kl/debug.c:1628 ath6kl_bgscan_int_write() error: XXX potentially using uninitialized 'bgscan_int'. drivers/net/wireless/rtlwifi/rtl8192cu/hw.c:2317 rtl92cu_gpio_radio_on_off_checking() error: XXX potentially using uninitialized 'e_rfpowerstate_toset'. drivers/net/wireless/rtlwifi/rtl8192cu/hw.c:2335 rtl92cu_gpio_radio_on_off_checking() error: XXX potentially using uninitialized 'e_rfpowerstate_toset'. drivers/net/wireless/rtlwifi/rtl8821ae/fw.c:223 rtl8821ae_download_fw() error: XXX potentially using uninitialized 'support_remote_wakeup'. drivers/net/wireless/rtlwifi/rtl8821ae/hw.c:1902 rtl8821ae_hw_init() error: XXX potentially using uninitialized 'support_remote_wakeup'. drivers/net/wireless/rtlwifi/rtl8821ae/hw.c:2389 rtl8821ae_card_disable() error: XXX potentially using uninitialized 'support_remote_wakeup'. drivers/net/wireless/iwlegacy/debug.c:1206 il_dbgfs_fh_reg_read() error: XXX potentially using uninitialized 'buf'. drivers/net/wireless/brcm80211/brcmfmac/bcmsdh.c:288 brcmf_sdiod_request_data() error: XXX potentially using uninitialized 'ret'. drivers/net/wireless/wl3501_cs.c:315 wl3501_get_tx_buffer() error: XXX potentially using uninitialized 'next'. drivers/net/wireless/mwifiex/scan.c:1931 mwifiex_ret_802_11_scan() error: XXX potentially using uninitialized 'tsf_tlv'. drivers/net/wireless/mwifiex/scan.c:1935 mwifiex_ret_802_11_scan() error: XXX potentially using uninitialized 'chan_band_tlv'. drivers/net/usb/pegasus.c:1037 mii_phy_probe() error: XXX potentially using uninitialized 'tmp'. drivers/net/fddi/skfp/pmf.c:1418 smt_set_para() error: XXX potentially using uninitialized 'long_val'. drivers/net/can/sja1000/sja1000_platform.c:142 sp_populate_of() error: XXX potentially using uninitialized 'prop'. drivers/net/ethernet/broadcom/bnx2x/bnx2x_link.c:13293 bnx2x_check_over_curr() error: XXX potentially using uninitialized 'pin_val'. drivers/net/ethernet/intel/i40e/i40e_hmc.c:107 i40e_add_sd_table_entry() error: XXX potentially using uninitialized 'ret_code'. drivers/net/ethernet/intel/e1000/e1000_hw.c:4475 e1000_id_led_init() error: XXX potentially using uninitialized 'eeprom_data'. drivers/net/ethernet/intel/ixgbe/ixgbe_82599.c:2013 ixgbe_verify_fw_version_82599() error: XXX potentially using uninitialized 'fw_offset'. drivers/net/ethernet/intel/ixgbe/ixgbe_82599.c:2021 ixgbe_verify_fw_version_82599() error: XXX potentially using uninitialized 'fw_ptp_cfg_offset'. drivers/net/ethernet/intel/ixgbe/ixgbe_82599.c:2054 ixgbe_verify_lesm_fw_enabled_82599() error: XXX potentially using uninitialized 'fw_offset'. drivers/net/ethernet/intel/ixgbe/ixgbe_82599.c:2063 ixgbe_verify_lesm_fw_enabled_82599() error: XXX potentially using uninitialized 'fw_lesm_param_offset'. drivers/net/ethernet/intel/ixgbe/ixgbe_common.c:554 ixgbe_read_pba_string_generic() error: XXX potentially using uninitialized 'length'. drivers/net/ethernet/intel/ixgbe/ixgbe_common.c:2750 ixgbe_get_san_mac_addr_generic() error: XXX potentially using uninitialized 'san_mac_offset'. drivers/net/ethernet/intel/ixgbe/ixgbe_common.c:3247 ixgbe_get_wwn_prefix_generic() error: XXX potentially using uninitialized 'alt_san_mac_blk_offset'. drivers/net/ethernet/sun/cassini.c:4606 cas_get_settings() error: XXX potentially using uninitialized 'full_duplex'. drivers/net/ethernet/chelsio/cxgb3/t3_hw.c:1216 t3_link_changed() error: XXX potentially using uninitialized 'link_ok'. drivers/net/ethernet/chelsio/cxgb3/t3_hw.c:1244 t3_link_changed() error: XXX potentially using uninitialized 'link_ok'. drivers/net/ethernet/chelsio/cxgb3/t3_hw.c:1253 t3_link_changed() error: XXX potentially using uninitialized 'link_ok'. drivers/net/ethernet/chelsio/cxgb/subr.c:163 t1_link_changed() error: XXX potentially using uninitialized 'link_ok'. drivers/net/ethernet/chelsio/cxgb/subr.c:745 t1_elmer0_ext_intr_handler() error: XXX potentially using uninitialized 'mod_detect'. drivers/net/bonding/bond_netlink.c:239 bond_changelink() error: XXX potentially using uninitialized 'err'. drivers/acpi/power.c:219 acpi_power_get_list_state() error: XXX potentially using uninitialized 'cur_state'. drivers/video/backlight/lm3533_bl.c:127 store_als_en() error: XXX potentially using uninitialized 'enable'. net/caif/cfctrl.c:440 cfctrl_recv() error: XXX potentially using uninitialized 'tmp'. net/netfilter/ipvs/ip_vs_app.c:403 app_tcp_pkt_out() error: XXX potentially using uninitialized 'diff'. net/netfilter/ipvs/ip_vs_app.c:478 app_tcp_pkt_in() error: XXX potentially using uninitialized 'diff'. net/sunrpc/auth_gss/gss_krb5_mech.c:304 gss_import_v1_context() error: XXX potentially using uninitialized 'tmp'. net/sunrpc/auth_gss/auth_gss.c:226 gss_fill_context() error: XXX potentially using uninitialized 'timeout'.