./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_outb.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_outb.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_outb.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_outb.i:604 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:615 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:616 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:612 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:613 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:617 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:618 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:620 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:619 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:630 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:629 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:622 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:621 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:624 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:623 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:626 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:625 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:628 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:627 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:632 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:631 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:638 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:637 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:634 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:633 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:642 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:645 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:705 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:653 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:661 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:665 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:670 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:680 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:686 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:687 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:688 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:689 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:690 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:691 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:694 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:701 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:695 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:696 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:697 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:700 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.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_outb.i:1642:4-1650:4 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2668:5-2670:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2672:5-2675:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2682:5-2719:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3130:5-3134:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3209:5-3210:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3217:5-3220:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3223:5-3224:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3331:3-3335:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3874:5-3880:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4121:5-4129:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4342:5-4352: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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.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_outb.i:670:1-678:1)
[Warning][Deadcode] Function 'pthread_mutex_unlock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:680:1-684:1)
[Warning][Deadcode] Function 'atomic_add' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:750:1-753:1)
[Warning][Deadcode] Function 'atomic_sub' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:754:1-757:1)
[Warning][Deadcode] Function 'atomic_inc' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:765:1-768:1)
[Warning][Deadcode] Function 'atomic_dec' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:776:1-779:1)
[Warning][Deadcode] Function 'atomic_dec_and_test' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:780:1-795:1)
[Warning][Deadcode] Function 'atomic_inc_and_test' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:796:1-811:1)
[Warning][Deadcode] Function 'atomic_add_negative' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:812:1-827:1)
[Warning][Deadcode] Function 'atomic_add_return' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:828:1-831:1)
[Warning][Deadcode] Function 'atomic_sub_return' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:833:1-836:1)
[Warning][Deadcode] Function 'sigfillset' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:949:1-959:1)
[Warning][Deadcode] Function 'sigaddsetmask' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:963:1-966:1)
[Warning][Deadcode] Function 'sigdelsetmask' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:968:1-971:1)
[Warning][Deadcode] Function 'sigtestsetmask' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:973:1-976:1)
[Warning][Deadcode] Function 'ERR_PTR' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1155:1-1158:1)
[Warning][Deadcode] Function 'PTR_ERR' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1160:1-1163:1)
[Warning][Deadcode] Function 'IS_ERR' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1165:1-1168:1)
[Warning][Deadcode] Function 'iminor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1292:1-1295:1)
[Warning][Deadcode] Function 'imajor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1297:1-1300:1)
[Warning][Deadcode] Function 'zf_set_status' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1498:1-1501:1)
[Warning][Deadcode] Function 'zf_get_control' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1506:1-1509:1)
[Warning][Deadcode] Function 'zf_set_control' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1511:1-1514:1)
[Warning][Deadcode] Function 'zf_set_timer' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1522:1-1532:1)
[Warning][Deadcode] Function 'zf_timer_off' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1537:1-1554:1)
[Warning][Deadcode] Function 'zf_timer_on' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1560:1-1586:1)
[Warning][Deadcode] Function 'zf_ping' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1589:1-1620:1)
[Warning][Deadcode] Function 'zf_write' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1622:1-1663:1)
[Warning][Deadcode] Function 'zf_ioctl' is uncalled: 14 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1665:1-1688:1)
[Warning][Deadcode] Function 'zf_open' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1690:1-1706:1)
[Warning][Deadcode] Function 'zf_close' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1708:1-1724:1)
[Warning][Deadcode] Function 'zf_notify_sys' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1730:1-1738:1)
[Warning][Deadcode] Function 'zf_show_action' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1767:1-1772:1)
[Warning][Deadcode] Function 'zf_exit' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1836:1-1843:1)
[Warning][Deadcode] Function 'dev_get_drvdata' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2021:1-2024:1)
[Warning][Deadcode] Function 'dev_set_drvdata' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2026:1-2029:1)
[Warning][Deadcode] Function 'tasklet_disable' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2136:1-2139:1)
[Warning][Deadcode] Function 'ddv' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2678:1-2720:1)
[Warning][Deadcode] Function 'call_cdev_functions' is uncalled: 86 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2747:1-2898:1)
[Warning][Deadcode] Function 'create_request' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2913:1-2926:1)
[Warning][Deadcode] Function 'call_rq_function' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2928:1-2949:1)
[Warning][Deadcode] Function 'call_genhd_functions' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2951:1-3027:1)
[Warning][Deadcode] Function 'call_interrupt_handler' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3028:1-3040:1)
[Warning][Deadcode] Function 'create_pci_dev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3041:1-3043:1)
[Warning][Deadcode] Function 'pci_probe_device' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3045:1-3063:1)
[Warning][Deadcode] Function 'pci_remove_device' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3065:1-3070:1)
[Warning][Deadcode] Function 'call_pci_functions' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3072:1-3090:1)
[Warning][Deadcode] Function 'call_tasklet_functions' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3093:1-3105:1)
[Warning][Deadcode] Function 'call_timer_functions' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3109:1-3118:1)
[Warning][Deadcode] Function 'pci_enable_device' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3126:1-3135:1)
[Warning][Deadcode] Function 'pci_get_class' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3137:1-3153:1)
[Warning][Deadcode] Function 'pci_register_driver' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3155:1-3166:1)
[Warning][Deadcode] Function 'pci_unregister_driver' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3168:1-3172:1)
[Warning][Deadcode] Function 'pci_release_region' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3174:1-3184:1)
[Warning][Deadcode] Function 'pci_request_region' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3186:1-3203:1)
[Warning][Deadcode] Function 'pci_release_regions' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3205:1-3211:1)
[Warning][Deadcode] Function 'pci_request_regions' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3213:1-3227:1)
[Warning][Deadcode] Function '__get_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3232:1-3238:1)
[Warning][Deadcode] Function 'get_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3240:1-3246:1)
[Warning][Deadcode] Function 'copy_to_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3264:1-3270:1)
[Warning][Deadcode] Function 'copy_from_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3272:1-3278:1)
[Warning][Deadcode] Function 'register_blkdev' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3284:1-3293:1)
[Warning][Deadcode] Function 'unregister_blkdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3295:1-3298:1)
[Warning][Deadcode] Function 'alloc_disk' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3300:1-3314:1)
[Warning][Deadcode] Function 'add_disk' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3316:1-3325:1)
[Warning][Deadcode] Function 'del_gendisk' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3327:1-3336:1)
[Warning][Deadcode] Function 'get_fixed_request_queue' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3350:1-3357:1)
[Warning][Deadcode] Function 'blk_init_queue' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3359:1-3375:1)
[Warning][Deadcode] Function 'blk_alloc_queue' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3377:1-3392:1)
[Warning][Deadcode] Function 'blk_queue_make_request' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3394:1-3397:1)
[Warning][Deadcode] Function 'end_request' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3399:1-3404:1)
[Warning][Deadcode] Function 'blk_queue_hardsect_size' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3407:1-3410:1)
[Warning][Deadcode] Function 'blk_cleanup_queue' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3412:1-3415:1)
[Warning][Deadcode] Function 'misc_register' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3490:1-3508:1)
[Warning][Deadcode] Function 'alloc_tty_driver' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3744:1-3752:1)
[Warning][Deadcode] Function 'tty_set_operations' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3754:1-3780:1)
[Warning][Deadcode] Function 'alloc_chrdev_region' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3781:1-3793:1)
[Warning][Deadcode] Function 'register_chrdev_region' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3795:1-3801:1)
[Warning][Deadcode] Function 'register_chrdev' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3805:1-3826:1)
[Warning][Deadcode] Function 'unregister_chrdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3828:1-3831:1)
[Warning][Deadcode] Function 'cdev_alloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3833:1-3838:1)
[Warning][Deadcode] Function 'cdev_init' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3840:1-3843:1)
[Warning][Deadcode] Function 'cdev_add' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3845:1-3868:1)
[Warning][Deadcode] Function 'cdev_del' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3870:1-3881:1)
[Warning][Deadcode] Function 'mutex_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3885:1-3893:1)
[Warning][Deadcode] Function 'mutex_lock' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3895:1-3906:1)
[Warning][Deadcode] Function 'mutex_unlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3908:1-3916:1)
[Warning][Deadcode] Function 'request_region' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3924:1-3936:1)
[Warning][Deadcode] Function 'release_region' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3938:1-3948:1)
[Warning][Deadcode] Function 'inb' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3950:1-3953:1)
[Warning][Deadcode] Function 'inw' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3961:1-3964:1)
[Warning][Deadcode] Function 'outw' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3966:1-3968:1)
[Warning][Deadcode] Function 'inl' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3970:1-3973:1)
[Warning][Deadcode] Function 'outl' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3975:1-3977:1)
[Warning][Deadcode] Function 'outb_p' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3984:1-3986:1)
[Warning][Deadcode] Function 'schedule' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4012:1-4015:1)
[Warning][Deadcode] Function 'schedule_timeout' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4017:1-4022:1)
[Warning][Deadcode] Function 'sema_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4028:1-4032:1)
[Warning][Deadcode] Function 'init_MUTEX' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4034:1-4038:1)
[Warning][Deadcode] Function 'init_MUTEX_LOCKED' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4040:1-4044:1)
[Warning][Deadcode] Function 'down' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4046:1-4057:1)
[Warning][Deadcode] Function 'down_interruptible' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4059:1-4076:1)
[Warning][Deadcode] Function 'down_trylock' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4078:1-4098:1)
[Warning][Deadcode] Function 'up' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4100:1-4108:1)
[Warning][Deadcode] Function 'tasklet_schedule' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4112:1-4137:1)
[Warning][Deadcode] Function 'tasklet_init' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4139:1-4147:1)
[Warning][Deadcode] Function 'spin_lock' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4157:1-4167:1)
[Warning][Deadcode] Function 'spin_lock_irqsave' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4169:1-4179:1)
[Warning][Deadcode] Function 'spin_unlock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4205:1-4212:1)
[Warning][Deadcode] Function 'spin_unlock_irqrestore' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4214:1-4221:1)
[Warning][Deadcode] Function 'init_timer' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4243:1-4252:1)
[Warning][Deadcode] Function 'add_timer' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4254:1-4261:1)
[Warning][Deadcode] Function 'add_timer_on' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4263:1-4267:1)
[Warning][Deadcode] Function 'del_timer' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4269:1-4272:1)
[Warning][Deadcode] Function 'mod_timer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4274:1-4282:1)
[Warning][Deadcode] Function 'init_waitqueue_head' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4285:1-4288:1)
[Warning][Deadcode] Function 'wake_up' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4290:1-4296:1)
[Warning][Deadcode] Function 'schedule_work' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4333:1-4356:1)
[Warning][Deadcode] Function 'call_shared_workqueue_functions' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4358:1-4367:1)
[Warning][Deadcode] Function 'request_irq' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4371:1-4382:1)
[Warning][Deadcode] Function 'free_irq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4384:1-4388:1)
[Warning][Deadcode] Function '__get_free_pages' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4393:1-4399:1)
[Warning][Deadcode] Function '__get_free_page' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4401:1-4407:1)
[Warning][Deadcode] Function 'alloc_pages_node' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4417:1-4424:1)
[Warning][Deadcode] Function 'alloc_pages' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4426:1-4432:1)
[Warning][Deadcode] Function 'alloc_page' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4434:1-4440:1)
[Warning][Deadcode] Function 'kmalloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4446:1-4453:1)
[Warning][Deadcode] Function 'kzalloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4455:1-4462:1)
[Warning][Deadcode] Function 'vmalloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4474:1-4477:1)
[Warning][Deadcode] Function 'no_llseek' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4496:1-4496:86)
[Warning][Deadcode] Function 'nonseekable_open' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4502:1-4502:83)
[Warning][Deadcode] Function '__module_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4503:1-4503:44)
[Warning][Deadcode] Function 'test_and_set_bit' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4504:1-4511:1)
[Warning][Deadcode] Function 'clear_bit' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4513:1-4519:1)
[Warning][Deadcode] Function 'register_reboot_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4521:1-4521:79)
[Warning][Deadcode] Function 'misc_deregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4522:1-4522:66)
[Warning][Deadcode] Function 'unregister_reboot_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4523:1-4523:82)
[Warning][Deadcode] Function 'release_mem_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4524:1-4524:67)
[Warning][Deadcode] Function 'kfree' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4525:1-4525:32)
[Warning][Deadcode] Function 'request_mem_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4527:1-4530:1)
[Warning][Deadcode] Function '__VERIFIER_atomic_begin' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4532:1-4532:34)
[Warning][Deadcode] Function '__VERIFIER_atomic_end' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:4533:1-4533:32)
[Warning][Deadcode] Function 'main' does not return
[Warning][Deadcode] Function 'call_ddv' has dead code:
  on lines 2732..2733 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2732-2733)
  on line 2736 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2736-2736)
  on lines 2738..2739 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2738-2739)
  on line 2741 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:2741-2741)
[Warning][Deadcode] Function 'main' has dead code:
  on line 1854 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1854-1854)
[Warning][Deadcode] Function 'outb' has dead code:
  on line 3959 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:3959-3959)
[Warning][Deadcode] Function 'zf_init' has dead code:
  on lines 1781..1783 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1781-1783)
  on lines 1786..1787 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1786-1787)
  on line 1789 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1789-1789)
  on line 1791 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1791-1791)
  on lines 1793..1794 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1793-1794)
  on lines 1796..1798 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1796-1798)
  on lines 1803..1804 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1803-1804)
  on line 1806 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1806-1806)
  on lines 1810..1812 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1810-1812)
  on lines 1817..1818 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1817-1818)
  on lines 1821..1823 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1821-1823)
  on line 1825 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1825-1825)
  on line 1828 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1828-1828)
  on line 1830 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1830-1830)
  on line 1832 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1832-1832)
[Warning][Deadcode] Function 'zf_readw' has dead code:
  on line 1470 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:1470-1470)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 31
  dead: 790 (754 in uncalled functions)
  total lines: 821
[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_outb.i:2668:9-2668: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_outb.i:2668:9-2668: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_outb.i:2668:9-2668: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_outb.i:2668:9-2668: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_outb.i:2668:9-2668: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_outb.i:3958:5-3958: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_outb.i:3958:5-3958: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_outb.i:2668:9-2668: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_outb.i:2668:9-2668: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_outb.i:2668:9-2668: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_outb.i:2668:9-2668:28)
[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_outb.i:2668:9-2668:28)
[Warning][Deadcode][CWE-571] condition '! expression' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_outb.i:12:55-12:66)
[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_outb.i:2672:9-2672: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_outb.i:2672:9-2672:27)
[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_outb.i:2668:9-2668:28)
[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
