2022-03-09 11:26:13 /home/simmo/dev/goblint/sv-comp/analyzer/goblint --conf /home/simmo/dev/goblint/sv-comp/goblint-bench/index/conf/td3.json -v --disable dbg.compare_runs.glob --enable solverdiffs --compare_runs original increment aget_comb.c Custom include dirs: 1. /home/simmo/dev/goblint/sv-comp/goblint/includes (exists=true) Preprocessing files. Preprocessor cpp: is_bad=false 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' '/home/simmo/dev/goblint/sv-comp/goblint/includes/stdlib.c' '-o' '.goblint/preprocessed/stdlib.i' 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' '/home/simmo/dev/goblint/sv-comp/goblint/includes/pthread.c' '-o' '.goblint/preprocessed/pthread.i' 'cpp' '--undef' '__BLOCKS__' '-I' '/home/simmo/dev/goblint/sv-comp/goblint/includes' 'aget_comb.c' '-o' '.goblint/preprocessed/aget_comb.i' Parsing files. Frontc is parsing .goblint/preprocessed/stdlib.i Converting CABS->CIL Frontc is parsing .goblint/preprocessed/pthread.i Converting CABS->CIL Frontc is parsing .goblint/preprocessed/aget_comb.i Converting CABS->CIL Pre-merging (0) .goblint/preprocessed/stdlib.i Pre-merging (1) .goblint/preprocessed/pthread.i Pre-merging (2) .goblint/preprocessed/aget_comb.i :-1: Warning: Incompatible declaration for pthread_create (from .goblint/preprocessed/aget_comb.i(2)). Previous was at /usr/include/pthread.h:202 (from .goblint/preprocessed/pthread.i (1)) Failed assumption that pthread_attr_t and pthread_attr_t are isomorphic Failed assumption that union pthread_attr_t and union __anonunion_pthread_attr_t_9 are isomorphic (different array sizes) union pthread_attr_t { char __size[56] ; long __align ; }; union __anonunion_pthread_attr_t_9 { char __size[36] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_mutex_lock (from .goblint/preprocessed/aget_comb.i(2)). Previous was at /usr/include/pthread.h:794 (from .goblint/preprocessed/pthread.i (1)) 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_18 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_18 { struct __pthread_mutex_s __data ; char __size[24] ; long __align ; }; :-1: Warning: Incompatible declaration for pthread_mutex_unlock (from .goblint/preprocessed/aget_comb.i(2)). Previous was at /usr/include/pthread.h:835 (from .goblint/preprocessed/pthread.i (1)) 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_18 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_18 { struct __pthread_mutex_s __data ; char __size[24] ; long __align ; }; Final merging phase (0): .goblint/preprocessed/stdlib.i Final merging phase (1): .goblint/preprocessed/pthread.i Final merging phase (2): .goblint/preprocessed/aget_comb.i Constructors: Adding constructors to: main And now... the Goblin! Startfuns: [main] Exitfuns: [] Otherfuns: [] Using new format for phases! Activated analyses for phase 0: expRelation, base, threadid, threadflag, threadreturn, escape, mutex, access, mallocWrapper Activated transformations for phase 0: Generating the control flow graph. Initializing 12 globals. Executing 18 assigns. Unmarshalling original/solver.marshalled... If type of content changed, this will result in a segmentation fault! Unmarshalling increment/solver.marshalled... If type of content changed, this will result in a segmentation fault! Comparing precision of original (left) with increment (right) as EqConstrSys: Comparison summary: original equal to increment (more precise: 0, less precise: 0, total: 1607) [Warning][Unknown] Calculated state for undefined function: unexpected node Statement sigalrm_handler(); [Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (signal___0 == 3) { goto case_3; } [Warning][Unknown] Calculated state for undefined function: unexpected node Statement sigint_handler(); [Warning][Unknown] Calculated state for undefined function: unexpected node Statement sigwait((sigset_t const * __restrict )(& signal_set), (int * __restrict )(& signal___0)); [Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (signal___0 == 2) { goto case_3; } [Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (signal___0 == 14) { goto case_14; } [Warning][Unknown] Calculated state for undefined function: unexpected node Statement pthread_sigmask(1, (__sigset_t const * __restrict )(& signal_set), (__sigset_t * __restrict )((void *)0)); [Warning][Race] Memory location (alloc@sid:301).soffset@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301)[?].getstr[?]@aget_comb.c:471:3-471:42 (race with conf. 80): read with [] (conf. 80) (aget_comb.c:1110:3-1110:47) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1110:3-1110:47) read with [] (conf. 80) (aget_comb.c:1111:3-1111:61) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1111:3-1111:61) write with thread:[main] (conf. 80) (aget_comb.c:419:5-420:18) write with thread:[main] (conf. 80) (aget_comb.c:504:5-505:18) [Warning][Race] Memory location (alloc@sid:195)[?].fd@aget_comb.c:358:3-358:38 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) write with thread:[main] (conf. 100) (aget_comb.c:415:6-415:32) write with thread:[main] (conf. 100) (aget_comb.c:501:6-501:32) [Warning][Race] Memory location (alloc@sid:195)[?].getstr[?]@aget_comb.c:358:3-358:38 (race with conf. 80): read with [] (conf. 80) (aget_comb.c:1110:3-1110:47) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1110:3-1110:47) read with [] (conf. 80) (aget_comb.c:1111:3-1111:61) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1111:3-1111:61) write with thread:[main] (conf. 80) (aget_comb.c:419:5-420:18) write with thread:[main] (conf. 80) (aget_comb.c:504:5-505:18) [Warning][Race] Memory location (alloc@sid:195).fd@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301)[?].offset@aget_comb.c:471:3-471:42 (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) read with thread:[main] (conf. 100) (aget_comb.c:502:5-503:80) read with [] (conf. 100) (aget_comb.c:1158:3-1171:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1158:3-1171:3) read with [] (conf. 100) (aget_comb.c:1161:5-1165:5) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1161:5-1165:5) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) read with [] (conf. 100) (aget_comb.c:1166:5-1166:28) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with [] (conf. 100) (aget_comb.c:1148:3-1148:27) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) write with [] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with [] (conf. 100) (aget_comb.c:1166:5-1166:28) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) [Warning][Race] Memory location (alloc@sid:195).sin.sin_zero[?]@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195)[?].soffset@aget_comb.c:358:3-358:38 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1148:3-1148:27) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1154:3-1154:39) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main] (conf. 100) (aget_comb.c:406:6-406:37) write with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) [Warning][Race] Memory location (alloc@sid:195).clength@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301)[?].clength@aget_comb.c:471:3-471:42 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1170:5-1170:61) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1170:5-1170:61) write with thread:[main] (conf. 100) (aget_comb.c:416:6-416:53) [Warning][Race] Memory location (alloc@sid:301).offset@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location wthread@aget_comb.c:184:20-184:29 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1037:5-1037:39) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1038:6-1038:79) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 110) (aget_comb.c:358:3-358:38) write with thread:[main] (conf. 110) (aget_comb.c:471:3-471:42) [Warning][Race] Memory location (alloc@sid:778)[?]@aget_comb.c:1096:3-1096:21 (race with conf. 110): read with [] (conf. 90) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1150:5-1150:60) read with [] (conf. 90) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1152:5-1152:48) read with [] (conf. 90) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1162:7-1162:66) read with [] (conf. 90) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 90) (aget_comb.c:1164:7-1164:48) write with [] (conf. 90) (aget_comb.c:1150:5-1150:60) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1150:5-1150:60) write with [] (conf. 90) (aget_comb.c:1152:5-1152:48) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1152:5-1152:48) write with [] (conf. 90) (aget_comb.c:1162:7-1162:66) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1162:7-1162:66) write with [] (conf. 90) (aget_comb.c:1164:7-1164:48) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1164:7-1164:48) read with [] (conf. 110) (aget_comb.c:1134:5-1144:5) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1134:5-1144:5) read with [] (conf. 110) (aget_comb.c:1135:7-1143:7) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1135:7-1143:7) read with [] (conf. 110) (aget_comb.c:1136:9-1142:9) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1136:9-1142:9) read with [] (conf. 110) (aget_comb.c:1137:11-1141:11) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1137:11-1141:11) [Warning][Race] Memory location (alloc@sid:301).sin.sin_family@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195)[?].clength@aget_comb.c:358:3-358:38 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1170:5-1170:61) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1170:5-1170:61) write with thread:[main] (conf. 100) (aget_comb.c:416:6-416:53) [Warning][Race] Memory location (alloc@sid:301).clength@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195)[?].offset@aget_comb.c:358:3-358:38 (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) read with thread:[main] (conf. 100) (aget_comb.c:502:5-503:80) read with [] (conf. 100) (aget_comb.c:1158:3-1171:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1158:3-1171:3) read with [] (conf. 100) (aget_comb.c:1161:5-1165:5) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1161:5-1165:5) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) read with [] (conf. 100) (aget_comb.c:1166:5-1166:28) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with [] (conf. 100) (aget_comb.c:1148:3-1148:27) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) write with [] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with [] (conf. 100) (aget_comb.c:1166:5-1166:28) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) [Warning][Race] Memory location (alloc@sid:301).sin.sin_addr.s_addr@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301).foffset@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).fd (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) write with thread:[main] (conf. 100) (aget_comb.c:415:6-415:32) write with thread:[main] (conf. 100) (aget_comb.c:501:6-501:32) [Warning][Race] Memory location (alloc@sid:301).sin.sin_port@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).sin.sin_port (race with conf. 100): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) write with thread:[main] (conf. 100) (aget_comb.c:414:6-414:72) [Warning][Race] Memory location (alloc@sid:301).sin.sin_zero[?]@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301).tid@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).offset (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) read with thread:[main] (conf. 100) (aget_comb.c:502:5-503:80) read with [] (conf. 100) (aget_comb.c:1158:3-1171:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1158:3-1171:3) read with [] (conf. 100) (aget_comb.c:1161:5-1165:5) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1161:5-1165:5) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) read with [] (conf. 100) (aget_comb.c:1166:5-1166:28) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with [] (conf. 100) (aget_comb.c:1148:3-1148:27) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) write with [] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with [] (conf. 100) (aget_comb.c:1166:5-1166:28) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1166:5-1166:28) [Warning][Race] Memory location (alloc@sid:301)[?].foffset@aget_comb.c:471:3-471:42 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1093:3-1093:24) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1093:3-1093:24) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with thread:[main] (conf. 100) (aget_comb.c:408:8-408:55) write with thread:[main] (conf. 100) (aget_comb.c:410:8-410:39) [Warning][Race] Memory location (alloc@sid:301)[?].soffset@aget_comb.c:471:3-471:42 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1148:3-1148:27) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1154:3-1154:39) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main] (conf. 100) (aget_comb.c:406:6-406:37) write with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) [Warning][Race] Memory location prev@aget_comb.c:831:14-831:19 (race with conf. 110): read with [] (conf. 110) (aget_comb.c:840:3-844:3) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:840:3-844:3) read with thread:[main, http_get] (conf. 110) (aget_comb.c:840:3-844:3) write with [] (conf. 110) (aget_comb.c:856:3-856:22) write with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:856:3-856:22) write with thread:[main, http_get] (conf. 110) (aget_comb.c:856:3-856:22) [Warning][Race] Memory location (struct thread_data).clength (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1170:5-1170:61) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1170:5-1170:61) write with thread:[main] (conf. 100) (aget_comb.c:416:6-416:53) [Warning][Race] Memory location (alloc@sid:195)[?].foffset@aget_comb.c:358:3-358:38 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1093:3-1093:24) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1093:3-1093:24) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with thread:[main] (conf. 100) (aget_comb.c:408:8-408:55) write with thread:[main] (conf. 100) (aget_comb.c:410:8-410:39) [Warning][Race] Memory location (struct thread_data).sin.sin_addr.s_addr (race with conf. 100): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) write with thread:[main] (conf. 100) (aget_comb.c:413:6-413:80) [Warning][Race] Memory location (struct thread_data).status (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:429:5-431:5) read with thread:[main] (conf. 100) (aget_comb.c:518:5-520:5) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with [] (conf. 100) (aget_comb.c:1173:5-1173:36) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1173:5-1173:36) [Warning][Race] Memory location (alloc@sid:301)[?].status@aget_comb.c:471:3-471:42 (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:429:5-431:5) read with thread:[main] (conf. 100) (aget_comb.c:518:5-520:5) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with [] (conf. 100) (aget_comb.c:1173:5-1173:36) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1173:5-1173:36) [Warning][Race] Memory location (alloc@sid:80)[?].lfile[?]@aget_comb.c:198:3-198:30 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1199:3-1199:53) read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1204:5-1205:31) write with thread:[main] (conf. 90) (aget_comb.c:229:5-230:18) [Warning][Race] Memory location (alloc@sid:778)[?]@aget_comb.c:1096:3-1096:21 (race with conf. 90): write with [] (conf. 90) (aget_comb.c:1118:3-1118:40) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1118:3-1118:40) write with [] (conf. 90) (aget_comb.c:1159:5-1159:35) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1159:5-1159:35) write with [] (conf. 90) (aget_comb.c:1160:5-1160:42) write with thread:[main, http_get] (conf. 90) (aget_comb.c:1160:5-1160:42) [Warning][Race] Memory location (alloc@sid:301).fd@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).sin.sin_family (race with conf. 100): read with [] (conf. 80) (aget_comb.c:1103:3-1103:88) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1103:3-1103:88) write with thread:[main] (conf. 100) (aget_comb.c:412:6-412:54) [Warning][Race] Memory location (alloc@sid:301)[?].fd@aget_comb.c:471:3-471:42 (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1162:7-1162:66) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1162:7-1162:66) read with [] (conf. 100) (aget_comb.c:1164:7-1164:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1164:7-1164:48) write with thread:[main] (conf. 100) (aget_comb.c:415:6-415:32) write with thread:[main] (conf. 100) (aget_comb.c:501:6-501:32) [Warning][Race] Memory location (alloc@sid:80)[?].clength@aget_comb.c:198:3-198:30 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1050:3-1050:60) write with thread:[main] (conf. 110) (aget_comb.c:995:9-995:35) [Warning][Race] Memory location (alloc@sid:195).sin.sin_addr.s_addr@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301).status@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195).soffset@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:579)[?]@aget_comb.c:812:3-812:25 (race with conf. 90): write with [] (conf. 90) (aget_comb.c:813:3-813:79) write with thread:[main] (conf. 90) (aget_comb.c:813:3-813:79) write with thread:[main, http_get] (conf. 90) (aget_comb.c:813:3-813:79) [Warning][Race] Memory location (struct thread_data).getstr[?] (race with conf. 80): read with [] (conf. 80) (aget_comb.c:1110:3-1110:47) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1110:3-1110:47) read with [] (conf. 80) (aget_comb.c:1111:3-1111:61) read with thread:[main, http_get] (conf. 80) (aget_comb.c:1111:3-1111:61) write with thread:[main] (conf. 80) (aget_comb.c:419:5-420:18) write with thread:[main] (conf. 80) (aget_comb.c:504:5-505:18) [Warning][Race] Memory location (alloc@sid:80)[?]@aget_comb.c:198:3-198:30 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1215:3-1215:96) write with thread:[main] (conf. 90) (aget_comb.c:472:3-472:97) [Warning][Race] Memory location (alloc@sid:301)[?].tid@aget_comb.c:471:3-471:42 (race with conf. 100): write with thread:[main] (conf. 80) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 80) (aget_comb.c:506:5-507:66) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1037:5-1037:39) write with thread:[main] (conf. 100) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 100) (aget_comb.c:506:5-507:66) [Warning][Race] Memory location (alloc@sid:195).status@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195)[?].tid@aget_comb.c:358:3-358:38 (race with conf. 100): write with thread:[main] (conf. 80) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 80) (aget_comb.c:506:5-507:66) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1037:5-1037:39) write with thread:[main] (conf. 100) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 100) (aget_comb.c:506:5-507:66) [Warning][Race] Memory location (alloc@sid:195).sin.sin_port@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:195).sin.sin_family@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:80)[?].file[?]@aget_comb.c:198:3-198:30 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1201:5-1202:30) write with thread:[main] (conf. 90) (aget_comb.c:794:3-794:46) write with thread:[main] (conf. 90) (aget_comb.c:795:3-795:85) write with thread:[main] (conf. 110) (aget_comb.c:651:5-651:26) write with thread:[main] (conf. 110) (aget_comb.c:655:3-655:35) [Warning][Race] Memory location (alloc@sid:195).tid@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).tid (race with conf. 100): write with thread:[main] (conf. 80) (aget_comb.c:421:5-422:66) write with thread:[main] (conf. 80) (aget_comb.c:506:5-507:66) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1037:5-1037:39) [Warning][Race] Memory location (alloc@sid:195).getstr[?]@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (struct thread_data).foffset (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1093:3-1093:24) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1093:3-1093:24) read with [] (conf. 100) (aget_comb.c:1172:3-1174:3) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1172:3-1174:3) write with thread:[main] (conf. 100) (aget_comb.c:408:8-408:55) write with thread:[main] (conf. 100) (aget_comb.c:410:8-410:39) [Warning][Race] Memory location (alloc@sid:195).offset@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:579)[?]@aget_comb.c:812:3-812:25 (race with conf. 90): write with [] (conf. 90) (aget_comb.c:827:3-827:21) write with thread:[main] (conf. 90) (aget_comb.c:827:3-827:21) write with thread:[main, http_get] (conf. 90) (aget_comb.c:827:3-827:21) [Warning][Race] Memory location (alloc@sid:195)[?].status@aget_comb.c:358:3-358:38 (race with conf. 100): read with thread:[main] (conf. 100) (aget_comb.c:429:5-431:5) read with thread:[main] (conf. 100) (aget_comb.c:518:5-520:5) read with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with thread:[main, signal_waiter] (conf. 100) (aget_comb.c:1038:6-1038:79) write with [] (conf. 100) (aget_comb.c:1173:5-1173:36) write with thread:[main, http_get] (conf. 100) (aget_comb.c:1173:5-1173:36) [Warning][Race] Memory location bwritten@aget_comb.c:1061:14-1061:23 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1050:3-1050:60) read with lock:{bwritten_mutex} (conf. 110) (aget_comb.c:1156:3-1156:32) read with [lock:{bwritten_mutex}, thread:[main, http_get]] (conf. 110) (aget_comb.c:1156:3-1156:32) read with lock:{bwritten_mutex} (conf. 110) (aget_comb.c:1168:5-1168:34) read with [lock:{bwritten_mutex}, thread:[main, http_get]] (conf. 110) (aget_comb.c:1168:5-1168:34) read with [] (conf. 110) (aget_comb.c:1170:5-1170:61) read with thread:[main, http_get] (conf. 110) (aget_comb.c:1170:5-1170:61) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1219:3-1219:30) read with thread:[main] (conf. 110) (aget_comb.c:1269:3-1269:56) write with lock:{bwritten_mutex} (conf. 110) (aget_comb.c:1156:3-1156:32) write with [lock:{bwritten_mutex}, thread:[main, http_get]] (conf. 110) (aget_comb.c:1156:3-1156:32) write with lock:{bwritten_mutex} (conf. 110) (aget_comb.c:1168:5-1168:34) write with [lock:{bwritten_mutex}, thread:[main, http_get]] (conf. 110) (aget_comb.c:1168:5-1168:34) write with thread:[main] (conf. 110) (aget_comb.c:1267:3-1267:40) [Warning][Race] Memory location (alloc@sid:195).foffset@aget_comb.c:358:3-358:38 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location (alloc@sid:301).getstr[?]@aget_comb.c:471:3-471:42 (race with conf. 90): read with thread:[main, signal_waiter] (conf. 90) (aget_comb.c:1216:3-1217:64) write with thread:[main] (conf. 90) (aget_comb.c:473:3-474:64) [Warning][Race] Memory location nthreads@aget_comb.c:180:5-180:14 (race with conf. 110): read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1036:3-1040:3) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1216:3-1217:64) read with thread:[main, signal_waiter] (conf. 110) (aget_comb.c:1218:3-1218:24) write with thread:[main] (conf. 110) (aget_comb.c:233:5-233:42) write with thread:[main] (conf. 110) (aget_comb.c:236:7-236:19) write with thread:[main] (conf. 110) (aget_comb.c:352:7-352:19) write with thread:[main] (conf. 110) (aget_comb.c:354:7-354:21) write with thread:[main] (conf. 110) (aget_comb.c:467:3-467:25) [Warning][Race] Memory location (struct thread_data).soffset (race with conf. 100): read with [] (conf. 100) (aget_comb.c:1148:3-1148:27) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1148:3-1148:27) read with [] (conf. 100) (aget_comb.c:1150:5-1150:60) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1150:5-1150:60) read with [] (conf. 100) (aget_comb.c:1152:5-1152:48) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1152:5-1152:48) read with [] (conf. 100) (aget_comb.c:1154:3-1154:39) read with thread:[main, http_get] (conf. 100) (aget_comb.c:1154:3-1154:39) write with thread:[main] (conf. 100) (aget_comb.c:406:6-406:37) write with thread:[main] (conf. 100) (aget_comb.c:500:6-500:51) Summary for all memory locations: safe: 64 vulnerable: 32 unsafe: 31 ------------------- total: 127 vars = 0 evals = 0 narrow_reuses = 0 aborts = 0 Timings: TOTAL 0.230 s parse 0.010 s convert to CIL 0.010 s analysis 0.211 s global_inits 0.002 s warn_global 0.005 s access 0.004 s Timing used Memory statistics: total=331.12MB, max=47.01MB, minor=324.04MB, major=48.64MB, promoted=41.55MB minor collections=158 major collections=7 compactions=0