./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-data-race.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Info][Unsound] Unknown address in {&tmp} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7042:2-7042:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7042:2-7042:63)
[Info][Unsound] Unknown address in {&tmp___0} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7043:2-7043:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7043:2-7043:60)
[Info][Unsound] Unknown address in {&tmp___1} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7044:2-7044:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7044:2-7044:63)
[Info][Unsound] Unknown address in {&tmp___2} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7045:2-7045:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7045:2-7045:60)
[Info][Unsound] Unknown address in {&tmp___3} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7046:2-7046:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7046:2-7046:63)
[Info][Unsound] Unknown address in {&tmp___4} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7047:2-7047:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7047:2-7047:60)
[Info][Unsound] Unknown address in {&tmp___5} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7048:2-7048:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7048:2-7048:63)
[Info][Unsound] Unknown address in {&tmp___6} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7049:2-7049:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7049:2-7049:60)
[Info][Unsound] Unknown address in {&tmp___7} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7050:2-7050:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7050:2-7050:63)
[Info][Unsound] Unknown address in {&tmp___8} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7051:2-7051:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7051:2-7051:60)
[Info][Unsound] Unknown address in {&tmp___9} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7052:2-7052:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7052:2-7052:63)
[Info][Unsound] Unknown address in {&tmp___10} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7053:2-7053:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7053:2-7053:60)
[Info][Unsound] Unknown address in {&tmp___11} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7054:2-7054:63)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7054:2-7054:63)
[Info][Unsound] Unknown address in {&tmp___12} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7055:2-7055:60)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7055:2-7055:60)
[Info][Unsound] Unknown address in {&tmp___13} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7056:2-7056:67)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7056:2-7056:67)
[Info][Unsound] Unknown address in {&tmp___14} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7057:2-7057:43)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7057:2-7057:43)
[Info][Unsound] Unknown address in {&tmp___15} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7058:2-7058:91)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7058:2-7058:91)
[Info][Unsound] Unknown address in {&tmp___16} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7059:2-7059:88)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7059:2-7059:88)
[Info][Unsound] Unknown address in {&tmp___17} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7060:2-7060:64)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7060:2-7060:64)
[Info][Unsound] Unknown address in {&tmp___18} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7061:2-7061:62)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7061:2-7061:62)
[Info][Unsound] Unknown address in {&tmp___19} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7062:2-7062:50)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7062:2-7062:50)
[Info][Unsound] Unknown address in {&tmp} has escaped. (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6587:3-6587:25)
[Info][Unsound] Unknown value in {?} could be an escaped pointer address! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6587:3-6587:25)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6938:2-6939:29)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6938:2-6939:29)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6951:3-6951:43)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6951:3-6951:43)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6901:3-6903:12)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7027:2-7027:57)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6808:2-6809:48)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6808:2-6809:48)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6780:2-6780:30)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6820:2-6820:37)
[Warning][Integer > Overflow][CWE-191] Unsigned integer underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7037:2-7037:32)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6861:2-6861:19)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6861:2-6861:19)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6862:2-6862:17)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6865:2-6865:30)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6844:2-6844:19)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6844:2-6844:19)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6845:2-6845:17)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6846:2-6846:59)
[Warning][Integer > Overflow][CWE-190][CWE-191] Signed integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6848:2-6848:45)
[Warning][Integer > Overflow][CWE-190][CWE-191] Unsigned integer overflow and underflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6850:2-6850:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6850:2-6850:56)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6851:2-6851:59)
[Warning][Integer > Overflow][CWE-190] Unsigned integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6852:2-6852:56)
[Warning][Deadcode] Function "__VERIFIER_error" will never be called: 1LoC (includes/sv-comp.c:2:1-2:36)
[Warning][Deadcode] Function "__VERIFIER_assume" will never be called: 1LoC (includes/sv-comp.c:9:1-9:89)
[Warning][Deadcode] Function "__VERIFIER_nondet_bool" will never be called: 1LoC (includes/sv-comp.c:15:1-15:57)
[Warning][Deadcode] Function "__VERIFIER_nondet_float" will never be called: 1LoC (includes/sv-comp.c:19:1-19:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_double" will never be called: 1LoC (includes/sv-comp.c:20:1-20:61)
[Warning][Deadcode] Function "__VERIFIER_nondet_long" will never be called: 1LoC (includes/sv-comp.c:22:1-22:55)
[Warning][Deadcode] Function "__VERIFIER_nondet_pchar" will never be called: 1LoC (includes/sv-comp.c:23:1-23:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_short" will never be called: 1LoC (includes/sv-comp.c:26:1-26:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_uint" will never be called: 1LoC (includes/sv-comp.c:30:1-30:71)
[Warning][Deadcode] Function "__VERIFIER_nondet_ulong" will never be called: 1LoC (includes/sv-comp.c:31:1-31:74)
[Warning][Deadcode] Function "__VERIFIER_nondet_unsigned" will never be called: 1LoC (includes/sv-comp.c:32:1-32:67)
[Warning][Deadcode] Function "__VERIFIER_nondet_ushort" will never be called: 1LoC (includes/sv-comp.c:33:1-33:77)
[Warning][Deadcode] Function "__VERIFIER_nondet_pointer" will never be called: 1LoC (includes/sv-comp.c:35:1-35:60)
[Warning][Deadcode] Function "INIT_LIST_HEAD" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:178:1-182:1)
[Warning][Deadcode] Function "__list_add" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:183:1-189:1)
[Warning][Deadcode] Function "list_add" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:190:1-193:1)
[Warning][Deadcode] Function "__list_del" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:194:1-198:1)
[Warning][Deadcode] Function "list_del_init" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:199:1-203:1)
[Warning][Deadcode] Function "list_empty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:204:1-207:1)
[Warning][Deadcode] Function "ERR_PTR" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:243:1-246:1)
[Warning][Deadcode] Function "PTR_ERR" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:247:1-250:1)
[Warning][Deadcode] Function "IS_ERR_OR_NULL" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:251:1-254:1)
[Warning][Deadcode] Function "IS_ERR" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:255:1-258:1)
[Warning][Deadcode] Function "atomic_read" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:289:1-292:1)
[Warning][Deadcode] Function "atomic_set" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:293:1-296:1)
[Warning][Deadcode] Function "atomic_add" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:298:1-301:1)
[Warning][Deadcode] Function "atomic_sub" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:302:1-305:1)
[Warning][Deadcode] Function "atomic_sub_and_test" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:306:1-313:1)
[Warning][Deadcode] Function "atomic_inc" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:314:1-317:1)
[Warning][Deadcode] Function "atomic_dec" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:318:1-321:1)
[Warning][Deadcode] Function "atomic_dec_and_test" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:322:1-329:1)
[Warning][Deadcode] Function "atomic_inc_and_test" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:330:1-337:1)
[Warning][Deadcode] Function "atomic_add_negative" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:338:1-345:1)
[Warning][Deadcode] Function "atomic_add_return" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:346:1-349:1)
[Warning][Deadcode] Function "atomic_sub_return" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:350:1-353:1)
[Warning][Deadcode] Function "current_thread_info" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:366:1-370:1)
[Warning][Deadcode] Function "spin_lock_init" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:386:1-390:1)
[Warning][Deadcode] Function "spin_lock" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:391:1-397:1)
[Warning][Deadcode] Function "spin_lock_irqsave" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:398:1-404:1)
[Warning][Deadcode] Function "spin_lock_irq" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:405:1-411:1)
[Warning][Deadcode] Function "spin_lock_bh" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:412:1-418:1)
[Warning][Deadcode] Function "spin_unlock" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:419:1-424:1)
[Warning][Deadcode] Function "spin_unlock_irqrestore" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:425:1-430:1)
[Warning][Deadcode] Function "spin_unlock_irq" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:431:1-436:1)
[Warning][Deadcode] Function "spin_unlock_bh" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:437:1-442:1)
[Warning][Deadcode] Function "__read_seqcount_begin" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:448:1-458:1)
[Warning][Deadcode] Function "read_seqcount_begin" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:459:1-464:1)
[Warning][Deadcode] Function "raw_seqcount_begin" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:465:1-470:1)
[Warning][Deadcode] Function "__read_seqcount_retry" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:471:1-474:1)
[Warning][Deadcode] Function "read_seqcount_retry" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:475:1-479:1)
[Warning][Deadcode] Function "write_seqcount_begin" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:480:1-483:1)
[Warning][Deadcode] Function "write_seqcount_end" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:484:1-487:1)
[Warning][Deadcode] Function "write_seqcount_barrier" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:488:1-491:1)
[Warning][Deadcode] Function "read_seqbegin" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:496:1-499:1)
[Warning][Deadcode] Function "read_seqretry" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:500:1-503:1)
[Warning][Deadcode] Function "write_seqlock" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:504:1-508:1)
[Warning][Deadcode] Function "write_sequnlock" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:509:1-513:1)
[Warning][Deadcode] Function "write_seqlock_bh" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:514:1-518:1)
[Warning][Deadcode] Function "write_sequnlock_bh" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:519:1-523:1)
[Warning][Deadcode] Function "write_seqlock_irq" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:524:1-528:1)
[Warning][Deadcode] Function "write_sequnlock_irq" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:529:1-533:1)
[Warning][Deadcode] Function "__write_seqlock_irqsave" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:534:1-540:1)
[Warning][Deadcode] Function "write_sequnlock_irqrestore" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:541:1-546:1)
[Warning][Deadcode] Function "read_seqlock_excl" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:547:1-550:1)
[Warning][Deadcode] Function "read_sequnlock_excl" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:551:1-554:1)
[Warning][Deadcode] Function "read_seqlock_excl_bh" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:555:1-558:1)
[Warning][Deadcode] Function "read_sequnlock_excl_bh" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:559:1-562:1)
[Warning][Deadcode] Function "read_seqlock_excl_irq" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:563:1-566:1)
[Warning][Deadcode] Function "read_sequnlock_excl_irq" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:567:1-570:1)
[Warning][Deadcode] Function "__read_seqlock_excl_irqsave" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:571:1-576:1)
[Warning][Deadcode] Function "read_sequnlock_excl_irqrestore" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:577:1-581:1)
[Warning][Deadcode] Function "timespec_equal" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:594:1-598:1)
[Warning][Deadcode] Function "timespec_compare" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:599:1-606:1)
[Warning][Deadcode] Function "timeval_compare" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:607:1-614:1)
[Warning][Deadcode] Function "timespec_add" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:621:1-628:1)
[Warning][Deadcode] Function "timespec_sub" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:629:1-636:1)
[Warning][Deadcode] Function "timespec_valid" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:637:1-644:1)
[Warning][Deadcode] Function "timespec_valid_strict" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:645:1-652:1)
[Warning][Deadcode] Function "has_persistent_clock" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:654:1-657:1)
[Warning][Deadcode] Function "timespec_to_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:709:1-712:1)
[Warning][Deadcode] Function "timeval_to_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:713:1-717:1)
[Warning][Deadcode] Function "timespec_add_ns" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:721:1-725:1)
[Warning][Deadcode] Function "__kuid_val" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:740:1-743:1)
[Warning][Deadcode] Function "__kgid_val" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:744:1-747:1)
[Warning][Deadcode] Function "uid_eq" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:748:1-751:1)
[Warning][Deadcode] Function "gid_eq" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:752:1-755:1)
[Warning][Deadcode] Function "uid_gt" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:756:1-759:1)
[Warning][Deadcode] Function "gid_gt" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:760:1-763:1)
[Warning][Deadcode] Function "uid_gte" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:764:1-767:1)
[Warning][Deadcode] Function "gid_gte" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:768:1-771:1)
[Warning][Deadcode] Function "uid_lt" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:772:1-775:1)
[Warning][Deadcode] Function "gid_lt" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:776:1-779:1)
[Warning][Deadcode] Function "uid_lte" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:780:1-783:1)
[Warning][Deadcode] Function "gid_lte" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:784:1-787:1)
[Warning][Deadcode] Function "uid_valid" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:788:1-791:1)
[Warning][Deadcode] Function "gid_valid" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:792:1-795:1)
[Warning][Deadcode] Function "make_kuid" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:796:1-799:1)
[Warning][Deadcode] Function "make_kgid" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:800:1-803:1)
[Warning][Deadcode] Function "from_kuid" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:804:1-807:1)
[Warning][Deadcode] Function "from_kgid" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:808:1-811:1)
[Warning][Deadcode] Function "from_kuid_munged" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:812:1-818:1)
[Warning][Deadcode] Function "from_kgid_munged" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:819:1-825:1)
[Warning][Deadcode] Function "kuid_has_mapping" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:826:1-829:1)
[Warning][Deadcode] Function "kgid_has_mapping" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:830:1-833:1)
[Warning][Deadcode] Function "mutex_init" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:854:1-858:1)
[Warning][Deadcode] Function "mutex_lock_interruptible" will never be called: 7LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:866:1-876:1)
[Warning][Deadcode] Function "get_max_mapped" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:930:1-933:1)
[Warning][Deadcode] Function "native_make_pgd" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:957:1-960:1)
[Warning][Deadcode] Function "native_pgd_val" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:961:1-964:1)
[Warning][Deadcode] Function "pgd_flags" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:965:1-968:1)
[Warning][Deadcode] Function "native_make_pud" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:970:1-973:1)
[Warning][Deadcode] Function "native_pud_val" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:974:1-977:1)
[Warning][Deadcode] Function "native_make_pmd" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:979:1-982:1)
[Warning][Deadcode] Function "native_pmd_val" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:983:1-986:1)
[Warning][Deadcode] Function "pud_flags" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:987:1-990:1)
[Warning][Deadcode] Function "pmd_flags" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:991:1-994:1)
[Warning][Deadcode] Function "native_make_pte" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:995:1-998:1)
[Warning][Deadcode] Function "native_pte_val" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:999:1-1002:1)
[Warning][Deadcode] Function "pte_flags" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1003:1-1006:1)
[Warning][Deadcode] Function "cachemode2protval" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1009:1-1014:1)
[Warning][Deadcode] Function "cachemode2pgprot" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1015:1-1018:1)
[Warning][Deadcode] Function "pgprot2cachemode" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1019:1-1026:1)
[Warning][Deadcode] Function "pgprot_4k_2_large" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1027:1-1035:1)
[Warning][Deadcode] Function "pgprot_large_2_4k" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1036:1-1045:1)
[Warning][Deadcode] Function "update_page_count" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1066:1-1066:96)
[Warning][Deadcode] Function "page_address" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1085:1-1088:1)
[Warning][Deadcode] Function "INIT_HLIST_BL_NODE" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1098:1-1102:1)
[Warning][Deadcode] Function "hlist_bl_unhashed" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1103:1-1106:1)
[Warning][Deadcode] Function "hlist_bl_first" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1107:1-1111:1)
[Warning][Deadcode] Function "hlist_bl_set_first" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1112:1-1118:1)
[Warning][Deadcode] Function "hlist_bl_empty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1119:1-1122:1)
[Warning][Deadcode] Function "hlist_bl_add_head" will never be called: 7LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1123:1-1132:1)
[Warning][Deadcode] Function "__hlist_bl_del" will never be called: 6LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1133:1-1143:1)
[Warning][Deadcode] Function "hlist_bl_del" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1144:1-1149:1)
[Warning][Deadcode] Function "hlist_bl_del_init" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1150:1-1156:1)
[Warning][Deadcode] Function "hlist_bl_lock" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1160:1-1163:1)
[Warning][Deadcode] Function "hlist_bl_unlock" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1164:1-1167:1)
[Warning][Deadcode] Function "hlist_bl_is_locked" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1168:1-1171:1)
[Warning][Deadcode] Function "hlist_bl_set_first_rcu" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1172:1-1178:1)
[Warning][Deadcode] Function "hlist_bl_first_rcu" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1179:1-1183:1)
[Warning][Deadcode] Function "hlist_bl_del_init_rcu" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1184:1-1190:1)
[Warning][Deadcode] Function "hlist_bl_del_rcu" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1191:1-1195:1)
[Warning][Deadcode] Function "hlist_bl_add_head_rcu" will never be called: 7LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1196:1-1206:1)
[Warning][Deadcode] Function "partial_name_hash" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1227:1-1231:1)
[Warning][Deadcode] Function "end_name_hash" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1232:1-1235:1)
[Warning][Deadcode] Function "dname_external" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1281:1-1284:1)
[Warning][Deadcode] Function "d_add" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1308:1-1312:1)
[Warning][Deadcode] Function "d_add_unique" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1313:1-1319:1)
[Warning][Deadcode] Function "__d_rcu_to_refcount" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1329:1-1337:1)
[Warning][Deadcode] Function "dget_dlock" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1345:1-1350:1)
[Warning][Deadcode] Function "dget" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1351:1-1359:1)
[Warning][Deadcode] Function "d_unhashed" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1361:1-1364:1)
[Warning][Deadcode] Function "d_unlinked" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1365:1-1368:1)
[Warning][Deadcode] Function "cant_mount" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1369:1-1372:1)
[Warning][Deadcode] Function "dont_mount" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1373:1-1378:1)
[Warning][Deadcode] Function "d_managed" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1380:1-1383:1)
[Warning][Deadcode] Function "d_mountpoint" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1384:1-1387:1)
[Warning][Deadcode] Function "iminor" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1661:1-1664:1)
[Warning][Deadcode] Function "imajor" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1665:1-1668:1)
[Warning][Deadcode] Function "current_fs_time" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1686:1-1690:1)
[Warning][Deadcode] Function "fls" will never be called: 19LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1777:1-1803:1)
[Warning][Deadcode] Function "fls64" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1804:1-1810:1)
[Warning][Deadcode] Function "fls_long" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1811:1-1816:1)
[Warning][Deadcode] Function "idr_preload_end" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1848:1-1851:1)
[Warning][Deadcode] Function "idr_find" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1852:1-1858:1)
[Warning][Deadcode] Function "ida_get_new" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1875:1-1878:1)
[Warning][Deadcode] Function "lockdep_off" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1884:1-1886:1)
[Warning][Deadcode] Function "lockdep_on" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1887:1-1889:1)
[Warning][Deadcode] Function "print_irqtrace_events" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:1891:1-1893:1)
[Warning][Deadcode] Function "kernfs_type" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2026:1-2027:13)
[Warning][Deadcode] Function "kernfs_enable_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2028:1-2028:87)
[Warning][Deadcode] Function "kernfs_ns_enabled" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2029:1-2030:17)
[Warning][Deadcode] Function "kernfs_name" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2031:1-2032:15)
[Warning][Deadcode] Function "kernfs_path" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2033:1-2035:23)
[Warning][Deadcode] Function "pr_cont_kernfs_name" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2036:1-2036:90)
[Warning][Deadcode] Function "pr_cont_kernfs_path" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2037:1-2037:90)
[Warning][Deadcode] Function "kernfs_get_parent" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2038:1-2039:23)
[Warning][Deadcode] Function "kernfs_find_and_get_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2040:1-2043:23)
[Warning][Deadcode] Function "kernfs_get" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2044:1-2044:81)
[Warning][Deadcode] Function "kernfs_put" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2045:1-2045:81)
[Warning][Deadcode] Function "kernfs_node_from_dentry" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2046:1-2047:23)
[Warning][Deadcode] Function "kernfs_root_from_sb" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2048:1-2049:23)
[Warning][Deadcode] Function "kernfs_create_root" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2050:1-2053:24)
[Warning][Deadcode] Function "kernfs_destroy_root" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2054:1-2054:92)
[Warning][Deadcode] Function "kernfs_create_dir_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2055:1-2058:24)
[Warning][Deadcode] Function "__kernfs_create_file" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2059:1-2063:24)
[Warning][Deadcode] Function "kernfs_create_link" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2064:1-2067:24)
[Warning][Deadcode] Function "kernfs_activate" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2068:1-2068:86)
[Warning][Deadcode] Function "kernfs_remove" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2069:1-2069:84)
[Warning][Deadcode] Function "kernfs_remove_self" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2070:1-2071:17)
[Warning][Deadcode] Function "kernfs_remove_by_name_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2072:1-2074:15)
[Warning][Deadcode] Function "kernfs_rename_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2075:1-2078:15)
[Warning][Deadcode] Function "kernfs_setattr" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2079:1-2081:15)
[Warning][Deadcode] Function "kernfs_notify" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2082:1-2082:84)
[Warning][Deadcode] Function "kernfs_super_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2083:1-2084:23)
[Warning][Deadcode] Function "kernfs_mount_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2085:1-2089:24)
[Warning][Deadcode] Function "kernfs_kill_sb" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2090:1-2090:85)
[Warning][Deadcode] Function "kernfs_init" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2091:1-2091:64)
[Warning][Deadcode] Function "kernfs_find_and_get" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2092:1-2096:1)
[Warning][Deadcode] Function "kernfs_create_dir" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2097:1-2102:1)
[Warning][Deadcode] Function "kernfs_create_file_ns" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2103:1-2111:1)
[Warning][Deadcode] Function "kernfs_create_file" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2112:1-2117:1)
[Warning][Deadcode] Function "kernfs_remove_by_name" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2118:1-2122:1)
[Warning][Deadcode] Function "kernfs_rename" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2123:1-2128:1)
[Warning][Deadcode] Function "kernfs_mount" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2129:1-2136:1)
[Warning][Deadcode] Function "sysfs_create_dir_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2193:1-2196:1)
[Warning][Deadcode] Function "sysfs_remove_dir" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2197:1-2199:1)
[Warning][Deadcode] Function "sysfs_rename_dir_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2200:1-2204:1)
[Warning][Deadcode] Function "sysfs_move_dir_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2205:1-2210:1)
[Warning][Deadcode] Function "sysfs_create_file_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2211:1-2216:1)
[Warning][Deadcode] Function "sysfs_create_files" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2217:1-2221:1)
[Warning][Deadcode] Function "sysfs_chmod_file" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2222:1-2226:1)
[Warning][Deadcode] Function "sysfs_remove_file_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2227:1-2231:1)
[Warning][Deadcode] Function "sysfs_remove_file_self" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2232:1-2236:1)
[Warning][Deadcode] Function "sysfs_remove_files" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2237:1-2240:1)
[Warning][Deadcode] Function "sysfs_create_bin_file" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2241:1-2245:1)
[Warning][Deadcode] Function "sysfs_remove_bin_file" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2246:1-2249:1)
[Warning][Deadcode] Function "sysfs_create_link" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2250:1-2254:1)
[Warning][Deadcode] Function "sysfs_create_link_nowarn" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2255:1-2260:1)
[Warning][Deadcode] Function "sysfs_remove_link" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2261:1-2263:1)
[Warning][Deadcode] Function "sysfs_rename_link_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2264:1-2269:1)
[Warning][Deadcode] Function "sysfs_delete_link" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2270:1-2273:1)
[Warning][Deadcode] Function "sysfs_create_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2274:1-2278:1)
[Warning][Deadcode] Function "sysfs_create_groups" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2279:1-2283:1)
[Warning][Deadcode] Function "sysfs_update_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2284:1-2288:1)
[Warning][Deadcode] Function "sysfs_remove_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2289:1-2292:1)
[Warning][Deadcode] Function "sysfs_remove_groups" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2293:1-2296:1)
[Warning][Deadcode] Function "sysfs_add_file_to_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2297:1-2301:1)
[Warning][Deadcode] Function "sysfs_remove_file_from_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2302:1-2305:1)
[Warning][Deadcode] Function "sysfs_merge_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2306:1-2310:1)
[Warning][Deadcode] Function "sysfs_unmerge_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2311:1-2314:1)
[Warning][Deadcode] Function "sysfs_add_link_to_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2315:1-2320:1)
[Warning][Deadcode] Function "sysfs_remove_link_from_group" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2321:1-2324:1)
[Warning][Deadcode] Function "sysfs_notify" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2325:1-2328:1)
[Warning][Deadcode] Function "sysfs_init" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2329:1-2332:1)
[Warning][Deadcode] Function "sysfs_enable_ns" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2333:1-2335:1)
[Warning][Deadcode] Function "sysfs_create_file" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2336:1-2340:1)
[Warning][Deadcode] Function "sysfs_remove_file" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2341:1-2345:1)
[Warning][Deadcode] Function "sysfs_rename_link" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2346:1-2350:1)
[Warning][Deadcode] Function "sysfs_notify_dirent" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2351:1-2354:1)
[Warning][Deadcode] Function "sysfs_get_dirent" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2355:1-2359:1)
[Warning][Deadcode] Function "sysfs_get" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2360:1-2364:1)
[Warning][Deadcode] Function "sysfs_put" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2365:1-2368:1)
[Warning][Deadcode] Function "kref_init" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2372:1-2375:1)
[Warning][Deadcode] Function "kref_get" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2376:1-2379:1)
[Warning][Deadcode] Function "kref_sub" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2380:1-2389:1)
[Warning][Deadcode] Function "kref_put" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2390:1-2393:1)
[Warning][Deadcode] Function "kref_put_spinlock_irqsave" will never be called: 11LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2395:1-2411:1)
[Warning][Deadcode] Function "kref_put_mutex" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2412:1-2427:1)
[Warning][Deadcode] Function "kref_get_unless_zero" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2428:1-2431:1)
[Warning][Deadcode] Function "kobject_name" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2460:1-2463:1)
[Warning][Deadcode] Function "to_kset" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2521:1-2524:1)
[Warning][Deadcode] Function "kset_get" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2525:1-2528:1)
[Warning][Deadcode] Function "kset_put" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2529:1-2532:1)
[Warning][Deadcode] Function "get_ktype" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2533:1-2536:1)
[Warning][Deadcode] Function "dev_name" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2588:1-2593:1)
[Warning][Deadcode] Function "pci_name" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2797:1-2800:1)
[Warning][Deadcode] Function "pci_is_pcie" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2814:1-2817:1)
[Warning][Deadcode] Function "copy_to_user" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2836:1-2839:1)
[Warning][Deadcode] Function "copy_from_user" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2840:1-2843:1)
[Warning][Deadcode] Function "alloc_tty_driver" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2991:1-2997:1)
[Warning][Deadcode] Function "tty_driver_kref_get" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:2998:1-3002:1)
[Warning][Deadcode] Function "rwsem_is_locked" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3063:1-3066:1)
[Warning][Deadcode] Function "rwsem_is_contended" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3069:1-3072:1)
[Warning][Deadcode] Function "regs_return_value" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3115:1-3118:1)
[Warning][Deadcode] Function "user_mode" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3119:1-3122:1)
[Warning][Deadcode] Function "user_mode_vm" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3123:1-3126:1)
[Warning][Deadcode] Function "v8086_mode" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3127:1-3130:1)
[Warning][Deadcode] Function "kernel_stack_pointer" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3131:1-3134:1)
[Warning][Deadcode] Function "regs_get_register" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3137:1-3143:1)
[Warning][Deadcode] Function "regs_within_kernel_stack" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3144:1-3149:1)
[Warning][Deadcode] Function "regs_get_kernel_stack_nth" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3150:1-3159:1)
[Warning][Deadcode] Function "alternatives_smp_module_add" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3175:1-3177:42)
[Warning][Deadcode] Function "alternatives_smp_module_del" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3178:1-3178:93)
[Warning][Deadcode] Function "alternatives_enable_smp" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3179:1-3179:75)
[Warning][Deadcode] Function "alternatives_text_reserved" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3180:1-3183:1)
[Warning][Deadcode] Function "apply_paravirt" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3185:1-3187:2)
[Warning][Deadcode] Function "set_64bit" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3196:1-3199:1)
[Warning][Deadcode] Function "init_llist_head" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3206:1-3209:1)
[Warning][Deadcode] Function "llist_empty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3210:1-3213:1)
[Warning][Deadcode] Function "llist_next" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3214:1-3217:1)
[Warning][Deadcode] Function "llist_add" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3221:1-3224:1)
[Warning][Deadcode] Function "llist_del_all" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3225:1-3228:1)
[Warning][Deadcode] Function "char_buf_ptr" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3247:1-3250:1)
[Warning][Deadcode] Function "flag_buf_ptr" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3251:1-3254:1)
[Warning][Deadcode] Function "__tty_set_flow_change" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3352:1-3355:1)
[Warning][Deadcode] Function "tty_set_flow_change" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3356:1-3360:1)
[Warning][Deadcode] Function "console_init" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3361:1-3362:3)
[Warning][Deadcode] Function "tty_kref_put" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3363:1-3364:3)
[Warning][Deadcode] Function "tty_get_pgrp" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3365:1-3366:23)
[Warning][Deadcode] Function "tty_vhangup_self" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3367:1-3368:3)
[Warning][Deadcode] Function "disassociate_ctty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3369:1-3370:3)
[Warning][Deadcode] Function "tty_devnum" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3371:1-3372:13)
[Warning][Deadcode] Function "proc_clear_tty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3373:1-3374:3)
[Warning][Deadcode] Function "get_current_tty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3375:1-3378:1)
[Warning][Deadcode] Function "tty_init" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3379:1-3380:13)
[Warning][Deadcode] Function "tty_kref_get" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3385:1-3390:1)
[Warning][Deadcode] Function "tty_get_baud_rate" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3445:1-3448:1)
[Warning][Deadcode] Function "tty_port_get" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3490:1-3495:1)
[Warning][Deadcode] Function "tty_port_cts_enabled" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3496:1-3499:1)
[Warning][Deadcode] Function "tty_port_users" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3519:1-3522:1)
[Warning][Deadcode] Function "tty_ldisc_receive_buf" will never be called: 6LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3531:1-3542:1)
[Warning][Deadcode] Function "tty_audit_add_data" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3545:1-3548:1)
[Warning][Deadcode] Function "tty_audit_tiocsti" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3549:1-3551:1)
[Warning][Deadcode] Function "tty_audit_exit" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3552:1-3554:1)
[Warning][Deadcode] Function "tty_audit_fork" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3555:1-3557:1)
[Warning][Deadcode] Function "tty_audit_push" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3558:1-3560:1)
[Warning][Deadcode] Function "tty_audit_push_current" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3561:1-3564:1)
[Warning][Deadcode] Function "tty_wait_until_sent_from_close" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3578:1-3584:1)
[Warning][Deadcode] Function "proc_tty_register_driver" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3585:1-3585:92)
[Warning][Deadcode] Function "proc_tty_unregister_driver" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3586:1-3586:94)
[Warning][Deadcode] Function "usb_endpoint_num" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4155:1-4158:1)
[Warning][Deadcode] Function "usb_endpoint_type" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4159:1-4162:1)
[Warning][Deadcode] Function "usb_endpoint_dir_in" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4163:1-4166:1)
[Warning][Deadcode] Function "usb_endpoint_dir_out" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4167:1-4171:1)
[Warning][Deadcode] Function "usb_endpoint_xfer_bulk" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4172:1-4177:1)
[Warning][Deadcode] Function "usb_endpoint_xfer_control" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4178:1-4183:1)
[Warning][Deadcode] Function "usb_endpoint_xfer_int" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4184:1-4189:1)
[Warning][Deadcode] Function "usb_endpoint_xfer_isoc" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4190:1-4195:1)
[Warning][Deadcode] Function "usb_endpoint_is_bulk_in" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4196:1-4200:1)
[Warning][Deadcode] Function "usb_endpoint_is_bulk_out" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4201:1-4205:1)
[Warning][Deadcode] Function "usb_endpoint_is_int_in" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4206:1-4210:1)
[Warning][Deadcode] Function "usb_endpoint_is_int_out" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4211:1-4215:1)
[Warning][Deadcode] Function "usb_endpoint_is_isoc_in" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4216:1-4220:1)
[Warning][Deadcode] Function "usb_endpoint_is_isoc_out" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4221:1-4225:1)
[Warning][Deadcode] Function "usb_endpoint_maxp" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4226:1-4229:1)
[Warning][Deadcode] Function "usb_endpoint_interrupt_type" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4230:1-4234:1)
[Warning][Deadcode] Function "usb_ss_max_streams" will never be called: 7LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4242:1-4253:1)
[Warning][Deadcode] Function "init_completion" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4417:1-4421:1)
[Warning][Deadcode] Function "reinit_completion" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4422:1-4425:1)
[Warning][Deadcode] Function "usb_get_intfdata" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4490:1-4493:1)
[Warning][Deadcode] Function "usb_set_intfdata" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4494:1-4497:1)
[Warning][Deadcode] Function "interface_to_usbdev" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4623:1-4626:1)
[Warning][Deadcode] Function "usb_acpi_set_power_state" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4635:1-4636:27)
[Warning][Deadcode] Function "usb_acpi_power_manageable" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4637:1-4638:17)
[Warning][Deadcode] Function "usb_enable_autosuspend" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4639:1-4640:13)
[Warning][Deadcode] Function "usb_disable_autosuspend" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4641:1-4642:13)
[Warning][Deadcode] Function "usb_autopm_get_interface" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4643:1-4644:13)
[Warning][Deadcode] Function "usb_autopm_get_interface_async" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4645:1-4646:13)
[Warning][Deadcode] Function "usb_autopm_put_interface" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4647:1-4648:3)
[Warning][Deadcode] Function "usb_autopm_put_interface_async" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4649:1-4650:3)
[Warning][Deadcode] Function "usb_autopm_get_interface_no_resume" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4651:1-4653:3)
[Warning][Deadcode] Function "usb_autopm_put_interface_no_suspend" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4654:1-4656:3)
[Warning][Deadcode] Function "usb_mark_last_busy" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4657:1-4658:3)
[Warning][Deadcode] Function "usb_device_supports_ltm" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4665:1-4670:1)
[Warning][Deadcode] Function "usb_device_no_sg_constraint" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4671:1-4674:1)
[Warning][Deadcode] Function "usb_interface_claimed" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4684:1-4687:1)
[Warning][Deadcode] Function "usb_make_path" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4709:1-4715:1)
[Warning][Deadcode] Function "usb_register_driver" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4769:1-4773:1)
[Warning][Deadcode] Function "init_usb_anchor" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4797:1-4803:1)
[Warning][Deadcode] Function "usb_fill_control_urb" will never be called: 8LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4837:1-4853:1)
[Warning][Deadcode] Function "usb_fill_bulk_urb" will never be called: 7LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4854:1-4868:1)
[Warning][Deadcode] Function "usb_fill_int_urb" will never be called: 12LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4869:1-4891:1)
[Warning][Deadcode] Function "usb_urb_dir_in" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4915:1-4918:1)
[Warning][Deadcode] Function "usb_urb_dir_out" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4919:1-4922:1)
[Warning][Deadcode] Function "__create_pipe" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4976:1-4980:1)
[Warning][Deadcode] Function "usb_pipe_endpoint" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4981:1-4987:1)
[Warning][Deadcode] Function "usb_maxpacket" will never be called: 9LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:4988:1-5003:1)
[Warning][Deadcode] Function "usb_translate_errors" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5004:1-5015:1)
[Warning][Deadcode] Function "usb_led_activity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5023:1-5023:85)
[Warning][Deadcode] Function "e820_mark_nosave_regions" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5044:1-5046:1)
[Warning][Deadcode] Function "early_memtest" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5047:1-5049:1)
[Warning][Deadcode] Function "is_ISA_range" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5060:1-5063:1)
[Warning][Deadcode] Function "pte_dirty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5191:1-5194:1)
[Warning][Deadcode] Function "pte_young" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5195:1-5198:1)
[Warning][Deadcode] Function "pmd_dirty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5199:1-5202:1)
[Warning][Deadcode] Function "pmd_young" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5203:1-5206:1)
[Warning][Deadcode] Function "pte_write" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5207:1-5210:1)
[Warning][Deadcode] Function "pte_huge" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5211:1-5214:1)
[Warning][Deadcode] Function "pte_global" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5215:1-5218:1)
[Warning][Deadcode] Function "pte_exec" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5219:1-5222:1)
[Warning][Deadcode] Function "pte_special" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5223:1-5226:1)
[Warning][Deadcode] Function "pte_pfn" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5227:1-5230:1)
[Warning][Deadcode] Function "pmd_pfn" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5231:1-5234:1)
[Warning][Deadcode] Function "pud_pfn" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5235:1-5238:1)
[Warning][Deadcode] Function "pmd_large" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5239:1-5242:1)
[Warning][Deadcode] Function "pte_set_flags" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5243:1-5247:1)
[Warning][Deadcode] Function "pte_clear_flags" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5248:1-5252:1)
[Warning][Deadcode] Function "pte_mkclean" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5253:1-5256:1)
[Warning][Deadcode] Function "pte_mkold" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5257:1-5260:1)
[Warning][Deadcode] Function "pte_wrprotect" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5261:1-5264:1)
[Warning][Deadcode] Function "pte_mkexec" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5265:1-5268:1)
[Warning][Deadcode] Function "pte_mkdirty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5269:1-5272:1)
[Warning][Deadcode] Function "pte_mkyoung" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5273:1-5276:1)
[Warning][Deadcode] Function "pte_mkwrite" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5277:1-5280:1)
[Warning][Deadcode] Function "pte_mkhuge" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5281:1-5284:1)
[Warning][Deadcode] Function "pte_clrhuge" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5285:1-5288:1)
[Warning][Deadcode] Function "pte_mkglobal" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5289:1-5292:1)
[Warning][Deadcode] Function "pte_clrglobal" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5293:1-5296:1)
[Warning][Deadcode] Function "pte_mkspecial" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5297:1-5300:1)
[Warning][Deadcode] Function "pmd_set_flags" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5301:1-5305:1)
[Warning][Deadcode] Function "pmd_clear_flags" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5306:1-5310:1)
[Warning][Deadcode] Function "pmd_mkold" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5311:1-5314:1)
[Warning][Deadcode] Function "pmd_wrprotect" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5315:1-5318:1)
[Warning][Deadcode] Function "pmd_mkdirty" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5319:1-5322:1)
[Warning][Deadcode] Function "pmd_mkhuge" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5323:1-5326:1)
[Warning][Deadcode] Function "pmd_mkyoung" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5327:1-5330:1)
[Warning][Deadcode] Function "pmd_mkwrite" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5331:1-5334:1)
[Warning][Deadcode] Function "pmd_mknotpresent" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5335:1-5338:1)
[Warning][Deadcode] Function "massage_pgprot" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5339:1-5345:1)
[Warning][Deadcode] Function "pfn_pte" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5346:1-5349:1)
[Warning][Deadcode] Function "pfn_pmd" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5350:1-5353:1)
[Warning][Deadcode] Function "pte_modify" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5354:1-5360:1)
[Warning][Deadcode] Function "pmd_modify" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5361:1-5367:1)
[Warning][Deadcode] Function "pgprot_modify" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5368:1-5373:1)
[Warning][Deadcode] Function "is_new_memtype_allowed" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5374:1-5387:1)
[Warning][Deadcode] Function "native_pte_clear" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5400:1-5404:1)
[Warning][Deadcode] Function "native_set_pte" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5405:1-5408:1)
[Warning][Deadcode] Function "native_set_pte_atomic" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5409:1-5412:1)
[Warning][Deadcode] Function "native_set_pmd" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5413:1-5416:1)
[Warning][Deadcode] Function "native_pmd_clear" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5417:1-5420:1)
[Warning][Deadcode] Function "native_ptep_get_and_clear" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5421:1-5426:1)
[Warning][Deadcode] Function "native_pmdp_get_and_clear" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5427:1-5432:1)
[Warning][Deadcode] Function "native_set_pud" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5433:1-5436:1)
[Warning][Deadcode] Function "native_pud_clear" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5437:1-5440:1)
[Warning][Deadcode] Function "native_set_pgd" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5441:1-5444:1)
[Warning][Deadcode] Function "native_pgd_clear" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5445:1-5448:1)
[Warning][Deadcode] Function "pgd_large" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5451:1-5451:76)
[Warning][Deadcode] Function "__ilog2_u32" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5466:1-5470:1)
[Warning][Deadcode] Function "__ilog2_u64" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5471:1-5475:1)
[Warning][Deadcode] Function "is_power_of_2" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5476:1-5480:1)
[Warning][Deadcode] Function "__roundup_pow_of_two" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5481:1-5485:1)
[Warning][Deadcode] Function "__rounddown_pow_of_two" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5486:1-5490:1)
[Warning][Deadcode] Function "pte_none" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5491:1-5494:1)
[Warning][Deadcode] Function "pte_same" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5495:1-5498:1)
[Warning][Deadcode] Function "pte_present" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5499:1-5502:1)
[Warning][Deadcode] Function "pte_accessible" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5504:1-5512:1)
[Warning][Deadcode] Function "pte_hidden" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5513:1-5516:1)
[Warning][Deadcode] Function "pmd_present" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5517:1-5520:1)
[Warning][Deadcode] Function "pmd_none" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5521:1-5524:1)
[Warning][Deadcode] Function "pmd_page_vaddr" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5525:1-5528:1)
[Warning][Deadcode] Function "pmd_index" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5529:1-5532:1)
[Warning][Deadcode] Function "pte_index" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5533:1-5536:1)
[Warning][Deadcode] Function "pte_offset_kernel" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5537:1-5540:1)
[Warning][Deadcode] Function "pmd_bad" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5541:1-5544:1)
[Warning][Deadcode] Function "pages_to_mb" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5545:1-5548:1)
[Warning][Deadcode] Function "pud_none" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5549:1-5552:1)
[Warning][Deadcode] Function "pud_present" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5553:1-5556:1)
[Warning][Deadcode] Function "pud_page_vaddr" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5557:1-5560:1)
[Warning][Deadcode] Function "pmd_offset" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5561:1-5564:1)
[Warning][Deadcode] Function "pud_large" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5565:1-5569:1)
[Warning][Deadcode] Function "pud_bad" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5570:1-5573:1)
[Warning][Deadcode] Function "pgd_present" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5574:1-5577:1)
[Warning][Deadcode] Function "pgd_page_vaddr" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5578:1-5581:1)
[Warning][Deadcode] Function "pud_index" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5582:1-5585:1)
[Warning][Deadcode] Function "pud_offset" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5586:1-5589:1)
[Warning][Deadcode] Function "pgd_bad" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5590:1-5593:1)
[Warning][Deadcode] Function "pgd_none" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5594:1-5597:1)
[Warning][Deadcode] Function "native_local_ptep_get_and_clear" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5601:1-5606:1)
[Warning][Deadcode] Function "native_local_pmdp_get_and_clear" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5607:1-5612:1)
[Warning][Deadcode] Function "native_set_pte_at" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5613:1-5617:1)
[Warning][Deadcode] Function "native_set_pmd_at" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5618:1-5622:1)
[Warning][Deadcode] Function "ptep_get_and_clear" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5631:1-5637:1)
[Warning][Deadcode] Function "ptep_get_and_clear_full" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5638:1-5649:1)
[Warning][Deadcode] Function "ptep_set_wrprotect" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5650:1-5655:1)
[Warning][Deadcode] Function "pmd_write" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5665:1-5668:1)
[Warning][Deadcode] Function "pmdp_get_and_clear" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5669:1-5675:1)
[Warning][Deadcode] Function "pmdp_set_wrprotect" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5676:1-5681:1)
[Warning][Deadcode] Function "clone_pgd_range" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5682:1-5685:1)
[Warning][Deadcode] Function "page_level_shift" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5686:1-5689:1)
[Warning][Deadcode] Function "page_level_size" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5690:1-5693:1)
[Warning][Deadcode] Function "page_level_mask" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5694:1-5697:1)
[Warning][Deadcode] Function "update_mmu_cache" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5698:1-5701:1)
[Warning][Deadcode] Function "update_mmu_cache_pmd" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5702:1-5705:1)
[Warning][Deadcode] Function "handle_sysrq" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5763:1-5765:1)
[Warning][Deadcode] Function "__handle_sysrq" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5766:1-5768:1)
[Warning][Deadcode] Function "register_sysrq_key" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5769:1-5772:1)
[Warning][Deadcode] Function "unregister_sysrq_key" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5773:1-5776:1)
[Warning][Deadcode] Function "sg_assign_page" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5789:1-5794:1)
[Warning][Deadcode] Function "sg_set_page" will never be called: 4LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5795:1-5801:1)
[Warning][Deadcode] Function "sg_page" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5802:1-5805:1)
[Warning][Deadcode] Function "sg_set_buf" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5806:1-5810:1)
[Warning][Deadcode] Function "sg_chain" will never be called: 5LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5811:1-5818:1)
[Warning][Deadcode] Function "sg_mark_end" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5819:1-5823:1)
[Warning][Deadcode] Function "sg_unmark_end" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5824:1-5827:1)
[Warning][Deadcode] Function "sg_phys" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5829:1-5832:1)
[Warning][Deadcode] Function "sg_virt" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5833:1-5836:1)
[Warning][Deadcode] Function "sg_page_iter_page" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5871:1-5874:1)
[Warning][Deadcode] Function "sg_page_iter_dma_address" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5875:1-5878:1)
[Warning][Deadcode] Function "__kfifo_uint_must_check_helper" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5904:1-5908:1)
[Warning][Deadcode] Function "__kfifo_int_must_check_helper" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5909:1-5913:1)
[Warning][Deadcode] Function "usb_get_serial_port_data" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5992:1-5995:1)
[Warning][Deadcode] Function "usb_set_serial_port_data" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5996:1-6000:1)
[Warning][Deadcode] Function "usb_get_serial_data" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6020:1-6023:1)
[Warning][Deadcode] Function "usb_set_serial_data" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6024:1-6027:1)
[Warning][Deadcode] Function "usb_serial_console_init" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6086:1-6086:81)
[Warning][Deadcode] Function "usb_serial_console_exit" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6087:1-6087:76)
[Warning][Deadcode] Function "usb_serial_console_disconnect" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6088:1-6088:102)
[Warning][Deadcode] Function "usb_serial_debug_data" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6129:1-6133:1)
[Warning][Deadcode] Function "ps3_result" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6309:1-6312:1)
[Warning][Deadcode] Function "ps3_drv_to_system_bus_drv" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6367:1-6371:1)
[Warning][Deadcode] Function "ps3_dev_to_system_bus_dev" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6372:1-6376:1)
[Warning][Deadcode] Function "ps3_system_bus_dev_to_system_bus_drv" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6377:1-6383:1)
[Warning][Deadcode] Function "ps3_system_bus_set_drvdata" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6384:1-6388:1)
[Warning][Deadcode] Function "ps3_system_bus_get_drvdata" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6389:1-6393:1)
[Warning][Deadcode] Function "ioremap" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6485:1-6489:1)
[Warning][Deadcode] Function "readb" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6510:1-6513:1)
[Warning][Deadcode] Function "readw" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6514:1-6517:1)
[Warning][Deadcode] Function "readl" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6518:1-6521:1)
[Warning][Deadcode] Function "writeb" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6522:1-6525:1)
[Warning][Deadcode] Function "writew" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6526:1-6529:1)
[Warning][Deadcode] Function "writel" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6530:1-6533:1)
[Warning][Deadcode] Function "ioread8" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6534:1-6537:1)
[Warning][Deadcode] Function "ioread16" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6538:1-6541:1)
[Warning][Deadcode] Function "ioread32" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6542:1-6545:1)
[Warning][Deadcode] Function "iowrite8" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6546:1-6549:1)
[Warning][Deadcode] Function "iowrite16" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6550:1-6553:1)
[Warning][Deadcode] Function "iowrite32" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6554:1-6557:1)
[Warning][Deadcode] Function "memcpy_fromio" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6564:1-6567:1)
[Warning][Deadcode] Function "__bit_spin_unlock" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6592:1-6594:1)
[Warning][Deadcode] Function "__iter_div_u64_rem" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6596:1-6598:1)
[Warning][Deadcode] Function "__tty_alloc_driver" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6607:1-6609:1)
[Warning][Deadcode] Function "atomic_add_unless" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6615:1-6617:1)
[Warning][Deadcode] Function "barrier" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6618:1-6620:1)
[Warning][Deadcode] Function "bit_spin_is_locked" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6622:1-6624:1)
[Warning][Deadcode] Function "bit_spin_lock" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6625:1-6627:1)
[Warning][Deadcode] Function "cdev_del" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6632:1-6634:1)
[Warning][Deadcode] Function "clear_bit" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6638:1-6640:1)
[Warning][Deadcode] Function "cpu_relax" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6641:1-6643:1)
[Warning][Deadcode] Function "current_kernel_time" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6645:1-6649:1)
[Warning][Deadcode] Function "d_instantiate" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6650:1-6652:1)
[Warning][Deadcode] Function "d_instantiate_unique" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6654:1-6656:1)
[Warning][Deadcode] Function "d_rehash" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6657:1-6659:1)
[Warning][Deadcode] Function "dev_get_drvdata" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6661:1-6663:1)
[Warning][Deadcode] Function "dev_set_drvdata" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6664:1-6666:1)
[Warning][Deadcode] Function "ida_get_new_above" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6668:1-6670:1)
[Warning][Deadcode] Function "idr_find_slowpath" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6672:1-6674:1)
[Warning][Deadcode] Function "kobject_get" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6680:1-6682:1)
[Warning][Deadcode] Function "kobject_put" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6683:1-6685:1)
[Warning][Deadcode] Function "llist_add_batch" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6687:1-6689:1)
[Warning][Deadcode] Function "local_irq_restore" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6690:1-6692:1)
[Warning][Deadcode] Function "mm_tlb_flush_pending" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6694:1-6696:1)
[Warning][Deadcode] Function "nonseekable_open" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6698:1-6700:1)
[Warning][Deadcode] Function "page_to_phys" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6705:1-6707:1)
[Warning][Deadcode] Function "platform_device_unregister" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6722:1-6724:1)
[Warning][Deadcode] Function "rcu_dereference_check" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6726:1-6728:1)
[Warning][Deadcode] Function "rcu_dereference_raw" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6730:1-6732:1)
[Warning][Deadcode] Function "register_chrdev_region" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6734:1-6736:1)
[Warning][Deadcode] Function "set_normalized_timespec" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6737:1-6739:1)
[Warning][Deadcode] Function "smp_mb" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6740:1-6742:1)
[Warning][Deadcode] Function "smp_rmb" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6743:1-6745:1)
[Warning][Deadcode] Function "timespec_trunc" will never be called: 3LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6748:1-6752:1)
[Warning][Deadcode] Function "tty_lock" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6753:1-6755:1)
[Warning][Deadcode] Function "tty_termios_baud_rate" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6757:1-6759:1)
[Warning][Deadcode] Function "tty_unlock" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6760:1-6762:1)
[Warning][Deadcode] Function "tty_wait_until_sent" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6763:1-6765:1)
[Warning][Deadcode] Function "unregister_chrdev_region" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6766:1-6768:1)
[Warning][Deadcode] Function "pc8736x_gpio_get" will never be called: 7LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6829:1-6839:1)
[Warning][Deadcode] Function "pc8736x_gpio_open" will never be called: 7LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6880:1-6889:1)
[Warning][Deadcode] Function "pc8736x_gpio_cleanup" will never be called: 6LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6973:1-6980:1)
[Warning][Deadcode] Function "whoop_wrapper_pc8736x_gpio_set" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7005:1-7009:1)
[Warning][Deadcode] Function "whoop_wrapper_pc8736x_gpio_open" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7010:1-7014:1)
[Warning][Deadcode] Function "whoop_wrapper_pc8736x_gpio_get" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7015:1-7019:1)
[Warning][Deadcode] Function "whoop_wrapper_pc8736x_gpio_current" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7020:1-7024:1)
[Warning][Deadcode] Function "whoop_wrapper_pc8736x_gpio_cleanup" will never be called: 2LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:7030:1-7034:1)
SV-COMP result: true

Summary for all memory locations:
	safe:            7
	vulnerable:      0
	unsafe:          0
	-------------------
	total:           7
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:3: Warning: Incompatible declaration for pthread_create (from .goblint/preprocessed/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i(3)).
 Previous was at /usr/include/pthread.h:198 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different integer types unsigned long  and int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:5: Warning: Incompatible declaration for pthread_join (from .goblint/preprocessed/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i(3)).
 Previous was at /usr/include/pthread.h:215 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different integer types unsigned long  and int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:6: Warning: Incompatible declaration for pthread_self (from .goblint/preprocessed/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i(3)).
 Previous was at /usr/include/pthread.h:251 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different integer types unsigned long  and int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-driver-races/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i:615: Warning: Incompatible declaration for mktime (from .goblint/preprocessed/char_pc8736x_gpio_pc8736x_gpio_change_pc8736x_gpio_configure.i(3)).
 Previous was at /usr/include/time.h:82 (from .goblint/preprocessed/pthread.i (2)) (different integer types long  and unsigned long ) 
