2022-03-09 11:26:18 /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: either varinfo * std option * std or varinfo:(NONE, (struct thread_data).offset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} reverse diff: Set (std): {100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} not leq {100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} because 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [] call of handleHttpRetcode on aget_comb.c:860:1-885:1: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot call of handleHttpRetcode on aget_comb.c:860:1-885:1: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot varinfo:(alloc@sid:778): original more precise than increment original: bot more precise than increment: readwrite * write:({}, {}) reverse diff: readwrite * write:({}, {}) instead of bot either either unprotected or protected or FlagConfiguredTID: prefix * set:(alloc@sid:778): original more precise than increment original: bot more precise than increment: lifted compound and compound:(Array: ((Unknown int([-7,7]),[-128,127]), (1,[1,1]), false), (1,[1,1])) reverse diff: lifted compound and compound:(Array: ((Unknown int([-7,7]),[-128,127]), (1,[1,1]), false), (1,[1,1])) instead of bot either varinfo * std option * std or varinfo:(((alloc@sid:195), [?].sin), (struct thread_data)[?].sin): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} reverse diff: Set (std): {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} not leq {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} because 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [] either varinfo * std option * std or varinfo:(((alloc@sid:195), [?].status), (struct thread_data)[?].status): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} reverse diff: Set (std): {100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} not leq {100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} because 100, true, aget_comb.c:1173:5-1173:36, & td->status, [] either varinfo * std option * std or varinfo:(((alloc@sid:301), [?].getstr[?]), (struct thread_data)[?].getstr[?]): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} reverse diff: Set (std): {80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} not leq {80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} because 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [] either varinfo * std option * std or varinfo:(((alloc@sid:301), [?].soffset), (struct thread_data)[?].soffset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} not leq {100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} because 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [] node 639 "Log(" {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 639 "Log(" {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(NONE, (struct thread_data).sin.sin_addr.s_addr): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:413:6-413:80, & (wthread + i)->sin.sin_addr.s_addr, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:413:6-413:80, & (wthread + i)->sin.sin_addr.s_addr, thread:[main]} reverse diff: Set (std): {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:413:6-413:80, & (wthread + i)->sin.sin_addr.s_addr, thread:[main]} not leq {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:413:6-413:80, & (wthread + i)->sin.sin_addr.s_addr, thread:[main]} because 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [] node 634 "exit(1);" on aget_comb.c:869:5-869:12: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 634 "exit(1);" on aget_comb.c:869:5-869:12: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(NONE, (struct thread_data).foffset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} not leq {100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} because 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [] either varinfo * std option * std or varinfo:(NONE, (struct thread_data).soffset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} not leq {100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} because 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [] either varinfo * std option * std or varinfo:(((alloc@sid:195), [?].fd), (struct thread_data)[?].fd): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} not leq {100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} because 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [] either varinfo * std option * std or varinfo:(((alloc@sid:195), [?].soffset), (struct thread_data)[?].soffset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} not leq {100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [], 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, [], 100, false, aget_comb.c:1150:5-1150:60, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, [], 100, false, aget_comb.c:1152:5-1152:48, & td->soffset, thread:[main, http_get], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, [], 100, false, aget_comb.c:1154:3-1154:39, & td->soffset, thread:[main, http_get], 100, true, aget_comb.c:406:6-406:37, & (wthread + i)->soffset, thread:[main], 100, true, aget_comb.c:500:6-500:51, & (wthread + i)->soffset, thread:[main]} because 100, false, aget_comb.c:1148:3-1148:27, & td->soffset, [] either varinfo * std option * std or varinfo:(NONE, (struct thread_data).fd): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} not leq {100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} because 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [] either varinfo * std option * std or varinfo:(NONE, (struct thread_data).sin.sin_family): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:412:6-412:54, & (wthread + i)->sin.sin_family, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:412:6-412:54, & (wthread + i)->sin.sin_family, thread:[main]} reverse diff: Set (std): {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:412:6-412:54, & (wthread + i)->sin.sin_family, thread:[main]} not leq {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:412:6-412:54, & (wthread + i)->sin.sin_family, thread:[main]} because 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [] node 633 "Log("Server returned HTTP/1.1 416 - Requested Range Not Satisfiable\n");" on aget_comb.c:868:5-868:84: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 633 "Log("Server returned HTTP/1.1 416 - Requested Range Not Satisfiable\n");" on aget_comb.c:868:5-868:84: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot handleHttpRetcode: original more precise than increment original: {[Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{}, booleans:False, MT mode:Multithreaded (main), Thread * lifted created and Unit:([main], {signal_waiter}), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:653)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:947)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:947)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()]} more precise than increment: {[Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{}, booleans:False, MT mode:Multithreaded (main), Thread * lifted created and Unit:([main], {signal_waiter}), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:653)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:947)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:947)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()]} reverse diff: Set (HConsed [expRelation:(Unit), mallocWrapper:(lifted node), base:(value domain * array partitioning deps * Vars with Weak Update * P), threadid:(Thread * lifted created and Unit), threadflag:(MT mode), threadreturn:(booleans), escape:(top or Set (variables)), access:(Unit), mutex:(Reversed (top or Set (Normal Lvals * booleans)))]): {[Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{}, booleans:False, MT mode:Multithreaded (main), Thread * lifted created and Unit:([main], {signal_waiter}), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:653)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:947)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:947)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()]} not leq {[Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{}, booleans:False, MT mode:Multithreaded (main), Thread * lifted created and Unit:([main], {signal_waiter}), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:653)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:947)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:947)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()]} because [Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()] node 646 "exit(1);" on aget_comb.c:879:9-879:16: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 646 "exit(1);" on aget_comb.c:879:9-879:16: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(((alloc@sid:778), [?]), (char )): original more precise than increment original: bot more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{90, false, aget_comb.c:1150:5-1150:60, s, [], 90, false, aget_comb.c:1150:5-1150:60, s, thread:[main, http_get], 90, false, aget_comb.c:1152:5-1152:48, s, [], 90, false, aget_comb.c:1152:5-1152:48, s, thread:[main, http_get], 90, false, aget_comb.c:1162:7-1162:66, rbuf, [], 90, false, aget_comb.c:1162:7-1162:66, rbuf, thread:[main, http_get], 90, false, aget_comb.c:1164:7-1164:48, rbuf, [], 90, false, aget_comb.c:1164:7-1164:48, rbuf, thread:[main, http_get], 90, true, aget_comb.c:1150:5-1150:60, s, [], 90, true, aget_comb.c:1150:5-1150:60, s, thread:[main, http_get], 90, true, aget_comb.c:1152:5-1152:48, s, [], 90, true, aget_comb.c:1152:5-1152:48, s, thread:[main, http_get], 90, true, aget_comb.c:1162:7-1162:66, rbuf, [], 90, true, aget_comb.c:1162:7-1162:66, rbuf, thread:[main, http_get], 90, true, aget_comb.c:1164:7-1164:48, rbuf, [], 90, true, aget_comb.c:1164:7-1164:48, rbuf, thread:[main, http_get], 110, false, aget_comb.c:1134:5-1144:5, & *s, [], 110, false, aget_comb.c:1134:5-1144:5, & *s, thread:[main, http_get], 110, false, aget_comb.c:1135:7-1143:7, & *(s - 1), [], 110, false, aget_comb.c:1135:7-1143:7, & *(s - 1), thread:[main, http_get], 110, false, aget_comb.c:1136:9-1142:9, & *(s - 2), [], 110, false, aget_comb.c:1136:9-1142:9, & *(s - 2), thread:[main, http_get], 110, false, aget_comb.c:1137:11-1141:11, & *(s - 3), [], 110, false, aget_comb.c:1137:11-1141:11, & *(s - 3), thread:[main, http_get]} reverse diff: lifted Set (std) and Set (varinfo * std option * std):{90, false, aget_comb.c:1150:5-1150:60, s, [], 90, false, aget_comb.c:1150:5-1150:60, s, thread:[main, http_get], 90, false, aget_comb.c:1152:5-1152:48, s, [], 90, false, aget_comb.c:1152:5-1152:48, s, thread:[main, http_get], 90, false, aget_comb.c:1162:7-1162:66, rbuf, [], 90, false, aget_comb.c:1162:7-1162:66, rbuf, thread:[main, http_get], 90, false, aget_comb.c:1164:7-1164:48, rbuf, [], 90, false, aget_comb.c:1164:7-1164:48, rbuf, thread:[main, http_get], 90, true, aget_comb.c:1150:5-1150:60, s, [], 90, true, aget_comb.c:1150:5-1150:60, s, thread:[main, http_get], 90, true, aget_comb.c:1152:5-1152:48, s, [], 90, true, aget_comb.c:1152:5-1152:48, s, thread:[main, http_get], 90, true, aget_comb.c:1162:7-1162:66, rbuf, [], 90, true, aget_comb.c:1162:7-1162:66, rbuf, thread:[main, http_get], 90, true, aget_comb.c:1164:7-1164:48, rbuf, [], 90, true, aget_comb.c:1164:7-1164:48, rbuf, thread:[main, http_get], 110, false, aget_comb.c:1134:5-1144:5, & *s, [], 110, false, aget_comb.c:1134:5-1144:5, & *s, thread:[main, http_get], 110, false, aget_comb.c:1135:7-1143:7, & *(s - 1), [], 110, false, aget_comb.c:1135:7-1143:7, & *(s - 1), thread:[main, http_get], 110, false, aget_comb.c:1136:9-1142:9, & *(s - 2), [], 110, false, aget_comb.c:1136:9-1142:9, & *(s - 2), thread:[main, http_get], 110, false, aget_comb.c:1137:11-1141:11, & *(s - 3), [], 110, false, aget_comb.c:1137:11-1141:11, & *(s - 3), thread:[main, http_get]} instead of bot either varinfo * std option * std or varinfo:(((alloc@sid:195), [?].clength), (struct thread_data)[?].clength): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} not leq {100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} because 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [] either varinfo * std option * std or varinfo:((signal_set, .__val[?]), (struct __anonstruct___sigset_t_764561023).__val[?]): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{90, false, aget_comb.c:1016:3-1016:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, signal_waiter], 90, false, aget_comb.c:1018:5-1018:93, (sigset_t const * __restrict )(& signal_set), thread:[main, signal_waiter], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), [], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{90, false, aget_comb.c:1016:3-1016:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, signal_waiter], 90, false, aget_comb.c:1018:5-1018:93, (sigset_t const * __restrict )(& signal_set), thread:[main, signal_waiter], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), [], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, http_get], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), [], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, http_get]} reverse diff: Set (std): {90, false, aget_comb.c:1016:3-1016:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, signal_waiter], 90, false, aget_comb.c:1018:5-1018:93, (sigset_t const * __restrict )(& signal_set), thread:[main, signal_waiter], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), [], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, http_get], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), [], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, http_get]} not leq {90, false, aget_comb.c:1016:3-1016:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, signal_waiter], 90, false, aget_comb.c:1018:5-1018:93, (sigset_t const * __restrict )(& signal_set), thread:[main, signal_waiter], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), [], 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), thread:[main, http_get]} because 90, false, aget_comb.c:1090:3-1090:108, (__sigset_t const * __restrict )(& signal_set), [] either varinfo * std option * std or varinfo:(((alloc@sid:195), [?].foffset), (struct thread_data)[?].foffset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} not leq {100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} because 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [] either varinfo * std option * std or varinfo:(((alloc@sid:301), [?].fd), (struct thread_data)[?].fd): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} not leq {100, false, aget_comb.c:1150:5-1150:60, & td->fd, [], 100, false, aget_comb.c:1150:5-1150:60, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, [], 100, false, aget_comb.c:1152:5-1152:48, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, [], 100, false, aget_comb.c:1162:7-1162:66, & td->fd, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, [], 100, false, aget_comb.c:1164:7-1164:48, & td->fd, thread:[main, http_get], 100, true, aget_comb.c:415:6-415:32, & (wthread + i)->fd, thread:[main], 100, true, aget_comb.c:501:6-501:32, & (wthread + i)->fd, thread:[main]} because 100, false, aget_comb.c:1150:5-1150:60, & td->fd, [] either varinfo * std option * std or varinfo:(((alloc@sid:301), [?].sin), (struct thread_data)[?].sin): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} reverse diff: Set (std): {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} not leq {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} because 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [] either varinfo * std option * std or varinfo:(NONE, (struct thread_data).sin.sin_port): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:414:6-414:72, & (wthread + i)->sin.sin_port, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:414:6-414:72, & (wthread + i)->sin.sin_port, thread:[main]} reverse diff: Set (std): {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:414:6-414:72, & (wthread + i)->sin.sin_port, thread:[main]} not leq {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 100, true, aget_comb.c:414:6-414:72, & (wthread + i)->sin.sin_port, thread:[main]} because 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [] either varinfo * std option * std or varinfo:(NONE, (struct thread_data).status): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} reverse diff: Set (std): {100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} not leq {100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} because 100, true, aget_comb.c:1173:5-1173:36, & td->status, [] either varinfo * std option * std or varinfo:(((alloc@sid:301), [?].status), (struct thread_data)[?].status): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} reverse diff: Set (std): {100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} not leq {100, false, aget_comb.c:429:5-431:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:518:5-520:5, & (wthread + i)->status, thread:[main], 100, false, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1038:6-1038:79, & (wthread + i)->status, thread:[main, signal_waiter], 100, true, aget_comb.c:1173:5-1173:36, & td->status, [], 100, true, aget_comb.c:1173:5-1173:36, & td->status, thread:[main, http_get]} because 100, true, aget_comb.c:1173:5-1173:36, & td->status, [] entry state of handleHttpRetcode on aget_comb.c:860:1-885:1: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot entry state of handleHttpRetcode on aget_comb.c:860:1-885:1: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:((bwritten, ), (unsigned int )): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{110, false, aget_comb.c:1050:3-1050:60, & bwritten, thread:[main, signal_waiter], 110, false, aget_comb.c:1219:3-1219:30, & bwritten, thread:[main, signal_waiter], 110, false, aget_comb.c:1269:3-1269:56, & bwritten, thread:[main], 110, false, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, [], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, thread:[main, http_get], 110, true, aget_comb.c:1267:3-1267:40, & bwritten, thread:[main], 110, true, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, true, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{110, false, aget_comb.c:1050:3-1050:60, & bwritten, thread:[main, signal_waiter], 110, false, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, [], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, thread:[main, http_get], 110, false, aget_comb.c:1219:3-1219:30, & bwritten, thread:[main, signal_waiter], 110, false, aget_comb.c:1269:3-1269:56, & bwritten, thread:[main], 110, false, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, [], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, thread:[main, http_get], 110, true, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, true, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, true, aget_comb.c:1267:3-1267:40, & bwritten, thread:[main], 110, true, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, true, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]]} reverse diff: Set (std): {110, false, aget_comb.c:1050:3-1050:60, & bwritten, thread:[main, signal_waiter], 110, false, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, [], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, thread:[main, http_get], 110, false, aget_comb.c:1219:3-1219:30, & bwritten, thread:[main, signal_waiter], 110, false, aget_comb.c:1269:3-1269:56, & bwritten, thread:[main], 110, false, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, [], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, thread:[main, http_get], 110, true, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, true, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, true, aget_comb.c:1267:3-1267:40, & bwritten, thread:[main], 110, true, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, true, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]]} not leq {110, false, aget_comb.c:1050:3-1050:60, & bwritten, thread:[main, signal_waiter], 110, false, aget_comb.c:1219:3-1219:30, & bwritten, thread:[main, signal_waiter], 110, false, aget_comb.c:1269:3-1269:56, & bwritten, thread:[main], 110, false, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, false, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, [], 110, false, aget_comb.c:1170:5-1170:61, & bwritten, thread:[main, http_get], 110, true, aget_comb.c:1267:3-1267:40, & bwritten, thread:[main], 110, true, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1156:3-1156:32, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]], 110, true, aget_comb.c:1168:5-1168:34, & bwritten, lock:{bwritten_mutex}, 110, true, aget_comb.c:1168:5-1168:34, & bwritten, [lock:{bwritten_mutex}, thread:[main, http_get]]} because 110, false, aget_comb.c:1156:3-1156:32, & bwritten, lock:{bwritten_mutex} either varinfo * std option * std or varinfo:(((alloc@sid:301), [?].clength), (struct thread_data)[?].clength): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} not leq {100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} because 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [] either varinfo * std option * std or varinfo:(((alloc@sid:195), [?].offset), (struct thread_data)[?].offset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} reverse diff: Set (std): {100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} not leq {100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} because 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [] node 636 "tmp___0 = strstr((char const *)rbuf, (char const *)"HTTP/1.1 403");" on aget_comb.c:871:5-871:57: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 636 "tmp___0 = strstr((char const *)rbuf, (char const *)"HTTP/1.1 403");" on aget_comb.c:871:5-871:57: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(((alloc@sid:301), [?].foffset), (struct thread_data)[?].foffset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} not leq {100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [], 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->foffset, thread:[main, http_get], 100, true, aget_comb.c:408:8-408:55, & (wthread + i)->foffset, thread:[main], 100, true, aget_comb.c:410:8-410:39, & (wthread + i)->foffset, thread:[main]} because 100, false, aget_comb.c:1093:3-1093:24, & td->foffset, [] node 631 "(unsigned int )tmp___1 != (unsigned int )((void *)0)" on aget_comb.c:867:3-882:3: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 631 "(unsigned int )tmp___1 != (unsigned int )((void *)0)" on aget_comb.c:867:3-882:3: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 643 "(unsigned int )tmp != (unsigned int )((void *)0)" on aget_comb.c:877:7-880:7: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 643 "(unsigned int )tmp != (unsigned int )((void *)0)" on aget_comb.c:877:7-880:7: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(((alloc@sid:301), [?].offset), (struct thread_data)[?].offset): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} reverse diff: Set (std): {100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} not leq {100, false, aget_comb.c:500:6-500:51, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:502:5-503:80, & (wthread + i)->offset, thread:[main], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [], 100, false, aget_comb.c:1158:3-1171:3, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, [], 100, false, aget_comb.c:1161:5-1165:5, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, [], 100, false, aget_comb.c:1162:7-1162:66, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, [], 100, false, aget_comb.c:1164:7-1164:48, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, false, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, [], 100, false, aget_comb.c:1172:3-1174:3, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, [], 100, true, aget_comb.c:1148:3-1148:27, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, [], 100, true, aget_comb.c:1154:3-1154:39, & td->offset, thread:[main, http_get], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, [], 100, true, aget_comb.c:1166:5-1166:28, & td->offset, thread:[main, http_get]} because 100, false, aget_comb.c:1158:3-1171:3, & td->offset, [] either varinfo * std option * std or varinfo:(NONE, (struct thread_data).clength): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} reverse diff: Set (std): {100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} not leq {100, false, aget_comb.c:1170:5-1170:61, & td->clength, [], 100, false, aget_comb.c:1170:5-1170:61, & td->clength, thread:[main, http_get], 100, true, aget_comb.c:416:6-416:53, & (wthread + i)->clength, thread:[main]} because 100, false, aget_comb.c:1170:5-1170:61, & td->clength, [] node 630 "tmp___1 = strstr((char const *)rbuf, (char const *)"HTTP/1.1 416");" on aget_comb.c:866:3-866:55: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 630 "tmp___1 = strstr((char const *)rbuf, (char const *)"HTTP/1.1 416");" on aget_comb.c:866:3-866:55: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(alloc@sid:778): original more precise than increment original: bot more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{(((alloc@sid:778), [?]), (void )), (((alloc@sid:778), [?]), (char )), (((alloc@sid:778), [?]), (char const ))} reverse diff: lifted Set (std) and Set (varinfo * std option * std):{(((alloc@sid:778), [?]), (void )), (((alloc@sid:778), [?]), (char )), (((alloc@sid:778), [?]), (char const ))} instead of bot node 645 "Log(" {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 645 "Log(" {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(NONE, (struct thread_data).getstr[?]): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} reverse diff: Set (std): {80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} not leq {80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} because 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [] node 642 "tmp = strstr((char const *)rbuf, (char const *)"HTTP/1.1 404");" on aget_comb.c:876:7-876:55: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 642 "tmp = strstr((char const *)rbuf, (char const *)"HTTP/1.1 404");" on aget_comb.c:876:7-876:55: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 647 "return;" on aget_comb.c:883:3-883:9: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 647 "return;" on aget_comb.c:883:3-883:9: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(((alloc@sid:778), [?]), (char const )): original more precise than increment original: bot more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{90, false, aget_comb.c:866:3-866:55, (char const *)rbuf, [], 90, false, aget_comb.c:866:3-866:55, (char const *)rbuf, thread:[main, http_get], 90, false, aget_comb.c:871:5-871:57, (char const *)rbuf, [], 90, false, aget_comb.c:871:5-871:57, (char const *)rbuf, thread:[main, http_get], 90, false, aget_comb.c:876:7-876:55, (char const *)rbuf, [], 90, false, aget_comb.c:876:7-876:55, (char const *)rbuf, thread:[main, http_get], 90, false, aget_comb.c:1126:3-1126:56, (char const *)rbuf, [], 90, false, aget_comb.c:1126:3-1126:56, (char const *)rbuf, thread:[main, http_get]} reverse diff: lifted Set (std) and Set (varinfo * std option * std):{90, false, aget_comb.c:866:3-866:55, (char const *)rbuf, [], 90, false, aget_comb.c:866:3-866:55, (char const *)rbuf, thread:[main, http_get], 90, false, aget_comb.c:871:5-871:57, (char const *)rbuf, [], 90, false, aget_comb.c:871:5-871:57, (char const *)rbuf, thread:[main, http_get], 90, false, aget_comb.c:876:7-876:55, (char const *)rbuf, [], 90, false, aget_comb.c:876:7-876:55, (char const *)rbuf, thread:[main, http_get], 90, false, aget_comb.c:1126:3-1126:56, (char const *)rbuf, [], 90, false, aget_comb.c:1126:3-1126:56, (char const *)rbuf, thread:[main, http_get]} instead of bot node 640 "exit(1);" on aget_comb.c:874:7-874:14: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 640 "exit(1);" on aget_comb.c:874:7-874:14: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot either varinfo * std option * std or varinfo:(((alloc@sid:778), [?]), (void )): original more precise than increment original: bot more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{90, true, aget_comb.c:1118:3-1118:40, (void *)rbuf, [], 90, true, aget_comb.c:1118:3-1118:40, (void *)rbuf, thread:[main, http_get], 90, true, aget_comb.c:1159:5-1159:35, (void *)rbuf, [], 90, true, aget_comb.c:1159:5-1159:35, (void *)rbuf, thread:[main, http_get], 90, true, aget_comb.c:1160:5-1160:42, (void *)rbuf, [], 90, true, aget_comb.c:1160:5-1160:42, (void *)rbuf, thread:[main, http_get]} reverse diff: lifted Set (std) and Set (varinfo * std option * std):{90, true, aget_comb.c:1118:3-1118:40, (void *)rbuf, [], 90, true, aget_comb.c:1118:3-1118:40, (void *)rbuf, thread:[main, http_get], 90, true, aget_comb.c:1159:5-1159:35, (void *)rbuf, [], 90, true, aget_comb.c:1159:5-1159:35, (void *)rbuf, thread:[main, http_get], 90, true, aget_comb.c:1160:5-1160:42, (void *)rbuf, [], 90, true, aget_comb.c:1160:5-1160:42, (void *)rbuf, thread:[main, http_get]} instead of bot either varinfo * std option * std or varinfo:(NONE, (struct thread_data).sin.sin_zero[?]): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} reverse diff: Set (std): {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} not leq {80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [], 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), thread:[main, http_get]} because 80, false, aget_comb.c:1103:3-1103:88, (struct sockaddr const *)(& td->sin), [] either varinfo * std option * std or varinfo:(((alloc@sid:195), [?].getstr[?]), (struct thread_data)[?].getstr[?]): original more precise than increment original: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} more precise than increment: lifted Set (std) and Set (varinfo * std option * std):{80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} reverse diff: Set (std): {80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} not leq {80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [], 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), thread:[main, http_get], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), [], 80, false, aget_comb.c:1111:3-1111:61, (void const *)(td->getstr), thread:[main, http_get], 80, true, aget_comb.c:419:5-420:18, (char * __restrict )((wthread + i)->getstr), thread:[main], 80, true, aget_comb.c:504:5-505:18, (char * __restrict )((wthread + i)->getstr), thread:[main]} because 80, false, aget_comb.c:1110:3-1110:47, (char const *)(td->getstr), [] node 637 "(unsigned int )tmp___0 != (unsigned int )((void *)0)" on aget_comb.c:872:5-881:5: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main, http_get], bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot node 637 "(unsigned int )tmp___0 != (unsigned int )((void *)0)" on aget_comb.c:872:5-881:5: original more precise than increment original: bot more precise than increment: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} reverse diff: {([Reversed (top or Set (Normal Lvals * booleans)):{}, Unit:(), top or Set (variables):{(alloc@sid:301), (alloc@sid:195)}, booleans:False, MT mode:Multithreaded (other), Thread * lifted created and Unit:([main], {http_get}, bot), value domain * array partitioning deps * Vars with Weak Update * P:(mapping { Local { tmp -> {NULL, ?} tmp___0 -> {NULL, ?} tmp___1 -> {NULL, ?} } Parameter { rbuf -> {&(alloc@sid:778)[def_exc:0; intervals:[0,0]]} } }, mapping { }, {}, {}), lifted node:Unknown node, Unit:()], mapping { })} instead of bot Comparison summary: original more precise than increment (more precise: 66, less precise: 0, total: 1642) [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(" 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(" 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(" 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(" 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(" 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; }