./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/ddv_machzwd_all.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/ddv_machzwd_all.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
/usr/include/pthread.h:202: Warning: Incompatible declaration for pthread_create (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:604 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different type constructors: struct __pthread_t_struct  vs. unsigned long ) 
/usr/include/pthread.h:219: Warning: Incompatible declaration for pthread_join (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:615 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different type constructors: struct __pthread_t_struct  vs. unsigned long ) 
/usr/include/pthread.h:269: Warning: Incompatible declaration for pthread_detach (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:616 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different type constructors: struct __pthread_t_struct  vs. unsigned long ) 
/usr/include/pthread.h:273: Warning: Incompatible declaration for pthread_self (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:612 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different type constructors: struct __pthread_t_struct  vs. unsigned long ) 
/usr/include/pthread.h:276: Warning: Incompatible declaration for pthread_equal (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:613 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different type constructors: struct __pthread_t_struct  vs. unsigned long ) 
/usr/include/pthread.h:285: Warning: Incompatible declaration for pthread_attr_init (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:617 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:288: Warning: Incompatible declaration for pthread_attr_destroy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:618 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:292: Warning: Incompatible declaration for pthread_attr_getdetachstate (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:620 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:297: Warning: Incompatible declaration for pthread_attr_setdetachstate (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:619 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:303: Warning: Incompatible declaration for pthread_attr_getguardsize (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:630 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:308: Warning: Incompatible declaration for pthread_attr_setguardsize (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:629 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:314: Warning: Incompatible declaration for pthread_attr_getschedparam (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:622 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:319: Warning: Incompatible declaration for pthread_attr_setschedparam (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:621 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:324: Warning: Incompatible declaration for pthread_attr_getschedpolicy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:624 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:329: Warning: Incompatible declaration for pthread_attr_setschedpolicy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:623 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:333: Warning: Incompatible declaration for pthread_attr_getinheritsched (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:626 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:338: Warning: Incompatible declaration for pthread_attr_setinheritsched (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:625 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:344: Warning: Incompatible declaration for pthread_attr_getscope (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:628 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:349: Warning: Incompatible declaration for pthread_attr_setscope (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:627 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:353: Warning: Incompatible declaration for pthread_attr_getstackaddr (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:632 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:361: Warning: Incompatible declaration for pthread_attr_setstackaddr (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:631 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:366: Warning: Incompatible declaration for pthread_attr_getstacksize (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:638 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:373: Warning: Incompatible declaration for pthread_attr_setstacksize (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:637 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:379: Warning: Incompatible declaration for pthread_attr_getstack (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:634 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:387: Warning: Incompatible declaration for pthread_attr_setstack (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:633 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:441: Warning: Incompatible declaration for pthread_setschedparam (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:642 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different type constructors: struct __pthread_t_struct  vs. unsigned long ) 
/usr/include/pthread.h:446: Warning: Incompatible declaration for pthread_getschedparam (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:645 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different type constructors: struct __pthread_t_struct  vs. unsigned long ) 
/usr/include/pthread.h:528: Warning: Incompatible declaration for pthread_cancel (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:707 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_t and pthread_t are isomorphic (different type constructors: struct __pthread_t_struct  vs. unsigned long ) 
/usr/include/pthread.h:781: Warning: Incompatible declaration for pthread_mutex_init (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:653 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:786: Warning: Incompatible declaration for pthread_mutex_destroy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:661 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:790: Warning: Incompatible declaration for pthread_mutex_trylock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:665 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:794: Warning: Incompatible declaration for pthread_mutex_lock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:670 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:835: Warning: Incompatible declaration for pthread_mutex_unlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:680 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:1230: Warning: Incompatible declaration for pthread_spin_init (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:688 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_spinlock_t and pthread_spinlock_t are isomorphic (different type qualifiers  and  volatile  ) 
/usr/include/pthread.h:1234: Warning: Incompatible declaration for pthread_spin_destroy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:689 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_spinlock_t and pthread_spinlock_t are isomorphic (different type qualifiers  and  volatile  ) 
/usr/include/pthread.h:1238: Warning: Incompatible declaration for pthread_spin_lock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:690 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_spinlock_t and pthread_spinlock_t are isomorphic (different type qualifiers  and  volatile  ) 
/usr/include/pthread.h:1242: Warning: Incompatible declaration for pthread_spin_trylock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:691 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_spinlock_t and pthread_spinlock_t are isomorphic (different type qualifiers  and  volatile  ) 
/usr/include/pthread.h:1246: Warning: Incompatible declaration for pthread_spin_unlock (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:692 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_spinlock_t and pthread_spinlock_t are isomorphic (different type qualifiers  and  volatile  ) 
/usr/include/pthread.h:1254: Warning: Incompatible declaration for pthread_barrier_init (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:693 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:1260: Warning: Incompatible declaration for pthread_barrier_destroy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:696 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:1264: Warning: Incompatible declaration for pthread_barrier_wait (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:703 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:1269: Warning: Incompatible declaration for pthread_barrierattr_init (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:697 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_barrierattr_t and pthread_barrierattr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:1273: Warning: Incompatible declaration for pthread_barrierattr_destroy (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:698 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_barrierattr_t and pthread_barrierattr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:1277: Warning: Incompatible declaration for pthread_barrierattr_getpshared (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:699 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_barrierattr_t and pthread_barrierattr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:1283: Warning: Incompatible declaration for pthread_barrierattr_setpshared (from .goblint/preprocessed/pthread.i(2)).
 Previous was at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:702 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i (0)) 
	Failed assumption that pthread_barrierattr_t and pthread_barrierattr_t are isomorphic (different struct/union types) 
/usr/include/pthread.h:781: Warning: The name pthread_mutex_init is used for two distinct globals
/usr/include/pthread.h:786: Warning: The name pthread_mutex_destroy is used for two distinct globals
/usr/include/pthread.h:794: Warning: The name pthread_mutex_lock is used for two distinct globals
/usr/include/pthread.h:835: Warning: The name pthread_mutex_unlock is used for two distinct globals
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1644:4-1652:4 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:5-2687:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2689:5-2692:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2699:5-2736:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3147:5-3151:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3226:5-3227:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3234:5-3237:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3240:5-3241:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3348:3-3352:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3891:5-3897:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4166:5-4174:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4387:5-4397:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Error][Imprecise][Unsound] Function definition missing for __VERIFIER_nondet_sector_t
[Info][Witness] cannot unassume entry of type violation_sequence
[Warning][Deadcode] Function 'assume_abort_if_not' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:9:1-11:1)
[Warning][Deadcode] Function 'assert_context_process' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:21:1-23:1)
[Warning][Deadcode] Function 'jiffies_to_msecs' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:233:1-242:1)
[Warning][Deadcode] Function 'jiffies_to_usecs' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:244:1-253:1)
[Warning][Deadcode] Function 'msecs_to_jiffies' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:255:1-266:1)
[Warning][Deadcode] Function 'usecs_to_jiffies' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:268:1-279:1)
[Warning][Deadcode] Function 'INIT_LIST_HEAD' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:374:1-378:1)
[Warning][Deadcode] Function '__list_add' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:379:1-387:1)
[Warning][Deadcode] Function 'list_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:388:1-391:1)
[Warning][Deadcode] Function '__list_del' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:392:1-396:1)
[Warning][Deadcode] Function 'list_del_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:402:1-406:1)
[Warning][Deadcode] Function 'list_empty' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:412:1-415:1)
[Warning][Deadcode] Function 'pthread_mutex_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:653:1-659:1)
[Warning][Deadcode] Function 'pthread_mutex_destroy' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:661:1-663:1)
[Warning][Deadcode] Function 'pthread_mutex_lock' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:670:1-678:1)
[Warning][Deadcode] Function 'pthread_mutex_unlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:680:1-686:1)
[Warning][Deadcode] Function 'atomic_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:752:1-755:1)
[Warning][Deadcode] Function 'atomic_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:756:1-759:1)
[Warning][Deadcode] Function 'atomic_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:767:1-770:1)
[Warning][Deadcode] Function 'atomic_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:778:1-781:1)
[Warning][Deadcode] Function 'atomic_dec_and_test' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:782:1-797:1)
[Warning][Deadcode] Function 'atomic_inc_and_test' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:798:1-813:1)
[Warning][Deadcode] Function 'atomic_add_negative' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:814:1-829:1)
[Warning][Deadcode] Function 'atomic_add_return' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:830:1-833:1)
[Warning][Deadcode] Function 'atomic_sub_return' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:835:1-838:1)
[Warning][Deadcode] Function 'sigfillset' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:951:1-961:1)
[Warning][Deadcode] Function 'sigaddsetmask' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:965:1-968:1)
[Warning][Deadcode] Function 'sigdelsetmask' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:970:1-973:1)
[Warning][Deadcode] Function 'sigtestsetmask' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:975:1-978:1)
[Warning][Deadcode] Function 'ERR_PTR' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1157:1-1160:1)
[Warning][Deadcode] Function 'PTR_ERR' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1162:1-1165:1)
[Warning][Deadcode] Function 'IS_ERR' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1167:1-1170:1)
[Warning][Deadcode] Function 'iminor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1294:1-1297:1)
[Warning][Deadcode] Function 'imajor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1299:1-1302:1)
[Warning][Deadcode] Function 'zf_set_status' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1500:1-1503:1)
[Warning][Deadcode] Function 'zf_get_control' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1508:1-1511:1)
[Warning][Deadcode] Function 'zf_set_control' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1513:1-1516:1)
[Warning][Deadcode] Function 'zf_set_timer' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1524:1-1534:1)
[Warning][Deadcode] Function 'zf_timer_off' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1539:1-1556:1)
[Warning][Deadcode] Function 'zf_timer_on' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1562:1-1588:1)
[Warning][Deadcode] Function 'zf_ping' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1591:1-1622:1)
[Warning][Deadcode] Function 'zf_write' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1624:1-1665:1)
[Warning][Deadcode] Function 'zf_ioctl' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1667:1-1690:1)
[Warning][Deadcode] Function 'zf_open' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1692:1-1708:1)
[Warning][Deadcode] Function 'zf_close' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1710:1-1726:1)
[Warning][Deadcode] Function 'zf_notify_sys' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1732:1-1740:1)
[Warning][Deadcode] Function 'zf_show_action' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1769:1-1774:1)
[Warning][Deadcode] Function 'zf_exit' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1838:1-1845:1)
[Warning][Deadcode] Function 'dev_get_drvdata' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2023:1-2026:1)
[Warning][Deadcode] Function 'dev_set_drvdata' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2028:1-2031:1)
[Warning][Deadcode] Function 'tasklet_disable' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2138:1-2141:1)
[Warning][Deadcode] Function 'pci_get_drvdata' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2550:1-2553:1)
[Warning][Deadcode] Function 'pci_set_drvdata' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2555:1-2558:1)
[Warning][Deadcode] Function 'ddv' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2695:1-2737:1)
[Warning][Deadcode] Function 'call_cdev_functions' is uncalled: 86 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2764:1-2915:1)
[Warning][Deadcode] Function 'create_request' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2930:1-2943:1)
[Warning][Deadcode] Function 'call_rq_function' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2945:1-2966:1)
[Warning][Deadcode] Function 'call_genhd_functions' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2968:1-3044:1)
[Warning][Deadcode] Function 'call_interrupt_handler' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3045:1-3057:1)
[Warning][Deadcode] Function 'create_pci_dev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3058:1-3060:1)
[Warning][Deadcode] Function 'pci_probe_device' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3062:1-3080:1)
[Warning][Deadcode] Function 'pci_remove_device' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3082:1-3087:1)
[Warning][Deadcode] Function 'call_pci_functions' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3089:1-3107:1)
[Warning][Deadcode] Function 'call_tasklet_functions' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3110:1-3122:1)
[Warning][Deadcode] Function 'call_timer_functions' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3126:1-3135:1)
[Warning][Deadcode] Function 'pci_enable_device' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3143:1-3152:1)
[Warning][Deadcode] Function 'pci_get_class' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3154:1-3170:1)
[Warning][Deadcode] Function 'pci_register_driver' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3172:1-3183:1)
[Warning][Deadcode] Function 'pci_unregister_driver' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3185:1-3189:1)
[Warning][Deadcode] Function 'pci_release_region' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3191:1-3201:1)
[Warning][Deadcode] Function 'pci_request_region' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3203:1-3220:1)
[Warning][Deadcode] Function 'pci_release_regions' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3222:1-3228:1)
[Warning][Deadcode] Function 'pci_request_regions' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3230:1-3244:1)
[Warning][Deadcode] Function '__get_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3249:1-3255:1)
[Warning][Deadcode] Function 'get_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3257:1-3263:1)
[Warning][Deadcode] Function 'copy_to_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3281:1-3287:1)
[Warning][Deadcode] Function 'copy_from_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3289:1-3295:1)
[Warning][Deadcode] Function 'register_blkdev' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3301:1-3310:1)
[Warning][Deadcode] Function 'unregister_blkdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3312:1-3315:1)
[Warning][Deadcode] Function 'alloc_disk' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3317:1-3331:1)
[Warning][Deadcode] Function 'add_disk' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3333:1-3342:1)
[Warning][Deadcode] Function 'del_gendisk' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3344:1-3353:1)
[Warning][Deadcode] Function 'get_fixed_request_queue' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3367:1-3374:1)
[Warning][Deadcode] Function 'blk_init_queue' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3376:1-3392:1)
[Warning][Deadcode] Function 'blk_alloc_queue' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3394:1-3409:1)
[Warning][Deadcode] Function 'blk_queue_make_request' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3411:1-3414:1)
[Warning][Deadcode] Function 'end_request' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3416:1-3421:1)
[Warning][Deadcode] Function 'blk_queue_hardsect_size' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3424:1-3427:1)
[Warning][Deadcode] Function 'blk_cleanup_queue' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3429:1-3432:1)
[Warning][Deadcode] Function 'misc_register' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3507:1-3525:1)
[Warning][Deadcode] Function 'alloc_tty_driver' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3761:1-3769:1)
[Warning][Deadcode] Function 'tty_set_operations' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3771:1-3797:1)
[Warning][Deadcode] Function 'alloc_chrdev_region' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3798:1-3810:1)
[Warning][Deadcode] Function 'register_chrdev_region' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3812:1-3818:1)
[Warning][Deadcode] Function 'register_chrdev' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3822:1-3843:1)
[Warning][Deadcode] Function 'unregister_chrdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3845:1-3848:1)
[Warning][Deadcode] Function 'cdev_alloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3850:1-3855:1)
[Warning][Deadcode] Function 'cdev_init' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3857:1-3860:1)
[Warning][Deadcode] Function 'cdev_add' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3862:1-3885:1)
[Warning][Deadcode] Function 'cdev_del' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3887:1-3898:1)
[Warning][Deadcode] Function 'mutex_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3902:1-3910:1)
[Warning][Deadcode] Function 'mutex_lock' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3912:1-3923:1)
[Warning][Deadcode] Function 'mutex_unlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3925:1-3933:1)
[Warning][Deadcode] Function 'request_region' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3941:1-3953:1)
[Warning][Deadcode] Function 'release_region' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3955:1-3965:1)
[Warning][Deadcode] Function 'inb' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3967:1-3973:1)
[Warning][Deadcode] Function 'inw' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3981:1-3987:1)
[Warning][Deadcode] Function 'outw' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3989:1-3993:1)
[Warning][Deadcode] Function 'inl' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3995:1-4001:1)
[Warning][Deadcode] Function 'outl' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4003:1-4007:1)
[Warning][Deadcode] Function 'schedule' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4057:1-4060:1)
[Warning][Deadcode] Function 'schedule_timeout' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4062:1-4067:1)
[Warning][Deadcode] Function 'sema_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4073:1-4077:1)
[Warning][Deadcode] Function 'init_MUTEX' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4079:1-4083:1)
[Warning][Deadcode] Function 'init_MUTEX_LOCKED' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4085:1-4089:1)
[Warning][Deadcode] Function 'down' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4091:1-4102:1)
[Warning][Deadcode] Function 'down_interruptible' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4104:1-4121:1)
[Warning][Deadcode] Function 'down_trylock' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4123:1-4143:1)
[Warning][Deadcode] Function 'up' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4145:1-4153:1)
[Warning][Deadcode] Function 'tasklet_schedule' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4157:1-4182:1)
[Warning][Deadcode] Function 'tasklet_init' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4184:1-4192:1)
[Warning][Deadcode] Function 'spin_lock' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4202:1-4212:1)
[Warning][Deadcode] Function 'spin_lock_irqsave' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4214:1-4224:1)
[Warning][Deadcode] Function 'spin_unlock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4250:1-4257:1)
[Warning][Deadcode] Function 'spin_unlock_irqrestore' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4259:1-4266:1)
[Warning][Deadcode] Function 'init_timer' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4288:1-4297:1)
[Warning][Deadcode] Function 'add_timer' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4299:1-4306:1)
[Warning][Deadcode] Function 'add_timer_on' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4308:1-4312:1)
[Warning][Deadcode] Function 'del_timer' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4314:1-4317:1)
[Warning][Deadcode] Function 'mod_timer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4319:1-4327:1)
[Warning][Deadcode] Function 'init_waitqueue_head' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4330:1-4333:1)
[Warning][Deadcode] Function 'wake_up' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4335:1-4341:1)
[Warning][Deadcode] Function 'schedule_work' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4378:1-4401:1)
[Warning][Deadcode] Function 'call_shared_workqueue_functions' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4403:1-4412:1)
[Warning][Deadcode] Function 'request_irq' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4416:1-4427:1)
[Warning][Deadcode] Function 'free_irq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4429:1-4433:1)
[Warning][Deadcode] Function '__get_free_pages' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4438:1-4444:1)
[Warning][Deadcode] Function '__get_free_page' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4446:1-4452:1)
[Warning][Deadcode] Function 'alloc_pages_node' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4462:1-4469:1)
[Warning][Deadcode] Function 'alloc_pages' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4471:1-4477:1)
[Warning][Deadcode] Function 'alloc_page' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4479:1-4485:1)
[Warning][Deadcode] Function 'kmalloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4491:1-4498:1)
[Warning][Deadcode] Function 'kzalloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4500:1-4507:1)
[Warning][Deadcode] Function 'vmalloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4519:1-4522:1)
[Warning][Deadcode] Function 'no_llseek' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4541:1-4541:86)
[Warning][Deadcode] Function 'nonseekable_open' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4547:1-4547:83)
[Warning][Deadcode] Function '__module_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4548:1-4548:44)
[Warning][Deadcode] Function 'test_and_set_bit' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4549:1-4556:1)
[Warning][Deadcode] Function 'clear_bit' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4558:1-4564:1)
[Warning][Deadcode] Function 'register_reboot_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4566:1-4566:79)
[Warning][Deadcode] Function 'misc_deregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4567:1-4567:66)
[Warning][Deadcode] Function 'unregister_reboot_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4568:1-4568:82)
[Warning][Deadcode] Function 'release_mem_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4569:1-4569:67)
[Warning][Deadcode] Function 'kfree' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4570:1-4570:32)
[Warning][Deadcode] Function 'request_mem_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4572:1-4575:1)
[Warning][Deadcode] Function '__VERIFIER_atomic_begin' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4577:1-4577:34)
[Warning][Deadcode] Function '__VERIFIER_atomic_end' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:4578:1-4578:32)
[Warning][Deadcode] Function 'main' does not return
[Warning][Deadcode] Function 'call_ddv' has dead code:
  on lines 2749..2750 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2749-2750)
  on line 2753 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2753-2753)
  on lines 2755..2756 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2755-2756)
  on line 2758 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2758-2758)
[Warning][Deadcode] Function 'main' has dead code:
  on line 1856 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1856-1856)
[Warning][Deadcode] Function 'outb' has dead code:
  on line 3979 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3979-3979)
[Warning][Deadcode] Function 'zf_init' has dead code:
  on lines 1783..1785 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1783-1785)
  on lines 1788..1789 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1788-1789)
  on line 1791 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1791-1791)
  on line 1793 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1793-1793)
  on lines 1795..1796 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1795-1796)
  on lines 1798..1800 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1798-1800)
  on lines 1805..1806 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1805-1806)
  on line 1808 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1808-1808)
  on lines 1812..1814 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1812-1814)
  on lines 1819..1820 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1819-1820)
  on lines 1823..1825 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1823-1825)
  on line 1827 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1827-1827)
  on line 1830 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1830-1830)
  on line 1832 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1832-1832)
  on line 1834 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1834-1834)
[Warning][Deadcode] Function 'zf_readw' has dead code:
  on line 1472 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:1472-1472)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 31
  dead: 798 (762 in uncalled functions)
  total lines: 829
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'port >= (unsigned int )ddv_ioport_request_start' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3978:5-3978:141)
[Warning][Deadcode][CWE-570] condition 'port < (unsigned int )(ddv_ioport_request_start + ddv_ioport_request_len)' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:3978:5-3978:141)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 10' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition '! expression' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:12:55-12:66)
[Warning][Deadcode][CWE-570] condition 'i < 10' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2685:9-2685:28)
[Warning][Deadcode][CWE-571] condition 'i < 1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2689:9-2689:27)
[Warning][Deadcode][CWE-570] condition 'i < 1' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_all.i:2689:9-2689:27)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 0
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 0
SV-COMP result: unknown
[Error][Imprecise][Unsound] Function definition missing
