./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-overflow.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:604 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:615 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:616 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:612 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:613 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:617 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:618 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:620 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:619 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:630 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:629 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:622 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:621 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:624 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:623 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:626 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:625 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:628 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:627 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:632 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:631 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:638 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:637 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:634 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:633 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:642 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:645 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:705 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:653 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:661 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:665 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:670 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:680 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:686 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:687 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:688 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:689 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:690 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:691 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:694 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:701 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:695 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:696 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:697 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:700 (from /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:1642:4-1650:4 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2669:5-2671:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2673:5-2676:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2683:5-2720:20 with factor 2
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3131:5-3135:5 with factor 3
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3210:5-3211:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3218:5-3221:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3224:5-3225:29 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3332:3-3336:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3875:5-3881:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4123:5-4131:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4344:5-4354: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] Setting "ana.int.interval" to true
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! overflow) )
[Warning][Deadcode] Function 'assume_abort_if_not' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.i:833:1-836:1)
[Warning][Deadcode] Function 'sigfillset' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:949:1-959:1)
[Warning][Deadcode] Function 'sigaddsetmask' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:963:1-966:1)
[Warning][Deadcode] Function 'sigdelsetmask' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:968:1-971:1)
[Warning][Deadcode] Function 'sigtestsetmask' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.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_inw.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_inw.i:1165:1-1168:1)
[Warning][Deadcode] Function 'iminor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1292:1-1295:1)
[Warning][Deadcode] Function 'imajor' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.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_inw.i:2136:1-2139:1)
[Warning][Deadcode] Function 'ddv' is uncalled: 25 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2679:1-2721:1)
[Warning][Deadcode] Function 'call_cdev_functions' is uncalled: 86 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2748:1-2899:1)
[Warning][Deadcode] Function 'create_request' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2914:1-2927:1)
[Warning][Deadcode] Function 'call_rq_function' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2929:1-2950:1)
[Warning][Deadcode] Function 'call_genhd_functions' is uncalled: 40 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2952:1-3028:1)
[Warning][Deadcode] Function 'call_interrupt_handler' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3029:1-3041:1)
[Warning][Deadcode] Function 'create_pci_dev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3042:1-3044:1)
[Warning][Deadcode] Function 'pci_probe_device' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3046:1-3064:1)
[Warning][Deadcode] Function 'pci_remove_device' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3066:1-3071:1)
[Warning][Deadcode] Function 'call_pci_functions' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3073:1-3091:1)
[Warning][Deadcode] Function 'call_tasklet_functions' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3094:1-3106:1)
[Warning][Deadcode] Function 'call_timer_functions' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3110:1-3119:1)
[Warning][Deadcode] Function 'pci_enable_device' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3127:1-3136:1)
[Warning][Deadcode] Function 'pci_get_class' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3138:1-3154:1)
[Warning][Deadcode] Function 'pci_register_driver' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3156:1-3167:1)
[Warning][Deadcode] Function 'pci_unregister_driver' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3169:1-3173:1)
[Warning][Deadcode] Function 'pci_release_region' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3175:1-3185:1)
[Warning][Deadcode] Function 'pci_request_region' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3187:1-3204:1)
[Warning][Deadcode] Function 'pci_release_regions' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3206:1-3212:1)
[Warning][Deadcode] Function 'pci_request_regions' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3214:1-3228:1)
[Warning][Deadcode] Function '__get_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3233:1-3239:1)
[Warning][Deadcode] Function 'get_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3241:1-3247:1)
[Warning][Deadcode] Function 'copy_to_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3265:1-3271:1)
[Warning][Deadcode] Function 'copy_from_user' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3273:1-3279:1)
[Warning][Deadcode] Function 'register_blkdev' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3285:1-3294:1)
[Warning][Deadcode] Function 'unregister_blkdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3296:1-3299:1)
[Warning][Deadcode] Function 'alloc_disk' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3301:1-3315:1)
[Warning][Deadcode] Function 'add_disk' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3317:1-3326:1)
[Warning][Deadcode] Function 'del_gendisk' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3328:1-3337:1)
[Warning][Deadcode] Function 'get_fixed_request_queue' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3351:1-3358:1)
[Warning][Deadcode] Function 'blk_init_queue' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3360:1-3376:1)
[Warning][Deadcode] Function 'blk_alloc_queue' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3378:1-3393:1)
[Warning][Deadcode] Function 'blk_queue_make_request' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3395:1-3398:1)
[Warning][Deadcode] Function 'end_request' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3400:1-3405:1)
[Warning][Deadcode] Function 'blk_queue_hardsect_size' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3408:1-3411:1)
[Warning][Deadcode] Function 'blk_cleanup_queue' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3413:1-3416:1)
[Warning][Deadcode] Function 'misc_register' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3491:1-3509:1)
[Warning][Deadcode] Function 'alloc_tty_driver' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3745:1-3753:1)
[Warning][Deadcode] Function 'tty_set_operations' is uncalled: 24 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3755:1-3781:1)
[Warning][Deadcode] Function 'alloc_chrdev_region' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3782:1-3794:1)
[Warning][Deadcode] Function 'register_chrdev_region' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3796:1-3802:1)
[Warning][Deadcode] Function 'register_chrdev' is uncalled: 9 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3806:1-3827:1)
[Warning][Deadcode] Function 'unregister_chrdev' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3829:1-3832:1)
[Warning][Deadcode] Function 'cdev_alloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3834:1-3839:1)
[Warning][Deadcode] Function 'cdev_init' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3841:1-3844:1)
[Warning][Deadcode] Function 'cdev_add' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3846:1-3869:1)
[Warning][Deadcode] Function 'cdev_del' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3871:1-3882:1)
[Warning][Deadcode] Function 'mutex_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3886:1-3894:1)
[Warning][Deadcode] Function 'mutex_lock' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3896:1-3907:1)
[Warning][Deadcode] Function 'mutex_unlock' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3909:1-3917:1)
[Warning][Deadcode] Function 'request_region' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3925:1-3937:1)
[Warning][Deadcode] Function 'release_region' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3939:1-3949:1)
[Warning][Deadcode] Function 'inb' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3951:1-3954:1)
[Warning][Deadcode] Function 'outw' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3968:1-3970:1)
[Warning][Deadcode] Function 'inl' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3972:1-3975:1)
[Warning][Deadcode] Function 'outl' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3977:1-3979:1)
[Warning][Deadcode] Function 'inw_p' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3990:1-3993:1)
[Warning][Deadcode] Function 'schedule' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4014:1-4017:1)
[Warning][Deadcode] Function 'schedule_timeout' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4019:1-4024:1)
[Warning][Deadcode] Function 'sema_init' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4030:1-4034:1)
[Warning][Deadcode] Function 'init_MUTEX' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4036:1-4040:1)
[Warning][Deadcode] Function 'init_MUTEX_LOCKED' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4042:1-4046:1)
[Warning][Deadcode] Function 'down' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4048:1-4059:1)
[Warning][Deadcode] Function 'down_interruptible' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4061:1-4078:1)
[Warning][Deadcode] Function 'down_trylock' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4080:1-4100:1)
[Warning][Deadcode] Function 'up' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4102:1-4110:1)
[Warning][Deadcode] Function 'tasklet_schedule' is uncalled: 10 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4114:1-4139:1)
[Warning][Deadcode] Function 'tasklet_init' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4141:1-4149:1)
[Warning][Deadcode] Function 'spin_lock' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4159:1-4169:1)
[Warning][Deadcode] Function 'spin_lock_irqsave' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4171:1-4181:1)
[Warning][Deadcode] Function 'spin_unlock' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4207:1-4214:1)
[Warning][Deadcode] Function 'spin_unlock_irqrestore' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4216:1-4223:1)
[Warning][Deadcode] Function 'init_timer' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4245:1-4254:1)
[Warning][Deadcode] Function 'add_timer' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4256:1-4263:1)
[Warning][Deadcode] Function 'add_timer_on' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4265:1-4269:1)
[Warning][Deadcode] Function 'del_timer' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4271:1-4274:1)
[Warning][Deadcode] Function 'mod_timer' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4276:1-4284:1)
[Warning][Deadcode] Function 'init_waitqueue_head' is uncalled: 2 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4287:1-4290:1)
[Warning][Deadcode] Function 'wake_up' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4292:1-4298:1)
[Warning][Deadcode] Function 'schedule_work' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4335:1-4358:1)
[Warning][Deadcode] Function 'call_shared_workqueue_functions' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4360:1-4369:1)
[Warning][Deadcode] Function 'request_irq' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4373:1-4384:1)
[Warning][Deadcode] Function 'free_irq' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4386:1-4390:1)
[Warning][Deadcode] Function '__get_free_pages' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4395:1-4401:1)
[Warning][Deadcode] Function '__get_free_page' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4403:1-4409:1)
[Warning][Deadcode] Function 'alloc_pages_node' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4419:1-4426:1)
[Warning][Deadcode] Function 'alloc_pages' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4428:1-4434:1)
[Warning][Deadcode] Function 'alloc_page' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4436:1-4442:1)
[Warning][Deadcode] Function 'kmalloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4448:1-4455:1)
[Warning][Deadcode] Function 'kzalloc' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4457:1-4464:1)
[Warning][Deadcode] Function 'vmalloc' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4476:1-4479:1)
[Warning][Deadcode] Function 'no_llseek' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4498:1-4498:86)
[Warning][Deadcode] Function 'nonseekable_open' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4504:1-4504:83)
[Warning][Deadcode] Function '__module_get' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4505:1-4505:44)
[Warning][Deadcode] Function 'test_and_set_bit' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4506:1-4513:1)
[Warning][Deadcode] Function 'clear_bit' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4515:1-4521:1)
[Warning][Deadcode] Function 'register_reboot_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4523:1-4523:79)
[Warning][Deadcode] Function 'misc_deregister' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4524:1-4524:66)
[Warning][Deadcode] Function 'unregister_reboot_notifier' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4525:1-4525:82)
[Warning][Deadcode] Function 'release_mem_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4526:1-4526:67)
[Warning][Deadcode] Function 'kfree' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4527:1-4527:32)
[Warning][Deadcode] Function 'request_mem_region' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4529:1-4532:1)
[Warning][Deadcode] Function '__VERIFIER_atomic_begin' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4534:1-4534:34)
[Warning][Deadcode] Function '__VERIFIER_atomic_end' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:4535:1-4535:32)
[Warning][Deadcode] Function 'main' does not return
[Warning][Deadcode] Function 'call_ddv' has dead code:
  on lines 2733..2734 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2733-2734)
  on line 2737 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2737-2737)
  on lines 2739..2740 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2739-2740)
  on line 2742 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:2742-2742)
[Warning][Deadcode] Function 'inw' has dead code:
  on line 3965 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:3965-3965)
[Warning][Deadcode] Function 'main' has dead code:
  on line 1854 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1854-1854)
[Warning][Deadcode] Function 'zf_init' has dead code:
  on lines 1781..1783 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1781-1783)
  on lines 1786..1787 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1786-1787)
  on line 1789 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1789-1789)
  on line 1791 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1791-1791)
  on lines 1793..1794 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1793-1794)
  on lines 1796..1798 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1796-1798)
  on lines 1803..1804 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1803-1804)
  on line 1806 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1806-1806)
  on lines 1810..1812 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1810-1812)
  on lines 1817..1818 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1817-1818)
  on lines 1821..1823 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1821-1823)
  on line 1825 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1825-1825)
  on line 1828 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1828-1828)
  on line 1830 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1830-1830)
  on line 1832 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.i:1832-1832)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 34
  dead: 788 (753 in uncalled functions)
  total lines: 822
[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_inw.i:2669:9-2669: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_inw.i:2669:9-2669: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_inw.i:2669:9-2669: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_inw.i:2669:9-2669: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_inw.i:2669:9-2669: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_inw.i:3963:5-3963: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_inw.i:3963:5-3963: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_inw.i:2669:9-2669: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_inw.i:2669:9-2669: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_inw.i:2669:9-2669: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_inw.i:2669:9-2669: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_inw.i:2669:9-2669:28)
[Warning][Deadcode][CWE-571] condition '! expression' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/ddv-machzwd/ddv_machzwd_inw.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_inw.i:2673:9-2673: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_inw.i:2673:9-2673: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_inw.i:2669:9-2669:28)
SV-COMP result: true
[Info][Witness] witness generation summary:
  total generation entries: 1
