./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/module_get_put-drivers-usb-core-usbcore.ko.cil.out.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/module_get_put-drivers-usb-core-usbcore.ko.cil.out.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i


--------------------------------------------------------------------------------


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] function usb_disconnect is recursive, disable interval and interval_set contexts
[Info] function recursively_mark_NOTATTACHED is recursive, disable interval and interval_set contexts
[Info] function usb_device_dump is recursive, disable interval and interval_set contexts
[Info] malloc wrapper: ldv_malloc
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Error][Imprecise][Unsound] Function definition missing for __bad_percpu_size
[Error][Imprecise][Unsound] Function definition missing for __bad_unaligned_access_size
[Error][Imprecise][Unsound] Function definition missing for __cmpxchg_wrong_size
[Error][Imprecise][Unsound] Function definition missing for __xchg_wrong_size
[Error][Imprecise][Unsound] Function definition missing for __get_user_bad
[Error][Imprecise][Unsound] Function definition missing for ldv_xmalloc
[Info][Witness] cannot unassume entry of type violation_sequence
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21573:9-21573:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21218:3-21218:44)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21170:11-21170:51)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21219:3-21219:20)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21230:7-21230:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21614:3-21614:35)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21245:3-21245:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21246:3-21246:24)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21247:7-21248:97)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21250:5-21250:47)
[Warning][Imprecise][Call] Function pointer *((file->f_op)->open) may contain unknown functions. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21250:5-21250:47)
[Warning][Unsound][Call] No suitable function to be called at call site. Continuing with state before call. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21250:5-21250:47)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21255:9-21255:90)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21257:7-21257:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21257:7-21257:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21623:3-21623:32)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21263:7-21263:71)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21266:9-21266:30)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21268:9-21268:55)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21271:7-21271:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21277:5-21277:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21632:3-21632:32)
[Warning][Deadcode] Function 'INIT_LIST_HEAD' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3869:1-3876:1)
[Warning][Deadcode] Function 'atomic_set' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3880:1-3886:1)
[Warning][Deadcode] Function 'kmalloc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3899:1-3907:1)
[Warning][Deadcode] Function 'kzalloc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3909:1-3917:1)
[Warning][Deadcode] Function 'dev_to_node' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3926:1-3931:1)
[Warning][Deadcode] Function 'set_dev_node' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3932:1-3938:1)
[Warning][Deadcode] Function 'device_trylock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3939:1-3947:1)
[Warning][Deadcode] Function 'usb_register' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3968:1-3976:1)
[Warning][Deadcode] Function 'bus_to_hcd' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:3985:1-3991:1)
[Warning][Deadcode] Function 'is_usb_interface' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4023:1-4028:1)
[Warning][Deadcode] Function 'usb_find_alt_setting' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4038:1-4085:1)
[Warning][Deadcode] Function 'usb_ifnum_to_if' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4086:1-4112:1)
[Warning][Deadcode] Function 'usb_altnum_to_altsetting' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4113:1-4134:1)
[Warning][Deadcode] Function '__find_interface' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4135:1-4157:1)
[Warning][Deadcode] Function 'usb_find_interface' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4158:1-4178:1)
[Warning][Deadcode] Function 'usb_release_dev' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4179:1-4197:1)
[Warning][Deadcode] Function 'usb_dev_uevent' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4198:1-4222:1)
[Warning][Deadcode] Function 'usb_dev_prepare' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4223:1-4228:1)
[Warning][Deadcode] Function 'usb_dev_complete' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4229:1-4238:1)
[Warning][Deadcode] Function 'usb_dev_suspend' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4239:1-4249:1)
[Warning][Deadcode] Function 'usb_dev_resume' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4250:1-4260:1)
[Warning][Deadcode] Function 'usb_dev_freeze' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4261:1-4271:1)
[Warning][Deadcode] Function 'usb_dev_thaw' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4272:1-4282:1)
[Warning][Deadcode] Function 'usb_dev_poweroff' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4283:1-4293:1)
[Warning][Deadcode] Function 'usb_dev_restore' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4294:1-4304:1)
[Warning][Deadcode] Function 'usb_devnode' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4311:1-4323:1)
[Warning][Deadcode] Function 'usb_bus_is_wusb' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4326:1-4334:1)
[Warning][Deadcode] Function 'usb_alloc_dev' is uncalled: 63 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4335:1-4459:1)
[Warning][Deadcode] Function 'usb_get_dev' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4460:1-4471:1)
[Warning][Deadcode] Function 'usb_put_dev' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4472:1-4483:1)
[Warning][Deadcode] Function 'usb_get_intf' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4484:1-4495:1)
[Warning][Deadcode] Function 'usb_put_intf' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4496:1-4507:1)
[Warning][Deadcode] Function 'usb_lock_device_for_reset' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4508:1-4570:1)
[Warning][Deadcode] Function 'usb_get_current_frame_number' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4571:1-4579:1)
[Warning][Deadcode] Function '__usb_get_extra_descriptor' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4580:1-4611:1)
[Warning][Deadcode] Function 'usb_alloc_coherent' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4612:1-4628:1)
[Warning][Deadcode] Function 'usb_free_coherent' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4629:1-4648:1)
[Warning][Deadcode] Function 'usb_disabled' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4649:1-4654:1)
[Warning][Deadcode] Function 'usb_bus_notify' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4655:1-4705:1)
[Warning][Deadcode] Function 'usb_debugfs_init' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4708:1-4732:1)
[Warning][Deadcode] Function 'usb_debugfs_cleanup' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4733:1-4742:1)
[Warning][Deadcode] Function 'usb_init' is uncalled: 39 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4743:1-4850:1)
[Warning][Deadcode] Function 'usb_exit' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4851:1-4871:1)
[Warning][Deadcode] Function 'ldv_module_get' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4884:1-4893:1)
[Warning][Deadcode] Function 'ldv_module_put_and_exit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4928:1-4937:1)
[Warning][Deadcode] Function 'ldv_module_refcount' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4938:1-4943:1)
[Warning][Deadcode] Function 'list_add_tail' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4957:1-4965:1)
[Warning][Deadcode] Function 'list_del_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4968:1-4977:1)
[Warning][Deadcode] Function 'list_empty' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4978:1-4983:1)
[Warning][Deadcode] Function 'set_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4984:1-4990:1)
[Warning][Deadcode] Function 'clear_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4991:1-4997:1)
[Warning][Deadcode] Function 'test_and_clear_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4998:1-5005:1)
[Warning][Deadcode] Function 'variable_test_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5006:1-5013:1)
[Warning][Deadcode] Function 'get_current' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5020:1-5047:1)
[Warning][Deadcode] Function 'IS_ERR' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5051:1-5059:1)
[Warning][Deadcode] Function 'atomic_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5060:1-5066:1)
[Warning][Deadcode] Function 'test_ti_thread_flag' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5067:1-5075:1)
[Warning][Deadcode] Function 'spinlock_check' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5083:1-5088:1)
[Warning][Deadcode] Function 'spin_lock_irq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5089:1-5097:1)
[Warning][Deadcode] Function 'spin_unlock_irq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5098:1-5106:1)
[Warning][Deadcode] Function 'spin_unlock_irqrestore' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5107:1-5115:1)
[Warning][Deadcode] Function 'test_tsk_thread_flag' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5137:1-5145:1)
[Warning][Deadcode] Function 'signal_pending' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5146:1-5156:1)
[Warning][Deadcode] Function 'usb_endpoint_dir_in' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5157:1-5162:1)
[Warning][Deadcode] Function 'usb_endpoint_xfer_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5163:1-5168:1)
[Warning][Deadcode] Function 'usb_endpoint_is_int_in' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5169:1-5191:1)
[Warning][Deadcode] Function 'device_enable_async_suspend' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5194:1-5203:1)
[Warning][Deadcode] Function 'device_lock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5204:1-5212:1)
[Warning][Deadcode] Function 'device_unlock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5213:1-5221:1)
[Warning][Deadcode] Function 'pm_runtime_get_noresume' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5235:1-5243:1)
[Warning][Deadcode] Function 'pm_runtime_mark_last_busy' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5244:1-5250:1)
[Warning][Deadcode] Function 'pm_runtime_put_sync_autosuspend' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5251:1-5259:1)
[Warning][Deadcode] Function 'pm_runtime_set_active' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5260:1-5268:1)
[Warning][Deadcode] Function 'pm_runtime_set_suspended' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5269:1-5277:1)
[Warning][Deadcode] Function 'pm_runtime_disable' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5278:1-5286:1)
[Warning][Deadcode] Function 'pm_runtime_use_autosuspend' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5287:1-5295:1)
[Warning][Deadcode] Function 'usb_get_intfdata' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5296:1-5304:1)
[Warning][Deadcode] Function 'usb_set_intfdata' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5305:1-5313:1)
[Warning][Deadcode] Function 'interface_to_usbdev' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5314:1-5320:1)
[Warning][Deadcode] Function 'usb_mark_last_busy' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5330:1-5338:1)
[Warning][Deadcode] Function 'usb_fill_int_urb' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5339:1-5362:1)
[Warning][Deadcode] Function '__create_pipe' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5374:1-5379:1)
[Warning][Deadcode] Function 'usb_maxpacket' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5380:1-5426:1)
[Warning][Deadcode] Function 'freezing' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5442:1-5450:1)
[Warning][Deadcode] Function 'try_to_freeze' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5452:1-5469:1)
[Warning][Deadcode] Function 'set_freezable' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5470:1-5479:1)
[Warning][Deadcode] Function 'hub_is_superspeed' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5507:1-5512:1)
[Warning][Deadcode] Function 'portspeed' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5544:1-5563:1)
[Warning][Deadcode] Function 'hdev_to_hub' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5564:1-5579:1)
[Warning][Deadcode] Function 'get_hub_descriptor' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5580:1-5620:1)
[Warning][Deadcode] Function 'clear_hub_feature' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5621:1-5632:1)
[Warning][Deadcode] Function 'clear_port_feature' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5633:1-5645:1)
[Warning][Deadcode] Function 'set_port_feature' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5646:1-5658:1)
[Warning][Deadcode] Function 'set_port_led' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5659:1-5710:1)
[Warning][Deadcode] Function 'led_work' is uncalled: 68 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5711:1-5832:1)
[Warning][Deadcode] Function 'get_hub_status' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5833:1-5864:1)
[Warning][Deadcode] Function 'get_port_status' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5865:1-5897:1)
[Warning][Deadcode] Function 'hub_port_status' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5898:1-5924:1)
[Warning][Deadcode] Function 'kick_khubd' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5925:1-5955:1)
[Warning][Deadcode] Function 'usb_kick_khubd' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5956:1-5972:1)
[Warning][Deadcode] Function 'hub_irq' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:5973:1-6059:1)
[Warning][Deadcode] Function 'hub_clear_tt_buffer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6060:1-6071:1)
[Warning][Deadcode] Function 'hub_tt_work' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6072:1-6145:1)
[Warning][Deadcode] Function 'usb_hub_clear_tt_buffer' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6146:1-6198:1)
[Warning][Deadcode] Function 'hub_power_on' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6199:1-6249:1)
[Warning][Deadcode] Function 'hub_hub_status' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6250:1-6272:1)
[Warning][Deadcode] Function 'hub_port_disable' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6273:1-6310:1)
[Warning][Deadcode] Function 'hub_port_logical_disconnect' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6311:1-6323:1)
[Warning][Deadcode] Function 'usb_remove_device' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6324:1-6344:1)
[Warning][Deadcode] Function 'hub_activate' is uncalled: 99 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6347:1-6590:1)
[Warning][Deadcode] Function 'hub_init_func2' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6591:1-6602:1)
[Warning][Deadcode] Function 'hub_init_func3' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6603:1-6614:1)
[Warning][Deadcode] Function 'hub_quiesce' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6615:1-6661:1)
[Warning][Deadcode] Function 'hub_pre_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6662:1-6673:1)
[Warning][Deadcode] Function 'hub_post_reset' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6674:1-6685:1)
[Warning][Deadcode] Function 'hub_configure' is uncalled: 211 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:6686:1-7151:1)
[Warning][Deadcode] Function 'hub_release' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7152:1-7166:1)
[Warning][Deadcode] Function 'hub_disconnect' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7168:1-7208:1)
[Warning][Deadcode] Function 'hub_probe' is uncalled: 57 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7209:1-7331:1)
[Warning][Deadcode] Function 'hub_ioctl' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7332:1-7383:1)
[Warning][Deadcode] Function 'find_port_owner' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7384:1-7404:1)
[Warning][Deadcode] Function 'usb_hub_claim_port' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7405:1-7423:1)
[Warning][Deadcode] Function 'usb_hub_release_port' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7424:1-7442:1)
[Warning][Deadcode] Function 'usb_hub_release_all_ports' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7443:1-7470:1)
[Warning][Deadcode] Function 'usb_device_is_owned' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7471:1-7486:1)
[Warning][Deadcode] Function 'recursively_mark_NOTATTACHED' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7487:1-7514:1)
[Warning][Deadcode] Function 'usb_set_device_state' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7515:1-7572:1)
[Warning][Deadcode] Function 'choose_devnum' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7573:1-7624:1)
[Warning][Deadcode] Function 'release_devnum' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7625:1-7637:1)
[Warning][Deadcode] Function 'update_devnum' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7638:1-7647:1)
[Warning][Deadcode] Function 'hub_free_dev' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7648:1-7668:1)
[Warning][Deadcode] Function 'usb_disconnect' is uncalled: 32 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7669:1-7728:1)
[Warning][Deadcode] Function 'show_string' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7729:1-7741:1)
[Warning][Deadcode] Function 'announce_device' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7742:1-7757:1)
[Warning][Deadcode] Function 'is_targeted' is uncalled: 36 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7770:1-7853:1)
[Warning][Deadcode] Function 'usb_enumerate_device_otg' is uncalled: 36 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7854:1-7950:1)
[Warning][Deadcode] Function 'usb_enumerate_device' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7951:1-7995:1)
[Warning][Deadcode] Function 'usb_new_device' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:7996:1-8047:1)
[Warning][Deadcode] Function 'usb_deauthorize_device' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8048:1-8076:1)
[Warning][Deadcode] Function 'usb_authorize_device' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8077:1-8156:1)
[Warning][Deadcode] Function 'hub_is_wusb' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8157:1-8169:1)
[Warning][Deadcode] Function 'hub_port_wait_reset' is uncalled: 32 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8170:1-8244:1)
[Warning][Deadcode] Function 'hub_port_reset' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8245:1-8351:1)
[Warning][Deadcode] Function 'hub_port_warm_reset' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8352:1-8403:1)
[Warning][Deadcode] Function 'port_is_power_on' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8404:1-8424:1)
[Warning][Deadcode] Function 'port_is_suspended' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8425:1-8445:1)
[Warning][Deadcode] Function 'check_port_resume_type' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8446:1-8510:1)
[Warning][Deadcode] Function 'usb_port_suspend' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8511:1-8591:1)
[Warning][Deadcode] Function 'finish_port_resume' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8592:1-8679:1)
[Warning][Deadcode] Function 'usb_port_resume' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8680:1-8781:1)
[Warning][Deadcode] Function 'usb_remote_wakeup' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8782:1-8801:1)
[Warning][Deadcode] Function 'hub_suspend' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8802:1-8846:1)
[Warning][Deadcode] Function 'hub_resume' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8847:1-8859:1)
[Warning][Deadcode] Function 'hub_reset_resume' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8860:1-8872:1)
[Warning][Deadcode] Function 'usb_root_hub_lost_power' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8873:1-8882:1)
[Warning][Deadcode] Function 'hub_port_debounce' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8883:1-8943:1)
[Warning][Deadcode] Function 'usb_ep0_reinit' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8944:1-8954:1)
[Warning][Deadcode] Function 'hub_set_address' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:8955:1-9001:1)
[Warning][Deadcode] Function 'hub_port_init' is uncalled: 232 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:9002:1-9470:1)
[Warning][Deadcode] Function 'check_highspeed' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:9471:1-9506:1)
[Warning][Deadcode] Function 'hub_power_remaining' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:9507:1-9565:1)
[Warning][Deadcode] Function 'hub_port_connect_change' is uncalled: 140 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:9566:1-9916:1)
[Warning][Deadcode] Function 'hub_events' is uncalled: 138 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:9917:1-10263:1)
[Warning][Deadcode] Function 'hub_thread' is uncalled: 61 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10264:1-10423:1)
[Warning][Deadcode] Function 'usb_hub_init' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10446:1-10488:1)
[Warning][Deadcode] Function 'usb_hub_cleanup' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10489:1-10498:1)
[Warning][Deadcode] Function 'descriptors_changed' is uncalled: 56 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10499:1-10635:1)
[Warning][Deadcode] Function 'usb_reset_and_verify_device' is uncalled: 77 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10636:1-10807:1)
[Warning][Deadcode] Function 'usb_reset_device' is uncalled: 51 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10808:1-10931:1)
[Warning][Deadcode] Function 'usb_queue_reset_device' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10932:1-10940:1)
[Warning][Deadcode] Function 'list_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10942:1-10950:1)
[Warning][Deadcode] Function '__le64_to_cpup' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10951:1-10956:1)
[Warning][Deadcode] Function 'arch_local_save_flags' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10962:1-10993:1)
[Warning][Deadcode] Function 'arch_local_irq_restore' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:10994:1-11023:1)
[Warning][Deadcode] Function 'arch_local_irq_disable' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11024:1-11053:1)
[Warning][Deadcode] Function 'arch_local_irq_save' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11054:1-11063:1)
[Warning][Deadcode] Function 'arch_irqs_disabled_flags' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11064:1-11069:1)
[Warning][Deadcode] Function 'atomic_read' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11072:1-11077:1)
[Warning][Deadcode] Function 'atomic_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11078:1-11084:1)
[Warning][Deadcode] Function 'spin_lock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11087:1-11095:1)
[Warning][Deadcode] Function 'spin_unlock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11096:1-11104:1)
[Warning][Deadcode] Function 'kobject_name' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11111:1-11116:1)
[Warning][Deadcode] Function 'init_utsname' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11118:1-11123:1)
[Warning][Deadcode] Function 'lowmem_page_address' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11124:1-11129:1)
[Warning][Deadcode] Function 'device_can_wakeup' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11130:1-11135:1)
[Warning][Deadcode] Function 'device_may_wakeup' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11136:1-11150:1)
[Warning][Deadcode] Function 'dev_name' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11152:1-11164:1)
[Warning][Deadcode] Function 'sg_page' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11165:1-11191:1)
[Warning][Deadcode] Function 'sg_virt' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11192:1-11202:1)
[Warning][Deadcode] Function 'valid_dma_direction' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11204:1-11220:1)
[Warning][Deadcode] Function 'kmemcheck_mark_initialized' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11221:1-11226:1)
[Warning][Deadcode] Function 'get_dma_ops' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11235:1-11251:1)
[Warning][Deadcode] Function 'dma_map_single_attrs' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11252:1-11286:1)
[Warning][Deadcode] Function 'dma_unmap_single_attrs' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11287:1-11322:1)
[Warning][Deadcode] Function 'dma_map_sg_attrs' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11323:1-11372:1)
[Warning][Deadcode] Function 'dma_unmap_sg_attrs' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11373:1-11408:1)
[Warning][Deadcode] Function 'dma_map_page' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11409:1-11439:1)
[Warning][Deadcode] Function 'dma_unmap_page' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11440:1-11474:1)
[Warning][Deadcode] Function 'dma_mapping_error' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11475:1-11494:1)
[Warning][Deadcode] Function 'get_unaligned_le64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11495:1-11503:1)
[Warning][Deadcode] Function 'put_unaligned_le16' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11504:1-11510:1)
[Warning][Deadcode] Function 'put_unaligned_le32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11511:1-11517:1)
[Warning][Deadcode] Function 'put_unaligned_le64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11518:1-11524:1)
[Warning][Deadcode] Function 'platform_get_drvdata' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11526:1-11534:1)
[Warning][Deadcode] Function 'usb_endpoint_num' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11535:1-11540:1)
[Warning][Deadcode] Function 'usb_endpoint_type' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11541:1-11546:1)
[Warning][Deadcode] Function 'usb_endpoint_dir_out' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11547:1-11552:1)
[Warning][Deadcode] Function 'usb_endpoint_xfer_bulk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11553:1-11558:1)
[Warning][Deadcode] Function 'usb_endpoint_xfer_control' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11559:1-11564:1)
[Warning][Deadcode] Function 'request_irq' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11568:1-11578:1)
[Warning][Deadcode] Function 'usb_urb_dir_in' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11587:1-11592:1)
[Warning][Deadcode] Function 'usbmon_urb_submit' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11626:1-11637:1)
[Warning][Deadcode] Function 'usbmon_urb_submit_error' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11638:1-11650:1)
[Warning][Deadcode] Function 'usbmon_urb_complete' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11651:1-11662:1)
[Warning][Deadcode] Function 'is_root_hub' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11700:1-11705:1)
[Warning][Deadcode] Function 'ascii2desc' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11749:1-11801:1)
[Warning][Deadcode] Function 'rh_string' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11802:1-11866:1)
[Warning][Deadcode] Function 'rh_call_control' is uncalled: 167 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:11867:1-12190:1)
[Warning][Deadcode] Function 'usb_hcd_poll_rh_status' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12191:1-12272:1)
[Warning][Deadcode] Function 'rh_timer_func' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12273:1-12281:1)
[Warning][Deadcode] Function 'rh_queue_status' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12282:1-12335:1)
[Warning][Deadcode] Function 'rh_urb_enqueue' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12336:1-12364:1)
[Warning][Deadcode] Function 'usb_rh_urb_dequeue' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12365:1-12408:1)
[Warning][Deadcode] Function 'usb_host_authorized_default_show' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12409:1-12430:1)
[Warning][Deadcode] Function 'usb_host_authorized_default_store' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12431:1-12461:1)
[Warning][Deadcode] Function 'usb_bus_init' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12470:1-12485:1)
[Warning][Deadcode] Function 'usb_register_bus' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12486:1-12520:1)
[Warning][Deadcode] Function 'usb_deregister_bus' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12521:1-12535:1)
[Warning][Deadcode] Function 'register_root_hub' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12536:1-12603:1)
[Warning][Deadcode] Function 'usb_calc_bus_time' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12604:1-12656:1)
[Warning][Deadcode] Function 'usb_hcd_link_urb_to_ep' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12657:1-12707:1)
[Warning][Deadcode] Function 'usb_hcd_check_unlink_urb' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12708:1-12757:1)
[Warning][Deadcode] Function 'usb_hcd_unlink_urb_from_ep' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12758:1-12768:1)
[Warning][Deadcode] Function 'hcd_alloc_coherent' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12769:1-12864:1)
[Warning][Deadcode] Function 'hcd_free_coherent' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12865:1-12891:1)
[Warning][Deadcode] Function 'usb_hcd_unmap_urb_setup_for_dma' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12892:1-12911:1)
[Warning][Deadcode] Function 'unmap_urb_for_dma' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12912:1-12927:1)
[Warning][Deadcode] Function 'usb_hcd_unmap_urb_for_dma' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12928:1-12968:1)
[Warning][Deadcode] Function 'map_urb_for_dma' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12969:1-12987:1)
[Warning][Deadcode] Function 'usb_hcd_map_urb_for_dma' is uncalled: 53 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12988:1-13118:1)
[Warning][Deadcode] Function 'usb_hcd_submit_urb' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13119:1-13186:1)
[Warning][Deadcode] Function 'unlink1' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13187:1-13205:1)
[Warning][Deadcode] Function 'usb_hcd_unlink_urb' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13206:1-13252:1)
[Warning][Deadcode] Function 'usb_hcd_giveback_urb' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13253:1-13317:1)
[Warning][Deadcode] Function 'usb_hcd_flush_endpoint' is uncalled: 62 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13318:1-13448:1)
[Warning][Deadcode] Function 'usb_hcd_alloc_bandwidth' is uncalled: 89 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13449:1-13652:1)
[Warning][Deadcode] Function 'usb_hcd_disable_endpoint' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13653:1-13670:1)
[Warning][Deadcode] Function 'usb_hcd_reset_endpoint' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13671:1-13707:1)
[Warning][Deadcode] Function 'usb_alloc_streams' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13708:1-13764:1)
[Warning][Deadcode] Function 'usb_free_streams' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13765:1-13807:1)
[Warning][Deadcode] Function 'usb_hcd_synchronize_unlinks' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13808:1-13817:1)
[Warning][Deadcode] Function 'usb_hcd_get_frame_number' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13818:1-13836:1)
[Warning][Deadcode] Function 'hcd_bus_suspend' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13837:1-13896:1)
[Warning][Deadcode] Function 'hcd_bus_resume' is uncalled: 33 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13897:1-13973:1)
[Warning][Deadcode] Function 'hcd_resume_work' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13974:1-13989:1)
[Warning][Deadcode] Function 'usb_hcd_resume_root_hub' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:13990:1-14010:1)
[Warning][Deadcode] Function 'usb_bus_start_enum' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14011:1-14039:1)
[Warning][Deadcode] Function 'usb_hcd_irq' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14040:1-14099:1)
[Warning][Deadcode] Function 'usb_hc_died' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14100:1-14143:1)
[Warning][Deadcode] Function 'usb_create_shared_hcd' is uncalled: 39 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14144:1-14215:1)
[Warning][Deadcode] Function 'usb_create_hcd' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14216:1-14225:1)
[Warning][Deadcode] Function 'hcd_release' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14226:1-14248:1)
[Warning][Deadcode] Function 'usb_get_hcd' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14249:1-14260:1)
[Warning][Deadcode] Function 'usb_put_hcd' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14261:1-14272:1)
[Warning][Deadcode] Function 'usb_hcd_is_primary_hcd' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14273:1-14282:1)
[Warning][Deadcode] Function 'usb_hcd_request_irqs' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14283:1-14334:1)
[Warning][Deadcode] Function 'usb_add_hcd' is uncalled: 97 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14335:1-14553:1)
[Warning][Deadcode] Function 'usb_remove_hcd' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14554:1-14603:1)
[Warning][Deadcode] Function 'usb_hcd_platform_shutdown' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14604:1-14620:1)
[Warning][Deadcode] Function 'usb_mon_register' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14621:1-14632:1)
[Warning][Deadcode] Function 'usb_mon_deregister' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14633:1-14647:1)
[Warning][Deadcode] Function 'fls' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14648:1-14654:1)
[Warning][Deadcode] Function '__ilog2_u32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14655:1-14663:1)
[Warning][Deadcode] Function 'usb_pipe_endpoint' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14678:1-14689:1)
[Warning][Deadcode] Function 'urb_destroy' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14690:1-14707:1)
[Warning][Deadcode] Function 'usb_init_urb' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14708:1-14721:1)
[Warning][Deadcode] Function 'usb_alloc_urb' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14722:1-14742:1)
[Warning][Deadcode] Function 'usb_free_urb' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14743:1-14754:1)
[Warning][Deadcode] Function 'usb_get_urb' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14755:1-14766:1)
[Warning][Deadcode] Function 'usb_anchor_urb' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14767:1-14791:1)
[Warning][Deadcode] Function '__usb_unanchor_urb' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14792:1-14809:1)
[Warning][Deadcode] Function 'usb_unanchor_urb' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14810:1-14842:1)
[Warning][Deadcode] Function 'usb_submit_urb' is uncalled: 158 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:14843:1-15157:1)
[Warning][Deadcode] Function 'usb_unlink_urb' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15158:1-15178:1)
[Warning][Deadcode] Function 'usb_kill_urb' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15179:1-15239:1)
[Warning][Deadcode] Function 'usb_poison_urb' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15240:1-15297:1)
[Warning][Deadcode] Function 'usb_unpoison_urb' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15298:1-15310:1)
[Warning][Deadcode] Function 'usb_kill_anchored_urbs' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15311:1-15345:1)
[Warning][Deadcode] Function 'usb_poison_anchored_urbs' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15346:1-15381:1)
[Warning][Deadcode] Function 'usb_unpoison_anchored_urbs' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15382:1-15415:1)
[Warning][Deadcode] Function 'usb_unlink_anchored_urbs' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15416:1-15437:1)
[Warning][Deadcode] Function 'usb_wait_anchor_empty_timeout' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15438:1-15485:1)
[Warning][Deadcode] Function 'usb_get_from_anchor' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15486:1-15513:1)
[Warning][Deadcode] Function 'usb_scuttle_anchored_urbs' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15514:1-15547:1)
[Warning][Deadcode] Function 'usb_anchor_empty' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15548:1-15556:1)
[Warning][Deadcode] Function 'rep_nop' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15557:1-15563:1)
[Warning][Deadcode] Function 'cpu_relax' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15564:1-15572:1)
[Warning][Deadcode] Function 'init_completion' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15574:1-15583:1)
[Warning][Deadcode] Function 'device_is_registered' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15587:1-15592:1)
[Warning][Deadcode] Function 'PageHighMem' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15593:1-15598:1)
[Warning][Deadcode] Function 'sg_page___0' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15599:1-15625:1)
[Warning][Deadcode] Function 'sg_virt___0' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15626:1-15636:1)
[Warning][Deadcode] Function 'usb_fill_control_urb' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15639:1-15654:1)
[Warning][Deadcode] Function 'usb_fill_bulk_urb' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15655:1-15669:1)
[Warning][Deadcode] Function 'usb_api_blocking_completion' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15689:1-15699:1)
[Warning][Deadcode] Function 'usb_start_wait_urb' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15700:1-15770:1)
[Warning][Deadcode] Function 'usb_internal_control_msg' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15771:1-15796:1)
[Warning][Deadcode] Function 'usb_control_msg' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15797:1-15822:1)
[Warning][Deadcode] Function 'usb_interrupt_msg' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15823:1-15832:1)
[Warning][Deadcode] Function 'usb_bulk_msg' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15833:1-15873:1)
[Warning][Deadcode] Function 'sg_clean' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15874:1-15901:1)
[Warning][Deadcode] Function 'sg_complete' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:15902:1-16015:1)
[Warning][Deadcode] Function 'usb_sg_init' is uncalled: 88 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16016:1-16179:1)
[Warning][Deadcode] Function 'usb_sg_wait' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16180:1-16276:1)
[Warning][Deadcode] Function 'usb_sg_cancel' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16277:1-16331:1)
[Warning][Deadcode] Function 'usb_get_descriptor' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16332:1-16376:1)
[Warning][Deadcode] Function 'usb_get_string' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16377:1-16419:1)
[Warning][Deadcode] Function 'usb_try_string_workarounds' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16420:1-16450:1)
[Warning][Deadcode] Function 'usb_string_sub' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16451:1-16505:1)
[Warning][Deadcode] Function 'usb_get_langid' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16506:1-16559:1)
[Warning][Deadcode] Function 'usb_string' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16560:1-16622:1)
[Warning][Deadcode] Function 'usb_cache_string' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16623:1-16668:1)
[Warning][Deadcode] Function 'usb_get_device_descriptor' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16669:1-16704:1)
[Warning][Deadcode] Function 'usb_get_status' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16705:1-16729:1)
[Warning][Deadcode] Function 'usb_clear_halt' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16730:1-16754:1)
[Warning][Deadcode] Function 'create_intf_ep_devs' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16755:1-16790:1)
[Warning][Deadcode] Function 'remove_intf_ep_devs' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16791:1-16817:1)
[Warning][Deadcode] Function 'usb_disable_endpoint' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16818:1-16855:1)
[Warning][Deadcode] Function 'usb_reset_endpoint' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16856:1-16874:1)
[Warning][Deadcode] Function 'usb_disable_interface' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16875:1-16897:1)
[Warning][Deadcode] Function 'usb_disable_device' is uncalled: 58 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:16898:1-17024:1)
[Warning][Deadcode] Function 'usb_enable_endpoint' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17025:1-17064:1)
[Warning][Deadcode] Function 'usb_enable_interface' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17065:1-17086:1)
[Warning][Deadcode] Function 'usb_set_interface' is uncalled: 60 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17087:1-17235:1)
[Warning][Deadcode] Function 'usb_reset_configuration' is uncalled: 69 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17236:1-17394:1)
[Warning][Deadcode] Function 'usb_release_interface' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17395:1-17411:1)
[Warning][Deadcode] Function 'usb_if_uevent' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17412:1-17446:1)
[Warning][Deadcode] Function 'find_iad' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17450:1-17498:1)
[Warning][Deadcode] Function '__usb_queue_reset_device' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17499:1-17524:1)
[Warning][Deadcode] Function 'usb_set_configuration' is uncalled: 134 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17525:1-17803:1)
[Warning][Deadcode] Function 'driver_set_config_work' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17810:1-17837:1)
[Warning][Deadcode] Function 'cancel_async_set_config' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17838:1-17868:1)
[Warning][Deadcode] Function 'usb_driver_set_configuration' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17869:1-17900:1)
[Warning][Deadcode] Function 'atomic_cmpxchg' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17902:1-17945:1)
[Warning][Deadcode] Function 'atomic_add_unless' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17946:1-17976:1)
[Warning][Deadcode] Function 'pm_suspend_ignore_children' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17992:1-17998:1)
[Warning][Deadcode] Function 'pm_runtime_put_noidle' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:17999:1-18007:1)
[Warning][Deadcode] Function 'pm_runtime_autosuspend' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18008:1-18016:1)
[Warning][Deadcode] Function 'pm_runtime_resume' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18017:1-18025:1)
[Warning][Deadcode] Function 'pm_runtime_get' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18026:1-18034:1)
[Warning][Deadcode] Function 'pm_runtime_get_sync' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18035:1-18043:1)
[Warning][Deadcode] Function 'pm_runtime_put' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18044:1-18052:1)
[Warning][Deadcode] Function 'pm_runtime_put_sync' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18053:1-18061:1)
[Warning][Deadcode] Function 'is_usb_device' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18072:1-18077:1)
[Warning][Deadcode] Function 'is_usb_device_driver' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18078:1-18084:1)
[Warning][Deadcode] Function 'usb_store_new_id' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18085:1-18137:1)
[Warning][Deadcode] Function 'store_new_id' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18138:1-18150:1)
[Warning][Deadcode] Function 'store_remove_id' is uncalled: 32 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18156:1-18225:1)
[Warning][Deadcode] Function 'usb_create_newid_file' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18231:1-18249:1)
[Warning][Deadcode] Function 'usb_remove_newid_file' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18250:1-18266:1)
[Warning][Deadcode] Function 'usb_create_removeid_file' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18267:1-18280:1)
[Warning][Deadcode] Function 'usb_remove_removeid_file' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18281:1-18289:1)
[Warning][Deadcode] Function 'usb_free_dynids' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18290:1-18325:1)
[Warning][Deadcode] Function 'usb_match_dynamic_id' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18326:1-18364:1)
[Warning][Deadcode] Function 'usb_probe_device' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18365:1-18394:1)
[Warning][Deadcode] Function 'usb_unbind_device' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18395:1-18416:1)
[Warning][Deadcode] Function 'usb_cancel_queued_reset' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18417:1-18428:1)
[Warning][Deadcode] Function 'usb_probe_interface' is uncalled: 48 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18429:1-18537:1)
[Warning][Deadcode] Function 'usb_unbind_interface' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18538:1-18626:1)
[Warning][Deadcode] Function 'usb_driver_claim_interface' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18627:1-18666:1)
[Warning][Deadcode] Function 'usb_driver_release_interface' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18667:1-18701:1)
[Warning][Deadcode] Function 'usb_match_device' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18702:1-18756:1)
[Warning][Deadcode] Function 'usb_match_one_id' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18757:1-18808:1)
[Warning][Deadcode] Function 'usb_match_id' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18809:1-18847:1)
[Warning][Deadcode] Function 'usb_device_match' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18848:1-18906:1)
[Warning][Deadcode] Function 'usb_uevent' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18907:1-18982:1)
[Warning][Deadcode] Function 'usb_register_device_driver' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:18983:1-19017:1)
[Warning][Deadcode] Function 'usb_deregister_device_driver' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19018:1-19028:1)
[Warning][Deadcode] Function 'usb_register_driver' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19029:1-19092:1)
[Warning][Deadcode] Function 'usb_deregister' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19093:1-19106:1)
[Warning][Deadcode] Function 'usb_forced_unbind_intf' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19107:1-19120:1)
[Warning][Deadcode] Function 'usb_rebind_intf' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19121:1-19150:1)
[Warning][Deadcode] Function 'do_unbind_rebind' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19151:1-19213:1)
[Warning][Deadcode] Function 'usb_suspend_device' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19214:1-19240:1)
[Warning][Deadcode] Function 'usb_resume_device' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19241:1-19280:1)
[Warning][Deadcode] Function 'usb_suspend_interface' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19281:1-19322:1)
[Warning][Deadcode] Function 'usb_resume_interface' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19323:1-19399:1)
[Warning][Deadcode] Function 'usb_suspend_both' is uncalled: 44 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19400:1-19490:1)
[Warning][Deadcode] Function 'usb_resume_both' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19491:1-19545:1)
[Warning][Deadcode] Function 'choose_wakeup' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19546:1-19578:1)
[Warning][Deadcode] Function 'usb_suspend' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19579:1-19593:1)
[Warning][Deadcode] Function 'usb_resume' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19594:1-19632:1)
[Warning][Deadcode] Function 'usb_enable_autosuspend' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19633:1-19641:1)
[Warning][Deadcode] Function 'usb_disable_autosuspend' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19642:1-19650:1)
[Warning][Deadcode] Function 'usb_autosuspend_device' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19651:1-19660:1)
[Warning][Deadcode] Function 'usb_autoresume_device' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19661:1-19679:1)
[Warning][Deadcode] Function 'usb_autopm_put_interface' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19680:1-19694:1)
[Warning][Deadcode] Function 'usb_autopm_put_interface_async' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19695:1-19709:1)
[Warning][Deadcode] Function 'usb_autopm_put_interface_no_suspend' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19710:1-19723:1)
[Warning][Deadcode] Function 'usb_autopm_get_interface' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19724:1-19745:1)
[Warning][Deadcode] Function 'usb_autopm_get_interface_async' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19746:1-19773:1)
[Warning][Deadcode] Function 'usb_autopm_get_interface_no_resume' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19774:1-19787:1)
[Warning][Deadcode] Function 'autosuspend_check' is uncalled: 32 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19788:1-19860:1)
[Warning][Deadcode] Function 'usb_runtime_suspend' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19861:1-19887:1)
[Warning][Deadcode] Function 'usb_runtime_resume' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19888:1-19902:1)
[Warning][Deadcode] Function 'usb_runtime_idle' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19903:1-19921:1)
[Warning][Deadcode] Function 'usb_endpoint_xfer_isoc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19928:1-19933:1)
[Warning][Deadcode] Function 'plural' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19934:1-19944:1)
[Warning][Deadcode] Function 'find_next_descriptor' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19945:1-19979:1)
[Warning][Deadcode] Function 'usb_parse_ss_endpoint_companion' is uncalled: 66 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:19980:1-20157:1)
[Warning][Deadcode] Function 'usb_parse_endpoint' is uncalled: 91 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:20158:1-20364:1)
[Warning][Deadcode] Function 'usb_release_interface_cache' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:20365:1-20394:1)
[Warning][Deadcode] Function 'usb_parse_interface' is uncalled: 77 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:20395:1-20558:1)
[Warning][Deadcode] Function 'usb_parse_configuration' is uncalled: 161 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:20559:1-20914:1)
[Warning][Deadcode] Function 'usb_destroy_configuration' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:20915:1-20983:1)
[Warning][Deadcode] Function 'usb_get_configuration' is uncalled: 74 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:20984:1-21148:1)
[Warning][Deadcode] Function 'PTR_ERR' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21150:1-21155:1)
[Warning][Deadcode] Function 'register_chrdev' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21176:1-21184:1)
[Warning][Deadcode] Function 'unregister_chrdev' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21185:1-21193:1)
[Warning][Deadcode] Function 'usb_devnode___0' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21320:1-21342:1)
[Warning][Deadcode] Function 'init_usb_class' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21343:1-21389:1)
[Warning][Deadcode] Function 'release_usb_class' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21390:1-21400:1)
[Warning][Deadcode] Function 'destroy_usb_class' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21401:1-21412:1)
[Warning][Deadcode] Function 'usb_major_init' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21413:1-21427:1)
[Warning][Deadcode] Function 'usb_major_cleanup' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21428:1-21436:1)
[Warning][Deadcode] Function 'usb_register_dev' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21437:1-21525:1)
[Warning][Deadcode] Function 'usb_deregister_dev' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21526:1-21546:1)
[Warning][Deadcode] Function 'is_device_dma_capable' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21637:1-21651:1)
[Warning][Deadcode] Function 'dma_alloc_coherent_mask' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21655:1-21670:1)
[Warning][Deadcode] Function 'dma_alloc_coherent_gfp_flags' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21671:1-21692:1)
[Warning][Deadcode] Function 'dma_alloc_coherent' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21693:1-21731:1)
[Warning][Deadcode] Function 'dma_free_coherent' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21732:1-21770:1)
[Warning][Deadcode] Function 'hcd_buffer_create' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21777:1-21820:1)
[Warning][Deadcode] Function 'hcd_buffer_destroy' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21821:1-21846:1)
[Warning][Deadcode] Function 'hcd_buffer_alloc' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21847:1-21893:1)
[Warning][Deadcode] Function 'hcd_buffer_free' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21894:1-21940:1)
[Warning][Deadcode] Function 'show_bNumInterfaces' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21956:1-21975:1)
[Warning][Deadcode] Function 'show_bmAttributes' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21981:1-22000:1)
[Warning][Deadcode] Function 'show_bMaxPower' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22006:1-22025:1)
[Warning][Deadcode] Function 'show_configuration_string' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22030:1-22052:1)
[Warning][Deadcode] Function 'show_bConfigurationValue' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22058:1-22077:1)
[Warning][Deadcode] Function 'set_bConfigurationValue' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22078:1-22114:1)
[Warning][Deadcode] Function 'show_product' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22120:1-22134:1)
[Warning][Deadcode] Function 'show_manufacturer' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22139:1-22154:1)
[Warning][Deadcode] Function 'show_serial' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22160:1-22174:1)
[Warning][Deadcode] Function 'show_speed' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22179:1-22234:1)
[Warning][Deadcode] Function 'show_busnum' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22239:1-22251:1)
[Warning][Deadcode] Function 'show_devnum' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22256:1-22268:1)
[Warning][Deadcode] Function 'show_devpath' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22273:1-22285:1)
[Warning][Deadcode] Function 'show_version' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22290:1-22304:1)
[Warning][Deadcode] Function 'show_maxchild' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22309:1-22322:1)
[Warning][Deadcode] Function 'show_quirks' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22327:1-22339:1)
[Warning][Deadcode] Function 'show_avoid_reset_quirk' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22344:1-22357:1)
[Warning][Deadcode] Function 'set_avoid_reset_quirk' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22358:1-22393:1)
[Warning][Deadcode] Function 'show_urbnum' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22399:1-22413:1)
[Warning][Deadcode] Function 'show_persist' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22418:1-22430:1)
[Warning][Deadcode] Function 'set_persist' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22431:1-22458:1)
[Warning][Deadcode] Function 'add_persist_attributes' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22463:1-22487:1)
[Warning][Deadcode] Function 'remove_persist_attributes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22488:1-22497:1)
[Warning][Deadcode] Function 'show_connected_duration' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22498:1-22513:1)
[Warning][Deadcode] Function 'show_active_duration' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22520:1-22547:1)
[Warning][Deadcode] Function 'show_autosuspend' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22554:1-22563:1)
[Warning][Deadcode] Function 'set_autosuspend' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22564:1-22587:1)
[Warning][Deadcode] Function 'warn_level' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22595:1-22607:1)
[Warning][Deadcode] Function 'show_level' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22608:1-22632:1)
[Warning][Deadcode] Function 'set_level' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22633:1-22692:1)
[Warning][Deadcode] Function 'add_power_attributes' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22701:1-22717:1)
[Warning][Deadcode] Function 'remove_power_attributes' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22718:1-22726:1)
[Warning][Deadcode] Function 'show_idVendor' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22727:1-22740:1)
[Warning][Deadcode] Function 'show_idProduct' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22745:1-22758:1)
[Warning][Deadcode] Function 'show_bcdDevice' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22763:1-22776:1)
[Warning][Deadcode] Function 'show_bDeviceClass' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22781:1-22794:1)
[Warning][Deadcode] Function 'show_bDeviceSubClass' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22800:1-22813:1)
[Warning][Deadcode] Function 'show_bDeviceProtocol' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22820:1-22833:1)
[Warning][Deadcode] Function 'show_bNumConfigurations' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22840:1-22853:1)
[Warning][Deadcode] Function 'show_bMaxPacketSize0' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22860:1-22873:1)
[Warning][Deadcode] Function 'usb_dev_authorized_show' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22880:1-22893:1)
[Warning][Deadcode] Function 'usb_dev_authorized_store' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22894:1-22932:1)
[Warning][Deadcode] Function 'usb_remove_store' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22937:1-22965:1)
[Warning][Deadcode] Function 'dev_string_attrs_are_visible' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:22983:1-23015:1)
[Warning][Deadcode] Function 'read_descriptors' is uncalled: 32 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23018:1-23084:1)
[Warning][Deadcode] Function 'usb_create_sysfs_dev_files' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23094:1-23127:1)
[Warning][Deadcode] Function 'usb_remove_sysfs_dev_files' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23128:1-23139:1)
[Warning][Deadcode] Function 'show_iad_bFirstInterface' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23140:1-23153:1)
[Warning][Deadcode] Function 'show_iad_bInterfaceCount' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23160:1-23173:1)
[Warning][Deadcode] Function 'show_iad_bFunctionClass' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23180:1-23193:1)
[Warning][Deadcode] Function 'show_iad_bFunctionSubClass' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23200:1-23213:1)
[Warning][Deadcode] Function 'show_iad_bFunctionProtocol' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23220:1-23233:1)
[Warning][Deadcode] Function 'show_bInterfaceNumber' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23240:1-23253:1)
[Warning][Deadcode] Function 'show_bAlternateSetting' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23260:1-23273:1)
[Warning][Deadcode] Function 'show_bNumEndpoints' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23280:1-23293:1)
[Warning][Deadcode] Function 'show_bInterfaceClass' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23299:1-23312:1)
[Warning][Deadcode] Function 'show_bInterfaceSubClass' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23319:1-23332:1)
[Warning][Deadcode] Function 'show_bInterfaceProtocol' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23339:1-23352:1)
[Warning][Deadcode] Function 'show_interface_string' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23359:1-23379:1)
[Warning][Deadcode] Function 'show_modalias' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23384:1-23406:1)
[Warning][Deadcode] Function 'show_supports_autosuspend' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23411:1-23446:1)
[Warning][Deadcode] Function 'intf_assoc_attrs_are_visible' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23461:1-23478:1)
[Warning][Deadcode] Function 'usb_create_sysfs_intf_files' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23481:1-23524:1)
[Warning][Deadcode] Function 'usb_remove_sysfs_intf_files' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23525:1-23538:1)
[Warning][Deadcode] Function 'show_ep_bLength' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23545:1-23558:1)
[Warning][Deadcode] Function 'show_ep_bEndpointAddress' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23563:1-23576:1)
[Warning][Deadcode] Function 'show_ep_bmAttributes' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23583:1-23596:1)
[Warning][Deadcode] Function 'show_ep_bInterval' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23602:1-23615:1)
[Warning][Deadcode] Function 'show_ep_wMaxPacketSize' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23620:1-23633:1)
[Warning][Deadcode] Function 'show_ep_type' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23639:1-23685:1)
[Warning][Deadcode] Function 'show_ep_interval' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23690:1-23766:1)
[Warning][Deadcode] Function 'show_ep_direction' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23771:1-23802:1)
[Warning][Deadcode] Function 'ep_device_release' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23814:1-23825:1)
[Warning][Deadcode] Function 'usb_create_ep_devs' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23826:1-23867:1)
[Warning][Deadcode] Function 'usb_remove_ep_devs' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23868:1-23881:1)
[Warning][Deadcode] Function 'list_move_tail' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23882:1-23891:1)
[Warning][Deadcode] Function '__le16_to_cpup' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23892:1-23897:1)
[Warning][Deadcode] Function 'current_thread_info' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23905:1-23934:1)
[Warning][Deadcode] Function 'get_pid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23941:1-23952:1)
[Warning][Deadcode] Function 'imajor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23954:1-23959:1)
[Warning][Deadcode] Function 'copy_from_user' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:23966:1-24011:1)
[Warning][Deadcode] Function 'copy_to_user' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24012:1-24021:1)
[Warning][Deadcode] Function 'poll_wait' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24022:1-24037:1)
[Warning][Deadcode] Function 'task_pid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24038:1-24043:1)
[Warning][Deadcode] Function 'task_pid_nr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24044:1-24049:1)
[Warning][Deadcode] Function 'usb_interface_claimed' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24052:1-24057:1)
[Warning][Deadcode] Function 'compat_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24060:1-24065:1)
[Warning][Deadcode] Function 'ptr_to_compat' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24066:1-24071:1)
[Warning][Deadcode] Function 'connected' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24089:1-24107:1)
[Warning][Deadcode] Function 'usbdev_lseek' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24108:1-24145:1)
[Warning][Deadcode] Function 'usbdev_read' is uncalled: 62 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24146:1-24274:1)
[Warning][Deadcode] Function 'alloc_async' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24275:1-24299:1)
[Warning][Deadcode] Function 'free_async' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24300:1-24312:1)
[Warning][Deadcode] Function 'async_newpending' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24313:1-24327:1)
[Warning][Deadcode] Function 'async_removepending' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24328:1-24342:1)
[Warning][Deadcode] Function 'async_getcompleted' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24343:1-24369:1)
[Warning][Deadcode] Function 'async_getpending' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24370:1-24407:1)
[Warning][Deadcode] Function 'snoop_urb' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24408:1-24466:1)
[Warning][Deadcode] Function 'cancel_bulk_urbs' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24467:1-24523:1)
[Warning][Deadcode] Function 'async_completed' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24524:1-24602:1)
[Warning][Deadcode] Function 'destroy_async' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24603:1-24641:1)
[Warning][Deadcode] Function 'destroy_async_on_interface' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24642:1-24681:1)
[Warning][Deadcode] Function 'destroy_all_async' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24682:1-24690:1)
[Warning][Deadcode] Function 'driver_probe' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24691:1-24696:1)
[Warning][Deadcode] Function 'driver_disconnect' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24697:1-24731:1)
[Warning][Deadcode] Function 'driver_suspend' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24732:1-24737:1)
[Warning][Deadcode] Function 'driver_resume' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24738:1-24743:1)
[Warning][Deadcode] Function 'claimintf' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24765:1-24801:1)
[Warning][Deadcode] Function 'releaseintf' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24802:1-24833:1)
[Warning][Deadcode] Function 'checkintf' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24834:1-24866:1)
[Warning][Deadcode] Function 'findintfep' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24867:1-24925:1)
[Warning][Deadcode] Function 'check_ctrlrecip' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24926:1-24973:1)
[Warning][Deadcode] Function 'match_devt' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24974:1-24979:1)
[Warning][Deadcode] Function 'usbdev_lookup_by_devt' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24980:1-24995:1)
[Warning][Deadcode] Function 'usbdev_open' is uncalled: 63 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:24996:1-25122:1)
[Warning][Deadcode] Function 'usbdev_release' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25123:1-25187:1)
[Warning][Deadcode] Function 'proc_control' is uncalled: 85 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25188:1-25400:1)
[Warning][Deadcode] Function 'proc_bulk' is uncalled: 59 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25401:1-25552:1)
[Warning][Deadcode] Function 'proc_resetep' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25553:1-25607:1)
[Warning][Deadcode] Function 'proc_clearhalt' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25608:1-25677:1)
[Warning][Deadcode] Function 'proc_getdriver' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25678:1-25713:1)
[Warning][Deadcode] Function 'proc_connectinfo' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25714:1-25729:1)
[Warning][Deadcode] Function 'proc_resetdevice' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25730:1-25738:1)
[Warning][Deadcode] Function 'proc_setintf' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25739:1-25764:1)
[Warning][Deadcode] Function 'proc_setconfig' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25765:1-25855:1)
[Warning][Deadcode] Function 'proc_do_submiturb' is uncalled: 247 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:25856:1-26373:1)
[Warning][Deadcode] Function 'proc_submiturb' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:26374:1-26392:1)
[Warning][Deadcode] Function 'proc_unlinkurb' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:26393:1-26408:1)
[Warning][Deadcode] Function 'processcompl' is uncalled: 129 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:26409:1-26670:1)
[Warning][Deadcode] Function 'reap_as' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:26671:1-26769:1)
[Warning][Deadcode] Function 'proc_reapurb' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:26770:1-26801:1)
[Warning][Deadcode] Function 'proc_reapurbnonblock' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:26802:1-26819:1)
[Warning][Deadcode] Function 'proc_control_compat' is uncalled: 43 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:26820:1-26908:1)
[Warning][Deadcode] Function 'proc_bulk_compat' is uncalled: 148 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:26909:1-27191:1)
[Warning][Deadcode] Function 'proc_disconnectsignal_compat' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:27192:1-27209:1)
[Warning][Deadcode] Function 'get_urb32' is uncalled: 224 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:27210:1-27715:1)
[Warning][Deadcode] Function 'proc_submiturb_compat' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:27716:1-27734:1)
[Warning][Deadcode] Function 'processcompl_compat' is uncalled: 125 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:27735:1-27989:1)
[Warning][Deadcode] Function 'proc_reapurb_compat' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:27990:1-28021:1)
[Warning][Deadcode] Function 'proc_reapurbnonblock_compat' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28022:1-28039:1)
[Warning][Deadcode] Function 'proc_disconnectsignal' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28040:1-28055:1)
[Warning][Deadcode] Function 'proc_claiminterface' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28056:1-28096:1)
[Warning][Deadcode] Function 'proc_releaseinterface' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28097:1-28144:1)
[Warning][Deadcode] Function 'proc_ioctl' is uncalled: 59 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28145:1-28286:1)
[Warning][Deadcode] Function 'proc_ioctl_default' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28287:1-28304:1)
[Warning][Deadcode] Function 'proc_ioctl_compat' is uncalled: 64 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28305:1-28454:1)
[Warning][Deadcode] Function 'proc_claim_port' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28455:1-28511:1)
[Warning][Deadcode] Function 'proc_release_port' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28512:1-28552:1)
[Warning][Deadcode] Function 'usbdev_do_ioctl' is uncalled: 189 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:28553:1-29008:1)
[Warning][Deadcode] Function 'usbdev_ioctl' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29009:1-29019:1)
[Warning][Deadcode] Function 'usbdev_compat_ioctl' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29020:1-29032:1)
[Warning][Deadcode] Function 'usbdev_poll' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29033:1-29063:1)
[Warning][Deadcode] Function 'usbdev_remove' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29088:1-29126:1)
[Warning][Deadcode] Function 'usb_classdev_add' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29128:1-29148:1)
[Warning][Deadcode] Function 'usb_classdev_remove' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29149:1-29160:1)
[Warning][Deadcode] Function 'usbdev_notify' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29161:1-29191:1)
[Warning][Deadcode] Function 'usb_devio_init' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29194:1-29250:1)
[Warning][Deadcode] Function 'usb_devio_cleanup' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29251:1-29262:1)
[Warning][Deadcode] Function 'usb_register_notify' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29281:1-29289:1)
[Warning][Deadcode] Function 'usb_unregister_notify' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29290:1-29298:1)
[Warning][Deadcode] Function 'usb_notify_add_device' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29299:1-29307:1)
[Warning][Deadcode] Function 'usb_notify_remove_device' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29308:1-29318:1)
[Warning][Deadcode] Function 'usb_notify_add_bus' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29319:1-29327:1)
[Warning][Deadcode] Function 'usb_notify_remove_bus' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29328:1-29336:1)
[Warning][Deadcode] Function 'is_rndis' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29337:1-29355:1)
[Warning][Deadcode] Function 'is_activesync' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29356:1-29374:1)
[Warning][Deadcode] Function 'usb_choose_configuration' is uncalled: 49 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29375:1-29483:1)
[Warning][Deadcode] Function 'generic_probe' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29484:1-29521:1)
[Warning][Deadcode] Function 'generic_disconnect' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29522:1-29536:1)
[Warning][Deadcode] Function 'generic_suspend' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29537:1-29557:1)
[Warning][Deadcode] Function 'generic_resume' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29558:1-29572:1)
[Warning][Deadcode] Function 'find_id' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29643:1-29676:1)
[Warning][Deadcode] Function 'usb_detect_quirks' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29677:1-29701:1)
[Warning][Deadcode] Function 'atomic_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29702:1-29708:1)
[Warning][Deadcode] Function 'usbfs_conn_disc_event' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29889:1-29898:1)
[Warning][Deadcode] Function 'class_decode' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29899:1-29919:1)
[Warning][Deadcode] Function 'usb_dump_endpoint_descriptor' is uncalled: 65 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:29920:1-30045:1)
[Warning][Deadcode] Function 'usb_dump_interface_descriptor' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30046:1-30088:1)
[Warning][Deadcode] Function 'usb_dump_interface' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30089:1-30118:1)
[Warning][Deadcode] Function 'usb_dump_iad_descriptor' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30119:1-30136:1)
[Warning][Deadcode] Function 'usb_dump_config_descriptor' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30137:1-30158:1)
[Warning][Deadcode] Function 'usb_dump_config' is uncalled: 33 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30159:1-30233:1)
[Warning][Deadcode] Function 'usb_dump_device_descriptor' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30234:1-30265:1)
[Warning][Deadcode] Function 'usb_dump_device_strings' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30266:1-30307:1)
[Warning][Deadcode] Function 'usb_dump_desc' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30308:1-30346:1)
[Warning][Deadcode] Function 'usb_device_dump' is uncalled: 84 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30347:1-30525:1)
[Warning][Deadcode] Function 'usb_device_read' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30526:1-30598:1)
[Warning][Deadcode] Function 'usb_device_poll' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30599:1-30615:1)
[Warning][Deadcode] Function 'usb_device_lseek' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30616:1-30653:1)
[Warning][Deadcode] Function 'constant_test_bit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30685:1-30690:1)
[Warning][Deadcode] Function 'arch_local_irq_enable' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30691:1-30720:1)
[Warning][Deadcode] Function 'pci_power_name' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30730:1-30735:1)
[Warning][Deadcode] Function 'pci_get_drvdata' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30744:1-30752:1)
[Warning][Deadcode] Function 'pci_name' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30753:1-30761:1)
[Warning][Deadcode] Function 'companion_common' is uncalled: 43 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30776:1-30871:1)
[Warning][Deadcode] Function 'set_hs_companion' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30872:1-30883:1)
[Warning][Deadcode] Function 'clear_hs_companion' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30884:1-30906:1)
[Warning][Deadcode] Function 'wait_for_companions' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30907:1-30918:1)
[Warning][Deadcode] Function 'usb_hcd_pci_probe' is uncalled: 79 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:30919:1-31098:1)
[Warning][Deadcode] Function 'usb_hcd_pci_remove' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31099:1-31146:1)
[Warning][Deadcode] Function 'usb_hcd_pci_shutdown' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31147:1-31175:1)
[Warning][Deadcode] Function 'powermac_set_asic' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31176:1-31181:1)
[Warning][Deadcode] Function 'check_root_hub_suspended' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31182:1-31214:1)
[Warning][Deadcode] Function 'suspend_common' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31215:1-31310:1)
[Warning][Deadcode] Function 'resume_common' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31311:1-31394:1)
[Warning][Deadcode] Function 'hcd_pci_suspend' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31395:1-31405:1)
[Warning][Deadcode] Function 'hcd_pci_suspend_noirq' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31406:1-31463:1)
[Warning][Deadcode] Function 'hcd_pci_resume_noirq' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31464:1-31476:1)
[Warning][Deadcode] Function 'hcd_pci_resume' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31477:1-31485:1)
[Warning][Deadcode] Function 'hcd_pci_restore' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31486:1-31494:1)
[Warning][Deadcode] Function 'hcd_pci_runtime_suspend' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31495:1-31515:1)
[Warning][Deadcode] Function 'hcd_pci_runtime_resume' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31516:1-31529:1)
[Warning][Deadcode] Function 'hlist_bl_unhashed' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31538:1-31543:1)
[Warning][Deadcode] Function 'dget_dlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31547:1-31556:1)
[Warning][Deadcode] Function 'dget' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31557:1-31570:1)
[Warning][Deadcode] Function 'd_unhashed' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31571:1-31579:1)
[Warning][Deadcode] Function 'dont_mount' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31580:1-31590:1)
[Warning][Deadcode] Function 'inc_nlink' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31593:1-31599:1)
[Warning][Deadcode] Function 'drop_nlink' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31600:1-31606:1)
[Warning][Deadcode] Function 'usbfs_show_options' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31645:1-31704:1)
[Warning][Deadcode] Function 'parse_options' is uncalled: 85 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31716:1-31889:1)
[Warning][Deadcode] Function 'update_special' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31890:1-31898:1)
[Warning][Deadcode] Function 'update_dev' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31899:1-31907:1)
[Warning][Deadcode] Function 'update_bus' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31908:1-31944:1)
[Warning][Deadcode] Function 'update_sb' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:31945:1-32009:1)
[Warning][Deadcode] Function 'remount' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32010:1-32038:1)
[Warning][Deadcode] Function 'usbfs_get_inode' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32039:1-32098:1)
[Warning][Deadcode] Function 'usbfs_mknod' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32099:1-32123:1)
[Warning][Deadcode] Function 'usbfs_mkdir' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32124:1-32139:1)
[Warning][Deadcode] Function 'usbfs_create' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32140:1-32149:1)
[Warning][Deadcode] Function 'usbfs_positive' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32150:1-32168:1)
[Warning][Deadcode] Function 'usbfs_empty' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32169:1-32213:1)
[Warning][Deadcode] Function 'usbfs_unlink' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32214:1-32227:1)
[Warning][Deadcode] Function 'usbfs_rmdir' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32228:1-32263:1)
[Warning][Deadcode] Function 'default_read_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32264:1-32269:1)
[Warning][Deadcode] Function 'default_write_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32270:1-32276:1)
[Warning][Deadcode] Function 'default_file_lseek' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32277:1-32317:1)
[Warning][Deadcode] Function 'default_open' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32318:1-32327:1)
[Warning][Deadcode] Function 'usbfs_fill_super' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32369:1-32404:1)
[Warning][Deadcode] Function 'fs_create_by_name' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32405:1-32458:1)
[Warning][Deadcode] Function 'fs_create_file' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32459:1-32488:1)
[Warning][Deadcode] Function 'fs_remove_file' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32489:1-32528:1)
[Warning][Deadcode] Function 'usb_mount' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32529:1-32538:1)
[Warning][Deadcode] Function 'create_special_files' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32558:1-32596:1)
[Warning][Deadcode] Function 'remove_special_files' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32597:1-32612:1)
[Warning][Deadcode] Function 'usbfs_update_special' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32613:1-32634:1)
[Warning][Deadcode] Function 'usbfs_add_bus' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32635:1-32667:1)
[Warning][Deadcode] Function 'usbfs_remove_bus' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32668:1-32688:1)
[Warning][Deadcode] Function 'usbfs_add_device' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32689:1-32728:1)
[Warning][Deadcode] Function 'usbfs_remove_device' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32729:1-32741:1)
[Warning][Deadcode] Function 'usbfs_notify' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32742:1-32786:1)
[Warning][Deadcode] Function 'usbfs_init' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32789:1-32805:1)
[Warning][Deadcode] Function 'usbfs_cleanup' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32806:1-32821:1)
[Warning][Deadcode] Function 'assume_abort_if_not' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32825:1-32827:1)
[Warning][Deadcode] Function 'ldv_malloc' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32828:1-32834:1)
[Warning][Deadcode] Function '__class_create' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32835:1-32837:1)
[Warning][Deadcode] Function '__get_free_pages' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32839:1-32841:1)
[Warning][Deadcode] Function '__init_waitqueue_head' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32842:1-32844:1)
[Warning][Deadcode] Function '__init_work' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32845:1-32847:1)
[Warning][Deadcode] Function '__kmalloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32848:1-32850:1)
[Warning][Deadcode] Function '__list_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32851:1-32853:1)
[Warning][Deadcode] Function '__list_del_entry' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32854:1-32856:1)
[Warning][Deadcode] Function '__might_sleep' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32857:1-32859:1)
[Warning][Deadcode] Function '__mutex_init' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32860:1-32862:1)
[Warning][Deadcode] Function '__phys_addr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32864:1-32866:1)
[Warning][Deadcode] Function '__pm_runtime_disable' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32867:1-32869:1)
[Warning][Deadcode] Function '__pm_runtime_idle' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32871:1-32873:1)
[Warning][Deadcode] Function '__pm_runtime_resume' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32875:1-32877:1)
[Warning][Deadcode] Function '__pm_runtime_set_status' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32879:1-32881:1)
[Warning][Deadcode] Function '__pm_runtime_suspend' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32883:1-32885:1)
[Warning][Deadcode] Function '__pm_runtime_use_autosuspend' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32886:1-32888:1)
[Warning][Deadcode] Function '__printk_ratelimit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32890:1-32892:1)
[Warning][Deadcode] Function '__raw_spin_lock_init' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32893:1-32895:1)
[Warning][Deadcode] Function '__register_chrdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32897:1-32899:1)
[Warning][Deadcode] Function '__release_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32900:1-32902:1)
[Warning][Deadcode] Function '__request_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32903:1-32905:1)
[Warning][Deadcode] Function '__suspend_report_result' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32906:1-32908:1)
[Warning][Deadcode] Function '__unregister_chrdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32909:1-32911:1)
[Warning][Deadcode] Function '__wake_up' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32912:1-32914:1)
[Warning][Deadcode] Function '_copy_from_user' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32916:1-32918:1)
[Warning][Deadcode] Function '_copy_to_user' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32920:1-32922:1)
[Warning][Deadcode] Function '_dev_info' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32924:1-32926:1)
[Warning][Deadcode] Function '_raw_spin_lock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32927:1-32929:1)
[Warning][Deadcode] Function '_raw_spin_lock_irq' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32930:1-32932:1)
[Warning][Deadcode] Function '_raw_spin_lock_irqsave' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32934:1-32936:1)
[Warning][Deadcode] Function '_raw_spin_lock_nested' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32937:1-32939:1)
[Warning][Deadcode] Function '_raw_spin_unlock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32940:1-32942:1)
[Warning][Deadcode] Function '_raw_spin_unlock_irq' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32943:1-32945:1)
[Warning][Deadcode] Function '_raw_spin_unlock_irqrestore' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32946:1-32948:1)
[Warning][Deadcode] Function 'add_uevent_var' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32950:1-32952:1)
[Warning][Deadcode] Function 'add_wait_queue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32953:1-32955:1)
[Warning][Deadcode] Function 'blocking_notifier_call_chain' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32957:1-32959:1)
[Warning][Deadcode] Function 'blocking_notifier_chain_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32961:1-32963:1)
[Warning][Deadcode] Function 'blocking_notifier_chain_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32965:1-32967:1)
[Warning][Deadcode] Function 'bus_find_device' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32968:1-32970:1)
[Warning][Deadcode] Function 'bus_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32972:1-32974:1)
[Warning][Deadcode] Function 'bus_register_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32976:1-32978:1)
[Warning][Deadcode] Function 'bus_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32979:1-32981:1)
[Warning][Deadcode] Function 'bus_unregister_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32983:1-32985:1)
[Warning][Deadcode] Function 'cancel_delayed_work_sync' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32987:1-32989:1)
[Warning][Deadcode] Function 'cancel_work_sync' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32991:1-32993:1)
[Warning][Deadcode] Function 'cdev_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32995:1-32997:1)
[Warning][Deadcode] Function 'cdev_del' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:32998:1-33000:1)
[Warning][Deadcode] Function 'cdev_init' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33001:1-33003:1)
[Warning][Deadcode] Function 'class_destroy' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33004:1-33006:1)
[Warning][Deadcode] Function 'compat_alloc_user_space' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33007:1-33009:1)
[Warning][Deadcode] Function 'complete' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33010:1-33012:1)
[Warning][Deadcode] Function 'copy_in_user' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33014:1-33016:1)
[Warning][Deadcode] Function 'current_kernel_time' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33017:1-33019:1)
[Warning][Deadcode] Function 'd_alloc_root' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33020:1-33022:1)
[Warning][Deadcode] Function 'd_delete' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33023:1-33025:1)
[Warning][Deadcode] Function 'd_instantiate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33026:1-33028:1)
[Warning][Deadcode] Function 'debug_dma_alloc_coherent' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33029:1-33031:1)
[Warning][Deadcode] Function 'debug_dma_free_coherent' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33032:1-33034:1)
[Warning][Deadcode] Function 'debug_dma_map_page' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33035:1-33037:1)
[Warning][Deadcode] Function 'debug_dma_map_sg' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33038:1-33040:1)
[Warning][Deadcode] Function 'debug_dma_unmap_page' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33041:1-33043:1)
[Warning][Deadcode] Function 'debug_dma_unmap_sg' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33044:1-33046:1)
[Warning][Deadcode] Function 'debugfs_create_dir' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33047:1-33049:1)
[Warning][Deadcode] Function 'debugfs_create_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33050:1-33052:1)
[Warning][Deadcode] Function 'debugfs_remove' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33053:1-33055:1)
[Warning][Deadcode] Function 'del_timer' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33057:1-33059:1)
[Warning][Deadcode] Function 'del_timer_sync' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33061:1-33063:1)
[Warning][Deadcode] Function 'dentry_unhash' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33064:1-33066:1)
[Warning][Deadcode] Function 'dev_err' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33068:1-33070:1)
[Warning][Deadcode] Function 'dev_get_drvdata' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33071:1-33073:1)
[Warning][Deadcode] Function 'dev_printk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33075:1-33077:1)
[Warning][Deadcode] Function 'dev_set_drvdata' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33079:1-33081:1)
[Warning][Deadcode] Function 'dev_set_name' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33083:1-33085:1)
[Warning][Deadcode] Function 'dev_warn' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33087:1-33089:1)
[Warning][Deadcode] Function 'device_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33091:1-33093:1)
[Warning][Deadcode] Function 'device_attach' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33095:1-33097:1)
[Warning][Deadcode] Function 'device_bind_driver' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33099:1-33101:1)
[Warning][Deadcode] Function 'device_create' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33102:1-33104:1)
[Warning][Deadcode] Function 'device_create_bin_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33106:1-33108:1)
[Warning][Deadcode] Function 'device_create_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33110:1-33112:1)
[Warning][Deadcode] Function 'device_del' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33113:1-33115:1)
[Warning][Deadcode] Function 'device_destroy' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33116:1-33118:1)
[Warning][Deadcode] Function 'device_init_wakeup' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33120:1-33122:1)
[Warning][Deadcode] Function 'device_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33123:1-33125:1)
[Warning][Deadcode] Function 'device_pm_wait_for_dev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33127:1-33129:1)
[Warning][Deadcode] Function 'device_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33131:1-33133:1)
[Warning][Deadcode] Function 'device_release_driver' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33134:1-33136:1)
[Warning][Deadcode] Function 'device_remove_bin_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33137:1-33139:1)
[Warning][Deadcode] Function 'device_remove_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33140:1-33142:1)
[Warning][Deadcode] Function 'device_set_wakeup_capable' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33143:1-33145:1)
[Warning][Deadcode] Function 'device_set_wakeup_enable' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33147:1-33149:1)
[Warning][Deadcode] Function 'device_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33150:1-33152:1)
[Warning][Deadcode] Function 'dma_pool_alloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33153:1-33155:1)
[Warning][Deadcode] Function 'dma_pool_create' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33156:1-33158:1)
[Warning][Deadcode] Function 'dma_pool_destroy' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33159:1-33161:1)
[Warning][Deadcode] Function 'dma_pool_free' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33162:1-33164:1)
[Warning][Deadcode] Function 'down_write' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33168:1-33170:1)
[Warning][Deadcode] Function 'dput' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33171:1-33173:1)
[Warning][Deadcode] Function 'driver_attach' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33175:1-33177:1)
[Warning][Deadcode] Function 'driver_create_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33179:1-33181:1)
[Warning][Deadcode] Function 'driver_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33183:1-33185:1)
[Warning][Deadcode] Function 'driver_remove_file' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33186:1-33188:1)
[Warning][Deadcode] Function 'driver_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33189:1-33191:1)
[Warning][Deadcode] Function 'find_next_zero_bit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33193:1-33195:1)
[Warning][Deadcode] Function 'finish_wait' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33196:1-33198:1)
[Warning][Deadcode] Function 'free_irq' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33199:1-33201:1)
[Warning][Deadcode] Function 'free_pages' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33202:1-33204:1)
[Warning][Deadcode] Function 'get_device' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33205:1-33207:1)
[Warning][Deadcode] Function 'get_driver' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33208:1-33210:1)
[Warning][Deadcode] Function 'get_next_ino' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33212:1-33214:1)
[Warning][Deadcode] Function 'init_special_inode' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33215:1-33217:1)
[Warning][Deadcode] Function 'init_timer_key' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33218:1-33220:1)
[Warning][Deadcode] Function 'ioremap_nocache' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33221:1-33223:1)
[Warning][Deadcode] Function 'iounmap' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33224:1-33226:1)
[Warning][Deadcode] Function 'iput' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33227:1-33229:1)
[Warning][Deadcode] Function 'jiffies_to_msecs' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33231:1-33233:1)
[Warning][Deadcode] Function 'kasprintf' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33234:1-33236:1)
[Warning][Deadcode] Function 'kill_pid_info_as_uid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33238:1-33240:1)
[Warning][Deadcode] Function 'kref_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33241:1-33243:1)
[Warning][Deadcode] Function 'kref_init' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33244:1-33246:1)
[Warning][Deadcode] Function 'kref_put' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33248:1-33250:1)
[Warning][Deadcode] Function 'kstrdup' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33251:1-33253:1)
[Warning][Deadcode] Function 'kthread_create_on_node' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33254:1-33256:1)
[Warning][Deadcode] Function 'kthread_should_stop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33258:1-33260:1)
[Warning][Deadcode] Function 'kthread_stop' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33262:1-33264:1)
[Warning][Deadcode] Function 'list_del' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33275:1-33277:1)
[Warning][Deadcode] Function 'lockdep_init_map' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33278:1-33280:1)
[Warning][Deadcode] Function 'lookup_one_len' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33281:1-33283:1)
[Warning][Deadcode] Function 'match_int' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33285:1-33287:1)
[Warning][Deadcode] Function 'match_octal' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33289:1-33291:1)
[Warning][Deadcode] Function 'match_token' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33293:1-33295:1)
[Warning][Deadcode] Function 'might_fault' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33296:1-33298:1)
[Warning][Deadcode] Function 'mod_timer' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33300:1-33302:1)
[Warning][Deadcode] Function 'mount_single' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33303:1-33305:1)
[Warning][Deadcode] Function 'msecs_to_jiffies' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33307:1-33309:1)
[Warning][Deadcode] Function 'msleep' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33310:1-33312:1)
[Warning][Deadcode] Function 'mutex_lock_nested' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33313:1-33315:1)
[Warning][Deadcode] Function 'mutex_trylock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33317:1-33319:1)
[Warning][Deadcode] Function 'mutex_unlock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33320:1-33322:1)
[Warning][Deadcode] Function 'new_inode' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33323:1-33325:1)
[Warning][Deadcode] Function 'pci_back_from_sleep' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33327:1-33329:1)
[Warning][Deadcode] Function 'pci_dev_run_wake' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33331:1-33333:1)
[Warning][Deadcode] Function 'pci_disable_device' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33334:1-33336:1)
[Warning][Deadcode] Function 'pci_enable_device' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33338:1-33340:1)
[Warning][Deadcode] Function 'pci_get_device' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33341:1-33343:1)
[Warning][Deadcode] Function 'pci_prepare_to_sleep' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33345:1-33347:1)
[Warning][Deadcode] Function 'pci_save_state' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33349:1-33351:1)
[Warning][Deadcode] Function 'pci_set_master' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33352:1-33354:1)
[Warning][Deadcode] Function 'pm_runtime_allow' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33355:1-33357:1)
[Warning][Deadcode] Function 'pm_runtime_enable' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33358:1-33360:1)
[Warning][Deadcode] Function 'pm_runtime_forbid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33361:1-33363:1)
[Warning][Deadcode] Function 'pm_runtime_no_callbacks' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33364:1-33366:1)
[Warning][Deadcode] Function 'pm_runtime_set_autosuspend_delay' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33367:1-33369:1)
[Warning][Deadcode] Function 'prepare_to_wait' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33370:1-33372:1)
[Warning][Deadcode] Function 'print_hex_dump' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33373:1-33375:1)
[Warning][Deadcode] Function 'printk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33377:1-33379:1)
[Warning][Deadcode] Function 'proc_mkdir' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33380:1-33382:1)
[Warning][Deadcode] Function 'put_device' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33383:1-33385:1)
[Warning][Deadcode] Function 'put_driver' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33386:1-33388:1)
[Warning][Deadcode] Function 'put_pid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33389:1-33391:1)
[Warning][Deadcode] Function 'queue_work' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33393:1-33395:1)
[Warning][Deadcode] Function 'refrigerator' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33396:1-33398:1)
[Warning][Deadcode] Function 'register_chrdev_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33400:1-33402:1)
[Warning][Deadcode] Function 'register_filesystem' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33404:1-33406:1)
[Warning][Deadcode] Function 'remove_proc_entry' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33407:1-33409:1)
[Warning][Deadcode] Function 'remove_wait_queue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33410:1-33412:1)
[Warning][Deadcode] Function 'request_threaded_irq' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33414:1-33416:1)
[Warning][Deadcode] Function 'schedule' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33417:1-33419:1)
[Warning][Deadcode] Function 'schedule_delayed_work' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33421:1-33423:1)
[Warning][Deadcode] Function 'schedule_timeout' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33425:1-33427:1)
[Warning][Deadcode] Function 'schedule_work' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33429:1-33431:1)
[Warning][Deadcode] Function 'security_task_getsecid' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33432:1-33434:1)
[Warning][Deadcode] Function 'seq_printf' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33436:1-33438:1)
[Warning][Deadcode] Function 'sg_next' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33439:1-33441:1)
[Warning][Deadcode] Function 'simple_pin_fs' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33443:1-33445:1)
[Warning][Deadcode] Function 'simple_release_fs' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33446:1-33448:1)
[Warning][Deadcode] Function 'strsep' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33449:1-33451:1)
[Warning][Deadcode] Function 'synchronize_irq' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33452:1-33454:1)
[Warning][Deadcode] Function 'sysfs_add_file_to_group' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33456:1-33458:1)
[Warning][Deadcode] Function 'sysfs_create_group' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33460:1-33462:1)
[Warning][Deadcode] Function 'sysfs_merge_group' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33464:1-33466:1)
[Warning][Deadcode] Function 'sysfs_remove_file_from_group' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33467:1-33469:1)
[Warning][Deadcode] Function 'sysfs_remove_group' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33470:1-33472:1)
[Warning][Deadcode] Function 'sysfs_unmerge_group' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33473:1-33475:1)
[Warning][Deadcode] Function 'trace_hardirqs_off' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33476:1-33478:1)
[Warning][Deadcode] Function 'trace_hardirqs_on' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33479:1-33481:1)
[Warning][Deadcode] Function 'unregister_chrdev_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33482:1-33484:1)
[Warning][Deadcode] Function 'unregister_filesystem' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33486:1-33488:1)
[Warning][Deadcode] Function 'up_write' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33492:1-33494:1)
[Warning][Deadcode] Function 'utf16s_to_utf8s' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33496:1-33498:1)
[Warning][Deadcode] Function 'wait_for_completion' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33499:1-33501:1)
[Warning][Deadcode] Function 'wait_for_completion_timeout' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33503:1-33505:1)
[Warning][Deadcode] Function 'wake_up_process' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33507:1-33509:1)
[Warning][Deadcode] Function 'warn_slowpath_fmt' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33510:1-33512:1)
[Warning][Deadcode] Function 'warn_slowpath_null' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33513:1-33515:1)
[Warning][Deadcode] Function 'yield' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33516:1-33518:1)
[Warning][Deadcode] Function 'default_wake_function' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33520:1-33522:1)
[Warning][Deadcode] Function 'autoremove_wake_function' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33524:1-33526:1)
[Warning][Deadcode] Function 'kfree' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:33528:1-33530:1)
[Warning][Deadcode] Function 'ldv_blast_assert' has dead code:
  on line 4881 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:4881-4881)
[Warning][Deadcode] Function 'main' has dead code:
  on line 21569 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21569-21569)
  on line 21580 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21580-21580)
[Warning][Deadcode] Function 'usb_open' has dead code:
  on line 21238 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21238-21238)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 89
  dead: 11428 (11424 in uncalled functions)
  total lines: 11517
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:12:73-12:74)
[Warning][Deadcode][CWE-571] condition '(unsigned long )c != (unsigned long )((struct file_operations  const  *)0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21228:9-21228:81)
[Warning][Deadcode][CWE-571] condition 'err != 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21254:7-21254:15)
[Warning][Deadcode][CWE-571] condition 'ldv_s_usb_fops_file_operations == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21571:11-21571:46)
[Warning][Deadcode][CWE-571] condition 'res_usb_open_0 != 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21576:13-21576:32)
[Warning][Deadcode][CWE-570] condition 'ldv_s_usb_fops_file_operations != 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-usb-core-usbcore.ko.cil.out.i:21597:7-21597:42)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 0
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 0
SV-COMP result: unknown
[Warning][Unsound][Call] No suitable function to call
[Error][Imprecise][Unsound] Function definition missing
