./goblint --conf conf/svcomp.json --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/no-data-race.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i


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


--sets is deprecated, use --set instead.
--sets is deprecated, use --set instead.
SV-COMP specification: CHECK( init(main()), LTL(G ! data-race) )
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:765:3-765:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:805:3-805:42)
[Warning][Integer > Overflow][CWE-190] Signed integer overflow (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:834:3-834:42)
[Warning][Deadcode] Function "__VERIFIER_error" will never be called: 1LoC (includes/sv-comp.c:2:1-2:36)
[Warning][Deadcode] Function "__VERIFIER_assume" will never be called: 1LoC (includes/sv-comp.c:9:1-9:89)
[Warning][Deadcode] Function "__VERIFIER_nondet_char" will never be called: 1LoC (includes/sv-comp.c:16:1-16:55)
[Warning][Deadcode] Function "__VERIFIER_nondet_int" will never be called: 1LoC (includes/sv-comp.c:18:1-18:52)
[Warning][Deadcode] Function "__VERIFIER_nondet_float" will never be called: 1LoC (includes/sv-comp.c:19:1-19:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_double" will never be called: 1LoC (includes/sv-comp.c:20:1-20:61)
[Warning][Deadcode] Function "__VERIFIER_nondet_long" will never be called: 1LoC (includes/sv-comp.c:22:1-22:55)
[Warning][Deadcode] Function "__VERIFIER_nondet_pchar" will never be called: 1LoC (includes/sv-comp.c:23:1-23:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_short" will never be called: 1LoC (includes/sv-comp.c:26:1-26:58)
[Warning][Deadcode] Function "__VERIFIER_nondet_uchar" will never be called: 1LoC (includes/sv-comp.c:29:1-29:74)
[Warning][Deadcode] Function "__VERIFIER_nondet_uint" will never be called: 1LoC (includes/sv-comp.c:30:1-30:71)
[Warning][Deadcode] Function "__VERIFIER_nondet_ulong" will never be called: 1LoC (includes/sv-comp.c:31:1-31:74)
[Warning][Deadcode] Function "__VERIFIER_nondet_unsigned" will never be called: 1LoC (includes/sv-comp.c:32:1-32:67)
[Warning][Deadcode] Function "__VERIFIER_nondet_ushort" will never be called: 1LoC (includes/sv-comp.c:33:1-33:77)
[Warning][Deadcode] Function "__VERIFIER_nondet_pointer" will never be called: 1LoC (includes/sv-comp.c:35:1-35:60)
[Warning][Deadcode] Function "__bswap_32" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:86:1-90:1)
[Warning][Deadcode] Function "__bswap_64" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:91:1-95:1)
[Warning][Deadcode] Function "__uint16_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:96:1-100:1)
[Warning][Deadcode] Function "__uint32_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:101:1-105:1)
[Warning][Deadcode] Function "__uint64_identity" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:106:1-110:1)
[Warning][Deadcode] Function "fence" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:838:1-840:1)
[Warning][Deadcode] Function "isync" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:841:1-843:1)
[Warning][Deadcode] Function "lwfence" will never be called: 1LoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:844:1-846:1)
SV-COMP result: true

Summary for all memory locations:
	safe:           23
	vulnerable:      0
	unsafe:          0
	-------------------
	total:          23
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:131: Warning: Incompatible declaration for __sched_cpucount (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/x86_64-linux-gnu/bits/cpu-set.h:117 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:133: Warning: Incompatible declaration for __sched_cpualloc (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/x86_64-linux-gnu/bits/cpu-set.h:119 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:187: Warning: Incompatible declaration for strftime (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/time.h:88 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/pthread-wmm/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i:190: Warning: Incompatible declaration for strftime_l (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/time.h:104 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that size_t and size_t are isomorphic (different integer types unsigned long  and unsigned int ) 
:-1: Warning: Incompatible declaration for pthread_create (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:198 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_init (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:263 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_destroy (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:266 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getdetachstate (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:270 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setdetachstate (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:275 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getguardsize (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:281 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setguardsize (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:286 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getschedparam (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:292 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setschedparam (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:297 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getschedpolicy (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:302 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setschedpolicy (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:307 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getinheritsched (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:311 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setinheritsched (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:316 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getscope (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:322 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setscope (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:327 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getstackaddr (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:331 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setstackaddr (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:339 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getstacksize (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:344 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setstacksize (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:351 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_getstack (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:357 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_attr_setstack (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:365 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic 
	Failed assumption that union pthread_attr_t and union pthread_attr_t are isomorphic (different array sizes)
union pthread_attr_t {
   char __size[56] ;
   long __align ;
};

union pthread_attr_t {
   char __size[36] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for __pthread_register_cancel (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:656 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that __pthread_unwind_buf_t and __pthread_unwind_buf_t are isomorphic 
	Failed assumption that struct __anonstruct___pthread_unwind_buf_t_688688961 and struct __anonstruct___pthread_unwind_buf_t_883011907 are isomorphic 
	Failed assumption that struct __anonstruct___cancel_jmp_buf_572769531 and struct __anonstruct___cancel_jmp_buf_572769531 are isomorphic 
	Failed assumption that __jmp_buf and __jmp_buf are isomorphic (different integer types long  and int )
struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___pthread_unwind_buf_t_688688961 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};

struct __anonstruct___pthread_unwind_buf_t_883011907 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};
 
:-1: Warning: Incompatible declaration for __pthread_unregister_cancel (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:668 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that __pthread_unwind_buf_t and __pthread_unwind_buf_t are isomorphic 
	Failed assumption that struct __anonstruct___pthread_unwind_buf_t_688688961 and struct __anonstruct___pthread_unwind_buf_t_883011907 are isomorphic 
	Failed assumption that struct __anonstruct___cancel_jmp_buf_572769531 and struct __anonstruct___cancel_jmp_buf_572769531 are isomorphic 
	Failed assumption that __jmp_buf and __jmp_buf are isomorphic (different integer types long  and int )
struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___pthread_unwind_buf_t_688688961 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};

struct __anonstruct___pthread_unwind_buf_t_883011907 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};
 
:-1: Warning: Incompatible declaration for __pthread_unwind_next (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:709 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that __pthread_unwind_buf_t and __pthread_unwind_buf_t are isomorphic 
	Failed assumption that struct __anonstruct___pthread_unwind_buf_t_688688961 and struct __anonstruct___pthread_unwind_buf_t_883011907 are isomorphic 
	Failed assumption that struct __anonstruct___cancel_jmp_buf_572769531 and struct __anonstruct___cancel_jmp_buf_572769531 are isomorphic 
	Failed assumption that __jmp_buf and __jmp_buf are isomorphic (different integer types long  and int )
struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___cancel_jmp_buf_572769531 {
   __jmp_buf __cancel_jmp_buf ;
   int __mask_was_saved ;
};

struct __anonstruct___pthread_unwind_buf_t_688688961 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};

struct __anonstruct___pthread_unwind_buf_t_883011907 {
   struct __anonstruct___cancel_jmp_buf_572769531 __cancel_jmp_buf[1] ;
   void *__pad[4] ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_init (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:725 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_destroy (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:730 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_trylock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:734 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_lock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:738 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_timedlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:743 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_unlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:756 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_getprioceiling (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:761 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_setprioceiling (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:768 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_mutex_consistent (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:776 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_init (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:871 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_destroy (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:876 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_rdlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:880 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_tryrdlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:884 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_timedrdlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:889 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_wrlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:902 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_trywrlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:906 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_timedwrlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:911 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_rwlock_unlock (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:924 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_rwlock_t and pthread_rwlock_t are isomorphic 
	Failed assumption that union __anonunion_pthread_rwlock_t_656928968 and union __anonunion_pthread_rwlock_t_656928968 are isomorphic (different number of fields in __pthread_rwlock_arch_t and __pthread_rwlock_arch_t: 12 != 11.)
union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[56] ;
   long __align ;
};

union __anonunion_pthread_rwlock_t_656928968 {
   struct __pthread_rwlock_arch_t __data ;
   char __size[32] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_wait (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:986 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_cond_timedwait (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:997 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_mutex_t and pthread_mutex_t are isomorphic 
	Failed assumption that union __anonunion_pthread_mutex_t_335460617 and union __anonunion_pthread_mutex_t_335460617 are isomorphic (different number of fields in __pthread_mutex_s and __pthread_mutex_s: 8 != 6.)
union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[40] ;
   long __align ;
};

union __anonunion_pthread_mutex_t_335460617 {
   struct __pthread_mutex_s __data ;
   char __size[24] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_barrier_init (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:1080 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic 
	Failed assumption that union __anonunion_pthread_barrier_t_145707746 and union __anonunion_pthread_barrier_t_145707746 are isomorphic (different array sizes)
union __anonunion_pthread_barrier_t_145707746 {
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_barrier_t_145707746 {
   char __size[20] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_barrier_destroy (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:1086 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic 
	Failed assumption that union __anonunion_pthread_barrier_t_145707746 and union __anonunion_pthread_barrier_t_145707746 are isomorphic (different array sizes)
union __anonunion_pthread_barrier_t_145707746 {
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_barrier_t_145707746 {
   char __size[20] ;
   long __align ;
};
 
:-1: Warning: Incompatible declaration for pthread_barrier_wait (from .goblint/preprocessed/safe032_power.oepc_power.opt_pso.oepc_pso.opt_rmo.oepc_rmo.opt.i(3)).
 Previous was at /usr/include/pthread.h:1090 (from .goblint/preprocessed/pthread.i (2)) 
	Failed assumption that pthread_barrier_t and pthread_barrier_t are isomorphic 
	Failed assumption that union __anonunion_pthread_barrier_t_145707746 and union __anonunion_pthread_barrier_t_145707746 are isomorphic (different array sizes)
union __anonunion_pthread_barrier_t_145707746 {
   char __size[32] ;
   long __align ;
};

union __anonunion_pthread_barrier_t_145707746 {
   char __size[20] ;
   long __align ;
};
 
