./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 64bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.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] Setting "ana.int.interval" to true
[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 ! overflow) )
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5929:5-5930:76)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5722:11-5722:27)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5931:5-5931:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5915:5-5916:84)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5694:7-5694:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5698:3-5698:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6110:3-6110:69)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6015:3-6015:51)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6016:3-6016:17)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6020:5-6020:52)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6022:5-6022:63)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6024:7-6024:54)
[Warning][Imprecise][Program] Trying to read a field, but was not given a struct (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6116:3-6116:42)
[Info][Unsound] Unknown value in {&oprofilefs_lock.ldv_5825.rlock} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6116:3-6116:42)
[Warning][Imprecise][Program] Trying to read a field, but was not given a struct (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4420:3-4420:61)
[Info][Unsound] Unknown value in {&oprofilefs_lock.ldv_5825.rlock} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4420:3-4420:61)
[Warning][Unknown] lval (& lock)->ldv_5825.rlock points to a non-local variable. Invalid pointer dereference may occur (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10985:3-10985:9)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5712:11-5712:27)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5917:5-5917:53)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5901:5-5902:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5684:3-5684:71)
[Info][Imprecise] Invalidating expressions: (char *)(& tmpbuf) (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6083:3-6083:57)
[Info][Imprecise] Invalidating expressions: & tmp (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6083:3-6083:57)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6084:3-6084:24)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6089:3-6090:44)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5903:5-5903:52)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5887:5-5888:64)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5672:3-5673:39)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6071:3-6072:41)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5889:5-5889:54)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5873:5-5874:104)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5661:3-5661:58)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5875:5-5875:58)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5859:5-5860:80)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5637:7-5637:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5641:3-5641:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5845:5-5846:55)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5627:3-5627:79)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5847:5-5847:51)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5831:5-5832:88)
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5603:7-5603:21)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5607:3-5607:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5817:5-5818:61)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5593:3-5593:78)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5819:5-5819:53)
[Warning][Deadcode] Function 'reach_error' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:12:1-12:205)
[Warning][Deadcode] Function 'atomic_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3148:1-3154:1)
[Warning][Deadcode] Function 'oprofile_setup' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3192:1-3255:1)
[Warning][Deadcode] Function 'start_switch_worker' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3267:1-3276:1)
[Warning][Deadcode] Function 'stop_switch_worker' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3277:1-3283:1)
[Warning][Deadcode] Function 'switch_worker' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3284:1-3297:1)
[Warning][Deadcode] Function 'oprofile_shutdown' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3372:1-3404:1)
[Warning][Deadcode] Function 'oprofile_init' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3428:1-3452:1)
[Warning][Deadcode] Function 'oprofile_exit' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3453:1-3461:1)
[Warning][Deadcode] Function 'ldv_main0_sequence_infinite_withcheck_stateful' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3467:1-3501:1)
[Warning][Deadcode] Function 'clear_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3503:1-3509:1)
[Warning][Deadcode] Function 'variable_test_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3510:1-3518:1)
[Warning][Deadcode] Function 'user_mode' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3522:1-3527:1)
[Warning][Deadcode] Function 'get_current' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3532:1-3555:1)
[Warning][Deadcode] Function 'cpumask_check' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3559:1-3587:1)
[Warning][Deadcode] Function 'cpumask_next' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3588:1-3600:1)
[Warning][Deadcode] Function 'INIT_LIST_HEAD' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3601:1-3608:1)
[Warning][Deadcode] Function 'cancel_delayed_work' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3615:1-3626:1)
[Warning][Deadcode] Function 'op_cpu_buffer_add_data' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3657:1-3669:1)
[Warning][Deadcode] Function 'op_cpu_buffer_get_size' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3670:1-3675:1)
[Warning][Deadcode] Function 'oprofile_get_cpu_buffer_size' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3682:1-3687:1)
[Warning][Deadcode] Function 'oprofile_cpu_buffer_inc_smpl_lost' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3688:1-3718:1)
[Warning][Deadcode] Function 'free_cpu_buffers' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3719:1-3729:1)
[Warning][Deadcode] Function 'alloc_cpu_buffers' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3730:1-3788:1)
[Warning][Deadcode] Function 'start_cpu_work' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3789:1-3814:1)
[Warning][Deadcode] Function 'end_cpu_work' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3815:1-3840:1)
[Warning][Deadcode] Function 'op_cpu_buffer_write_reserve' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3841:1-3856:1)
[Warning][Deadcode] Function 'op_cpu_buffer_write_commit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3857:1-3864:1)
[Warning][Deadcode] Function 'op_cpu_buffer_read_entry' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3865:1-3884:1)
[Warning][Deadcode] Function 'op_cpu_buffer_entries' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3885:1-3892:1)
[Warning][Deadcode] Function 'op_add_code' is uncalled: 26 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3893:1-3944:1)
[Warning][Deadcode] Function 'op_add_sample' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3945:1-3962:1)
[Warning][Deadcode] Function 'log_sample' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3963:1-3992:1)
[Warning][Deadcode] Function 'oprofile_begin_trace' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3993:1-3999:1)
[Warning][Deadcode] Function 'oprofile_end_trace' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4000:1-4006:1)
[Warning][Deadcode] Function '__oprofile_add_ext_sample' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4007:1-4052:1)
[Warning][Deadcode] Function 'oprofile_add_ext_sample' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4053:1-4060:1)
[Warning][Deadcode] Function 'oprofile_add_sample' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4061:1-4081:1)
[Warning][Deadcode] Function 'oprofile_write_reserve' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4082:1-4139:1)
[Warning][Deadcode] Function 'oprofile_add_data' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4140:1-4151:1)
[Warning][Deadcode] Function 'oprofile_add_data64' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4152:1-4175:1)
[Warning][Deadcode] Function 'oprofile_write_commit' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4176:1-4187:1)
[Warning][Deadcode] Function 'oprofile_add_pc' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4188:1-4218:1)
[Warning][Deadcode] Function 'oprofile_add_trace' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4219:1-4266:1)
[Warning][Deadcode] Function 'wq_sync_buffer' is uncalled: 41 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4267:1-4330:1)
[Warning][Deadcode] Function 'set_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4331:1-4337:1)
[Warning][Deadcode] Function 'bitmap_zero' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4339:1-4347:1)
[Warning][Deadcode] Function 'cpumask_set_cpu' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4348:1-4356:1)
[Warning][Deadcode] Function 'cpumask_clear' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4357:1-4363:1)
[Warning][Deadcode] Function 'list_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4367:1-4373:1)
[Warning][Deadcode] Function 'list_empty' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4375:1-4380:1)
[Warning][Deadcode] Function '__list_splice' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4381:1-4395:1)
[Warning][Deadcode] Function 'list_splice_init' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4396:1-4408:1)
[Warning][Deadcode] Function 'op_cpu_buffer_reset' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4442:1-4455:1)
[Warning][Deadcode] Function 'op_cpu_buffer_get_data' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4456:1-4470:1)
[Warning][Deadcode] Function 'task_free_notify' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4477:1-4490:1)
[Warning][Deadcode] Function 'task_exit_notify' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4491:1-4515:1)
[Warning][Deadcode] Function 'munmap_notify' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4516:1-4555:1)
[Warning][Deadcode] Function 'module_load_notify' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4556:1-4569:1)
[Warning][Deadcode] Function 'sync_start' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4574:1-4625:1)
[Warning][Deadcode] Function 'sync_stop' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4626:1-4642:1)
[Warning][Deadcode] Function 'fast_get_dcookie' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4643:1-4654:1)
[Warning][Deadcode] Function 'get_exec_dcookie' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4655:1-4689:1)
[Warning][Deadcode] Function 'lookup_dcookie' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4690:1-4724:1)
[Warning][Deadcode] Function 'add_cpu_switch' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4726:1-4735:1)
[Warning][Deadcode] Function 'add_kernel_ctx_switch' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4736:1-4747:1)
[Warning][Deadcode] Function 'add_user_ctx_switch' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4748:1-4760:1)
[Warning][Deadcode] Function 'add_cookie_switch' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4761:1-4769:1)
[Warning][Deadcode] Function 'add_trace_begin' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4770:1-4777:1)
[Warning][Deadcode] Function 'add_data' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4778:1-4838:1)
[Warning][Deadcode] Function 'add_sample_entry' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4839:1-4846:1)
[Warning][Deadcode] Function 'add_sample' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4847:1-4876:1)
[Warning][Deadcode] Function 'release_mm' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4877:1-4888:1)
[Warning][Deadcode] Function 'take_tasks_mm' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4889:1-4902:1)
[Warning][Deadcode] Function 'is_code' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4903:1-4908:1)
[Warning][Deadcode] Function 'process_task_mortuary' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4909:1-4945:1)
[Warning][Deadcode] Function 'mark_done' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4946:1-4974:1)
[Warning][Deadcode] Function 'sync_buffer' is uncalled: 53 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:4975:1-5078:1)
[Warning][Deadcode] Function 'oprofile_put_buff' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5079:1-5104:1)
[Warning][Deadcode] Function 'ldv_main2_sequence_infinite_withcheck_stateful' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5105:1-5154:1)
[Warning][Deadcode] Function '__clear_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5155:1-5161:1)
[Warning][Deadcode] Function '__clear_bit_unlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5162:1-5169:1)
[Warning][Deadcode] Function 'test_and_set_bit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5170:1-5178:1)
[Warning][Deadcode] Function 'test_and_set_bit_lock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5179:1-5186:1)
[Warning][Deadcode] Function 'atomic_read' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5188:1-5193:1)
[Warning][Deadcode] Function 'test_ti_thread_flag' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5201:1-5208:1)
[Warning][Deadcode] Function 'test_tsk_thread_flag' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5218:1-5225:1)
[Warning][Deadcode] Function 'signal_pending' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5226:1-5235:1)
[Warning][Deadcode] Function 'copy_to_user' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5241:1-5249:1)
[Warning][Deadcode] Function 'add_event_entry' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5266:1-5311:1)
[Warning][Deadcode] Function 'alloc_event_buffer' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5322:1-5346:1)
[Warning][Deadcode] Function 'free_event_buffer' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5347:1-5357:1)
[Warning][Deadcode] Function 'event_buffer_open' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5358:1-5397:1)
[Warning][Deadcode] Function 'event_buffer_release' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5398:1-5409:1)
[Warning][Deadcode] Function 'event_buffer_read' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5410:1-5494:1)
[Warning][Deadcode] Function 'ldv_main3_sequence_infinite_withcheck_stateful' is uncalled: 36 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5499:1-5568:1)
[Warning][Deadcode] Function 'oprofile_create_files' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5728:1-5753:1)
[Warning][Deadcode] Function 'd_add' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5980:1-5987:1)
[Warning][Deadcode] Function 'oprofilefs_get_inode' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6041:1-6061:1)
[Warning][Deadcode] Function 'ulong_read_file' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6122:1-6131:1)
[Warning][Deadcode] Function 'ulong_write_file' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6132:1-6150:1)
[Warning][Deadcode] Function 'default_open' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6151:1-6160:1)
[Warning][Deadcode] Function '__oprofilefs_create_file' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6167:1-6189:1)
[Warning][Deadcode] Function 'oprofilefs_create_ulong' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6190:1-6205:1)
[Warning][Deadcode] Function 'oprofilefs_create_ro_ulong' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6206:1-6221:1)
[Warning][Deadcode] Function 'atomic_read_file' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6222:1-6233:1)
[Warning][Deadcode] Function 'oprofilefs_create_ro_atomic' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6237:1-6252:1)
[Warning][Deadcode] Function 'oprofilefs_create_file' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6253:1-6265:1)
[Warning][Deadcode] Function 'oprofilefs_create_file_perm' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6266:1-6278:1)
[Warning][Deadcode] Function 'oprofilefs_mkdir' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6279:1-6300:1)
[Warning][Deadcode] Function 'oprofilefs_fill_super' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6301:1-6328:1)
[Warning][Deadcode] Function 'oprofilefs_get_sb' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6329:1-6337:1)
[Warning][Deadcode] Function 'oprofilefs_register' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6352:1-6359:1)
[Warning][Deadcode] Function 'oprofilefs_unregister' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6360:1-6366:1)
[Warning][Deadcode] Function 'ldv_main5_sequence_infinite_withcheck_stateful' is uncalled: 81 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6367:1-6518:1)
[Warning][Deadcode] Function 'oprofile_reset_stats' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6520:1-6552:1)
[Warning][Deadcode] Function 'oprofile_create_stats_files' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6553:1-6595:1)
[Warning][Deadcode] Function 'ns_to_ktime' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6596:1-6605:1)
[Warning][Deadcode] Function 'hrtimer_forward_now' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6613:1-6622:1)
[Warning][Deadcode] Function 'get_irq_regs' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6628:1-6651:1)
[Warning][Deadcode] Function 'oprofile_hrtimer_notify' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6655:1-6666:1)
[Warning][Deadcode] Function '__oprofile_hrtimer_start' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6667:1-6705:1)
[Warning][Deadcode] Function 'oprofile_hrtimer_start' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6706:1-6715:1)
[Warning][Deadcode] Function '__oprofile_hrtimer_stop' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6716:1-6732:1)
[Warning][Deadcode] Function 'oprofile_hrtimer_stop' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6733:1-6754:1)
[Warning][Deadcode] Function 'oprofile_cpu_notify' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6755:1-6774:1)
[Warning][Deadcode] Function 'oprofile_timer_init' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6776:1-6793:1)
[Warning][Deadcode] Function 'oprofile_timer_exit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6794:1-6800:1)
[Warning][Deadcode] Function 'ldv_hrtimer_start_35' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6801:1-6811:1)
[Warning][Deadcode] Function 'oprofile_arch_init' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6816:1-6829:1)
[Warning][Deadcode] Function 'oprofile_arch_exit' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6830:1-6836:1)
[Warning][Deadcode] Function 'user_mode_vm' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6837:1-6844:1)
[Warning][Deadcode] Function 'kernel_stack_pointer' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6845:1-6850:1)
[Warning][Deadcode] Function 'frame_pointer' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6851:1-6856:1)
[Warning][Deadcode] Function 'current_thread_info' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6858:1-6883:1)
[Warning][Deadcode] Function 'copy_user_generic' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6886:1-6896:1)
[Warning][Deadcode] Function '__copy_from_user_inatomic' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6897:1-6904:1)
[Warning][Deadcode] Function 'backtrace_warning_symbol' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6910:1-6915:1)
[Warning][Deadcode] Function 'backtrace_warning' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6916:1-6921:1)
[Warning][Deadcode] Function 'backtrace_stack' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6922:1-6927:1)
[Warning][Deadcode] Function 'backtrace_address' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6928:1-6942:1)
[Warning][Deadcode] Function 'dump_user_backtrace' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6945:1-6974:1)
[Warning][Deadcode] Function 'x86_backtrace' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6975:1-7010:1)
[Warning][Deadcode] Function 'ldv_main9_sequence_infinite_withcheck_stateful' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7011:1-7062:1)
[Warning][Deadcode] Function 'constant_test_bit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7063:1-7068:1)
[Warning][Deadcode] Function 'get_order' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7069:1-7084:1)
[Warning][Deadcode] Function 'paravirt_read_msr' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7086:1-7119:1)
[Warning][Deadcode] Function 'paravirt_write_msr' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7120:1-7154:1)
[Warning][Deadcode] Function 'spin_lock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7159:1-7165:1)
[Warning][Deadcode] Function 'spin_unlock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7166:1-7172:1)
[Warning][Deadcode] Function 'apic_read' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7174:1-7181:1)
[Warning][Deadcode] Function 'apic_write' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7182:1-7188:1)
[Warning][Deadcode] Function 'rcu_read_lock_sched_held' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7192:1-7197:1)
[Warning][Deadcode] Function 'rcu_read_lock_sched_notrace' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7198:1-7203:1)
[Warning][Deadcode] Function 'kmemleak_alloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7209:1-7215:1)
[Warning][Deadcode] Function 'trace_kmalloc' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7217:1-7263:1)
[Warning][Deadcode] Function 'kmalloc_index' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7265:1-7362:1)
[Warning][Deadcode] Function 'kmalloc_slab' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7363:1-7376:1)
[Warning][Deadcode] Function 'assume_abort_if_not' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7379:1-7381:1)
[Warning][Deadcode] Function 'ldv_malloc' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7384:1-7393:1)
[Warning][Deadcode] Function '__kmalloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7394:1-7397:1)
[Warning][Deadcode] Function 'kmalloc_large' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7399:1-7415:1)
[Warning][Deadcode] Function 'kmalloc' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7417:1-7449:1)
[Warning][Deadcode] Function 'kzalloc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7451:1-7458:1)
[Warning][Deadcode] Function 'op_x86_get_ctrl' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7478:1-7494:1)
[Warning][Deadcode] Function 'profile_exceptions_notify' is uncalled: 46 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7495:1-7566:1)
[Warning][Deadcode] Function 'nmi_cpu_save_registers' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7567:1-7607:1)
[Warning][Deadcode] Function 'nmi_cpu_start' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7608:1-7665:1)
[Warning][Deadcode] Function 'nmi_start' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7666:1-7675:1)
[Warning][Deadcode] Function 'nmi_cpu_stop' is uncalled: 31 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7676:1-7733:1)
[Warning][Deadcode] Function 'nmi_stop' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7734:1-7743:1)
[Warning][Deadcode] Function 'has_mux' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7746:1-7752:1)
[Warning][Deadcode] Function 'op_x86_phys_to_virt' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7753:1-7780:1)
[Warning][Deadcode] Function 'op_x86_virt_to_phys' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7781:1-7786:1)
[Warning][Deadcode] Function 'nmi_shutdown_mux' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7787:1-7825:1)
[Warning][Deadcode] Function 'nmi_setup_mux' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7826:1-7866:1)
[Warning][Deadcode] Function 'nmi_cpu_setup_mux' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7867:1-7900:1)
[Warning][Deadcode] Function 'nmi_cpu_save_mpx_registers' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7901:1-7930:1)
[Warning][Deadcode] Function 'nmi_cpu_restore_mpx_registers' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7931:1-7959:1)
[Warning][Deadcode] Function 'nmi_cpu_switch' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:7960:1-8016:1)
[Warning][Deadcode] Function 'nmi_multiplex_on' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8017:1-8022:1)
[Warning][Deadcode] Function 'nmi_switch_event' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8023:1-8046:1)
[Warning][Deadcode] Function 'mux_init' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8047:1-8058:1)
[Warning][Deadcode] Function 'mux_clone' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8060:1-8085:1)
[Warning][Deadcode] Function 'free_msrs' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8086:1-8124:1)
[Warning][Deadcode] Function 'allocate_msrs' is uncalled: 30 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8125:1-8185:1)
[Warning][Deadcode] Function 'nmi_cpu_setup' is uncalled: 29 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8186:1-8230:1)
[Warning][Deadcode] Function 'nmi_cpu_restore_registers' is uncalled: 17 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8232:1-8270:1)
[Warning][Deadcode] Function 'nmi_cpu_shutdown' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8271:1-8316:1)
[Warning][Deadcode] Function 'nmi_cpu_up' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8317:1-8330:1)
[Warning][Deadcode] Function 'nmi_cpu_down' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8331:1-8344:1)
[Warning][Deadcode] Function 'nmi_create_files' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8345:1-8379:1)
[Warning][Deadcode] Function 'oprofile_cpu_notifier___0' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8380:1-8398:1)
[Warning][Deadcode] Function 'nmi_setup' is uncalled: 44 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8400:1-8483:1)
[Warning][Deadcode] Function 'nmi_shutdown' is uncalled: 28 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8484:1-8523:1)
[Warning][Deadcode] Function 'nmi_suspend' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8524:1-8533:1)
[Warning][Deadcode] Function 'nmi_resume' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8534:1-8543:1)
[Warning][Deadcode] Function 'init_sysfs' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8554:1-8570:1)
[Warning][Deadcode] Function 'exit_sysfs' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8571:1-8578:1)
[Warning][Deadcode] Function 'p4_init' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8579:1-8602:1)
[Warning][Deadcode] Function 'ppro_init' is uncalled: 38 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8604:1-8656:1)
[Warning][Deadcode] Function 'op_nmi_init' is uncalled: 63 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8658:1-8754:1)
[Warning][Deadcode] Function 'op_nmi_exit' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8755:1-8764:1)
[Warning][Deadcode] Function 'ldv_main10_sequence_infinite_withcheck_stateful' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8765:1-8812:1)
[Warning][Deadcode] Function '__cpuid' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8813:1-8848:1)
[Warning][Deadcode] Function 'cpuid' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8849:1-8858:1)
[Warning][Deadcode] Function 'cpuid_eax' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8859:1-8869:1)
[Warning][Deadcode] Function 'pci_read_config_dword' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8875:1-8882:1)
[Warning][Deadcode] Function 'pci_write_config_dword' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8883:1-8890:1)
[Warning][Deadcode] Function 'op_x86_warn_in_use' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8895:1-8919:1)
[Warning][Deadcode] Function 'op_x86_warn_reserved' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8920:1-8926:1)
[Warning][Deadcode] Function 'get_ibs_caps' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8931:1-8954:1)
[Warning][Deadcode] Function 'lfsr_random' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8955:1-8965:1)
[Warning][Deadcode] Function 'op_amd_randomize_ibs_op' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8966:1-8980:1)
[Warning][Deadcode] Function 'op_amd_handle_ibs' is uncalled: 35 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:8981:1-9043:1)
[Warning][Deadcode] Function 'op_amd_start_ibs' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9044:1-9088:1)
[Warning][Deadcode] Function 'op_amd_stop_ibs' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9089:1-9106:1)
[Warning][Deadcode] Function 'op_mux_switch_ctrl' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9107:1-9141:1)
[Warning][Deadcode] Function 'op_amd_shutdown' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9142:1-9164:1)
[Warning][Deadcode] Function 'op_amd_fill_in_addresses' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9165:1-9205:1)
[Warning][Deadcode] Function 'op_amd_setup_ctrs' is uncalled: 42 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9206:1-9292:1)
[Warning][Deadcode] Function 'op_amd_cpu_shutdown' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9293:1-9302:1)
[Warning][Deadcode] Function 'op_amd_check_ctrs' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9303:1-9339:1)
[Warning][Deadcode] Function 'op_amd_start' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9340:1-9370:1)
[Warning][Deadcode] Function 'op_amd_stop' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9371:1-9401:1)
[Warning][Deadcode] Function '__init_ibs_nmi' is uncalled: 19 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9402:1-9437:1)
[Warning][Deadcode] Function 'init_ibs' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9438:1-9456:1)
[Warning][Deadcode] Function 'setup_ibs_files' is uncalled: 22 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9458:1-9495:1)
[Warning][Deadcode] Function 'op_amd_init' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9496:1-9504:1)
[Warning][Deadcode] Function 'ldv_main11_sequence_infinite_withcheck_stateful' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9509:1-9538:1)
[Warning][Deadcode] Function 'trace_kmalloc___0' is uncalled: 20 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9540:1-9586:1)
[Warning][Deadcode] Function 'kmalloc_large___0' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9587:1-9603:1)
[Warning][Deadcode] Function 'kmalloc___0' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9604:1-9636:1)
[Warning][Deadcode] Function 'kzalloc___0' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9637:1-9644:1)
[Warning][Deadcode] Function 'op_x86_warn_in_use___0' is uncalled: 16 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9645:1-9669:1)
[Warning][Deadcode] Function 'ppro_shutdown' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9673:1-9700:1)
[Warning][Deadcode] Function 'ppro_fill_in_addresses' is uncalled: 21 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9701:1-9741:1)
[Warning][Deadcode] Function 'ppro_setup_ctrs' is uncalled: 75 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9742:1-9878:1)
[Warning][Deadcode] Function 'ppro_check_ctrs' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9879:1-9921:1)
[Warning][Deadcode] Function 'ppro_start' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9922:1-9951:1)
[Warning][Deadcode] Function 'ppro_stop' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9952:1-9983:1)
[Warning][Deadcode] Function 'arch_perfmon_setup_counters' is uncalled: 43 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:9988:1-10054:1)
[Warning][Deadcode] Function 'arch_perfmon_init' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10055:1-10061:1)
[Warning][Deadcode] Function 'ldv_main12_sequence_infinite_withcheck_stateful' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10066:1-10090:1)
[Warning][Deadcode] Function 'cpumask_first' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10092:1-10099:1)
[Warning][Deadcode] Function 'setup_num_counters' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10103:1-10113:1)
[Warning][Deadcode] Function 'addr_increment' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10114:1-10119:1)
[Warning][Deadcode] Function 'get_stagger' is uncalled: 34 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10169:1-10219:1)
[Warning][Deadcode] Function 'p4_shutdown' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10221:1-10253:1)
[Warning][Deadcode] Function 'p4_fill_in_addresses' is uncalled: 112 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10254:1-10460:1)
[Warning][Deadcode] Function 'pmc_setup_one_p4_counter' is uncalled: 44 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10461:1-10538:1)
[Warning][Deadcode] Function 'p4_setup_ctrs' is uncalled: 43 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10539:1-10624:1)
[Warning][Deadcode] Function 'p4_check_ctrs' is uncalled: 27 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10625:1-10682:1)
[Warning][Deadcode] Function 'p4_start' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10683:1-10718:1)
[Warning][Deadcode] Function 'p4_stop' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10719:1-10754:1)
[Warning][Deadcode] Function 'ldv_main13_sequence_infinite_withcheck_stateful' is uncalled: 11 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10761:1-10785:1)
[Warning][Deadcode] Function 'profile_timer_exceptions_notify' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10789:1-10808:1)
[Warning][Deadcode] Function 'timer_start' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10810:1-10821:1)
[Warning][Deadcode] Function 'timer_stop' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10822:1-10829:1)
[Warning][Deadcode] Function 'op_nmi_timer_init' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10830:1-10849:1)
[Warning][Deadcode] Function 'ldv_main14_sequence_infinite_withcheck_stateful' is uncalled: 15 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10850:1-10882:1)
[Warning][Deadcode] Function 'ldv_error' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10883:1-10888:1)
[Warning][Deadcode] Function 'ldv_is_err' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10895:1-10900:1)
[Warning][Deadcode] Function 'ldv_err_ptr' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10901:1-10906:1)
[Warning][Deadcode] Function 'ldv_ptr_err' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10907:1-10912:1)
[Warning][Deadcode] Function 'ldv_is_err_or_null' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10913:1-10930:1)
[Warning][Deadcode] Function 'ldv_cancel' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10939:1-10949:1)
[Warning][Deadcode] Function '__get_free_pages' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10951:1-10953:1)
[Warning][Deadcode] Function '__init_work' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10954:1-10956:1)
[Warning][Deadcode] Function '__list_add' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10957:1-10959:1)
[Warning][Deadcode] Function '__ring_buffer_alloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10960:1-10962:1)
[Warning][Deadcode] Function '_copy_to_user' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10971:1-10973:1)
[Warning][Deadcode] Function '_raw_spin_lock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10974:1-10976:1)
[Warning][Deadcode] Function '_raw_spin_unlock' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10981:1-10983:1)
[Warning][Deadcode] Function 'avail_to_resrv_perfctr_nmi_bit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10988:1-10990:1)
[Warning][Deadcode] Function 'cancel_delayed_work_sync' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10992:1-10994:1)
[Warning][Deadcode] Function 'capable' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10996:1-10998:1)
[Warning][Deadcode] Function 'current_kernel_time' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:10999:1-11001:1)
[Warning][Deadcode] Function 'd_alloc_name' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11002:1-11004:1)
[Warning][Deadcode] Function 'd_alloc_root' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11005:1-11007:1)
[Warning][Deadcode] Function 'd_instantiate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11008:1-11010:1)
[Warning][Deadcode] Function 'd_rehash' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11011:1-11013:1)
[Warning][Deadcode] Function 'dcookie_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11014:1-11016:1)
[Warning][Deadcode] Function 'dcookie_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11017:1-11019:1)
[Warning][Deadcode] Function 'debug_lockdep_rcu_enabled' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11021:1-11023:1)
[Warning][Deadcode] Function 'del_timer_sync' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11025:1-11027:1)
[Warning][Deadcode] Function 'down_read' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11028:1-11030:1)
[Warning][Deadcode] Function 'dput' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11031:1-11033:1)
[Warning][Deadcode] Function 'dump_trace' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11034:1-11036:1)
[Warning][Deadcode] Function 'find_first_bit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11038:1-11040:1)
[Warning][Deadcode] Function 'find_next_bit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11042:1-11044:1)
[Warning][Deadcode] Function 'find_vma' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11045:1-11047:1)
[Warning][Deadcode] Function 'finish_wait' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11048:1-11050:1)
[Warning][Deadcode] Function 'flush_scheduled_work' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11051:1-11053:1)
[Warning][Deadcode] Function 'free_cpumask_var' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11054:1-11056:1)
[Warning][Deadcode] Function 'free_task' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11057:1-11059:1)
[Warning][Deadcode] Function 'get_dcookie' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11061:1-11063:1)
[Warning][Deadcode] Function 'get_online_cpus' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11064:1-11066:1)
[Warning][Deadcode] Function 'get_sb_single' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11068:1-11070:1)
[Warning][Deadcode] Function 'get_task_mm' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11071:1-11073:1)
[Warning][Deadcode] Function 'hrtimer_cancel' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11075:1-11077:1)
[Warning][Deadcode] Function 'hrtimer_forward' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11079:1-11081:1)
[Warning][Deadcode] Function 'hrtimer_init' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11082:1-11084:1)
[Warning][Deadcode] Function 'hrtimer_start' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11086:1-11088:1)
[Warning][Deadcode] Function 'init_timer_key' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11089:1-11091:1)
[Warning][Deadcode] Function 'iput' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11092:1-11094:1)
[Warning][Deadcode] Function 'list_del' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11111:1-11113:1)
[Warning][Deadcode] Function 'lockdep_init_map' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11114:1-11116:1)
[Warning][Deadcode] Function 'lockdep_rcu_dereference' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11117:1-11119:1)
[Warning][Deadcode] Function 'mmput' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11123:1-11125:1)
[Warning][Deadcode] Function 'msecs_to_jiffies' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11127:1-11129:1)
[Warning][Deadcode] Function 'new_inode' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11136:1-11138:1)
[Warning][Deadcode] Function 'nonseekable_open' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11140:1-11142:1)
[Warning][Deadcode] Function 'on_each_cpu' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11144:1-11146:1)
[Warning][Deadcode] Function 'pci_bus_read_config_dword' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11148:1-11150:1)
[Warning][Deadcode] Function 'pci_bus_write_config_dword' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11152:1-11154:1)
[Warning][Deadcode] Function 'pci_dev_put' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11155:1-11157:1)
[Warning][Deadcode] Function 'pci_get_device' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11158:1-11160:1)
[Warning][Deadcode] Function 'prepare_to_wait' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11161:1-11163:1)
[Warning][Deadcode] Function 'printk' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11165:1-11167:1)
[Warning][Deadcode] Function 'profile_event_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11169:1-11171:1)
[Warning][Deadcode] Function 'profile_event_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11173:1-11175:1)
[Warning][Deadcode] Function 'profile_pc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11177:1-11179:1)
[Warning][Deadcode] Function 'put_online_cpus' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11180:1-11182:1)
[Warning][Deadcode] Function 'register_cpu_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11184:1-11186:1)
[Warning][Deadcode] Function 'register_die_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11188:1-11190:1)
[Warning][Deadcode] Function 'register_filesystem' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11192:1-11194:1)
[Warning][Deadcode] Function 'register_module_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11196:1-11198:1)
[Warning][Deadcode] Function 'release_evntsel_nmi' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11199:1-11201:1)
[Warning][Deadcode] Function 'release_perfctr_nmi' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11202:1-11204:1)
[Warning][Deadcode] Function 'reserve_evntsel_nmi' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11206:1-11208:1)
[Warning][Deadcode] Function 'reserve_perfctr_nmi' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11210:1-11212:1)
[Warning][Deadcode] Function 'ring_buffer_consume' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11213:1-11215:1)
[Warning][Deadcode] Function 'ring_buffer_entries_cpu' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11217:1-11219:1)
[Warning][Deadcode] Function 'ring_buffer_event_data' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11220:1-11222:1)
[Warning][Deadcode] Function 'ring_buffer_event_length' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11224:1-11226:1)
[Warning][Deadcode] Function 'ring_buffer_free' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11227:1-11229:1)
[Warning][Deadcode] Function 'ring_buffer_lock_reserve' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11230:1-11232:1)
[Warning][Deadcode] Function 'ring_buffer_unlock_commit' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11234:1-11236:1)
[Warning][Deadcode] Function 'schedule' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11237:1-11239:1)
[Warning][Deadcode] Function 'schedule_delayed_work' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11241:1-11243:1)
[Warning][Deadcode] Function 'schedule_delayed_work_on' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11245:1-11247:1)
[Warning][Deadcode] Function 'setup_APIC_eilvt_ibs' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11249:1-11251:1)
[Warning][Deadcode] Function 'smp_call_function_single' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11261:1-11263:1)
[Warning][Deadcode] Function 'synchronize_sched' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11264:1-11266:1)
[Warning][Deadcode] Function 'sysdev_class_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11268:1-11270:1)
[Warning][Deadcode] Function 'sysdev_class_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11271:1-11273:1)
[Warning][Deadcode] Function 'sysdev_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11275:1-11277:1)
[Warning][Deadcode] Function 'sysdev_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11278:1-11280:1)
[Warning][Deadcode] Function 'task_handoff_register' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11282:1-11284:1)
[Warning][Deadcode] Function 'task_handoff_unregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11286:1-11288:1)
[Warning][Deadcode] Function 'unregister_cpu_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11289:1-11291:1)
[Warning][Deadcode] Function 'unregister_die_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11293:1-11295:1)
[Warning][Deadcode] Function 'unregister_filesystem' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11297:1-11299:1)
[Warning][Deadcode] Function 'unregister_module_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11301:1-11303:1)
[Warning][Deadcode] Function 'up_read' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11304:1-11306:1)
[Warning][Deadcode] Function 'vfree' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11307:1-11309:1)
[Warning][Deadcode] Function 'vmalloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11310:1-11312:1)
[Warning][Deadcode] Function 'warn_slowpath_null' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11316:1-11318:1)
[Warning][Deadcode] Function 'zalloc_cpumask_var' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11320:1-11322:1)
[Warning][Deadcode] Function 'autoremove_wake_function' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11324:1-11326:1)
[Warning][Deadcode] Function 'kfree' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:11328:1-11330:1)
[Warning][Deadcode] Function 'depth_write' has dead code:
  on line 5651 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5651-5651)
[Warning][Deadcode] Function 'main' has dead code:
  on line 5838 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5838-5838)
  on line 5866 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5866-5866)
[Warning][Deadcode] Function 'oprofile_set_backtrace' has dead code:
  on line 3412 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3412-3412)
  on line 3422 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3422-3422)
[Warning][Deadcode] Function 'oprofile_set_timeout' has dead code:
  on line 3306 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3306-3306)
  on lines 3315..3317 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3315-3317)
  on line 3321 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3321-3321)
[Warning][Deadcode] Function 'oprofile_start' has dead code:
  on lines 3337..3338 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3337-3338)
  on lines 3342..3344 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3342-3344)
  on lines 3348..3349 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3348-3349)
[Warning][Deadcode] Function 'oprofile_stop' has dead code:
  on lines 3363..3366 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3363-3366)
[Warning][Deadcode] Function 'timeout_write' has dead code:
  on line 5617 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5617-5617)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 250
  dead: 3404 (3382 in uncalled functions)
  total lines: 3654
[Warning][Deadcode][CWE-570] condition 'oprofile_started != 0UL' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3305:7-3305:30)
[Warning][Deadcode][CWE-571] condition '(unsigned long )oprofile_ops.switch_events == (unsigned long )((int (*)(void))0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3310:7-3310:87)
[Warning][Deadcode][CWE-571] condition 'ldv_s_dump_fops_file_operations == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5927:7-5927:43)
[Warning][Deadcode][CWE-571] condition 'is_setup == 0UL' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3333:7-3333:22)
[Warning][Deadcode][CWE-570] condition 'ldv_s_pointer_size_fops_file_operations != 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5946:12-5946:287)
[Warning][Deadcode][CWE-571] condition 'oprofile_started == 0UL' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3359:7-3359:30)
[Warning][Deadcode][CWE-570] condition 'ldv_s_cpu_type_fops_file_operations != 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5946:12-5946:287)
[Warning][Deadcode][CWE-570] condition 'ldv_s_dump_fops_file_operations != 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5946:12-5946:287)
[Warning][Deadcode][CWE-571] condition 'res_timeout_write_1 < 0L' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5834:9-5834:33)
[Warning][Deadcode][CWE-571] condition 'tmp___0 != 0L' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:6028:11-6028:24)
[Warning][Deadcode][CWE-570] condition 'oprofile_started != 0UL' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3411:7-3411:30)
[Warning][Deadcode][CWE-571] condition 'retval != 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5613:7-5613:18)
[Warning][Deadcode][CWE-571] condition '(unsigned long )oprofile_ops.backtrace == (unsigned long )((void (*)(struct pt_regs * , unsigned int  ))0)' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:3416:7-3417:93)
[Warning][Deadcode][CWE-571] condition 'res_depth_write_3 < 0L' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5862:9-5862:31)
[Warning][Deadcode][CWE-571] condition 'ldv_s_pointer_size_fops_file_operations == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5871:7-5871:51)
[Warning][Deadcode][CWE-571] condition 'retval != 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5647:7-5647:18)
[Warning][Deadcode][CWE-571] condition 'ldv_s_cpu_type_fops_file_operations == 0' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ldv-commit-tester/main4_arch-x86-oprofile-oprofile-ko--131_1a--79db8ef.i:5885:7-5885:47)
SV-COMP result: true
[Info][Witness] witness generation summary:
  total generation entries: 1
