2022-03-09 11:26:24
/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: 1606)

[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if ((int )*(s - 2) == 10) {
                                                                     if ((int )*(s - 3) == 13) {
                                                                       {
                                                                       s ++;
                                                                       i ++;
                                                                       }
                                                                       goto while_break;
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement updateProgressBar((float )bwritten, (float )td->clength);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (td->offset == td->foffset) {
                                                                     {
                                                                     td->status = (unsigned char)255;
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if ((long )(dr - i) > foffset) {
                                                                     {
                                                                     dw = pwrite(td->fd, s, foffset - (long )i, td->soffset);
                                                                     }
} else {
  {
  dw = pwrite(td->fd, s, dr - i, td->soffset);
  }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (tmp___4 == -1) {
                                                                     {
                                                                     tmp___2 = __errno_location();
                                                                     tmp___3 = strerror(*tmp___2);
                                                                     Log("<THREAD #%ld> connection failed: %s", tid, tmp___3);
                                                                     pthread_exit((void *)1);
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement s ++;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tid = pthread_self();
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (td->offset + (long )dr > foffset) {
                                                                     {
                                                                     dw = pwrite(td->fd, rbuf, foffset - td->offset, td->offset);
                                                                     }
} else {
  {
  dw = pwrite(td->fd, rbuf, dr, td->offset);
  }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement pthread_mutex_unlock(& bwritten_mutex);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement bwritten += (unsigned int )dw;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___11 = strstr((char const   *)rbuf, (char const   *)"HTTP/1.1 206");
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement rbuf = (char *)tmp;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement dw = pwrite(td->fd, rbuf, dr, td->offset);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement td->offset = td->soffset + (long )dw;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (! (td->offset < foffset)) {
                                                                     goto while_break___0;
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___0 = __errno_location();
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement memset((void *)rbuf, 8192, 0U);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___6 = strerror(*tmp___5);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement handleHttpRetcode(rbuf);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement Log("<THREAD #%ld> socket creation failed: %s", tid, tmp___1);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement pthread_exit((void *)1);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement Log("<THREAD #%ld> send failed: %s", tid, tmp___6);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement td->status = (unsigned char)255;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement foffset = td->foffset;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement pthread_mutex_lock(& bwritten_mutex);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___4 = connect(sd, (struct sockaddr  const  *)(& td->sin), (socklen_t )sizeof(struct sockaddr ));
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement Log("<THREAD #%ld> connection failed: %s", tid, tmp___3);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement s = rbuf;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement pthread_sigmask(0, (__sigset_t const   * __restrict  )(& signal_set), (__sigset_t * __restrict  )((void *)0));
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___10 = strerror(*tmp___9);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement fprintf((FILE * __restrict  )stderr, (char const   * __restrict  )"Something unhandled happened, shutting down...\n");
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement return ((void *)0);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement dw = pwrite(td->fd, s, foffset - (long )i, td->soffset);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if ((int )*(s - 1) == 13) {
                                                                     if ((int )*(s - 2) == 10) {
                                                                       if ((int )*(s - 3) == 13) {
                                                                         {
                                                                         s ++;
                                                                         i ++;
                                                                         }
                                                                         goto while_break;
                                                                       }
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement pthread_setcanceltype(1, (int *)((void *)0));
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___1 = strerror(*tmp___0);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement td->offset = td->soffset;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if ((int )*(s - 3) == 13) {
                                                                     {
                                                                     s ++;
                                                                     i ++;
                                                                     }
                                                                     goto while_break;
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement exit(1);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement i ++;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___3 = strerror(*tmp___2);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___7 = strlen((char const   *)(td->getstr));
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (tmp___8 == -1) {
                                                                     {
                                                                     tmp___5 = __errno_location();
                                                                     tmp___6 = strerror(*tmp___5);
                                                                     Log("<THREAD #%ld> send failed: %s", tid, tmp___6);
                                                                     pthread_exit((void *)1);
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement td->offset += (long )dw;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if ((int )*s == 10) {
                                                                     if ((int )*(s - 1) == 13) {
                                                                       if ((int )*(s - 2) == 10) {
                                                                         if ((int )*(s - 3) == 13) {
                                                                           {
                                                                           s ++;
                                                                           i ++;
                                                                           }
                                                                           goto while_break;
                                                                         }
                                                                       }
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement dw = pwrite(td->fd, s, dr - i, td->soffset);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___5 = __errno_location();
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement dr = recv(sd, (void *)rbuf, 8192U, 0);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement pthread_exit((void *)0);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement td = (struct thread_data *)arg;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement close(sd);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (dr == -1) {
                                                                     {
                                                                     tmp___9 = __errno_location();
                                                                     tmp___10 = strerror(*tmp___9);
                                                                     Log("<THREAD #%ld> recv failed: %s", tid, tmp___10);
                                                                     pthread_exit((void *)1);
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement sd = socket(2, 1, 0);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if (sd <= -1) {
                                                                     {
                                                                     tmp___0 = __errno_location();
                                                                     tmp___1 = strerror(*tmp___0);
                                                                     Log("<THREAD #%ld> socket creation failed: %s", tid, tmp___1);
                                                                     pthread_exit((void *)1);
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement dw = pwrite(td->fd, rbuf, foffset - td->offset, td->offset);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement Log("<THREAD #%ld> recv failed: %s", tid, tmp___10);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___9 = __errno_location();
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement i = 0;
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___8 = send(sd, (void const   *)(td->getstr), tmp___7, 0);
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement if ((unsigned int )tmp___11 == (unsigned int )((void *)0)) {
                                                                     {
                                                                     fprintf((FILE * __restrict  )stderr, (char const   * __restrict  )"Something unhandled happened, shutting down...\n");
                                                                     exit(1);
                                                                     }
}
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp___2 = __errno_location();
[Warning][Unknown] Calculated state for undefined function: unexpected node Statement tmp = calloc(8192U, (size_t___0 )sizeof(char ));
[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:947)[?]@aget_comb.c:1095:3-1095: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).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: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:947)[?]@aget_comb.c:1095:3-1095: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: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 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)
  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)
  write with thread:[main] (conf. 110) (aget_comb.c:1267:3-1267:40)
  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)
[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.228 s
  parse                           0.010 s
  convert to CIL                  0.010 s
  analysis                        0.209 s
    global_inits                    0.002 s
    warn_global                     0.004 s
      access                          0.003 s
Timing used
Memory statistics: total=332.49MB, max=47.04MB, minor=325.40MB, major=48.66MB, promoted=41.57MB
    minor collections=159  major collections=7 compactions=0