./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-block-drbd-drbd.ko.cil.out-2.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-block-drbd-drbd.ko.cil.out-2.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-block-drbd-drbd.ko.cil.out-2.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] 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 __xchg_wrong_size
[Error][Imprecise][Unsound] Function definition missing for __bad_unaligned_access_size
[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-block-drbd-drbd.ko.cil.out-2.i:10788:9-10788:50)
[Info][Unsound] Unknown address in {&__this_module} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10738:3-10738:36)
[Info][Unsound] Unknown value in {&__this_module} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10738:3-10738:36)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10738:3-10738:36)
[Info][Unsound] Unknown address in {&__this_module} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10833:3-10833:32)
[Info][Unsound] Unknown value in {&__this_module} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10833:3-10833:32)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10833:3-10833:32)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10739:3-10739:36)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10774:9-10774:70)
[Info][Unsound] Unknown address in {&__this_module} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10721:3-10721:50)
[Info][Unsound] Unknown value in {&__this_module} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10721:3-10721:50)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10721:3-10721:50)
[Info][Unsound] Unknown address in {&__this_module} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10824:3-10824:35)
[Info][Unsound] Unknown value in {&__this_module} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10824:3-10824:35)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10824:3-10824:35)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10108:7-10108:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10725:5-10725:43)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10182:3-10182:22)
[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-block-drbd-drbd.ko.cil.out-2.i:10726:5-10726:60)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10726:5-10726:60)
[Warning][Deadcode] Function 'set_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6613:1-6619: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-block-drbd-drbd.ko.cil.out-2.i:6620:1-6626:1)
[Warning][Deadcode] Function 'test_and_set_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6627:1-6634:1)
[Warning][Deadcode] Function '__test_and_set_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6635:1-6641: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-block-drbd-drbd.ko.cil.out-2.i:6642:1-6648: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-block-drbd-drbd.ko.cil.out-2.i:6649:1-6654: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-block-drbd-drbd.ko.cil.out-2.i:6655:1-6662:1)
[Warning][Deadcode] Function '__arch_hweight64' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6666:1-6673:1)
[Warning][Deadcode] Function 'find_next_zero_bit_le' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6674:1-6683:1)
[Warning][Deadcode] Function 'find_next_bit_le' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6684:1-6693:1)
[Warning][Deadcode] Function 'test_bit_le' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6694:1-6702:1)
[Warning][Deadcode] Function '__test_and_set_bit_le' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6703:1-6711:1)
[Warning][Deadcode] Function '__test_and_clear_bit_le' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6712:1-6720:1)
[Warning][Deadcode] Function 'hweight_long' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6721:1-6729: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-block-drbd-drbd.ko.cil.out-2.i:6735:1-6762: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-block-drbd-drbd.ko.cil.out-2.i:6765:1-6771: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-block-drbd-drbd.ko.cil.out-2.i:6772:1-6778:1)
[Warning][Deadcode] Function 'atomic_dec_and_test' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6779:1-6786:1)
[Warning][Deadcode] Function 'atomic_add_return' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6787:1-6795:1)
[Warning][Deadcode] Function 'atomic_sub_return' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6796:1-6804: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-block-drbd-drbd.ko.cil.out-2.i:6806:1-6835: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-block-drbd-drbd.ko.cil.out-2.i:6843:1-6848: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-block-drbd-drbd.ko.cil.out-2.i:6849:1-6857: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-block-drbd-drbd.ko.cil.out-2.i:6858:1-6866: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-block-drbd-drbd.ko.cil.out-2.i:6867:1-6875: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-block-drbd-drbd.ko.cil.out-2.i:6886:1-6895:1)
[Warning][Deadcode] Function 'alloc_pages' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6901:1-6909:1)
[Warning][Deadcode] Function 'kmalloc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6919:1-6927:1)
[Warning][Deadcode] Function 'kzalloc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6929:1-6937: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-block-drbd-drbd.ko.cil.out-2.i:6944:1-6949:1)
[Warning][Deadcode] Function 'pagefault_disable' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6953:1-6963:1)
[Warning][Deadcode] Function 'pagefault_enable' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6964:1-6975:1)
[Warning][Deadcode] Function '__kmap_atomic' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6977:1-6986:1)
[Warning][Deadcode] Function '__kunmap_atomic' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:6987:1-6995:1)
[Warning][Deadcode] Function 'drbd_insert_fault' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7004:1-7026:1)
[Warning][Deadcode] Function '_drbd_set_state' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7061:1-7072:1)
[Warning][Deadcode] Function '__drbd_chk_io_error_' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7073:1-7133:1)
[Warning][Deadcode] Function 'drbd_chk_io_error_' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7134:1-7150:1)
[Warning][Deadcode] Function 'drbd_md_last_sector' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7151:1-7175:1)
[Warning][Deadcode] Function 'put_ldev' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7176:1-7212:1)
[Warning][Deadcode] Function '_get_ldev_if_state' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7213:1-7232:1)
[Warning][Deadcode] Function 'drbd_md_flush' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7233:1-7257:1)
[Warning][Deadcode] Function '__bm_print_lock_info' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7258:1-7334:1)
[Warning][Deadcode] Function 'drbd_bm_lock' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7335:1-7431:1)
[Warning][Deadcode] Function 'drbd_bm_unlock' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7432:1-7457:1)
[Warning][Deadcode] Function 'bm_store_page_idx' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7458:1-7474:1)
[Warning][Deadcode] Function 'bm_page_to_idx' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7475:1-7480:1)
[Warning][Deadcode] Function 'bm_page_lock_io' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7481:1-7526:1)
[Warning][Deadcode] Function 'bm_page_unlock_io' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7527:1-7540:1)
[Warning][Deadcode] Function 'bm_set_page_unchanged' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7541:1-7550:1)
[Warning][Deadcode] Function 'bm_set_page_need_writeout' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7551:1-7559:1)
[Warning][Deadcode] Function 'bm_test_page_unchanged' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7560:1-7566:1)
[Warning][Deadcode] Function 'bm_set_page_io_err' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7567:1-7575:1)
[Warning][Deadcode] Function 'bm_clear_page_io_err' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7576:1-7584:1)
[Warning][Deadcode] Function 'bm_set_page_lazy_writeout' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7585:1-7593:1)
[Warning][Deadcode] Function 'bm_test_page_lazy_writeout' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7594:1-7602:1)
[Warning][Deadcode] Function 'bm_word_to_page_idx' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7603:1-7620:1)
[Warning][Deadcode] Function 'bm_bit_to_page_idx' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7621:1-7638:1)
[Warning][Deadcode] Function '__bm_map_pidx' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7639:1-7649:1)
[Warning][Deadcode] Function 'bm_map_pidx' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7650:1-7658:1)
[Warning][Deadcode] Function '__bm_unmap' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7659:1-7667:1)
[Warning][Deadcode] Function 'bm_unmap' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7668:1-7673:1)
[Warning][Deadcode] Function 'bm_free_pages' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7674:1-7707:1)
[Warning][Deadcode] Function 'bm_vk_free' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7708:1-7722:1)
[Warning][Deadcode] Function 'bm_realloc_pages' is uncalled: 58 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7723:1-7858:1)
[Warning][Deadcode] Function 'drbd_bm_init' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7859:1-7898:1)
[Warning][Deadcode] Function 'drbd_bm_capacity' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7899:1-7917:1)
[Warning][Deadcode] Function 'drbd_bm_cleanup' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7918:1-7942:1)
[Warning][Deadcode] Function 'bm_clear_surplus' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7943:1-7973:1)
[Warning][Deadcode] Function 'bm_set_surplus' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7974:1-7997:1)
[Warning][Deadcode] Function 'bm_count_bits' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:7998:1-8073:1)
[Warning][Deadcode] Function 'bm_memset' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8074:1-8130:1)
[Warning][Deadcode] Function 'drbd_bm_resize' is uncalled: 86 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8131:1-8324:1)
[Warning][Deadcode] Function '_drbd_bm_total_weight' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8325:1-8368:1)
[Warning][Deadcode] Function 'drbd_bm_total_weight' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8369:1-8386:1)
[Warning][Deadcode] Function 'drbd_bm_words' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8387:1-8421:1)
[Warning][Deadcode] Function 'drbd_bm_bits' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8422:1-8442:1)
[Warning][Deadcode] Function 'drbd_bm_merge_lel' is uncalled: 61 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8443:1-8587:1)
[Warning][Deadcode] Function 'drbd_bm_get_lel' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8588:1-8701:1)
[Warning][Deadcode] Function 'drbd_bm_set_all' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8702:1-8743:1)
[Warning][Deadcode] Function 'drbd_bm_clear_all' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8744:1-8784:1)
[Warning][Deadcode] Function 'bm_async_io_complete' is uncalled: 38 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8785:1-8881:1)
[Warning][Deadcode] Function 'bm_page_io_async' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8882:1-8974:1)
[Warning][Deadcode] Function 'bm_rw' is uncalled: 79 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:8975:1-9155:1)
[Warning][Deadcode] Function 'drbd_bm_read' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9156:1-9164:1)
[Warning][Deadcode] Function 'drbd_bm_write' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9165:1-9173:1)
[Warning][Deadcode] Function 'drbd_bm_write_lazy' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9174:1-9182:1)
[Warning][Deadcode] Function 'drbd_bm_write_page' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9183:1-9233:1)
[Warning][Deadcode] Function '__bm_find_next' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9234:1-9295:1)
[Warning][Deadcode] Function 'bm_find_next' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9296:1-9345:1)
[Warning][Deadcode] Function 'drbd_bm_find_next' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9346:1-9354:1)
[Warning][Deadcode] Function '_drbd_bm_find_next' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9355:1-9363:1)
[Warning][Deadcode] Function '_drbd_bm_find_next_zero' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9364:1-9372:1)
[Warning][Deadcode] Function '__bm_change_bits_to' is uncalled: 43 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9373:1-9476:1)
[Warning][Deadcode] Function 'bm_change_bits_to' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9477:1-9536:1)
[Warning][Deadcode] Function 'drbd_bm_set_bits' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9537:1-9545:1)
[Warning][Deadcode] Function 'drbd_bm_clear_bits' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9546:1-9554:1)
[Warning][Deadcode] Function 'bm_set_full_words_within_one_page' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9555:1-9589:1)
[Warning][Deadcode] Function '_drbd_bm_set_bits' is uncalled: 33 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9590:1-9660:1)
[Warning][Deadcode] Function 'drbd_bm_test_bit' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9661:1-9732:1)
[Warning][Deadcode] Function 'drbd_bm_count_bits' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9733:1-9847:1)
[Warning][Deadcode] Function 'drbd_bm_e_weight' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9848:1-9953:1)
[Warning][Deadcode] Function 'drbd_bm_ALe_set_all' is uncalled: 50 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:9954:1-10077: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-block-drbd-drbd.ko.cil.out-2.i:10090:1-10099: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-block-drbd-drbd.ko.cil.out-2.i:10134:1-10143: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-block-drbd-drbd.ko.cil.out-2.i:10144:1-10149: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-block-drbd-drbd.ko.cil.out-2.i:10162:1-10167:1)
[Warning][Deadcode] Function 'minor_to_mdev' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10201:1-10211:1)
[Warning][Deadcode] Function 'drbd_get_syncer_progress' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10215:1-10258:1)
[Warning][Deadcode] Function 'is_susp' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10259:1-10275:1)
[Warning][Deadcode] Function 'seq_printf_with_thousands_grouping' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10308:1-10337:1)
[Warning][Deadcode] Function 'drbd_syncer_progress' is uncalled: 79 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10338:1-10508:1)
[Warning][Deadcode] Function 'resync_dump_detail' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10509:1-10526:1)
[Warning][Deadcode] Function 'drbd_seq_show' is uncalled: 79 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10527:1-10714:1)
[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-block-drbd-drbd.ko.cil.out-2.i:10838:1-10845: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-block-drbd-drbd.ko.cil.out-2.i:10847:1-10855: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-block-drbd-drbd.ko.cil.out-2.i:10856:1-10864: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-block-drbd-drbd.ko.cil.out-2.i:10867:1-10876: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-block-drbd-drbd.ko.cil.out-2.i:10877:1-10882:1)
[Warning][Deadcode] Function '__list_splice' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10883:1-10896:1)
[Warning][Deadcode] Function 'list_splice_init' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10897:1-10912:1)
[Warning][Deadcode] Function 'ERR_PTR' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10916:1-10921: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-block-drbd-drbd.ko.cil.out-2.i:10922:1-10928:1)
[Warning][Deadcode] Function 'atomic_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10929:1-10935: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-block-drbd-drbd.ko.cil.out-2.i:10936:1-10942:1)
[Warning][Deadcode] Function 'atomic_xchg' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10943:1-10979: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-block-drbd-drbd.ko.cil.out-2.i:10986:1-10994: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-block-drbd-drbd.ko.cil.out-2.i:10995:1-11003:1)
[Warning][Deadcode] Function 'PageTail' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11006:1-11014:1)
[Warning][Deadcode] Function 'compound_head' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11015:1-11029:1)
[Warning][Deadcode] Function 'page_count' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11030:1-11040:1)
[Warning][Deadcode] Function 'sg_assign_page' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11041:1-11081:1)
[Warning][Deadcode] Function 'sg_set_page' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11082:1-11093:1)
[Warning][Deadcode] Function 'sema_init' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11095:1-11119:1)
[Warning][Deadcode] Function 'i_size_read' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11123:1-11128:1)
[Warning][Deadcode] Function 'crypto_hash_tfm' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11133:1-11138:1)
[Warning][Deadcode] Function 'crypto_hash_crt' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11139:1-11147:1)
[Warning][Deadcode] Function 'crypto_hash_digestsize' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11148:1-11156:1)
[Warning][Deadcode] Function 'crypto_hash_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11157:1-11167:1)
[Warning][Deadcode] Function 'crypto_hash_update' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11168:1-11179:1)
[Warning][Deadcode] Function 'crypto_hash_final' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11180:1-11190:1)
[Warning][Deadcode] Function 'queue_max_hw_sectors' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11193:1-11198:1)
[Warning][Deadcode] Function 'get_t_state' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11199:1-11205:1)
[Warning][Deadcode] Function 'mdev_to_minor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11206:1-11211:1)
[Warning][Deadcode] Function 'drbd_get_data_sock' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11212:1-11229:1)
[Warning][Deadcode] Function 'drbd_put_data_sock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11230:1-11238:1)
[Warning][Deadcode] Function 'ov_oos_print' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11275:1-11288:1)
[Warning][Deadcode] Function 'drbd_setsockopt' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11317:1-11332:1)
[Warning][Deadcode] Function 'drbd_tcp_cork' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11333:1-11342:1)
[Warning][Deadcode] Function 'drbd_tcp_uncork' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11343:1-11352:1)
[Warning][Deadcode] Function 'page_chain_next' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11365:1-11370:1)
[Warning][Deadcode] Function 'drbd_ee_has_active_page' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11371:1-11402:1)
[Warning][Deadcode] Function 'drbd_state_lock' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11403:1-11444:1)
[Warning][Deadcode] Function 'drbd_state_unlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11445:1-11454:1)
[Warning][Deadcode] Function '__drbd_chk_io_error____0' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11455:1-11515:1)
[Warning][Deadcode] Function 'drbd_get_capacity' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11516:1-11530:1)
[Warning][Deadcode] Function 'drbd_queue_work' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11531:1-11544:1)
[Warning][Deadcode] Function 'wake_asender' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11545:1-11559:1)
[Warning][Deadcode] Function 'request_ping' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11560:1-11569:1)
[Warning][Deadcode] Function 'drbd_send_short_cmd' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11570:1-11579:1)
[Warning][Deadcode] Function 'drbd_thread_stop' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11580:1-11588:1)
[Warning][Deadcode] Function 'inc_rs_pending' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11589:1-11597:1)
[Warning][Deadcode] Function 'drbd_req_make_private_bio' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11601:1-11613:1)
[Warning][Deadcode] Function '_req_mod' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11616:1-11633:1)
[Warning][Deadcode] Function 'req_mod' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11634:1-11656:1)
[Warning][Deadcode] Function 'drbd_md_io_complete' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11659:1-11669:1)
[Warning][Deadcode] Function 'drbd_endio_read_sec_final' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11670:1-11716:1)
[Warning][Deadcode] Function 'drbd_endio_write_sec_final' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11717:1-11796:1)
[Warning][Deadcode] Function 'drbd_endio_sec' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11797:1-11876:1)
[Warning][Deadcode] Function 'drbd_endio_pri' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11877:1-11943:1)
[Warning][Deadcode] Function 'w_read_retry_remote' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11944:1-11975:1)
[Warning][Deadcode] Function 'drbd_csum_ee' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:11976:1-12022:1)
[Warning][Deadcode] Function 'drbd_csum_bio' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12023:1-12058:1)
[Warning][Deadcode] Function 'w_e_send_csum' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12059:1-12137:1)
[Warning][Deadcode] Function 'read_for_csum' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12138:1-12189:1)
[Warning][Deadcode] Function 'w_resync_timer' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12190:1-12215:1)
[Warning][Deadcode] Function 'resync_timer_fn' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12216:1-12232:1)
[Warning][Deadcode] Function 'fifo_set' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12233:1-12250:1)
[Warning][Deadcode] Function 'fifo_push' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12251:1-12265:1)
[Warning][Deadcode] Function 'fifo_add_val' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12266:1-12283:1)
[Warning][Deadcode] Function 'drbd_rs_controller' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12284:1-12331:1)
[Warning][Deadcode] Function 'drbd_rs_number_requests' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12332:1-12348:1)
[Warning][Deadcode] Function 'w_make_resync_request' is uncalled: 115 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12349:1-12608:1)
[Warning][Deadcode] Function 'w_make_ov_request' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12609:1-12701:1)
[Warning][Deadcode] Function 'start_resync_timer_fn' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12702:1-12711:1)
[Warning][Deadcode] Function 'w_start_resync' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12712:1-12746:1)
[Warning][Deadcode] Function 'w_ov_finished' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12747:1-12757:1)
[Warning][Deadcode] Function 'w_resync_finished' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12758:1-12767:1)
[Warning][Deadcode] Function 'ping_peer' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12768:1-12817:1)
[Warning][Deadcode] Function 'drbd_resync_finished' is uncalled: 113 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12818:1-13067:1)
[Warning][Deadcode] Function 'move_to_net_ee_or_free' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13068:1-13092:1)
[Warning][Deadcode] Function 'w_e_end_data_req' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13093:1-13174:1)
[Warning][Deadcode] Function 'w_e_end_rsdata_req' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13175:1-13293:1)
[Warning][Deadcode] Function 'w_e_end_csum_rs_req' is uncalled: 54 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13294:1-13432:1)
[Warning][Deadcode] Function 'w_e_end_ov_req' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13433:1-13528:1)
[Warning][Deadcode] Function 'drbd_ov_oos_found' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13529:1-13544:1)
[Warning][Deadcode] Function 'w_e_end_ov_reply' is uncalled: 51 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13545:1-13678:1)
[Warning][Deadcode] Function 'w_prev_work_done' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13679:1-13690:1)
[Warning][Deadcode] Function 'w_send_barrier' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13691:1-13734:1)
[Warning][Deadcode] Function 'w_send_write_hint' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13735:1-13747:1)
[Warning][Deadcode] Function 'w_send_oos' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13748:1-13772:1)
[Warning][Deadcode] Function 'w_send_dblock' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13773:1-13805:1)
[Warning][Deadcode] Function 'w_send_read_req' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13806:1-13853:1)
[Warning][Deadcode] Function 'w_restart_disk_io' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13854:1-13876:1)
[Warning][Deadcode] Function '_drbd_may_sync_now' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13877:1-13923:1)
[Warning][Deadcode] Function '_drbd_pause_after' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13924:1-13973:1)
[Warning][Deadcode] Function '_drbd_resume_next' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:13974:1-14026:1)
[Warning][Deadcode] Function 'resume_next_sg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14027:1-14037:1)
[Warning][Deadcode] Function 'suspend_other_sg' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14038:1-14048:1)
[Warning][Deadcode] Function 'sync_after_error' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14049:1-14085:1)
[Warning][Deadcode] Function 'drbd_alter_sa' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14086:1-14116:1)
[Warning][Deadcode] Function 'drbd_rs_controller_reset' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14117:1-14131:1)
[Warning][Deadcode] Function 'drbd_start_resync' is uncalled: 88 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14132:1-14328:1)
[Warning][Deadcode] Function 'drbd_worker' is uncalled: 102 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14329:1-14584:1)
[Warning][Deadcode] Function 'list_move' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14585:1-14594:1)
[Warning][Deadcode] Function 'INIT_HLIST_NODE' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14595:1-14602:1)
[Warning][Deadcode] Function 'hlist_unhashed' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14603:1-14608:1)
[Warning][Deadcode] Function '__hlist_del' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14609:1-14622:1)
[Warning][Deadcode] Function 'hlist_del_init' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14623:1-14638:1)
[Warning][Deadcode] Function 'hlist_add_head' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14639:1-14652: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-block-drbd-drbd.ko.cil.out-2.i:14653:1-14660:1)
[Warning][Deadcode] Function '__arch_swab32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14661:1-14667:1)
[Warning][Deadcode] Function '__arch_swab64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14668:1-14674:1)
[Warning][Deadcode] Function '__fswab16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14675:1-14680:1)
[Warning][Deadcode] Function '__fswab32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14681:1-14689:1)
[Warning][Deadcode] Function '__fswab64' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14690:1-14698:1)
[Warning][Deadcode] Function 'cpumask_check' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14707:1-14744:1)
[Warning][Deadcode] Function 'cpumask_next' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14745:1-14760: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-block-drbd-drbd.ko.cil.out-2.i:14761:1-14766: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-block-drbd-drbd.ko.cil.out-2.i:14767:1-14775: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-block-drbd-drbd.ko.cil.out-2.i:14776:1-14784:1)
[Warning][Deadcode] Function 'sg_assign_page___0' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14796:1-14836:1)
[Warning][Deadcode] Function 'sg_set_page___0' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14837:1-14848:1)
[Warning][Deadcode] Function 'sg_set_buf' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14849:1-14859: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-block-drbd-drbd.ko.cil.out-2.i:14863:1-14871: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-block-drbd-drbd.ko.cil.out-2.i:14872:1-14882:1)
[Warning][Deadcode] Function 'crypto_free_tfm' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14885:1-14890:1)
[Warning][Deadcode] Function 'crypto_tfm_alg_type' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14891:1-14896:1)
[Warning][Deadcode] Function '__crypto_hash_cast' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14897:1-14902:1)
[Warning][Deadcode] Function 'crypto_alloc_hash' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14903:1-14918:1)
[Warning][Deadcode] Function 'crypto_free_hash' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14919:1-14928:1)
[Warning][Deadcode] Function 'crypto_hash_digest' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14929:1-14940:1)
[Warning][Deadcode] Function 'crypto_hash_setkey' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14941:1-14952:1)
[Warning][Deadcode] Function 'set_capacity' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14953:1-14959:1)
[Warning][Deadcode] Function 'kmap' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14960:1-14969:1)
[Warning][Deadcode] Function 'kunmap' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14970:1-14975:1)
[Warning][Deadcode] Function 'cmdname' is uncalled: 52 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:14979:1-15043:1)
[Warning][Deadcode] Function 'bm_xfer_ctx_bit_to_word_offset' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15045:1-15051:1)
[Warning][Deadcode] Function 'DCBP_get_code' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15052:1-15057:1)
[Warning][Deadcode] Function 'DCBP_get_start' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15058:1-15063:1)
[Warning][Deadcode] Function 'DCBP_get_pad_bits' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15064:1-15069:1)
[Warning][Deadcode] Function 'drbd_tcp_nodelay' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15112:1-15121:1)
[Warning][Deadcode] Function 'drbd_tcp_quickack' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15122:1-15131:1)
[Warning][Deadcode] Function 'drbd_ee_has_active_page___0' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15136:1-15167:1)
[Warning][Deadcode] Function 'drbd_request_state' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15168:1-15177:1)
[Warning][Deadcode] Function 'drbd_md_first_sector' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15178:1-15202:1)
[Warning][Deadcode] Function 'drbd_get_max_capacity' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15203:1-15293:1)
[Warning][Deadcode] Function 'drbd_queue_work_front' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15294:1-15307:1)
[Warning][Deadcode] Function 'drbd_send_ping' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15308:1-15317:1)
[Warning][Deadcode] Function 'drbd_send_ping_ack' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15318:1-15327:1)
[Warning][Deadcode] Function 'inc_unacked' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15328:1-15336:1)
[Warning][Deadcode] Function 'put_net_conf' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15337:1-15351:1)
[Warning][Deadcode] Function 'get_net_conf' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15352:1-15367:1)
[Warning][Deadcode] Function 'drbd_set_ed_uuid' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15368:1-15375:1)
[Warning][Deadcode] Function 'seq_cmp' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15376:1-15381:1)
[Warning][Deadcode] Function 'update_peer_seq' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15382:1-15407:1)
[Warning][Deadcode] Function 'drbd_set_my_capacity' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15408:1-15417:1)
[Warning][Deadcode] Function 'drbd_generic_make_request' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15418:1-15447:1)
[Warning][Deadcode] Function 'drbd_crypto_is_hash' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15448:1-15456:1)
[Warning][Deadcode] Function 'ee_hash_slot' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15457:1-15472:1)
[Warning][Deadcode] Function 'tl_hash_slot' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15473:1-15488:1)
[Warning][Deadcode] Function 'ar_hash_slot' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15489:1-15494:1)
[Warning][Deadcode] Function '_ar_id_to_req' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15495:1-15534:1)
[Warning][Deadcode] Function 'overlaps' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15535:1-15549:1)
[Warning][Deadcode] Function 'vli_decode_bits' is uncalled: 43 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15550:1-15619:1)
[Warning][Deadcode] Function 'bitstream_cursor_reset' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15620:1-15627:1)
[Warning][Deadcode] Function 'bitstream_cursor_advance' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15628:1-15636:1)
[Warning][Deadcode] Function 'bitstream_init' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15637:1-15649:1)
[Warning][Deadcode] Function 'bitstream_get_bits' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15650:1-15687:1)
[Warning][Deadcode] Function 'page_chain_del' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15693:1-15752:1)
[Warning][Deadcode] Function 'page_chain_tail' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15753:1-15778:1)
[Warning][Deadcode] Function 'page_chain_free' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15779:1-15803:1)
[Warning][Deadcode] Function 'page_chain_add' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15804:1-15824:1)
[Warning][Deadcode] Function 'drbd_pp_first_pages_or_try_alloc' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15825:1-15887:1)
[Warning][Deadcode] Function 'reclaim_net_ee' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15888:1-15922:1)
[Warning][Deadcode] Function 'drbd_kick_lo_and_reclaim_net' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15923:1-15959:1)
[Warning][Deadcode] Function 'drbd_pp_alloc' is uncalled: 33 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:15960:1-16038:1)
[Warning][Deadcode] Function 'drbd_pp_free' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16039:1-16085:1)
[Warning][Deadcode] Function 'drbd_alloc_ee' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16086:1-16141:1)
[Warning][Deadcode] Function 'drbd_free_some_ee' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16142:1-16180:1)
[Warning][Deadcode] Function 'drbd_release_ee' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16181:1-16222:1)
[Warning][Deadcode] Function 'drbd_process_done_ee' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16223:1-16305:1)
[Warning][Deadcode] Function '_drbd_wait_ee_list_empty' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16306:1-16340:1)
[Warning][Deadcode] Function 'drbd_wait_ee_list_empty' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16341:1-16351:1)
[Warning][Deadcode] Function 'drbd_accept' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16352:1-16392:1)
[Warning][Deadcode] Function 'drbd_recv_short' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16393:1-16431:1)
[Warning][Deadcode] Function 'drbd_recv' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16432:1-16509:1)
[Warning][Deadcode] Function 'drbd_setbufsize' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16510:1-16525:1)
[Warning][Deadcode] Function 'drbd_try_connect' is uncalled: 65 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16526:1-16672:1)
[Warning][Deadcode] Function 'drbd_wait_for_connect' is uncalled: 38 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16673:1-16762:1)
[Warning][Deadcode] Function 'drbd_send_fp' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16763:1-16773:1)
[Warning][Deadcode] Function 'drbd_recv_fp' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16774:1-16795:1)
[Warning][Deadcode] Function 'drbd_socket_okay' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16796:1-16820:1)
[Warning][Deadcode] Function 'drbd_connect' is uncalled: 157 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:16821:1-17150:1)
[Warning][Deadcode] Function 'drbd_recv_header' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17151:1-17217:1)
[Warning][Deadcode] Function 'drbd_flush' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17218:1-17247:1)
[Warning][Deadcode] Function 'drbd_may_finish_epoch' is uncalled: 50 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17248:1-17366:1)
[Warning][Deadcode] Function 'drbd_bump_write_ordering' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17367:1-17416:1)
[Warning][Deadcode] Function 'drbd_submit_ee' is uncalled: 63 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17417:1-17553:1)
[Warning][Deadcode] Function 'receive_Barrier' is uncalled: 65 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17554:1-17708:1)
[Warning][Deadcode] Function 'read_in_block' is uncalled: 81 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17709:1-17912:1)
[Warning][Deadcode] Function 'drbd_drain_block' is uncalled: 36 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17913:1-17995:1)
[Warning][Deadcode] Function 'recv_dless_read' is uncalled: 54 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:17996:1-18129:1)
[Warning][Deadcode] Function 'e_end_resync_block' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18130:1-18181:1)
[Warning][Deadcode] Function 'recv_resync_read' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18182:1-18233:1)
[Warning][Deadcode] Function 'receive_DataReply' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18234:1-18270:1)
[Warning][Deadcode] Function 'receive_RSDataReply' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18271:1-18319:1)
[Warning][Deadcode] Function 'e_end_block' is uncalled: 38 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18320:1-18424:1)
[Warning][Deadcode] Function 'e_send_discard_ack' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18425:1-18471:1)
[Warning][Deadcode] Function 'drbd_wait_peer_seq' is uncalled: 32 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18472:1-18541:1)
[Warning][Deadcode] Function 'wire_flags_to_bio' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18542:1-18564:1)
[Warning][Deadcode] Function 'receive_Data' is uncalled: 146 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18565:1-18891:1)
[Warning][Deadcode] Function 'drbd_rs_should_slow_down' is uncalled: 55 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:18892:1-19015:1)
[Warning][Deadcode] Function 'receive_DataRequest' is uncalled: 151 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:19016:1-19354:1)
[Warning][Deadcode] Function 'drbd_asb_recover_0p' is uncalled: 75 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:19355:1-19505:1)
[Warning][Deadcode] Function 'drbd_asb_recover_1p' is uncalled: 55 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:19506:1-19623:1)
[Warning][Deadcode] Function 'drbd_asb_recover_2p' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:19624:1-19711:1)
[Warning][Deadcode] Function 'drbd_uuid_dump' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:19712:1-19730:1)
[Warning][Deadcode] Function 'drbd_uuid_compare' is uncalled: 165 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:19731:1-20050:1)
[Warning][Deadcode] Function 'drbd_sync_handshake' is uncalled: 159 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:20051:1-20417:1)
[Warning][Deadcode] Function 'cmp_after_sb' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:20418:1-20455:1)
[Warning][Deadcode] Function 'receive_protocol' is uncalled: 61 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:20456:1-20602:1)
[Warning][Deadcode] Function 'drbd_crypto_alloc_digest_safe' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:20603:1-20645:1)
[Warning][Deadcode] Function 'receive_SyncParam' is uncalled: 124 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:20646:1-20932:1)
[Warning][Deadcode] Function 'warn_if_differ_considerably' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:20933:1-20964:1)
[Warning][Deadcode] Function 'receive_sizes' is uncalled: 96 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:20965:1-21192:1)
[Warning][Deadcode] Function 'receive_uuids' is uncalled: 75 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:21193:1-21361:1)
[Warning][Deadcode] Function 'convert_state' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:21362:1-21407:1)
[Warning][Deadcode] Function 'receive_req_state' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:21408:1-21448:1)
[Warning][Deadcode] Function 'receive_state' is uncalled: 145 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:21449:1-21772:1)
[Warning][Deadcode] Function 'receive_sync_uuid' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:21773:1-21847:1)
[Warning][Deadcode] Function 'receive_bitmap_plain' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:21848:1-21900:1)
[Warning][Deadcode] Function 'recv_bm_rle_bits' is uncalled: 39 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:21901:1-21990:1)
[Warning][Deadcode] Function 'decode_bitmap_c' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:21991:1-22018:1)
[Warning][Deadcode] Function 'INFO_bm_xfer_stats' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22019:1-22051:1)
[Warning][Deadcode] Function 'receive_bitmap' is uncalled: 72 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22052:1-22225:1)
[Warning][Deadcode] Function 'receive_skip' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22226:1-22277:1)
[Warning][Deadcode] Function 'receive_UnplugRemote' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22278:1-22286:1)
[Warning][Deadcode] Function 'receive_out_of_sync' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22287:1-22327:1)
[Warning][Deadcode] Function 'drbdd' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22384:1-22513:1)
[Warning][Deadcode] Function 'drbd_flush_workqueue' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22514:1-22525:1)
[Warning][Deadcode] Function 'drbd_free_tl_hash' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22526:1-22594:1)
[Warning][Deadcode] Function 'drbd_disconnect' is uncalled: 115 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22595:1-22868:1)
[Warning][Deadcode] Function 'drbd_send_handshake' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22869:1-22902:1)
[Warning][Deadcode] Function 'drbd_do_handshake' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:22903:1-23006:1)
[Warning][Deadcode] Function 'drbd_do_auth' is uncalled: 100 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23007:1-23238:1)
[Warning][Deadcode] Function 'drbdd_init' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23239:1-23304:1)
[Warning][Deadcode] Function 'got_RqSReply' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23305:1-23333:1)
[Warning][Deadcode] Function 'got_Ping' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23334:1-23342:1)
[Warning][Deadcode] Function 'got_PingAck' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23343:1-23358:1)
[Warning][Deadcode] Function 'got_IsInSync' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23359:1-23417:1)
[Warning][Deadcode] Function '_ack_id_to_req' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23418:1-23456:1)
[Warning][Deadcode] Function 'validate_req_change_req_state' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23457:1-23491:1)
[Warning][Deadcode] Function 'got_BlockAck' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23492:1-23610:1)
[Warning][Deadcode] Function 'got_NegAck' is uncalled: 32 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23611:1-23693:1)
[Warning][Deadcode] Function 'got_NegDReply' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23694:1-23716:1)
[Warning][Deadcode] Function 'got_NegRSDReply' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23717:1-23789:1)
[Warning][Deadcode] Function 'got_BarrierAck' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23790:1-23822:1)
[Warning][Deadcode] Function 'got_OVResult' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23823:1-23907:1)
[Warning][Deadcode] Function 'got_skip' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23908:1-23913:1)
[Warning][Deadcode] Function 'get_asender_cmd' is uncalled: 91 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:23914:1-24013:1)
[Warning][Deadcode] Function 'drbd_asender' is uncalled: 135 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24014:1-24328:1)
[Warning][Deadcode] Function 'hlist_del' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24329:1-24339:1)
[Warning][Deadcode] Function '__rcu_read_lock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24344:1-24349:1)
[Warning][Deadcode] Function 'rcu_read_lock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24351:1-24360:1)
[Warning][Deadcode] Function 'rcu_read_unlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24361:1-24370:1)
[Warning][Deadcode] Function 'part_to_disk' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24371:1-24392:1)
[Warning][Deadcode] Function 'part_inc_in_flight' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24393:1-24408:1)
[Warning][Deadcode] Function 'part_dec_in_flight' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24409:1-24424:1)
[Warning][Deadcode] Function 'inc_ap_pending' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24433:1-24441:1)
[Warning][Deadcode] Function 'drbd_get_max_buffers' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24442:1-24459:1)
[Warning][Deadcode] Function 'drbd_state_is_stable' is uncalled: 81 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24460:1-24623:1)
[Warning][Deadcode] Function 'may_inc_ap_bio' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24624:1-24672:1)
[Warning][Deadcode] Function 'inc_ap_bio_cond' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24673:1-24692:1)
[Warning][Deadcode] Function 'inc_ap_bio' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24693:1-24734:1)
[Warning][Deadcode] Function 'dec_ap_bio' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24735:1-24783:1)
[Warning][Deadcode] Function 'ee_hash_slot___0' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24784:1-24799:1)
[Warning][Deadcode] Function 'tl_hash_slot___0' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24800:1-24815:1)
[Warning][Deadcode] Function 'ar_hash_slot___0' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24816:1-24821:1)
[Warning][Deadcode] Function 'drbd_req_new' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24822:1-24856:1)
[Warning][Deadcode] Function 'drbd_req_free' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24857:1-24865:1)
[Warning][Deadcode] Function 'drbd_should_do_remote' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24868:1-24889:1)
[Warning][Deadcode] Function 'drbd_should_send_oos' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24890:1-24903:1)
[Warning][Deadcode] Function '_drbd_start_io_acct' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24904:1-24977:1)
[Warning][Deadcode] Function '_drbd_end_io_acct' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:24978:1-25036:1)
[Warning][Deadcode] Function '_req_is_done' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:25037:1-25108:1)
[Warning][Deadcode] Function 'queue_barrier' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:25109:1-25129:1)
[Warning][Deadcode] Function '_about_to_complete_local_write' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:25130:1-25219:1)
[Warning][Deadcode] Function 'complete_master_bio' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:25220:1-25229:1)
[Warning][Deadcode] Function '_req_may_be_done' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:25230:1-25326:1)
[Warning][Deadcode] Function '_req_may_be_done_not_susp' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:25327:1-25343:1)
[Warning][Deadcode] Function '_req_conflicts' is uncalled: 57 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:25344:1-25496:1)
[Warning][Deadcode] Function '__req_mod' is uncalled: 243 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:25497:1-26047:1)
[Warning][Deadcode] Function 'drbd_may_do_local_read' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26048:1-26094:1)
[Warning][Deadcode] Function 'drbd_make_request_common' is uncalled: 221 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26095:1-26655:1)
[Warning][Deadcode] Function 'drbd_fail_request_early' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26656:1-26692:1)
[Warning][Deadcode] Function 'drbd_make_request' is uncalled: 51 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26693:1-26832:1)
[Warning][Deadcode] Function 'drbd_merge_bvec' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26833:1-26888:1)
[Warning][Deadcode] Function 'request_timer_fn' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26889:1-26958:1)
[Warning][Deadcode] Function 'mutex_is_locked' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26959:1-26967:1)
[Warning][Deadcode] Function 'bdev_get_queue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26968:1-26973:1)
[Warning][Deadcode] Function 'queue_logical_block_size' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26974:1-26987:1)
[Warning][Deadcode] Function 'bdev_logical_block_size' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:26988:1-26998:1)
[Warning][Deadcode] Function 'lc_try_lock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27006:1-27014:1)
[Warning][Deadcode] Function 'lc_unlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27015:1-27024:1)
[Warning][Deadcode] Function 'lc_is_used' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27025:1-27045:1)
[Warning][Deadcode] Function '_drbd_md_sync_page_io' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27055:1-27132:1)
[Warning][Deadcode] Function 'drbd_md_sync_page_io' is uncalled: 68 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27133:1-27324:1)
[Warning][Deadcode] Function '_al_get' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27325:1-27373:1)
[Warning][Deadcode] Function 'drbd_al_begin_io' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27374:1-27446:1)
[Warning][Deadcode] Function 'drbd_al_complete_io' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27447:1-27483:1)
[Warning][Deadcode] Function 'al_extent_to_bm_page' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27484:1-27489:1)
[Warning][Deadcode] Function 'rs_extent_to_bm_page' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27490:1-27495:1)
[Warning][Deadcode] Function 'w_al_write_transaction' is uncalled: 85 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27496:1-27669:1)
[Warning][Deadcode] Function 'drbd_al_read_tr' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27670:1-27715:1)
[Warning][Deadcode] Function 'drbd_al_read_log' is uncalled: 95 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27716:1-27924:1)
[Warning][Deadcode] Function 'drbd_al_apply_to_bm' is uncalled: 45 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:27925:1-28025:1)
[Warning][Deadcode] Function '_try_lc_del' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28026:1-28046:1)
[Warning][Deadcode] Function 'drbd_al_shrink' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28047:1-28124:1)
[Warning][Deadcode] Function 'w_update_odbm' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28125:1-28196:1)
[Warning][Deadcode] Function 'drbd_try_clear_on_disk_bm' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28197:1-28311:1)
[Warning][Deadcode] Function 'drbd_advance_rs_marks' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28312:1-28337:1)
[Warning][Deadcode] Function '__drbd_set_in_sync' is uncalled: 50 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28338:1-28463:1)
[Warning][Deadcode] Function '__drbd_set_out_of_sync' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28464:1-28569:1)
[Warning][Deadcode] Function '_bme_get' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28570:1-28648:1)
[Warning][Deadcode] Function '_is_in_al' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28649:1-28678:1)
[Warning][Deadcode] Function 'drbd_rs_begin_io' is uncalled: 88 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28679:1-28886:1)
[Warning][Deadcode] Function 'drbd_try_rs_begin_io' is uncalled: 89 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:28887:1-29114:1)
[Warning][Deadcode] Function 'drbd_rs_complete_io' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29115:1-29176:1)
[Warning][Deadcode] Function 'drbd_rs_cancel_all' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29177:1-29199:1)
[Warning][Deadcode] Function 'drbd_rs_del_all' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29200:1-29322:1)
[Warning][Deadcode] Function 'drbd_rs_failed_io' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29323:1-29443:1)
[Warning][Deadcode] Function 'list_splice' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29444:1-29458:1)
[Warning][Deadcode] Function '__fswahw32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29459:1-29464:1)
[Warning][Deadcode] Function 'bitmap_fill' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29466:1-29482:1)
[Warning][Deadcode] Function 'bitmap_weight' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29483:1-29491:1)
[Warning][Deadcode] Function 'cpumask_set_cpu' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29493:1-29502:1)
[Warning][Deadcode] Function 'cpumask_setall' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29503:1-29511:1)
[Warning][Deadcode] Function 'cpumask_weight' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29512:1-29520:1)
[Warning][Deadcode] Function 'PageSlab' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29534:1-29542:1)
[Warning][Deadcode] Function 'bdi_congested' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29562:1-29574:1)
[Warning][Deadcode] Function 'DCBP_set_code' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29594:1-29610:1)
[Warning][Deadcode] Function 'DCBP_set_start' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29611:1-29622:1)
[Warning][Deadcode] Function 'DCBP_set_pad_bits' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29623:1-29639:1)
[Warning][Deadcode] Function 'drbd_state_lock___0' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29675:1-29716:1)
[Warning][Deadcode] Function '__drbd_chk_io_error____3' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29717:1-29777:1)
[Warning][Deadcode] Function 'drbd_chk_io_error____1' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29778:1-29794:1)
[Warning][Deadcode] Function 'drbd_get_max_capacity___0' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29795:1-29885:1)
[Warning][Deadcode] Function 'drbd_md_ss__' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29886:1-29929:1)
[Warning][Deadcode] Function 'drbd_thread_stop_nowait' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29930:1-29938:1)
[Warning][Deadcode] Function 'drbd_thread_restart_nowait' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29939:1-29947:1)
[Warning][Deadcode] Function 'drbd_state_is_stable___0' is uncalled: 81 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:29948:1-30111:1)
[Warning][Deadcode] Function 'may_inc_ap_bio___0' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30112:1-30160:1)
[Warning][Deadcode] Function 'drbd_update_congested' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30161:1-30173:1)
[Warning][Deadcode] Function 'drbd_queue_order_type' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30174:1-30179:1)
[Warning][Deadcode] Function '__vli_encode_bits' is uncalled: 65 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30181:1-30293:1)
[Warning][Deadcode] Function 'bitstream_put_bits' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30294:1-30335:1)
[Warning][Deadcode] Function 'vli_encode_bits' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30336:1-30356:1)
[Warning][Deadcode] Function 'tl_init' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30402:1-30429:1)
[Warning][Deadcode] Function 'tl_cleanup' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30430:1-30463:1)
[Warning][Deadcode] Function '_tl_add_barrier' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30464:1-30487:1)
[Warning][Deadcode] Function 'tl_release' is uncalled: 49 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30488:1-30608:1)
[Warning][Deadcode] Function '_tl_restart' is uncalled: 59 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30609:1-30748:1)
[Warning][Deadcode] Function 'tl_clear' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30749:1-30794:1)
[Warning][Deadcode] Function 'tl_restart' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30795:1-30805:1)
[Warning][Deadcode] Function 'cl_wide_st_chg' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30806:1-30868:1)
[Warning][Deadcode] Function 'drbd_change_state' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30869:1-30888:1)
[Warning][Deadcode] Function 'drbd_force_state' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30889:1-30897:1)
[Warning][Deadcode] Function '_req_st_cond' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30904:1-30963:1)
[Warning][Deadcode] Function 'drbd_req_state' is uncalled: 64 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:30964:1-31128:1)
[Warning][Deadcode] Function '_drbd_request_state' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31129:1-31170:1)
[Warning][Deadcode] Function 'print_st' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31171:1-31218:1)
[Warning][Deadcode] Function 'print_st_err' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31219:1-31236:1)
[Warning][Deadcode] Function 'is_valid_state' is uncalled: 78 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31237:1-31403:1)
[Warning][Deadcode] Function 'is_valid_state_transition' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31404:1-31514:1)
[Warning][Deadcode] Function 'sanitize_state' is uncalled: 202 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31515:1-31918:1)
[Warning][Deadcode] Function 'set_ov_position' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31919:1-31945:1)
[Warning][Deadcode] Function 'drbd_resume_al' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31946:1-31960:1)
[Warning][Deadcode] Function '__drbd_set_state' is uncalled: 187 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:31961:1-32427:1)
[Warning][Deadcode] Function 'w_after_state_ch' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:32428:1-32456:1)
[Warning][Deadcode] Function 'abw_start_sync' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:32457:1-32501:1)
[Warning][Deadcode] Function 'drbd_bitmap_io_from_worker' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:32502:1-32527:1)
[Warning][Deadcode] Function 'after_state_ch' is uncalled: 228 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:32528:1-33149:1)
[Warning][Deadcode] Function 'drbd_thread_setup' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33150:1-33191:1)
[Warning][Deadcode] Function 'drbd_thread_init' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33192:1-33205:1)
[Warning][Deadcode] Function 'drbd_thread_start' is uncalled: 60 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33206:1-33336:1)
[Warning][Deadcode] Function '_drbd_thread_stop' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33337:1-33400:1)
[Warning][Deadcode] Function 'drbd_calc_cpu_mask' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33401:1-33450:1)
[Warning][Deadcode] Function 'drbd_thread_current_set_cpu' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33451:1-33503:1)
[Warning][Deadcode] Function '_drbd_send_cmd' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33504:1-33568:1)
[Warning][Deadcode] Function 'drbd_send_cmd' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33569:1-33608:1)
[Warning][Deadcode] Function 'drbd_send_cmd2' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33609:1-33653:1)
[Warning][Deadcode] Function 'drbd_send_sync_param' is uncalled: 39 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33654:1-33741:1)
[Warning][Deadcode] Function 'drbd_send_protocol' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33742:1-33817:1)
[Warning][Deadcode] Function '_drbd_send_uuids' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33818:1-33892:1)
[Warning][Deadcode] Function 'drbd_send_uuids' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33893:1-33901:1)
[Warning][Deadcode] Function 'drbd_send_uuids_skip_initial_sync' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33902:1-33910:1)
[Warning][Deadcode] Function 'drbd_print_uuids' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33911:1-33933:1)
[Warning][Deadcode] Function 'drbd_gen_and_send_sync_uuid' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33934:1-33960:1)
[Warning][Deadcode] Function 'drbd_send_sizes' is uncalled: 38 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:33961:1-34046:1)
[Warning][Deadcode] Function 'drbd_send_state' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34047:1-34077:1)
[Warning][Deadcode] Function 'drbd_send_state_req' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34078:1-34094:1)
[Warning][Deadcode] Function 'drbd_send_sr_reply' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34095:1-34108:1)
[Warning][Deadcode] Function 'fill_bitmap_rle_bits' is uncalled: 48 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34109:1-34217:1)
[Warning][Deadcode] Function 'send_bitmap_rle_or_plain' is uncalled: 33 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34218:1-34290:1)
[Warning][Deadcode] Function '_drbd_send_bitmap' is uncalled: 39 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34291:1-34387:1)
[Warning][Deadcode] Function 'drbd_send_bitmap' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34388:1-34407:1)
[Warning][Deadcode] Function 'drbd_send_b_ack' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34408:1-34428:1)
[Warning][Deadcode] Function '_drbd_send_ack' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34429:1-34456:1)
[Warning][Deadcode] Function 'drbd_send_ack_dp' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34457:1-34483:1)
[Warning][Deadcode] Function 'drbd_send_ack_rp' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34484:1-34492:1)
[Warning][Deadcode] Function 'drbd_send_ack' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34493:1-34505:1)
[Warning][Deadcode] Function 'drbd_send_ack_ex' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34506:1-34521:1)
[Warning][Deadcode] Function 'drbd_send_drequest' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34522:1-34540:1)
[Warning][Deadcode] Function 'drbd_send_drequest_csum' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34541:1-34586:1)
[Warning][Deadcode] Function 'drbd_send_ov_request' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34587:1-34604:1)
[Warning][Deadcode] Function 'we_should_drop_the_connection' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34605:1-34649:1)
[Warning][Deadcode] Function '_drbd_no_send_page' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34650:1-34669:1)
[Warning][Deadcode] Function '_drbd_send_page' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34670:1-34773:1)
[Warning][Deadcode] Function '_drbd_send_bio' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34774:1-34808:1)
[Warning][Deadcode] Function '_drbd_send_zc_bio' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34809:1-34843:1)
[Warning][Deadcode] Function '_drbd_send_zc_ee' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34844:1-34900:1)
[Warning][Deadcode] Function 'bio_flags_to_wire' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34901:1-34933:1)
[Warning][Deadcode] Function 'drbd_send_dblock' is uncalled: 59 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:34934:1-35073:1)
[Warning][Deadcode] Function 'drbd_send_block' is uncalled: 38 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35074:1-35161:1)
[Warning][Deadcode] Function 'drbd_send_oos' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35162:1-35177:1)
[Warning][Deadcode] Function 'drbd_send' is uncalled: 52 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35178:1-35291:1)
[Warning][Deadcode] Function 'drbd_open' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35292:1-35325:1)
[Warning][Deadcode] Function 'drbd_release' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35326:1-35337:1)
[Warning][Deadcode] Function 'drbd_set_defaults' is uncalled: 188 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35338:1-35531:1)
[Warning][Deadcode] Function 'drbd_init_set_defaults' is uncalled: 78 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35532:1-35641:1)
[Warning][Deadcode] Function 'drbd_mdev_cleanup' is uncalled: 78 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35642:1-35865:1)
[Warning][Deadcode] Function 'drbd_destroy_mempools' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35866:1-35928:1)
[Warning][Deadcode] Function 'drbd_create_mempools' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:35929:1-36018:1)
[Warning][Deadcode] Function 'drbd_notify_sys' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36019:1-36024:1)
[Warning][Deadcode] Function 'drbd_release_ee_lists' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36026:1-36081:1)
[Warning][Deadcode] Function 'drbd_delete_device' is uncalled: 32 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36082:1-36158:1)
[Warning][Deadcode] Function 'drbd_cleanup' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36159:1-36203:1)
[Warning][Deadcode] Function 'drbd_congested' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36204:1-36265:1)
[Warning][Deadcode] Function 'drbd_new_device' is uncalled: 66 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36266:1-36409:1)
[Warning][Deadcode] Function 'drbd_free_mdev' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36410:1-36434:1)
[Warning][Deadcode] Function 'drbd_init' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36435:1-36526:1)
[Warning][Deadcode] Function 'drbd_free_bc' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36527:1-36541:1)
[Warning][Deadcode] Function 'drbd_free_sock' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36542:1-36567:1)
[Warning][Deadcode] Function 'drbd_free_resources' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36568:1-36588:1)
[Warning][Deadcode] Function 'drbd_md_sync' is uncalled: 51 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36589:1-36695:1)
[Warning][Deadcode] Function 'drbd_md_read' is uncalled: 74 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36696:1-36866:1)
[Warning][Deadcode] Function 'drbd_md_mark_dirty' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36867:1-36881:1)
[Warning][Deadcode] Function 'drbd_uuid_move_history' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36882:1-36899:1)
[Warning][Deadcode] Function '_drbd_uuid_set' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36900:1-36920:1)
[Warning][Deadcode] Function 'drbd_uuid_set' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36921:1-36936:1)
[Warning][Deadcode] Function 'drbd_uuid_new_current' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36937:1-36958:1)
[Warning][Deadcode] Function 'drbd_uuid_set_bm' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36959:1-36991:1)
[Warning][Deadcode] Function 'drbd_bmio_set_n_write' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:36992:1-37021:1)
[Warning][Deadcode] Function 'drbd_bmio_clear_n_write' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37022:1-37041:1)
[Warning][Deadcode] Function 'w_bitmap_io' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37042:1-37094:1)
[Warning][Deadcode] Function 'drbd_ldev_destroy' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37095:1-37118:1)
[Warning][Deadcode] Function 'w_go_diskless' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37119:1-37140:1)
[Warning][Deadcode] Function 'drbd_go_diskless' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37141:1-37163:1)
[Warning][Deadcode] Function 'drbd_queue_bitmap_io' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37164:1-37250:1)
[Warning][Deadcode] Function 'drbd_bitmap_io' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37251:1-37286:1)
[Warning][Deadcode] Function 'drbd_md_set_flag' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37287:1-37299:1)
[Warning][Deadcode] Function 'drbd_md_clear_flag' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37300:1-37312:1)
[Warning][Deadcode] Function 'drbd_md_test_flag' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37313:1-37318:1)
[Warning][Deadcode] Function 'md_sync_timer_fn' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37319:1-37328:1)
[Warning][Deadcode] Function 'w_md_sync' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37329:1-37338:1)
[Warning][Deadcode] Function '_drbd_fault_random' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37339:1-37360:1)
[Warning][Deadcode] Function '_drbd_fault_str' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37361:1-37382:1)
[Warning][Deadcode] Function '_drbd_insert_fault' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37383:1-37432:1)
[Warning][Deadcode] Function 'drbd_buildtag' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37433:1-37449:1)
[Warning][Deadcode] Function 'ldv_module_put_1' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37450:1-37458:1)
[Warning][Deadcode] Function 'ldv_module_put_3' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37459:1-37467:1)
[Warning][Deadcode] Function 'drbd_conn_str' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37486:1-37496:1)
[Warning][Deadcode] Function 'drbd_role_str' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37497:1-37507:1)
[Warning][Deadcode] Function 'drbd_disk_str' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37508:1-37518:1)
[Warning][Deadcode] Function 'drbd_set_st_err_str' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37519:1-37535: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-block-drbd-drbd.ko.cil.out-2.i:37536:1-37541:1)
[Warning][Deadcode] Function '__le32_to_cpup' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37542:1-37547: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-block-drbd-drbd.ko.cil.out-2.i:37548:1-37553:1)
[Warning][Deadcode] Function 'bitmap_copy' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37558:1-37571:1)
[Warning][Deadcode] Function 'bitmap_equal' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37572:1-37581:1)
[Warning][Deadcode] Function 'cpumask_equal' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37582:1-37591:1)
[Warning][Deadcode] Function 'cpumask_copy' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37592:1-37601:1)
[Warning][Deadcode] Function 'call_usermodehelper_fns' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37608:1-37637:1)
[Warning][Deadcode] Function 'call_usermodehelper' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37638:1-37648:1)
[Warning][Deadcode] Function 'drbd_get_max_capacity___1' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37664:1-37754:1)
[Warning][Deadcode] Function 'get_unaligned_le16' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37755:1-37763:1)
[Warning][Deadcode] Function 'get_unaligned_le32' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37764:1-37772: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-block-drbd-drbd.ko.cil.out-2.i:37773:1-37781: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-block-drbd-drbd.ko.cil.out-2.i:37782:1-37788: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-block-drbd-drbd.ko.cil.out-2.i:37789:1-37795: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-block-drbd-drbd.ko.cil.out-2.i:37796:1-37802:1)
[Warning][Deadcode] Function 'primary_from_tags' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37896:1-37949:1)
[Warning][Deadcode] Function 'disk_conf_from_tags' is uncalled: 91 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:37951:1-38138:1)
[Warning][Deadcode] Function 'net_conf_from_tags' is uncalled: 207 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:38140:1-38563:1)
[Warning][Deadcode] Function 'disconnect_from_tags' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:38565:1-38618:1)
[Warning][Deadcode] Function 'resize_from_tags' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:38620:1-38687:1)
[Warning][Deadcode] Function 'syncer_conf_from_tags' is uncalled: 110 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:38689:1-38925:1)
[Warning][Deadcode] Function 'start_ov_from_tags' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:38927:1-38982:1)
[Warning][Deadcode] Function 'new_c_uuid_from_tags' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:38984:1-39037:1)
[Warning][Deadcode] Function 'disk_conf_to_tags' is uncalled: 505 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:39040:1-40045:1)
[Warning][Deadcode] Function 'net_conf_to_tags' is uncalled: 1338 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:40048:1-42724:1)
[Warning][Deadcode] Function 'syncer_conf_to_tags' is uncalled: 598 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:42727:1-43927:1)
[Warning][Deadcode] Function 'get_state_to_tags' is uncalled: 51 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:43930:1-44035:1)
[Warning][Deadcode] Function 'drbd_khelper' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44038:1-44128:1)
[Warning][Deadcode] Function 'drbd_try_outdate_peer' is uncalled: 60 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44129:1-44253:1)
[Warning][Deadcode] Function '_try_outdate_peer_async' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44254:1-44277:1)
[Warning][Deadcode] Function 'drbd_try_outdate_peer_async' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44278:1-44311:1)
[Warning][Deadcode] Function 'drbd_set_role' is uncalled: 119 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44312:1-44586:1)
[Warning][Deadcode] Function 'ensure_mdev' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44587:1-44632:1)
[Warning][Deadcode] Function 'drbd_nl_primary' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44633:1-44654:1)
[Warning][Deadcode] Function 'drbd_nl_secondary' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44655:1-44665:1)
[Warning][Deadcode] Function 'drbd_md_set_sector_offsets' is uncalled: 33 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44666:1-44723:1)
[Warning][Deadcode] Function 'ppsize' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44724:1-44755:1)
[Warning][Deadcode] Function 'drbd_suspend_io' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44756:1-44806:1)
[Warning][Deadcode] Function 'drbd_resume_io' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44807:1-44816:1)
[Warning][Deadcode] Function 'drbd_determine_dev_size' is uncalled: 77 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44817:1-44995:1)
[Warning][Deadcode] Function 'drbd_new_dev_size' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:44996:1-45084:1)
[Warning][Deadcode] Function 'drbd_check_al_size' is uncalled: 37 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:45085:1-45179:1)
[Warning][Deadcode] Function 'drbd_setup_queue_param' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:45180:1-45253:1)
[Warning][Deadcode] Function 'drbd_reconsider_max_bio_size' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:45254:1-45323:1)
[Warning][Deadcode] Function 'drbd_reconfig_start' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:45324:1-45406:1)
[Warning][Deadcode] Function 'drbd_reconfig_done' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:45407:1-45441:1)
[Warning][Deadcode] Function 'drbd_suspend_al' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:45442:1-45483:1)
[Warning][Deadcode] Function 'drbd_nl_disk_conf' is uncalled: 303 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:45484:1-46166:1)
[Warning][Deadcode] Function 'drbd_nl_detach' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:46167:1-46242:1)
[Warning][Deadcode] Function 'drbd_nl_net_conf' is uncalled: 207 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:46243:1-46636:1)
[Warning][Deadcode] Function 'drbd_nl_disconnect' is uncalled: 78 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:46637:1-46796:1)
[Warning][Deadcode] Function 'resync_after_online_grow' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:46797:1-46827:1)
[Warning][Deadcode] Function 'drbd_nl_resize' is uncalled: 39 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:46828:1-46914:1)
[Warning][Deadcode] Function 'drbd_nl_syncer_conf' is uncalled: 179 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:46915:1-47305:1)
[Warning][Deadcode] Function 'drbd_nl_invalidate' is uncalled: 49 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47306:1-47415:1)
[Warning][Deadcode] Function 'drbd_bmio_set_susp_al' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47416:1-47425:1)
[Warning][Deadcode] Function 'drbd_nl_invalidate_peer' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47426:1-47527:1)
[Warning][Deadcode] Function 'drbd_nl_pause_sync' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47528:1-47550:1)
[Warning][Deadcode] Function 'drbd_nl_resume_sync' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47551:1-47593:1)
[Warning][Deadcode] Function 'drbd_nl_suspend_io' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47594:1-47608:1)
[Warning][Deadcode] Function 'drbd_nl_resume_io' is uncalled: 23 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47609:1-47662:1)
[Warning][Deadcode] Function 'drbd_nl_outdate' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47663:1-47677:1)
[Warning][Deadcode] Function 'drbd_nl_get_config' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47678:1-47744:1)
[Warning][Deadcode] Function 'drbd_nl_get_state' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47745:1-47811:1)
[Warning][Deadcode] Function 'drbd_nl_get_uuids' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47812:1-47866:1)
[Warning][Deadcode] Function 'drbd_nl_get_timeout_flag' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47867:1-47921:1)
[Warning][Deadcode] Function 'drbd_nl_start_ov' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47922:1-47985:1)
[Warning][Deadcode] Function 'drbd_nl_new_c_uuid' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:47986:1-48087:1)
[Warning][Deadcode] Function 'drbd_connector_callback' is uncalled: 52 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48122:1-48228:1)
[Warning][Deadcode] Function '__tl_add_blob' is uncalled: 44 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48230:1-48321:1)
[Warning][Deadcode] Function 'tl_add_blob' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48322:1-48332:1)
[Warning][Deadcode] Function 'tl_add_str' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48333:1-48344:1)
[Warning][Deadcode] Function 'tl_add_int' is uncalled: 92 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48345:1-48532:1)
[Warning][Deadcode] Function 'drbd_bcast_state' is uncalled: 33 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48533:1-48595:1)
[Warning][Deadcode] Function 'drbd_bcast_ev_helper' is uncalled: 33 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48596:1-48658:1)
[Warning][Deadcode] Function 'drbd_bcast_ee' is uncalled: 111 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48659:1-48879:1)
[Warning][Deadcode] Function 'drbd_bcast_sync_progress' is uncalled: 38 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48880:1-48954:1)
[Warning][Deadcode] Function 'drbd_nl_init' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48955:1-48990:1)
[Warning][Deadcode] Function 'drbd_nl_cleanup' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:48991:1-49001:1)
[Warning][Deadcode] Function 'drbd_nl_send_reply' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49002:1-49033:1)
[Warning][Deadcode] Function '___ratelimit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49035:1-49037:1)
[Warning][Deadcode] Function '__bitmap_equal' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49039:1-49041:1)
[Warning][Deadcode] Function '__bitmap_parse' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49043:1-49045:1)
[Warning][Deadcode] Function '__bitmap_weight' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49047:1-49049: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-block-drbd-drbd.ko.cil.out-2.i:49050:1-49052: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-block-drbd-drbd.ko.cil.out-2.i:49054:1-49056: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-block-drbd-drbd.ko.cil.out-2.i:49057:1-49059: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-block-drbd-drbd.ko.cil.out-2.i:49063:1-49065: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-block-drbd-drbd.ko.cil.out-2.i:49066:1-49072:1)
[Warning][Deadcode] Function '__kmalloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49073:1-49075: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-block-drbd-drbd.ko.cil.out-2.i:49076:1-49078: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-block-drbd-drbd.ko.cil.out-2.i:49079:1-49081: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-block-drbd-drbd.ko.cil.out-2.i:49082:1-49084: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-block-drbd-drbd.ko.cil.out-2.i:49085:1-49087: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-block-drbd-drbd.ko.cil.out-2.i:49089:1-49091: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-block-drbd-drbd.ko.cil.out-2.i:49092:1-49094:1)
[Warning][Deadcode] Function '__rwlock_init' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49095:1-49097: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-block-drbd-drbd.ko.cil.out-2.i:49098:1-49100:1)
[Warning][Deadcode] Function '_cond_resched' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49102:1-49104: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-block-drbd-drbd.ko.cil.out-2.i:49106:1-49108:1)
[Warning][Deadcode] Function '_raw_read_lock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49109:1-49111:1)
[Warning][Deadcode] Function '_raw_read_unlock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49112:1-49114: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-block-drbd-drbd.ko.cil.out-2.i:49115:1-49117: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-block-drbd-drbd.ko.cil.out-2.i:49118:1-49120: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-block-drbd-drbd.ko.cil.out-2.i:49122:1-49124: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-block-drbd-drbd.ko.cil.out-2.i:49125:1-49127: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-block-drbd-drbd.ko.cil.out-2.i:49128:1-49130: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-block-drbd-drbd.ko.cil.out-2.i:49131:1-49133:1)
[Warning][Deadcode] Function '_raw_write_lock_irq' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49134:1-49136:1)
[Warning][Deadcode] Function '_raw_write_unlock_irq' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49137:1-49139:1)
[Warning][Deadcode] Function 'add_disk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49140:1-49142:1)
[Warning][Deadcode] Function 'add_timer' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49143:1-49145:1)
[Warning][Deadcode] Function 'alloc_disk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49146:1-49148:1)
[Warning][Deadcode] Function 'alloc_pages_current' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49149:1-49151:1)
[Warning][Deadcode] Function 'bdget' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49152:1-49154:1)
[Warning][Deadcode] Function 'bdput' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49155:1-49157:1)
[Warning][Deadcode] Function 'bio_add_page' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49159:1-49161:1)
[Warning][Deadcode] Function 'bio_alloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49162:1-49164:1)
[Warning][Deadcode] Function 'bio_clone' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49165:1-49167:1)
[Warning][Deadcode] Function 'bio_endio' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49168:1-49170:1)
[Warning][Deadcode] Function 'bio_pair_release' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49171:1-49173:1)
[Warning][Deadcode] Function 'bio_put' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49174:1-49176:1)
[Warning][Deadcode] Function 'bio_split' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49177:1-49179:1)
[Warning][Deadcode] Function 'blk_alloc_queue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49180:1-49182:1)
[Warning][Deadcode] Function 'blk_cleanup_queue' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49183:1-49185:1)
[Warning][Deadcode] Function 'blk_queue_bounce_limit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49186:1-49188:1)
[Warning][Deadcode] Function 'blk_queue_logical_block_size' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49189:1-49191:1)
[Warning][Deadcode] Function 'blk_queue_make_request' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49192:1-49194:1)
[Warning][Deadcode] Function 'blk_queue_max_hw_sectors' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49195:1-49197:1)
[Warning][Deadcode] Function 'blk_queue_max_segments' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49198:1-49200:1)
[Warning][Deadcode] Function 'blk_queue_merge_bvec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49201:1-49203:1)
[Warning][Deadcode] Function 'blk_queue_segment_boundary' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49204:1-49206:1)
[Warning][Deadcode] Function 'blk_queue_stack_limits' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49207:1-49209:1)
[Warning][Deadcode] Function 'blkdev_get_by_path' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49210:1-49212:1)
[Warning][Deadcode] Function 'blkdev_issue_flush' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49214:1-49216:1)
[Warning][Deadcode] Function 'blkdev_put' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49218:1-49220:1)
[Warning][Deadcode] Function 'call_usermodehelper_exec' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49222:1-49224:1)
[Warning][Deadcode] Function 'call_usermodehelper_setfns' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49225:1-49227:1)
[Warning][Deadcode] Function 'call_usermodehelper_setup' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49228:1-49230:1)
[Warning][Deadcode] Function 'cn_add_callback' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49232:1-49234:1)
[Warning][Deadcode] Function 'cn_del_callback' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49235:1-49237:1)
[Warning][Deadcode] Function 'cn_netlink_send' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49239:1-49241:1)
[Warning][Deadcode] Function 'complete' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49242:1-49244:1)
[Warning][Deadcode] Function 'crypto_alloc_base' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49245:1-49247:1)
[Warning][Deadcode] Function 'del_gendisk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49248:1-49250: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-block-drbd-drbd.ko.cil.out-2.i:49252:1-49254: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-block-drbd-drbd.ko.cil.out-2.i:49256:1-49258:1)
[Warning][Deadcode] Function 'dev_alert' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49260:1-49262: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-block-drbd-drbd.ko.cil.out-2.i:49264:1-49266: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-block-drbd-drbd.ko.cil.out-2.i:49268:1-49270: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-block-drbd-drbd.ko.cil.out-2.i:49272:1-49274:1)
[Warning][Deadcode] Function 'down_interruptible' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49276:1-49278:1)
[Warning][Deadcode] Function 'down_trylock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49280:1-49282:1)
[Warning][Deadcode] Function 'dump_stack' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49283:1-49285:1)
[Warning][Deadcode] Function 'find_next_bit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49287:1-49289: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-block-drbd-drbd.ko.cil.out-2.i:49291:1-49293: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-block-drbd-drbd.ko.cil.out-2.i:49294:1-49296:1)
[Warning][Deadcode] Function 'flush_signals' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49297:1-49299:1)
[Warning][Deadcode] Function 'force_sig' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49300:1-49302:1)
[Warning][Deadcode] Function 'free_cpumask_var' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49303:1-49305: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-block-drbd-drbd.ko.cil.out-2.i:49306:1-49308:1)
[Warning][Deadcode] Function 'generic_make_request' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49309:1-49311:1)
[Warning][Deadcode] Function 'get_random_bytes' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49312:1-49314: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-block-drbd-drbd.ko.cil.out-2.i:49315:1-49317:1)
[Warning][Deadcode] Function 'io_schedule' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49318:1-49320:1)
[Warning][Deadcode] Function 'kernel_sendmsg' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49322:1-49324:1)
[Warning][Deadcode] Function 'kernel_sock_shutdown' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49326:1-49328:1)
[Warning][Deadcode] Function 'kmem_cache_create' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49329:1-49331:1)
[Warning][Deadcode] Function 'kmem_cache_destroy' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49332:1-49334:1)
[Warning][Deadcode] Function 'kobject_uevent' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49336:1-49338: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-block-drbd-drbd.ko.cil.out-2.i:49339:1-49341:1)
[Warning][Deadcode] Function 'lc_changed' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49342:1-49344:1)
[Warning][Deadcode] Function 'lc_create' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49345:1-49347:1)
[Warning][Deadcode] Function 'lc_del' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49348:1-49350:1)
[Warning][Deadcode] Function 'lc_destroy' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49351:1-49353:1)
[Warning][Deadcode] Function 'lc_element_by_index' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49354:1-49356:1)
[Warning][Deadcode] Function 'lc_find' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49357:1-49359:1)
[Warning][Deadcode] Function 'lc_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49360:1-49362:1)
[Warning][Deadcode] Function 'lc_index_of' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49364:1-49366:1)
[Warning][Deadcode] Function 'lc_put' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49368:1-49370:1)
[Warning][Deadcode] Function 'lc_reset' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49371:1-49373:1)
[Warning][Deadcode] Function 'lc_seq_dump_details' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49374:1-49376:1)
[Warning][Deadcode] Function 'lc_seq_printf_stats' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49378:1-49380:1)
[Warning][Deadcode] Function 'lc_set' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49381:1-49383:1)
[Warning][Deadcode] Function 'lc_try_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49384:1-49386: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-block-drbd-drbd.ko.cil.out-2.i:49397:1-49399:1)
[Warning][Deadcode] Function 'lock_acquire' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49400:1-49402:1)
[Warning][Deadcode] Function 'lock_release' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49403:1-49405: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-block-drbd-drbd.ko.cil.out-2.i:49406:1-49408:1)
[Warning][Deadcode] Function 'mempool_alloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49409:1-49411:1)
[Warning][Deadcode] Function 'mempool_create' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49412:1-49414:1)
[Warning][Deadcode] Function 'mempool_destroy' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49415:1-49417:1)
[Warning][Deadcode] Function 'mempool_free' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49418:1-49420: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-block-drbd-drbd.ko.cil.out-2.i:49422:1-49424:1)
[Warning][Deadcode] Function 'mutex_lock_interruptible_nested' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49426:1-49428: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-block-drbd-drbd.ko.cil.out-2.i:49429:1-49431: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-block-drbd-drbd.ko.cil.out-2.i:49433:1-49435: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-block-drbd-drbd.ko.cil.out-2.i:49436:1-49438:1)
[Warning][Deadcode] Function 'part_round_stats' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49439:1-49441: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-block-drbd-drbd.ko.cil.out-2.i:49442:1-49444:1)
[Warning][Deadcode] Function 'printk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49446:1-49448:1)
[Warning][Deadcode] Function 'proc_create_data' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49449:1-49451:1)
[Warning][Deadcode] Function 'put_disk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49452:1-49454:1)
[Warning][Deadcode] Function 'put_page' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49455:1-49457:1)
[Warning][Deadcode] Function 'random32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49459:1-49461:1)
[Warning][Deadcode] Function 'register_blkdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49463:1-49465:1)
[Warning][Deadcode] Function 'register_reboot_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49467:1-49469: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-block-drbd-drbd.ko.cil.out-2.i:49470:1-49472:1)
[Warning][Deadcode] Function 'schedule' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49473:1-49475: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-block-drbd-drbd.ko.cil.out-2.i:49477:1-49479:1)
[Warning][Deadcode] Function 'schedule_timeout_interruptible' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49481:1-49483:1)
[Warning][Deadcode] Function 'schedule_timeout_uninterruptible' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49485:1-49487: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-block-drbd-drbd.ko.cil.out-2.i:49489:1-49491:1)
[Warning][Deadcode] Function 'set_cpus_allowed_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49493:1-49495:1)
[Warning][Deadcode] Function 'set_disk_ro' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49496:1-49498:1)
[Warning][Deadcode] Function 'sg_init_table' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49499:1-49501:1)
[Warning][Deadcode] Function 'sock_create_kern' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49511:1-49513:1)
[Warning][Deadcode] Function 'sock_create_lite' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49515:1-49517:1)
[Warning][Deadcode] Function 'sock_recvmsg' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49519:1-49521:1)
[Warning][Deadcode] Function 'sock_release' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49522:1-49524:1)
[Warning][Deadcode] Function 'sock_setsockopt' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49526:1-49528:1)
[Warning][Deadcode] Function 'submit_bio' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49529:1-49531:1)
[Warning][Deadcode] Function 'unregister_blkdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49532:1-49534:1)
[Warning][Deadcode] Function 'unregister_reboot_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49536:1-49538:1)
[Warning][Deadcode] Function 'up' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49539:1-49541:1)
[Warning][Deadcode] Function 'vfree' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49542:1-49544:1)
[Warning][Deadcode] Function 'vmalloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49545:1-49547: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-block-drbd-drbd.ko.cil.out-2.i:49548:1-49550: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-block-drbd-drbd.ko.cil.out-2.i:49552:1-49554: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-block-drbd-drbd.ko.cil.out-2.i:49555:1-49557:1)
[Warning][Deadcode] Function 'zalloc_cpumask_var' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49559:1-49561: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-block-drbd-drbd.ko.cil.out-2.i:49563:1-49565:1)
[Warning][Deadcode] Function 'kfree' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:49567:1-49569:1)
[Warning][Deadcode] Function 'ldv_blast_assert' has dead code:
  on line 10087 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10087-10087)
[Warning][Deadcode] Function 'ldv_try_module_get' has dead code:
  on line 10115 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10115-10115)
[Warning][Deadcode] Function 'main' has dead code:
  on line 10770 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10770-10770)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 74
  dead: 18098 (18095 in uncalled functions)
  total lines: 18172
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:12:73-12:74)
[Warning][Deadcode][CWE-571] condition '(unsigned long )module != (unsigned long )((struct module *)0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10103:7-10103:69)
[Warning][Deadcode][CWE-571] condition '(unsigned long )module != (unsigned long )((struct module *)0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko.cil.out-2.i:10121:7-10121:69)
[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
[Error][Imprecise][Unsound] Function definition missing
