scripts/cpa.sh -heap 3000M -noout -disable-java-assertions -predicateAnalysis-PredAbsRefiner-ABEl -setprop cpa.predicate.handlePointerAliasing=false -64 -timelimit 900s -stats -spec test/programs/benchmarks/ldv-linux-3.0/ALL.prp test/programs/benchmarks/ldv-linux-3.0/module_get_put-drivers-block-drbd-drbd.ko_true-unreach-call.cil.out.i.pp.i -------------------------------------------------------------------------------- Running CPAchecker with Java heap of size 3000M. Using the following resource limits: CPU-time limit of 900s (ResourceLimitChecker.fromConfiguration, INFO) CPAchecker 1.4-svn (OpenJDK 64-Bit Server VM 1.7.0_65) started (CPAchecker.run, INFO) line 7832: Dead code detected: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& current_task)); (CFACreationUtils.addEdgeToCFA, INFO) line 7836: Dead code detected: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); (CFACreationUtils.addEdgeToCFA, INFO) line 7840: Dead code detected: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& current_task)); (CFACreationUtils.addEdgeToCFA, INFO) line 7828: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 7945: Dead code detected: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "p" (& kernel_stack)); (CFACreationUtils.addEdgeToCFA, INFO) line 7949: Dead code detected: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); (CFACreationUtils.addEdgeToCFA, INFO) line 7953: Dead code detected: __asm__ ("movl %%gs:%P1,%0": "=r" (pfo_ret__): "p" (& kernel_stack)); (CFACreationUtils.addEdgeToCFA, INFO) line 7941: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 14068: Dead code detected: __ptr = (u8 volatile *)(& v->counter); (CFACreationUtils.addEdgeToCFA, INFO) line 14074: Dead code detected: __ptr___0 = (u16 volatile *)(& v->counter); (CFACreationUtils.addEdgeToCFA, INFO) line 14087: Dead code detected: __ptr___2 = (u64 volatile *)(& v->counter); (CFACreationUtils.addEdgeToCFA, INFO) line 14064: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 35327: Dead code detected: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "m" (cpu_number)); (CFACreationUtils.addEdgeToCFA, INFO) line 35331: Dead code detected: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "m" (cpu_number)); (CFACreationUtils.addEdgeToCFA, INFO) line 35340: Dead code detected: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "m" (cpu_number)); (CFACreationUtils.addEdgeToCFA, INFO) line 35323: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 35438: Dead code detected: __asm__ ("movb %%gs:%P1,%0": "=q" (pfo_ret__): "m" (cpu_number)); (CFACreationUtils.addEdgeToCFA, INFO) line 35442: Dead code detected: __asm__ ("movw %%gs:%P1,%0": "=r" (pfo_ret__): "m" (cpu_number)); (CFACreationUtils.addEdgeToCFA, INFO) line 35451: Dead code detected: __asm__ ("movq %%gs:%P1,%0": "=r" (pfo_ret__): "m" (cpu_number)); (CFACreationUtils.addEdgeToCFA, INFO) line 35434: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 57016: Dead code detected: *((u8 *)__gu_p) = (u8 )2U; (CFACreationUtils.addEdgeToCFA, INFO) line 57028: Dead code detected: put_unaligned_le32(16386U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 57034: Dead code detected: put_unaligned_le64(16386ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 57012: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) line 57066: Dead code detected: *((u8 *)__gu_p___0) = (u8 )8U; (CFACreationUtils.addEdgeToCFA, INFO) line 57078: Dead code detected: put_unaligned_le32(8U, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 57084: Dead code detected: put_unaligned_le64(8ULL, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 57062: Dead code detected: Goto: switch_default___0 (CFACreationUtils.addEdgeToCFA, INFO) line 57112: Dead code detected: *((u8 *)__gu_p___1) = (unsigned char )arg->disk_size; (CFACreationUtils.addEdgeToCFA, INFO) line 57117: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->disk_size)), __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 57123: Dead code detected: put_unaligned_le32((unsigned int )arg->disk_size, __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 57108: Dead code detected: Goto: switch_default___1 (CFACreationUtils.addEdgeToCFA, INFO) line 57164: Dead code detected: *((u8 *)__gu_p___2) = (u8 )3U; (CFACreationUtils.addEdgeToCFA, INFO) line 57176: Dead code detected: put_unaligned_le32(57347U, __gu_p___2); (CFACreationUtils.addEdgeToCFA, INFO) line 57182: Dead code detected: put_unaligned_le64(57347ULL, __gu_p___2); (CFACreationUtils.addEdgeToCFA, INFO) line 57160: Dead code detected: Goto: switch_default___2 (CFACreationUtils.addEdgeToCFA, INFO) line 57214: Dead code detected: *((u8 *)__gu_p___3) = (unsigned char )arg->backing_dev_len; (CFACreationUtils.addEdgeToCFA, INFO) line 57226: Dead code detected: put_unaligned_le32((unsigned int )arg->backing_dev_len, __gu_p___3); (CFACreationUtils.addEdgeToCFA, INFO) line 57232: Dead code detected: put_unaligned_le64((unsigned long long )arg->backing_dev_len, __gu_p___3); (CFACreationUtils.addEdgeToCFA, INFO) line 57210: Dead code detected: Goto: switch_default___3 (CFACreationUtils.addEdgeToCFA, INFO) line 57272: Dead code detected: *((u8 *)__gu_p___4) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 57284: Dead code detected: put_unaligned_le32(57348U, __gu_p___4); (CFACreationUtils.addEdgeToCFA, INFO) line 57290: Dead code detected: put_unaligned_le64(57348ULL, __gu_p___4); (CFACreationUtils.addEdgeToCFA, INFO) line 57268: Dead code detected: Goto: switch_default___4 (CFACreationUtils.addEdgeToCFA, INFO) line 57322: Dead code detected: *((u8 *)__gu_p___5) = (unsigned char )arg->meta_dev_len; (CFACreationUtils.addEdgeToCFA, INFO) line 57334: Dead code detected: put_unaligned_le32((unsigned int )arg->meta_dev_len, __gu_p___5); (CFACreationUtils.addEdgeToCFA, INFO) line 57340: Dead code detected: put_unaligned_le64((unsigned long long )arg->meta_dev_len, __gu_p___5); (CFACreationUtils.addEdgeToCFA, INFO) line 57318: Dead code detected: Goto: switch_default___5 (CFACreationUtils.addEdgeToCFA, INFO) line 57380: Dead code detected: *((u8 *)__gu_p___6) = (u8 )5U; (CFACreationUtils.addEdgeToCFA, INFO) line 57392: Dead code detected: put_unaligned_le32(8197U, __gu_p___6); (CFACreationUtils.addEdgeToCFA, INFO) line 57398: Dead code detected: put_unaligned_le64(8197ULL, __gu_p___6); (CFACreationUtils.addEdgeToCFA, INFO) line 57376: Dead code detected: Goto: switch_default___6 (CFACreationUtils.addEdgeToCFA, INFO) line 57430: Dead code detected: *((u8 *)__gu_p___7) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 57442: Dead code detected: put_unaligned_le32(4U, __gu_p___7); (CFACreationUtils.addEdgeToCFA, INFO) line 57448: Dead code detected: put_unaligned_le64(4ULL, __gu_p___7); (CFACreationUtils.addEdgeToCFA, INFO) line 57426: Dead code detected: Goto: switch_default___7 (CFACreationUtils.addEdgeToCFA, INFO) line 57476: Dead code detected: *((u8 *)__gu_p___8) = (unsigned char )arg->meta_dev_idx; (CFACreationUtils.addEdgeToCFA, INFO) line 57481: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->meta_dev_idx)), __gu_p___8); (CFACreationUtils.addEdgeToCFA, INFO) line 57494: Dead code detected: put_unaligned_le64((unsigned long long )arg->meta_dev_idx, __gu_p___8); (CFACreationUtils.addEdgeToCFA, INFO) line 57472: Dead code detected: Goto: switch_default___8 (CFACreationUtils.addEdgeToCFA, INFO) line 57528: Dead code detected: *((u8 *)__gu_p___9) = (u8 )6U; (CFACreationUtils.addEdgeToCFA, INFO) line 57540: Dead code detected: put_unaligned_le32(6U, __gu_p___9); (CFACreationUtils.addEdgeToCFA, INFO) line 57546: Dead code detected: put_unaligned_le64(6ULL, __gu_p___9); (CFACreationUtils.addEdgeToCFA, INFO) line 57524: Dead code detected: Goto: switch_default___9 (CFACreationUtils.addEdgeToCFA, INFO) line 57578: Dead code detected: *((u8 *)__gu_p___10) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 57590: Dead code detected: put_unaligned_le32(4U, __gu_p___10); (CFACreationUtils.addEdgeToCFA, INFO) line 57596: Dead code detected: put_unaligned_le64(4ULL, __gu_p___10); (CFACreationUtils.addEdgeToCFA, INFO) line 57574: Dead code detected: Goto: switch_default___10 (CFACreationUtils.addEdgeToCFA, INFO) line 57624: Dead code detected: *((u8 *)__gu_p___11) = (unsigned char )arg->on_io_error; (CFACreationUtils.addEdgeToCFA, INFO) line 57629: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->on_io_error)), __gu_p___11); (CFACreationUtils.addEdgeToCFA, INFO) line 57642: Dead code detected: put_unaligned_le64((unsigned long long )arg->on_io_error, __gu_p___11); (CFACreationUtils.addEdgeToCFA, INFO) line 57620: Dead code detected: Goto: switch_default___11 (CFACreationUtils.addEdgeToCFA, INFO) line 57676: Dead code detected: *((u8 *)__gu_p___12) = (u8 )7U; (CFACreationUtils.addEdgeToCFA, INFO) line 57688: Dead code detected: put_unaligned_le32(7U, __gu_p___12); (CFACreationUtils.addEdgeToCFA, INFO) line 57694: Dead code detected: put_unaligned_le64(7ULL, __gu_p___12); (CFACreationUtils.addEdgeToCFA, INFO) line 57672: Dead code detected: Goto: switch_default___12 (CFACreationUtils.addEdgeToCFA, INFO) line 57726: Dead code detected: *((u8 *)__gu_p___13) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 57738: Dead code detected: put_unaligned_le32(4U, __gu_p___13); (CFACreationUtils.addEdgeToCFA, INFO) line 57744: Dead code detected: put_unaligned_le64(4ULL, __gu_p___13); (CFACreationUtils.addEdgeToCFA, INFO) line 57722: Dead code detected: Goto: switch_default___13 (CFACreationUtils.addEdgeToCFA, INFO) line 57772: Dead code detected: *((u8 *)__gu_p___14) = (unsigned char )arg->fencing; (CFACreationUtils.addEdgeToCFA, INFO) line 57777: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->fencing)), __gu_p___14); (CFACreationUtils.addEdgeToCFA, INFO) line 57790: Dead code detected: put_unaligned_le64((unsigned long long )arg->fencing, __gu_p___14); (CFACreationUtils.addEdgeToCFA, INFO) line 57768: Dead code detected: Goto: switch_default___14 (CFACreationUtils.addEdgeToCFA, INFO) line 57824: Dead code detected: *((u8 *)__gu_p___15) = (u8 )37U; (CFACreationUtils.addEdgeToCFA, INFO) line 57836: Dead code detected: put_unaligned_le32(32805U, __gu_p___15); (CFACreationUtils.addEdgeToCFA, INFO) line 57842: Dead code detected: put_unaligned_le64(32805ULL, __gu_p___15); (CFACreationUtils.addEdgeToCFA, INFO) line 57820: Dead code detected: Goto: switch_default___15 (CFACreationUtils.addEdgeToCFA, INFO) line 57874: Dead code detected: *((u8 *)__gu_p___16) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 57886: Dead code detected: put_unaligned_le32(1U, __gu_p___16); (CFACreationUtils.addEdgeToCFA, INFO) line 57892: Dead code detected: put_unaligned_le64(1ULL, __gu_p___16); (CFACreationUtils.addEdgeToCFA, INFO) line 57870: Dead code detected: Goto: switch_default___16 (CFACreationUtils.addEdgeToCFA, INFO) line 57928: Dead code detected: *((u8 *)__gu_p___17) = (u8 )53U; (CFACreationUtils.addEdgeToCFA, INFO) line 57940: Dead code detected: put_unaligned_le32(32821U, __gu_p___17); (CFACreationUtils.addEdgeToCFA, INFO) line 57946: Dead code detected: put_unaligned_le64(32821ULL, __gu_p___17); (CFACreationUtils.addEdgeToCFA, INFO) line 57924: Dead code detected: Goto: switch_default___17 (CFACreationUtils.addEdgeToCFA, INFO) line 57978: Dead code detected: *((u8 *)__gu_p___18) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 57990: Dead code detected: put_unaligned_le32(1U, __gu_p___18); (CFACreationUtils.addEdgeToCFA, INFO) line 57996: Dead code detected: put_unaligned_le64(1ULL, __gu_p___18); (CFACreationUtils.addEdgeToCFA, INFO) line 57974: Dead code detected: Goto: switch_default___18 (CFACreationUtils.addEdgeToCFA, INFO) line 58032: Dead code detected: *((u8 *)__gu_p___19) = (u8 )54U; (CFACreationUtils.addEdgeToCFA, INFO) line 58044: Dead code detected: put_unaligned_le32(32822U, __gu_p___19); (CFACreationUtils.addEdgeToCFA, INFO) line 58050: Dead code detected: put_unaligned_le64(32822ULL, __gu_p___19); (CFACreationUtils.addEdgeToCFA, INFO) line 58028: Dead code detected: Goto: switch_default___19 (CFACreationUtils.addEdgeToCFA, INFO) line 58082: Dead code detected: *((u8 *)__gu_p___20) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 58094: Dead code detected: put_unaligned_le32(1U, __gu_p___20); (CFACreationUtils.addEdgeToCFA, INFO) line 58100: Dead code detected: put_unaligned_le64(1ULL, __gu_p___20); (CFACreationUtils.addEdgeToCFA, INFO) line 58078: Dead code detected: Goto: switch_default___20 (CFACreationUtils.addEdgeToCFA, INFO) line 58136: Dead code detected: *((u8 *)__gu_p___21) = (u8 )56U; (CFACreationUtils.addEdgeToCFA, INFO) line 58148: Dead code detected: put_unaligned_le32(56U, __gu_p___21); (CFACreationUtils.addEdgeToCFA, INFO) line 58154: Dead code detected: put_unaligned_le64(56ULL, __gu_p___21); (CFACreationUtils.addEdgeToCFA, INFO) line 58132: Dead code detected: Goto: switch_default___21 (CFACreationUtils.addEdgeToCFA, INFO) line 58186: Dead code detected: *((u8 *)__gu_p___22) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 58198: Dead code detected: put_unaligned_le32(4U, __gu_p___22); (CFACreationUtils.addEdgeToCFA, INFO) line 58204: Dead code detected: put_unaligned_le64(4ULL, __gu_p___22); (CFACreationUtils.addEdgeToCFA, INFO) line 58182: Dead code detected: Goto: switch_default___22 (CFACreationUtils.addEdgeToCFA, INFO) line 58232: Dead code detected: *((u8 *)__gu_p___23) = (unsigned char )arg->max_bio_bvecs; (CFACreationUtils.addEdgeToCFA, INFO) line 58237: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->max_bio_bvecs)), __gu_p___23); (CFACreationUtils.addEdgeToCFA, INFO) line 58250: Dead code detected: put_unaligned_le64((unsigned long long )arg->max_bio_bvecs, __gu_p___23); (CFACreationUtils.addEdgeToCFA, INFO) line 58228: Dead code detected: Goto: switch_default___23 (CFACreationUtils.addEdgeToCFA, INFO) line 58284: Dead code detected: *((u8 *)__gu_p___24) = (u8 )57U; (CFACreationUtils.addEdgeToCFA, INFO) line 58296: Dead code detected: put_unaligned_le32(32825U, __gu_p___24); (CFACreationUtils.addEdgeToCFA, INFO) line 58302: Dead code detected: put_unaligned_le64(32825ULL, __gu_p___24); (CFACreationUtils.addEdgeToCFA, INFO) line 58280: Dead code detected: Goto: switch_default___24 (CFACreationUtils.addEdgeToCFA, INFO) line 58334: Dead code detected: *((u8 *)__gu_p___25) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 58346: Dead code detected: put_unaligned_le32(1U, __gu_p___25); (CFACreationUtils.addEdgeToCFA, INFO) line 58352: Dead code detected: put_unaligned_le64(1ULL, __gu_p___25); (CFACreationUtils.addEdgeToCFA, INFO) line 58330: Dead code detected: Goto: switch_default___25 (CFACreationUtils.addEdgeToCFA, INFO) line 58388: Dead code detected: *((u8 *)__gu_p___26) = (u8 )58U; (CFACreationUtils.addEdgeToCFA, INFO) line 58400: Dead code detected: put_unaligned_le32(32826U, __gu_p___26); (CFACreationUtils.addEdgeToCFA, INFO) line 58406: Dead code detected: put_unaligned_le64(32826ULL, __gu_p___26); (CFACreationUtils.addEdgeToCFA, INFO) line 58384: Dead code detected: Goto: switch_default___26 (CFACreationUtils.addEdgeToCFA, INFO) line 58438: Dead code detected: *((u8 *)__gu_p___27) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 58450: Dead code detected: put_unaligned_le32(1U, __gu_p___27); (CFACreationUtils.addEdgeToCFA, INFO) line 58456: Dead code detected: put_unaligned_le64(1ULL, __gu_p___27); (CFACreationUtils.addEdgeToCFA, INFO) line 58434: Dead code detected: Goto: switch_default___27 (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 58652: Dead code detected: *((u8 *)__gu_p) = (u8 )8U; (CFACreationUtils.addEdgeToCFA, INFO) line 58664: Dead code detected: put_unaligned_le32(57352U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 58670: Dead code detected: put_unaligned_le64(57352ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 58648: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) line 58702: Dead code detected: *((u8 *)__gu_p___0) = (unsigned char )arg->my_addr_len; (CFACreationUtils.addEdgeToCFA, INFO) line 58714: Dead code detected: put_unaligned_le32((unsigned int )arg->my_addr_len, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 58720: Dead code detected: put_unaligned_le64((unsigned long long )arg->my_addr_len, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 58698: Dead code detected: Goto: switch_default___0 (CFACreationUtils.addEdgeToCFA, INFO) line 58760: Dead code detected: *((u8 *)__gu_p___1) = (u8 )9U; (CFACreationUtils.addEdgeToCFA, INFO) line 58772: Dead code detected: put_unaligned_le32(57353U, __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 58778: Dead code detected: put_unaligned_le64(57353ULL, __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 58756: Dead code detected: Goto: switch_default___1 (CFACreationUtils.addEdgeToCFA, INFO) line 58810: Dead code detected: *((u8 *)__gu_p___2) = (unsigned char )arg->peer_addr_len; (CFACreationUtils.addEdgeToCFA, INFO) line 58822: Dead code detected: put_unaligned_le32((unsigned int )arg->peer_addr_len, __gu_p___2); (CFACreationUtils.addEdgeToCFA, INFO) line 58828: Dead code detected: put_unaligned_le64((unsigned long long )arg->peer_addr_len, __gu_p___2); (CFACreationUtils.addEdgeToCFA, INFO) line 58806: Dead code detected: Goto: switch_default___2 (CFACreationUtils.addEdgeToCFA, INFO) line 58868: Dead code detected: *((u8 *)__gu_p___3) = (u8 )10U; (CFACreationUtils.addEdgeToCFA, INFO) line 58880: Dead code detected: put_unaligned_le32(49162U, __gu_p___3); (CFACreationUtils.addEdgeToCFA, INFO) line 58886: Dead code detected: put_unaligned_le64(49162ULL, __gu_p___3); (CFACreationUtils.addEdgeToCFA, INFO) line 58864: Dead code detected: Goto: switch_default___3 (CFACreationUtils.addEdgeToCFA, INFO) line 58918: Dead code detected: *((u8 *)__gu_p___4) = (unsigned char )arg->shared_secret_len; (CFACreationUtils.addEdgeToCFA, INFO) line 58931: Dead code detected: put_unaligned_le32((unsigned int )arg->shared_secret_len, __gu_p___4); (CFACreationUtils.addEdgeToCFA, INFO) line 58937: Dead code detected: put_unaligned_le64((unsigned long long )arg->shared_secret_len, __gu_p___4); (CFACreationUtils.addEdgeToCFA, INFO) line 58914: Dead code detected: Goto: switch_default___4 (CFACreationUtils.addEdgeToCFA, INFO) line 58978: Dead code detected: *((u8 *)__gu_p___5) = (u8 )11U; (CFACreationUtils.addEdgeToCFA, INFO) line 58990: Dead code detected: put_unaligned_le32(49163U, __gu_p___5); (CFACreationUtils.addEdgeToCFA, INFO) line 58996: Dead code detected: put_unaligned_le64(49163ULL, __gu_p___5); (CFACreationUtils.addEdgeToCFA, INFO) line 58974: Dead code detected: Goto: switch_default___5 (CFACreationUtils.addEdgeToCFA, INFO) line 59028: Dead code detected: *((u8 *)__gu_p___6) = (unsigned char )arg->cram_hmac_alg_len; (CFACreationUtils.addEdgeToCFA, INFO) line 59041: Dead code detected: put_unaligned_le32((unsigned int )arg->cram_hmac_alg_len, __gu_p___6); (CFACreationUtils.addEdgeToCFA, INFO) line 59047: Dead code detected: put_unaligned_le64((unsigned long long )arg->cram_hmac_alg_len, __gu_p___6); (CFACreationUtils.addEdgeToCFA, INFO) line 59024: Dead code detected: Goto: switch_default___6 (CFACreationUtils.addEdgeToCFA, INFO) line 59088: Dead code detected: *((u8 *)__gu_p___7) = (u8 )44U; (CFACreationUtils.addEdgeToCFA, INFO) line 59100: Dead code detected: put_unaligned_le32(49196U, __gu_p___7); (CFACreationUtils.addEdgeToCFA, INFO) line 59106: Dead code detected: put_unaligned_le64(49196ULL, __gu_p___7); (CFACreationUtils.addEdgeToCFA, INFO) line 59084: Dead code detected: Goto: switch_default___7 (CFACreationUtils.addEdgeToCFA, INFO) line 59138: Dead code detected: *((u8 *)__gu_p___8) = (unsigned char )arg->integrity_alg_len; (CFACreationUtils.addEdgeToCFA, INFO) line 59151: Dead code detected: put_unaligned_le32((unsigned int )arg->integrity_alg_len, __gu_p___8); (CFACreationUtils.addEdgeToCFA, INFO) line 59157: Dead code detected: put_unaligned_le64((unsigned long long )arg->integrity_alg_len, __gu_p___8); (CFACreationUtils.addEdgeToCFA, INFO) line 59134: Dead code detected: Goto: switch_default___8 (CFACreationUtils.addEdgeToCFA, INFO) line 59198: Dead code detected: *((u8 *)__gu_p___9) = (u8 )14U; (CFACreationUtils.addEdgeToCFA, INFO) line 59210: Dead code detected: put_unaligned_le32(14U, __gu_p___9); (CFACreationUtils.addEdgeToCFA, INFO) line 59216: Dead code detected: put_unaligned_le64(14ULL, __gu_p___9); (CFACreationUtils.addEdgeToCFA, INFO) line 59194: Dead code detected: Goto: switch_default___9 (CFACreationUtils.addEdgeToCFA, INFO) line 59248: Dead code detected: *((u8 *)__gu_p___10) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 59260: Dead code detected: put_unaligned_le32(4U, __gu_p___10); (CFACreationUtils.addEdgeToCFA, INFO) line 59266: Dead code detected: put_unaligned_le64(4ULL, __gu_p___10); (CFACreationUtils.addEdgeToCFA, INFO) line 59244: Dead code detected: Goto: switch_default___10 (CFACreationUtils.addEdgeToCFA, INFO) line 59294: Dead code detected: *((u8 *)__gu_p___11) = (unsigned char )arg->timeout; (CFACreationUtils.addEdgeToCFA, INFO) line 59299: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->timeout)), __gu_p___11); (CFACreationUtils.addEdgeToCFA, INFO) line 59312: Dead code detected: put_unaligned_le64((unsigned long long )arg->timeout, __gu_p___11); (CFACreationUtils.addEdgeToCFA, INFO) line 59290: Dead code detected: Goto: switch_default___11 (CFACreationUtils.addEdgeToCFA, INFO) line 59346: Dead code detected: *((u8 *)__gu_p___12) = (u8 )15U; (CFACreationUtils.addEdgeToCFA, INFO) line 59358: Dead code detected: put_unaligned_le32(8207U, __gu_p___12); (CFACreationUtils.addEdgeToCFA, INFO) line 59364: Dead code detected: put_unaligned_le64(8207ULL, __gu_p___12); (CFACreationUtils.addEdgeToCFA, INFO) line 59342: Dead code detected: Goto: switch_default___12 (CFACreationUtils.addEdgeToCFA, INFO) line 59396: Dead code detected: *((u8 *)__gu_p___13) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 59408: Dead code detected: put_unaligned_le32(4U, __gu_p___13); (CFACreationUtils.addEdgeToCFA, INFO) line 59414: Dead code detected: put_unaligned_le64(4ULL, __gu_p___13); (CFACreationUtils.addEdgeToCFA, INFO) line 59392: Dead code detected: Goto: switch_default___13 (CFACreationUtils.addEdgeToCFA, INFO) line 59442: Dead code detected: *((u8 *)__gu_p___14) = (unsigned char )arg->wire_protocol; (CFACreationUtils.addEdgeToCFA, INFO) line 59447: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->wire_protocol)), __gu_p___14); (CFACreationUtils.addEdgeToCFA, INFO) line 59460: Dead code detected: put_unaligned_le64((unsigned long long )arg->wire_protocol, __gu_p___14); (CFACreationUtils.addEdgeToCFA, INFO) line 59438: Dead code detected: Goto: switch_default___14 (CFACreationUtils.addEdgeToCFA, INFO) line 59494: Dead code detected: *((u8 *)__gu_p___15) = (u8 )16U; (CFACreationUtils.addEdgeToCFA, INFO) line 59506: Dead code detected: put_unaligned_le32(16U, __gu_p___15); (CFACreationUtils.addEdgeToCFA, INFO) line 59512: Dead code detected: put_unaligned_le64(16ULL, __gu_p___15); (CFACreationUtils.addEdgeToCFA, INFO) line 59490: Dead code detected: Goto: switch_default___15 (CFACreationUtils.addEdgeToCFA, INFO) line 59544: Dead code detected: *((u8 *)__gu_p___16) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 59556: Dead code detected: put_unaligned_le32(4U, __gu_p___16); (CFACreationUtils.addEdgeToCFA, INFO) line 59562: Dead code detected: put_unaligned_le64(4ULL, __gu_p___16); (CFACreationUtils.addEdgeToCFA, INFO) line 59540: Dead code detected: Goto: switch_default___16 (CFACreationUtils.addEdgeToCFA, INFO) line 59590: Dead code detected: *((u8 *)__gu_p___17) = (unsigned char )arg->try_connect_int; (CFACreationUtils.addEdgeToCFA, INFO) line 59595: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->try_connect_int)), __gu_p___17); (CFACreationUtils.addEdgeToCFA, INFO) line 59608: Dead code detected: put_unaligned_le64((unsigned long long )arg->try_connect_int, __gu_p___17); (CFACreationUtils.addEdgeToCFA, INFO) line 59586: Dead code detected: Goto: switch_default___17 (CFACreationUtils.addEdgeToCFA, INFO) line 59642: Dead code detected: *((u8 *)__gu_p___18) = (u8 )17U; (CFACreationUtils.addEdgeToCFA, INFO) line 59654: Dead code detected: put_unaligned_le32(17U, __gu_p___18); (CFACreationUtils.addEdgeToCFA, INFO) line 59660: Dead code detected: put_unaligned_le64(17ULL, __gu_p___18); (CFACreationUtils.addEdgeToCFA, INFO) line 59638: Dead code detected: Goto: switch_default___18 (CFACreationUtils.addEdgeToCFA, INFO) line 59692: Dead code detected: *((u8 *)__gu_p___19) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 59704: Dead code detected: put_unaligned_le32(4U, __gu_p___19); (CFACreationUtils.addEdgeToCFA, INFO) line 59710: Dead code detected: put_unaligned_le64(4ULL, __gu_p___19); (CFACreationUtils.addEdgeToCFA, INFO) line 59688: Dead code detected: Goto: switch_default___19 (CFACreationUtils.addEdgeToCFA, INFO) line 59738: Dead code detected: *((u8 *)__gu_p___20) = (unsigned char )arg->ping_int; (CFACreationUtils.addEdgeToCFA, INFO) line 59743: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->ping_int)), __gu_p___20); (CFACreationUtils.addEdgeToCFA, INFO) line 59756: Dead code detected: put_unaligned_le64((unsigned long long )arg->ping_int, __gu_p___20); (CFACreationUtils.addEdgeToCFA, INFO) line 59734: Dead code detected: Goto: switch_default___20 (CFACreationUtils.addEdgeToCFA, INFO) line 59790: Dead code detected: *((u8 *)__gu_p___21) = (u8 )18U; (CFACreationUtils.addEdgeToCFA, INFO) line 59802: Dead code detected: put_unaligned_le32(18U, __gu_p___21); (CFACreationUtils.addEdgeToCFA, INFO) line 59808: Dead code detected: put_unaligned_le64(18ULL, __gu_p___21); (CFACreationUtils.addEdgeToCFA, INFO) line 59786: Dead code detected: Goto: switch_default___21 (CFACreationUtils.addEdgeToCFA, INFO) line 59840: Dead code detected: *((u8 *)__gu_p___22) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 59852: Dead code detected: put_unaligned_le32(4U, __gu_p___22); (CFACreationUtils.addEdgeToCFA, INFO) line 59858: Dead code detected: put_unaligned_le64(4ULL, __gu_p___22); (CFACreationUtils.addEdgeToCFA, INFO) line 59836: Dead code detected: Goto: switch_default___22 (CFACreationUtils.addEdgeToCFA, INFO) line 59886: Dead code detected: *((u8 *)__gu_p___23) = (unsigned char )arg->max_epoch_size; (CFACreationUtils.addEdgeToCFA, INFO) line 59891: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->max_epoch_size)), __gu_p___23); (CFACreationUtils.addEdgeToCFA, INFO) line 59904: Dead code detected: put_unaligned_le64((unsigned long long )arg->max_epoch_size, __gu_p___23); (CFACreationUtils.addEdgeToCFA, INFO) line 59882: Dead code detected: Goto: switch_default___23 (CFACreationUtils.addEdgeToCFA, INFO) line 59938: Dead code detected: *((u8 *)__gu_p___24) = (u8 )19U; (CFACreationUtils.addEdgeToCFA, INFO) line 59950: Dead code detected: put_unaligned_le32(19U, __gu_p___24); (CFACreationUtils.addEdgeToCFA, INFO) line 59956: Dead code detected: put_unaligned_le64(19ULL, __gu_p___24); (CFACreationUtils.addEdgeToCFA, INFO) line 59934: Dead code detected: Goto: switch_default___24 (CFACreationUtils.addEdgeToCFA, INFO) line 59988: Dead code detected: *((u8 *)__gu_p___25) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 60000: Dead code detected: put_unaligned_le32(4U, __gu_p___25); (CFACreationUtils.addEdgeToCFA, INFO) line 60006: Dead code detected: put_unaligned_le64(4ULL, __gu_p___25); (CFACreationUtils.addEdgeToCFA, INFO) line 59984: Dead code detected: Goto: switch_default___25 (CFACreationUtils.addEdgeToCFA, INFO) line 60034: Dead code detected: *((u8 *)__gu_p___26) = (unsigned char )arg->max_buffers; (CFACreationUtils.addEdgeToCFA, INFO) line 60039: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->max_buffers)), __gu_p___26); (CFACreationUtils.addEdgeToCFA, INFO) line 60052: Dead code detected: put_unaligned_le64((unsigned long long )arg->max_buffers, __gu_p___26); (CFACreationUtils.addEdgeToCFA, INFO) line 60030: Dead code detected: Goto: switch_default___26 (CFACreationUtils.addEdgeToCFA, INFO) line 60086: Dead code detected: *((u8 *)__gu_p___27) = (u8 )20U; (CFACreationUtils.addEdgeToCFA, INFO) line 60098: Dead code detected: put_unaligned_le32(20U, __gu_p___27); (CFACreationUtils.addEdgeToCFA, INFO) line 60104: Dead code detected: put_unaligned_le64(20ULL, __gu_p___27); (CFACreationUtils.addEdgeToCFA, INFO) line 60082: Dead code detected: Goto: switch_default___27 (CFACreationUtils.addEdgeToCFA, INFO) line 60136: Dead code detected: *((u8 *)__gu_p___28) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 60148: Dead code detected: put_unaligned_le32(4U, __gu_p___28); (CFACreationUtils.addEdgeToCFA, INFO) line 60154: Dead code detected: put_unaligned_le64(4ULL, __gu_p___28); (CFACreationUtils.addEdgeToCFA, INFO) line 60132: Dead code detected: Goto: switch_default___28 (CFACreationUtils.addEdgeToCFA, INFO) line 60182: Dead code detected: *((u8 *)__gu_p___29) = (unsigned char )arg->unplug_watermark; (CFACreationUtils.addEdgeToCFA, INFO) line 60187: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->unplug_watermark)), __gu_p___29); (CFACreationUtils.addEdgeToCFA, INFO) line 60200: Dead code detected: put_unaligned_le64((unsigned long long )arg->unplug_watermark, __gu_p___29); (CFACreationUtils.addEdgeToCFA, INFO) line 60178: Dead code detected: Goto: switch_default___29 (CFACreationUtils.addEdgeToCFA, INFO) line 60234: Dead code detected: *((u8 *)__gu_p___30) = (u8 )21U; (CFACreationUtils.addEdgeToCFA, INFO) line 60246: Dead code detected: put_unaligned_le32(21U, __gu_p___30); (CFACreationUtils.addEdgeToCFA, INFO) line 60252: Dead code detected: put_unaligned_le64(21ULL, __gu_p___30); (CFACreationUtils.addEdgeToCFA, INFO) line 60230: Dead code detected: Goto: switch_default___30 (CFACreationUtils.addEdgeToCFA, INFO) line 60284: Dead code detected: *((u8 *)__gu_p___31) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 60296: Dead code detected: put_unaligned_le32(4U, __gu_p___31); (CFACreationUtils.addEdgeToCFA, INFO) line 60302: Dead code detected: put_unaligned_le64(4ULL, __gu_p___31); (CFACreationUtils.addEdgeToCFA, INFO) line 60280: Dead code detected: Goto: switch_default___31 (CFACreationUtils.addEdgeToCFA, INFO) line 60330: Dead code detected: *((u8 *)__gu_p___32) = (unsigned char )arg->sndbuf_size; (CFACreationUtils.addEdgeToCFA, INFO) line 60335: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->sndbuf_size)), __gu_p___32); (CFACreationUtils.addEdgeToCFA, INFO) line 60348: Dead code detected: put_unaligned_le64((unsigned long long )arg->sndbuf_size, __gu_p___32); (CFACreationUtils.addEdgeToCFA, INFO) line 60326: Dead code detected: Goto: switch_default___32 (CFACreationUtils.addEdgeToCFA, INFO) line 60382: Dead code detected: *((u8 *)__gu_p___33) = (u8 )22U; (CFACreationUtils.addEdgeToCFA, INFO) line 60394: Dead code detected: put_unaligned_le32(22U, __gu_p___33); (CFACreationUtils.addEdgeToCFA, INFO) line 60400: Dead code detected: put_unaligned_le64(22ULL, __gu_p___33); (CFACreationUtils.addEdgeToCFA, INFO) line 60378: Dead code detected: Goto: switch_default___33 (CFACreationUtils.addEdgeToCFA, INFO) line 60432: Dead code detected: *((u8 *)__gu_p___34) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 60444: Dead code detected: put_unaligned_le32(4U, __gu_p___34); (CFACreationUtils.addEdgeToCFA, INFO) line 60450: Dead code detected: put_unaligned_le64(4ULL, __gu_p___34); (CFACreationUtils.addEdgeToCFA, INFO) line 60428: Dead code detected: Goto: switch_default___34 (CFACreationUtils.addEdgeToCFA, INFO) line 60478: Dead code detected: *((u8 *)__gu_p___35) = (unsigned char )arg->ko_count; (CFACreationUtils.addEdgeToCFA, INFO) line 60483: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->ko_count)), __gu_p___35); (CFACreationUtils.addEdgeToCFA, INFO) line 60496: Dead code detected: put_unaligned_le64((unsigned long long )arg->ko_count, __gu_p___35); (CFACreationUtils.addEdgeToCFA, INFO) line 60474: Dead code detected: Goto: switch_default___35 (CFACreationUtils.addEdgeToCFA, INFO) line 60530: Dead code detected: *((u8 *)__gu_p___36) = (u8 )24U; (CFACreationUtils.addEdgeToCFA, INFO) line 60542: Dead code detected: put_unaligned_le32(24U, __gu_p___36); (CFACreationUtils.addEdgeToCFA, INFO) line 60548: Dead code detected: put_unaligned_le64(24ULL, __gu_p___36); (CFACreationUtils.addEdgeToCFA, INFO) line 60526: Dead code detected: Goto: switch_default___36 (CFACreationUtils.addEdgeToCFA, INFO) line 60580: Dead code detected: *((u8 *)__gu_p___37) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 60592: Dead code detected: put_unaligned_le32(4U, __gu_p___37); (CFACreationUtils.addEdgeToCFA, INFO) line 60598: Dead code detected: put_unaligned_le64(4ULL, __gu_p___37); (CFACreationUtils.addEdgeToCFA, INFO) line 60576: Dead code detected: Goto: switch_default___37 (CFACreationUtils.addEdgeToCFA, INFO) line 60626: Dead code detected: *((u8 *)__gu_p___38) = (unsigned char )arg->after_sb_0p; (CFACreationUtils.addEdgeToCFA, INFO) line 60631: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->after_sb_0p)), __gu_p___38); (CFACreationUtils.addEdgeToCFA, INFO) line 60644: Dead code detected: put_unaligned_le64((unsigned long long )arg->after_sb_0p, __gu_p___38); (CFACreationUtils.addEdgeToCFA, INFO) line 60622: Dead code detected: Goto: switch_default___38 (CFACreationUtils.addEdgeToCFA, INFO) line 60678: Dead code detected: *((u8 *)__gu_p___39) = (u8 )25U; (CFACreationUtils.addEdgeToCFA, INFO) line 60690: Dead code detected: put_unaligned_le32(25U, __gu_p___39); (CFACreationUtils.addEdgeToCFA, INFO) line 60696: Dead code detected: put_unaligned_le64(25ULL, __gu_p___39); (CFACreationUtils.addEdgeToCFA, INFO) line 60674: Dead code detected: Goto: switch_default___39 (CFACreationUtils.addEdgeToCFA, INFO) line 60728: Dead code detected: *((u8 *)__gu_p___40) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 60740: Dead code detected: put_unaligned_le32(4U, __gu_p___40); (CFACreationUtils.addEdgeToCFA, INFO) line 60746: Dead code detected: put_unaligned_le64(4ULL, __gu_p___40); (CFACreationUtils.addEdgeToCFA, INFO) line 60724: Dead code detected: Goto: switch_default___40 (CFACreationUtils.addEdgeToCFA, INFO) line 60774: Dead code detected: *((u8 *)__gu_p___41) = (unsigned char )arg->after_sb_1p; (CFACreationUtils.addEdgeToCFA, INFO) line 60779: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->after_sb_1p)), __gu_p___41); (CFACreationUtils.addEdgeToCFA, INFO) line 60792: Dead code detected: put_unaligned_le64((unsigned long long )arg->after_sb_1p, __gu_p___41); (CFACreationUtils.addEdgeToCFA, INFO) line 60770: Dead code detected: Goto: switch_default___41 (CFACreationUtils.addEdgeToCFA, INFO) line 60826: Dead code detected: *((u8 *)__gu_p___42) = (u8 )26U; (CFACreationUtils.addEdgeToCFA, INFO) line 60838: Dead code detected: put_unaligned_le32(26U, __gu_p___42); (CFACreationUtils.addEdgeToCFA, INFO) line 60844: Dead code detected: put_unaligned_le64(26ULL, __gu_p___42); (CFACreationUtils.addEdgeToCFA, INFO) line 60822: Dead code detected: Goto: switch_default___42 (CFACreationUtils.addEdgeToCFA, INFO) line 60876: Dead code detected: *((u8 *)__gu_p___43) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 60888: Dead code detected: put_unaligned_le32(4U, __gu_p___43); (CFACreationUtils.addEdgeToCFA, INFO) line 60894: Dead code detected: put_unaligned_le64(4ULL, __gu_p___43); (CFACreationUtils.addEdgeToCFA, INFO) line 60872: Dead code detected: Goto: switch_default___43 (CFACreationUtils.addEdgeToCFA, INFO) line 60922: Dead code detected: *((u8 *)__gu_p___44) = (unsigned char )arg->after_sb_2p; (CFACreationUtils.addEdgeToCFA, INFO) line 60927: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->after_sb_2p)), __gu_p___44); (CFACreationUtils.addEdgeToCFA, INFO) line 60940: Dead code detected: put_unaligned_le64((unsigned long long )arg->after_sb_2p, __gu_p___44); (CFACreationUtils.addEdgeToCFA, INFO) line 60918: Dead code detected: Goto: switch_default___44 (CFACreationUtils.addEdgeToCFA, INFO) line 60974: Dead code detected: *((u8 *)__gu_p___45) = (u8 )39U; (CFACreationUtils.addEdgeToCFA, INFO) line 60986: Dead code detected: put_unaligned_le32(39U, __gu_p___45); (CFACreationUtils.addEdgeToCFA, INFO) line 60992: Dead code detected: put_unaligned_le64(39ULL, __gu_p___45); (CFACreationUtils.addEdgeToCFA, INFO) line 60970: Dead code detected: Goto: switch_default___45 (CFACreationUtils.addEdgeToCFA, INFO) line 61024: Dead code detected: *((u8 *)__gu_p___46) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 61036: Dead code detected: put_unaligned_le32(4U, __gu_p___46); (CFACreationUtils.addEdgeToCFA, INFO) line 61042: Dead code detected: put_unaligned_le64(4ULL, __gu_p___46); (CFACreationUtils.addEdgeToCFA, INFO) line 61020: Dead code detected: Goto: switch_default___46 (CFACreationUtils.addEdgeToCFA, INFO) line 61070: Dead code detected: *((u8 *)__gu_p___47) = (unsigned char )arg->rr_conflict; (CFACreationUtils.addEdgeToCFA, INFO) line 61075: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->rr_conflict)), __gu_p___47); (CFACreationUtils.addEdgeToCFA, INFO) line 61088: Dead code detected: put_unaligned_le64((unsigned long long )arg->rr_conflict, __gu_p___47); (CFACreationUtils.addEdgeToCFA, INFO) line 61066: Dead code detected: Goto: switch_default___47 (CFACreationUtils.addEdgeToCFA, INFO) line 61122: Dead code detected: *((u8 *)__gu_p___48) = (u8 )40U; (CFACreationUtils.addEdgeToCFA, INFO) line 61134: Dead code detected: put_unaligned_le32(40U, __gu_p___48); (CFACreationUtils.addEdgeToCFA, INFO) line 61140: Dead code detected: put_unaligned_le64(40ULL, __gu_p___48); (CFACreationUtils.addEdgeToCFA, INFO) line 61118: Dead code detected: Goto: switch_default___48 (CFACreationUtils.addEdgeToCFA, INFO) line 61172: Dead code detected: *((u8 *)__gu_p___49) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 61184: Dead code detected: put_unaligned_le32(4U, __gu_p___49); (CFACreationUtils.addEdgeToCFA, INFO) line 61190: Dead code detected: put_unaligned_le64(4ULL, __gu_p___49); (CFACreationUtils.addEdgeToCFA, INFO) line 61168: Dead code detected: Goto: switch_default___49 (CFACreationUtils.addEdgeToCFA, INFO) line 61218: Dead code detected: *((u8 *)__gu_p___50) = (unsigned char )arg->ping_timeo; (CFACreationUtils.addEdgeToCFA, INFO) line 61223: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->ping_timeo)), __gu_p___50); (CFACreationUtils.addEdgeToCFA, INFO) line 61236: Dead code detected: put_unaligned_le64((unsigned long long )arg->ping_timeo, __gu_p___50); (CFACreationUtils.addEdgeToCFA, INFO) line 61214: Dead code detected: Goto: switch_default___50 (CFACreationUtils.addEdgeToCFA, INFO) line 61270: Dead code detected: *((u8 *)__gu_p___51) = (u8 )67U; (CFACreationUtils.addEdgeToCFA, INFO) line 61282: Dead code detected: put_unaligned_le32(67U, __gu_p___51); (CFACreationUtils.addEdgeToCFA, INFO) line 61288: Dead code detected: put_unaligned_le64(67ULL, __gu_p___51); (CFACreationUtils.addEdgeToCFA, INFO) line 61266: Dead code detected: Goto: switch_default___51 (CFACreationUtils.addEdgeToCFA, INFO) line 61320: Dead code detected: *((u8 *)__gu_p___52) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 61332: Dead code detected: put_unaligned_le32(4U, __gu_p___52); (CFACreationUtils.addEdgeToCFA, INFO) line 61338: Dead code detected: put_unaligned_le64(4ULL, __gu_p___52); (CFACreationUtils.addEdgeToCFA, INFO) line 61316: Dead code detected: Goto: switch_default___52 (CFACreationUtils.addEdgeToCFA, INFO) line 61366: Dead code detected: *((u8 *)__gu_p___53) = (unsigned char )arg->rcvbuf_size; (CFACreationUtils.addEdgeToCFA, INFO) line 61371: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->rcvbuf_size)), __gu_p___53); (CFACreationUtils.addEdgeToCFA, INFO) line 61384: Dead code detected: put_unaligned_le64((unsigned long long )arg->rcvbuf_size, __gu_p___53); (CFACreationUtils.addEdgeToCFA, INFO) line 61362: Dead code detected: Goto: switch_default___53 (CFACreationUtils.addEdgeToCFA, INFO) line 61418: Dead code detected: *((u8 *)__gu_p___54) = (u8 )81U; (CFACreationUtils.addEdgeToCFA, INFO) line 61430: Dead code detected: put_unaligned_le32(81U, __gu_p___54); (CFACreationUtils.addEdgeToCFA, INFO) line 61436: Dead code detected: put_unaligned_le64(81ULL, __gu_p___54); (CFACreationUtils.addEdgeToCFA, INFO) line 61414: Dead code detected: Goto: switch_default___54 (CFACreationUtils.addEdgeToCFA, INFO) line 61468: Dead code detected: *((u8 *)__gu_p___55) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 61480: Dead code detected: put_unaligned_le32(4U, __gu_p___55); (CFACreationUtils.addEdgeToCFA, INFO) line 61486: Dead code detected: put_unaligned_le64(4ULL, __gu_p___55); (CFACreationUtils.addEdgeToCFA, INFO) line 61464: Dead code detected: Goto: switch_default___55 (CFACreationUtils.addEdgeToCFA, INFO) line 61514: Dead code detected: *((u8 *)__gu_p___56) = (unsigned char )arg->on_congestion; (CFACreationUtils.addEdgeToCFA, INFO) line 61519: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->on_congestion)), __gu_p___56); (CFACreationUtils.addEdgeToCFA, INFO) line 61532: Dead code detected: put_unaligned_le64((unsigned long long )arg->on_congestion, __gu_p___56); (CFACreationUtils.addEdgeToCFA, INFO) line 61510: Dead code detected: Goto: switch_default___56 (CFACreationUtils.addEdgeToCFA, INFO) line 61566: Dead code detected: *((u8 *)__gu_p___57) = (u8 )82U; (CFACreationUtils.addEdgeToCFA, INFO) line 61578: Dead code detected: put_unaligned_le32(82U, __gu_p___57); (CFACreationUtils.addEdgeToCFA, INFO) line 61584: Dead code detected: put_unaligned_le64(82ULL, __gu_p___57); (CFACreationUtils.addEdgeToCFA, INFO) line 61562: Dead code detected: Goto: switch_default___57 (CFACreationUtils.addEdgeToCFA, INFO) line 61616: Dead code detected: *((u8 *)__gu_p___58) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 61628: Dead code detected: put_unaligned_le32(4U, __gu_p___58); (CFACreationUtils.addEdgeToCFA, INFO) line 61634: Dead code detected: put_unaligned_le64(4ULL, __gu_p___58); (CFACreationUtils.addEdgeToCFA, INFO) line 61612: Dead code detected: Goto: switch_default___58 (CFACreationUtils.addEdgeToCFA, INFO) line 61662: Dead code detected: *((u8 *)__gu_p___59) = (unsigned char )arg->cong_fill; (CFACreationUtils.addEdgeToCFA, INFO) line 61667: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->cong_fill)), __gu_p___59); (CFACreationUtils.addEdgeToCFA, INFO) line 61680: Dead code detected: put_unaligned_le64((unsigned long long )arg->cong_fill, __gu_p___59); (CFACreationUtils.addEdgeToCFA, INFO) line 61658: Dead code detected: Goto: switch_default___59 (CFACreationUtils.addEdgeToCFA, INFO) line 61714: Dead code detected: *((u8 *)__gu_p___60) = (u8 )83U; (CFACreationUtils.addEdgeToCFA, INFO) line 61726: Dead code detected: put_unaligned_le32(83U, __gu_p___60); (CFACreationUtils.addEdgeToCFA, INFO) line 61732: Dead code detected: put_unaligned_le64(83ULL, __gu_p___60); (CFACreationUtils.addEdgeToCFA, INFO) line 61710: Dead code detected: Goto: switch_default___60 (CFACreationUtils.addEdgeToCFA, INFO) line 61764: Dead code detected: *((u8 *)__gu_p___61) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 61776: Dead code detected: put_unaligned_le32(4U, __gu_p___61); (CFACreationUtils.addEdgeToCFA, INFO) line 61782: Dead code detected: put_unaligned_le64(4ULL, __gu_p___61); (CFACreationUtils.addEdgeToCFA, INFO) line 61760: Dead code detected: Goto: switch_default___61 (CFACreationUtils.addEdgeToCFA, INFO) line 61810: Dead code detected: *((u8 *)__gu_p___62) = (unsigned char )arg->cong_extents; (CFACreationUtils.addEdgeToCFA, INFO) line 61815: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->cong_extents)), __gu_p___62); (CFACreationUtils.addEdgeToCFA, INFO) line 61828: Dead code detected: put_unaligned_le64((unsigned long long )arg->cong_extents, __gu_p___62); (CFACreationUtils.addEdgeToCFA, INFO) line 61806: Dead code detected: Goto: switch_default___62 (CFACreationUtils.addEdgeToCFA, INFO) line 61862: Dead code detected: *((u8 *)__gu_p___63) = (u8 )60U; (CFACreationUtils.addEdgeToCFA, INFO) line 61874: Dead code detected: put_unaligned_le32(41020U, __gu_p___63); (CFACreationUtils.addEdgeToCFA, INFO) line 61880: Dead code detected: put_unaligned_le64(41020ULL, __gu_p___63); (CFACreationUtils.addEdgeToCFA, INFO) line 61858: Dead code detected: Goto: switch_default___63 (CFACreationUtils.addEdgeToCFA, INFO) line 61912: Dead code detected: *((u8 *)__gu_p___64) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 61924: Dead code detected: put_unaligned_le32(1U, __gu_p___64); (CFACreationUtils.addEdgeToCFA, INFO) line 61930: Dead code detected: put_unaligned_le64(1ULL, __gu_p___64); (CFACreationUtils.addEdgeToCFA, INFO) line 61908: Dead code detected: Goto: switch_default___64 (CFACreationUtils.addEdgeToCFA, INFO) line 61966: Dead code detected: *((u8 *)__gu_p___65) = (u8 )27U; (CFACreationUtils.addEdgeToCFA, INFO) line 61978: Dead code detected: put_unaligned_le32(32795U, __gu_p___65); (CFACreationUtils.addEdgeToCFA, INFO) line 61984: Dead code detected: put_unaligned_le64(32795ULL, __gu_p___65); (CFACreationUtils.addEdgeToCFA, INFO) line 61962: Dead code detected: Goto: switch_default___65 (CFACreationUtils.addEdgeToCFA, INFO) line 62016: Dead code detected: *((u8 *)__gu_p___66) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 62028: Dead code detected: put_unaligned_le32(1U, __gu_p___66); (CFACreationUtils.addEdgeToCFA, INFO) line 62034: Dead code detected: put_unaligned_le64(1ULL, __gu_p___66); (CFACreationUtils.addEdgeToCFA, INFO) line 62012: Dead code detected: Goto: switch_default___66 (CFACreationUtils.addEdgeToCFA, INFO) line 62070: Dead code detected: *((u8 *)__gu_p___67) = (u8 )28U; (CFACreationUtils.addEdgeToCFA, INFO) line 62082: Dead code detected: put_unaligned_le32(32796U, __gu_p___67); (CFACreationUtils.addEdgeToCFA, INFO) line 62088: Dead code detected: put_unaligned_le64(32796ULL, __gu_p___67); (CFACreationUtils.addEdgeToCFA, INFO) line 62066: Dead code detected: Goto: switch_default___67 (CFACreationUtils.addEdgeToCFA, INFO) line 62120: Dead code detected: *((u8 *)__gu_p___68) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 62132: Dead code detected: put_unaligned_le32(1U, __gu_p___68); (CFACreationUtils.addEdgeToCFA, INFO) line 62138: Dead code detected: put_unaligned_le64(1ULL, __gu_p___68); (CFACreationUtils.addEdgeToCFA, INFO) line 62116: Dead code detected: Goto: switch_default___68 (CFACreationUtils.addEdgeToCFA, INFO) line 62174: Dead code detected: *((u8 *)__gu_p___69) = (u8 )41U; (CFACreationUtils.addEdgeToCFA, INFO) line 62186: Dead code detected: put_unaligned_le32(32809U, __gu_p___69); (CFACreationUtils.addEdgeToCFA, INFO) line 62192: Dead code detected: put_unaligned_le64(32809ULL, __gu_p___69); (CFACreationUtils.addEdgeToCFA, INFO) line 62170: Dead code detected: Goto: switch_default___69 (CFACreationUtils.addEdgeToCFA, INFO) line 62224: Dead code detected: *((u8 *)__gu_p___70) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 62236: Dead code detected: put_unaligned_le32(1U, __gu_p___70); (CFACreationUtils.addEdgeToCFA, INFO) line 62242: Dead code detected: put_unaligned_le64(1ULL, __gu_p___70); (CFACreationUtils.addEdgeToCFA, INFO) line 62220: Dead code detected: Goto: switch_default___70 (CFACreationUtils.addEdgeToCFA, INFO) line 62278: Dead code detected: *((u8 *)__gu_p___71) = (u8 )61U; (CFACreationUtils.addEdgeToCFA, INFO) line 62290: Dead code detected: put_unaligned_le32(32829U, __gu_p___71); (CFACreationUtils.addEdgeToCFA, INFO) line 62296: Dead code detected: put_unaligned_le64(32829ULL, __gu_p___71); (CFACreationUtils.addEdgeToCFA, INFO) line 62274: Dead code detected: Goto: switch_default___71 (CFACreationUtils.addEdgeToCFA, INFO) line 62328: Dead code detected: *((u8 *)__gu_p___72) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 62340: Dead code detected: put_unaligned_le32(1U, __gu_p___72); (CFACreationUtils.addEdgeToCFA, INFO) line 62346: Dead code detected: put_unaligned_le64(1ULL, __gu_p___72); (CFACreationUtils.addEdgeToCFA, INFO) line 62324: Dead code detected: Goto: switch_default___72 (CFACreationUtils.addEdgeToCFA, INFO) line 62382: Dead code detected: *((u8 *)__gu_p___73) = (u8 )62U; (CFACreationUtils.addEdgeToCFA, INFO) line 62394: Dead code detected: put_unaligned_le32(41022U, __gu_p___73); (CFACreationUtils.addEdgeToCFA, INFO) line 62400: Dead code detected: put_unaligned_le64(41022ULL, __gu_p___73); (CFACreationUtils.addEdgeToCFA, INFO) line 62378: Dead code detected: Goto: switch_default___73 (CFACreationUtils.addEdgeToCFA, INFO) line 62432: Dead code detected: *((u8 *)__gu_p___74) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 62444: Dead code detected: put_unaligned_le32(1U, __gu_p___74); (CFACreationUtils.addEdgeToCFA, INFO) line 62450: Dead code detected: put_unaligned_le64(1ULL, __gu_p___74); (CFACreationUtils.addEdgeToCFA, INFO) line 62428: Dead code detected: Goto: switch_default___74 (CFACreationUtils.addEdgeToCFA, INFO) line 62486: Dead code detected: *((u8 *)__gu_p___75) = (u8 )70U; (CFACreationUtils.addEdgeToCFA, INFO) line 62498: Dead code detected: put_unaligned_le32(41030U, __gu_p___75); (CFACreationUtils.addEdgeToCFA, INFO) line 62504: Dead code detected: put_unaligned_le64(41030ULL, __gu_p___75); (CFACreationUtils.addEdgeToCFA, INFO) line 62482: Dead code detected: Goto: switch_default___75 (CFACreationUtils.addEdgeToCFA, INFO) line 62536: Dead code detected: *((u8 *)__gu_p___76) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 62548: Dead code detected: put_unaligned_le32(1U, __gu_p___76); (CFACreationUtils.addEdgeToCFA, INFO) line 62554: Dead code detected: put_unaligned_le64(1ULL, __gu_p___76); (CFACreationUtils.addEdgeToCFA, INFO) line 62532: Dead code detected: Goto: switch_default___76 (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 62669: Dead code detected: *((u8 *)__gu_p) = (u8 )30U; (CFACreationUtils.addEdgeToCFA, INFO) line 62681: Dead code detected: put_unaligned_le32(30U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 62687: Dead code detected: put_unaligned_le64(30ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 62665: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) line 62719: Dead code detected: *((u8 *)__gu_p___0) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 62731: Dead code detected: put_unaligned_le32(4U, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 62737: Dead code detected: put_unaligned_le64(4ULL, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 62715: Dead code detected: Goto: switch_default___0 (CFACreationUtils.addEdgeToCFA, INFO) line 62765: Dead code detected: *((u8 *)__gu_p___1) = (unsigned char )arg->rate; (CFACreationUtils.addEdgeToCFA, INFO) line 62770: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->rate)), __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 62783: Dead code detected: put_unaligned_le64((unsigned long long )arg->rate, __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 62761: Dead code detected: Goto: switch_default___1 (CFACreationUtils.addEdgeToCFA, INFO) line 62817: Dead code detected: *((u8 *)__gu_p___2) = (u8 )31U; (CFACreationUtils.addEdgeToCFA, INFO) line 62829: Dead code detected: put_unaligned_le32(31U, __gu_p___2); (CFACreationUtils.addEdgeToCFA, INFO) line 62835: Dead code detected: put_unaligned_le64(31ULL, __gu_p___2); (CFACreationUtils.addEdgeToCFA, INFO) line 62813: Dead code detected: Goto: switch_default___2 (CFACreationUtils.addEdgeToCFA, INFO) line 62867: Dead code detected: *((u8 *)__gu_p___3) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 62879: Dead code detected: put_unaligned_le32(4U, __gu_p___3); (CFACreationUtils.addEdgeToCFA, INFO) line 62885: Dead code detected: put_unaligned_le64(4ULL, __gu_p___3); (CFACreationUtils.addEdgeToCFA, INFO) line 62863: Dead code detected: Goto: switch_default___3 (CFACreationUtils.addEdgeToCFA, INFO) line 62913: Dead code detected: *((u8 *)__gu_p___4) = (unsigned char )arg->after; (CFACreationUtils.addEdgeToCFA, INFO) line 62918: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->after)), __gu_p___4); (CFACreationUtils.addEdgeToCFA, INFO) line 62931: Dead code detected: put_unaligned_le64((unsigned long long )arg->after, __gu_p___4); (CFACreationUtils.addEdgeToCFA, INFO) line 62909: Dead code detected: Goto: switch_default___4 (CFACreationUtils.addEdgeToCFA, INFO) line 62965: Dead code detected: *((u8 *)__gu_p___5) = (u8 )32U; (CFACreationUtils.addEdgeToCFA, INFO) line 62977: Dead code detected: put_unaligned_le32(32U, __gu_p___5); (CFACreationUtils.addEdgeToCFA, INFO) line 62983: Dead code detected: put_unaligned_le64(32ULL, __gu_p___5); (CFACreationUtils.addEdgeToCFA, INFO) line 62961: Dead code detected: Goto: switch_default___5 (CFACreationUtils.addEdgeToCFA, INFO) line 63015: Dead code detected: *((u8 *)__gu_p___6) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 63027: Dead code detected: put_unaligned_le32(4U, __gu_p___6); (CFACreationUtils.addEdgeToCFA, INFO) line 63033: Dead code detected: put_unaligned_le64(4ULL, __gu_p___6); (CFACreationUtils.addEdgeToCFA, INFO) line 63011: Dead code detected: Goto: switch_default___6 (CFACreationUtils.addEdgeToCFA, INFO) line 63061: Dead code detected: *((u8 *)__gu_p___7) = (unsigned char )arg->al_extents; (CFACreationUtils.addEdgeToCFA, INFO) line 63066: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->al_extents)), __gu_p___7); (CFACreationUtils.addEdgeToCFA, INFO) line 63079: Dead code detected: put_unaligned_le64((unsigned long long )arg->al_extents, __gu_p___7); (CFACreationUtils.addEdgeToCFA, INFO) line 63057: Dead code detected: Goto: switch_default___7 (CFACreationUtils.addEdgeToCFA, INFO) line 63113: Dead code detected: *((u8 *)__gu_p___8) = (u8 )52U; (CFACreationUtils.addEdgeToCFA, INFO) line 63125: Dead code detected: put_unaligned_le32(49204U, __gu_p___8); (CFACreationUtils.addEdgeToCFA, INFO) line 63131: Dead code detected: put_unaligned_le64(49204ULL, __gu_p___8); (CFACreationUtils.addEdgeToCFA, INFO) line 63109: Dead code detected: Goto: switch_default___8 (CFACreationUtils.addEdgeToCFA, INFO) line 63163: Dead code detected: *((u8 *)__gu_p___9) = (unsigned char )arg->verify_alg_len; (CFACreationUtils.addEdgeToCFA, INFO) line 63175: Dead code detected: put_unaligned_le32((unsigned int )arg->verify_alg_len, __gu_p___9); (CFACreationUtils.addEdgeToCFA, INFO) line 63181: Dead code detected: put_unaligned_le64((unsigned long long )arg->verify_alg_len, __gu_p___9); (CFACreationUtils.addEdgeToCFA, INFO) line 63159: Dead code detected: Goto: switch_default___9 (CFACreationUtils.addEdgeToCFA, INFO) line 63221: Dead code detected: *((u8 *)__gu_p___10) = (u8 )51U; (CFACreationUtils.addEdgeToCFA, INFO) line 63233: Dead code detected: put_unaligned_le32(49203U, __gu_p___10); (CFACreationUtils.addEdgeToCFA, INFO) line 63239: Dead code detected: put_unaligned_le64(49203ULL, __gu_p___10); (CFACreationUtils.addEdgeToCFA, INFO) line 63217: Dead code detected: Goto: switch_default___10 (CFACreationUtils.addEdgeToCFA, INFO) line 63271: Dead code detected: *((u8 *)__gu_p___11) = (unsigned char )arg->cpu_mask_len; (CFACreationUtils.addEdgeToCFA, INFO) line 63283: Dead code detected: put_unaligned_le32((unsigned int )arg->cpu_mask_len, __gu_p___11); (CFACreationUtils.addEdgeToCFA, INFO) line 63289: Dead code detected: put_unaligned_le64((unsigned long long )arg->cpu_mask_len, __gu_p___11); (CFACreationUtils.addEdgeToCFA, INFO) line 63267: Dead code detected: Goto: switch_default___11 (CFACreationUtils.addEdgeToCFA, INFO) line 63329: Dead code detected: *((u8 *)__gu_p___12) = (u8 )64U; (CFACreationUtils.addEdgeToCFA, INFO) line 63341: Dead code detected: put_unaligned_le32(49216U, __gu_p___12); (CFACreationUtils.addEdgeToCFA, INFO) line 63347: Dead code detected: put_unaligned_le64(49216ULL, __gu_p___12); (CFACreationUtils.addEdgeToCFA, INFO) line 63325: Dead code detected: Goto: switch_default___12 (CFACreationUtils.addEdgeToCFA, INFO) line 63379: Dead code detected: *((u8 *)__gu_p___13) = (unsigned char )arg->csums_alg_len; (CFACreationUtils.addEdgeToCFA, INFO) line 63391: Dead code detected: put_unaligned_le32((unsigned int )arg->csums_alg_len, __gu_p___13); (CFACreationUtils.addEdgeToCFA, INFO) line 63397: Dead code detected: put_unaligned_le64((unsigned long long )arg->csums_alg_len, __gu_p___13); (CFACreationUtils.addEdgeToCFA, INFO) line 63375: Dead code detected: Goto: switch_default___13 (CFACreationUtils.addEdgeToCFA, INFO) line 63437: Dead code detected: *((u8 *)__gu_p___14) = (u8 )65U; (CFACreationUtils.addEdgeToCFA, INFO) line 63449: Dead code detected: put_unaligned_le32(32833U, __gu_p___14); (CFACreationUtils.addEdgeToCFA, INFO) line 63455: Dead code detected: put_unaligned_le64(32833ULL, __gu_p___14); (CFACreationUtils.addEdgeToCFA, INFO) line 63433: Dead code detected: Goto: switch_default___14 (CFACreationUtils.addEdgeToCFA, INFO) line 63487: Dead code detected: *((u8 *)__gu_p___15) = (u8 )1U; (CFACreationUtils.addEdgeToCFA, INFO) line 63499: Dead code detected: put_unaligned_le32(1U, __gu_p___15); (CFACreationUtils.addEdgeToCFA, INFO) line 63505: Dead code detected: put_unaligned_le64(1ULL, __gu_p___15); (CFACreationUtils.addEdgeToCFA, INFO) line 63483: Dead code detected: Goto: switch_default___15 (CFACreationUtils.addEdgeToCFA, INFO) line 63541: Dead code detected: *((u8 *)__gu_p___16) = (u8 )75U; (CFACreationUtils.addEdgeToCFA, INFO) line 63553: Dead code detected: put_unaligned_le32(75U, __gu_p___16); (CFACreationUtils.addEdgeToCFA, INFO) line 63559: Dead code detected: put_unaligned_le64(75ULL, __gu_p___16); (CFACreationUtils.addEdgeToCFA, INFO) line 63537: Dead code detected: Goto: switch_default___16 (CFACreationUtils.addEdgeToCFA, INFO) line 63591: Dead code detected: *((u8 *)__gu_p___17) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 63603: Dead code detected: put_unaligned_le32(4U, __gu_p___17); (CFACreationUtils.addEdgeToCFA, INFO) line 63609: Dead code detected: put_unaligned_le64(4ULL, __gu_p___17); (CFACreationUtils.addEdgeToCFA, INFO) line 63587: Dead code detected: Goto: switch_default___17 (CFACreationUtils.addEdgeToCFA, INFO) line 63637: Dead code detected: *((u8 *)__gu_p___18) = (unsigned char )arg->on_no_data; (CFACreationUtils.addEdgeToCFA, INFO) line 63642: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->on_no_data)), __gu_p___18); (CFACreationUtils.addEdgeToCFA, INFO) line 63655: Dead code detected: put_unaligned_le64((unsigned long long )arg->on_no_data, __gu_p___18); (CFACreationUtils.addEdgeToCFA, INFO) line 63633: Dead code detected: Goto: switch_default___18 (CFACreationUtils.addEdgeToCFA, INFO) line 63689: Dead code detected: *((u8 *)__gu_p___19) = (u8 )76U; (CFACreationUtils.addEdgeToCFA, INFO) line 63701: Dead code detected: put_unaligned_le32(76U, __gu_p___19); (CFACreationUtils.addEdgeToCFA, INFO) line 63707: Dead code detected: put_unaligned_le64(76ULL, __gu_p___19); (CFACreationUtils.addEdgeToCFA, INFO) line 63685: Dead code detected: Goto: switch_default___19 (CFACreationUtils.addEdgeToCFA, INFO) line 63739: Dead code detected: *((u8 *)__gu_p___20) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 63751: Dead code detected: put_unaligned_le32(4U, __gu_p___20); (CFACreationUtils.addEdgeToCFA, INFO) line 63757: Dead code detected: put_unaligned_le64(4ULL, __gu_p___20); (CFACreationUtils.addEdgeToCFA, INFO) line 63735: Dead code detected: Goto: switch_default___20 (CFACreationUtils.addEdgeToCFA, INFO) line 63785: Dead code detected: *((u8 *)__gu_p___21) = (unsigned char )arg->c_plan_ahead; (CFACreationUtils.addEdgeToCFA, INFO) line 63790: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->c_plan_ahead)), __gu_p___21); (CFACreationUtils.addEdgeToCFA, INFO) line 63803: Dead code detected: put_unaligned_le64((unsigned long long )arg->c_plan_ahead, __gu_p___21); (CFACreationUtils.addEdgeToCFA, INFO) line 63781: Dead code detected: Goto: switch_default___21 (CFACreationUtils.addEdgeToCFA, INFO) line 63837: Dead code detected: *((u8 *)__gu_p___22) = (u8 )77U; (CFACreationUtils.addEdgeToCFA, INFO) line 63849: Dead code detected: put_unaligned_le32(77U, __gu_p___22); (CFACreationUtils.addEdgeToCFA, INFO) line 63855: Dead code detected: put_unaligned_le64(77ULL, __gu_p___22); (CFACreationUtils.addEdgeToCFA, INFO) line 63833: Dead code detected: Goto: switch_default___22 (CFACreationUtils.addEdgeToCFA, INFO) line 63887: Dead code detected: *((u8 *)__gu_p___23) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 63899: Dead code detected: put_unaligned_le32(4U, __gu_p___23); (CFACreationUtils.addEdgeToCFA, INFO) line 63905: Dead code detected: put_unaligned_le64(4ULL, __gu_p___23); (CFACreationUtils.addEdgeToCFA, INFO) line 63883: Dead code detected: Goto: switch_default___23 (CFACreationUtils.addEdgeToCFA, INFO) line 63933: Dead code detected: *((u8 *)__gu_p___24) = (unsigned char )arg->c_delay_target; (CFACreationUtils.addEdgeToCFA, INFO) line 63938: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->c_delay_target)), __gu_p___24); (CFACreationUtils.addEdgeToCFA, INFO) line 63951: Dead code detected: put_unaligned_le64((unsigned long long )arg->c_delay_target, __gu_p___24); (CFACreationUtils.addEdgeToCFA, INFO) line 63929: Dead code detected: Goto: switch_default___24 (CFACreationUtils.addEdgeToCFA, INFO) line 63985: Dead code detected: *((u8 *)__gu_p___25) = (u8 )78U; (CFACreationUtils.addEdgeToCFA, INFO) line 63997: Dead code detected: put_unaligned_le32(78U, __gu_p___25); (CFACreationUtils.addEdgeToCFA, INFO) line 64003: Dead code detected: put_unaligned_le64(78ULL, __gu_p___25); (CFACreationUtils.addEdgeToCFA, INFO) line 63981: Dead code detected: Goto: switch_default___25 (CFACreationUtils.addEdgeToCFA, INFO) line 64035: Dead code detected: *((u8 *)__gu_p___26) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 64047: Dead code detected: put_unaligned_le32(4U, __gu_p___26); (CFACreationUtils.addEdgeToCFA, INFO) line 64053: Dead code detected: put_unaligned_le64(4ULL, __gu_p___26); (CFACreationUtils.addEdgeToCFA, INFO) line 64031: Dead code detected: Goto: switch_default___26 (CFACreationUtils.addEdgeToCFA, INFO) line 64081: Dead code detected: *((u8 *)__gu_p___27) = (unsigned char )arg->c_fill_target; (CFACreationUtils.addEdgeToCFA, INFO) line 64086: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->c_fill_target)), __gu_p___27); (CFACreationUtils.addEdgeToCFA, INFO) line 64099: Dead code detected: put_unaligned_le64((unsigned long long )arg->c_fill_target, __gu_p___27); (CFACreationUtils.addEdgeToCFA, INFO) line 64077: Dead code detected: Goto: switch_default___27 (CFACreationUtils.addEdgeToCFA, INFO) line 64133: Dead code detected: *((u8 *)__gu_p___28) = (u8 )79U; (CFACreationUtils.addEdgeToCFA, INFO) line 64145: Dead code detected: put_unaligned_le32(79U, __gu_p___28); (CFACreationUtils.addEdgeToCFA, INFO) line 64151: Dead code detected: put_unaligned_le64(79ULL, __gu_p___28); (CFACreationUtils.addEdgeToCFA, INFO) line 64129: Dead code detected: Goto: switch_default___28 (CFACreationUtils.addEdgeToCFA, INFO) line 64183: Dead code detected: *((u8 *)__gu_p___29) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 64195: Dead code detected: put_unaligned_le32(4U, __gu_p___29); (CFACreationUtils.addEdgeToCFA, INFO) line 64201: Dead code detected: put_unaligned_le64(4ULL, __gu_p___29); (CFACreationUtils.addEdgeToCFA, INFO) line 64179: Dead code detected: Goto: switch_default___29 (CFACreationUtils.addEdgeToCFA, INFO) line 64229: Dead code detected: *((u8 *)__gu_p___30) = (unsigned char )arg->c_max_rate; (CFACreationUtils.addEdgeToCFA, INFO) line 64234: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->c_max_rate)), __gu_p___30); (CFACreationUtils.addEdgeToCFA, INFO) line 64247: Dead code detected: put_unaligned_le64((unsigned long long )arg->c_max_rate, __gu_p___30); (CFACreationUtils.addEdgeToCFA, INFO) line 64225: Dead code detected: Goto: switch_default___30 (CFACreationUtils.addEdgeToCFA, INFO) line 64281: Dead code detected: *((u8 *)__gu_p___31) = (u8 )80U; (CFACreationUtils.addEdgeToCFA, INFO) line 64293: Dead code detected: put_unaligned_le32(80U, __gu_p___31); (CFACreationUtils.addEdgeToCFA, INFO) line 64299: Dead code detected: put_unaligned_le64(80ULL, __gu_p___31); (CFACreationUtils.addEdgeToCFA, INFO) line 64277: Dead code detected: Goto: switch_default___31 (CFACreationUtils.addEdgeToCFA, INFO) line 64331: Dead code detected: *((u8 *)__gu_p___32) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 64343: Dead code detected: put_unaligned_le32(4U, __gu_p___32); (CFACreationUtils.addEdgeToCFA, INFO) line 64349: Dead code detected: put_unaligned_le64(4ULL, __gu_p___32); (CFACreationUtils.addEdgeToCFA, INFO) line 64327: Dead code detected: Goto: switch_default___32 (CFACreationUtils.addEdgeToCFA, INFO) line 64377: Dead code detected: *((u8 *)__gu_p___33) = (unsigned char )arg->c_min_rate; (CFACreationUtils.addEdgeToCFA, INFO) line 64382: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->c_min_rate)), __gu_p___33); (CFACreationUtils.addEdgeToCFA, INFO) line 64395: Dead code detected: put_unaligned_le64((unsigned long long )arg->c_min_rate, __gu_p___33); (CFACreationUtils.addEdgeToCFA, INFO) line 64373: Dead code detected: Goto: switch_default___33 (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 64446: Dead code detected: *((u8 *)__gu_p) = (u8 )33U; (CFACreationUtils.addEdgeToCFA, INFO) line 64458: Dead code detected: put_unaligned_le32(33U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 64464: Dead code detected: put_unaligned_le64(33ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 64442: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) line 64496: Dead code detected: *((u8 *)__gu_p___0) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 64508: Dead code detected: put_unaligned_le32(4U, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 64514: Dead code detected: put_unaligned_le64(4ULL, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 64492: Dead code detected: Goto: switch_default___0 (CFACreationUtils.addEdgeToCFA, INFO) line 64542: Dead code detected: *((u8 *)__gu_p___1) = (unsigned char )arg->state_i; (CFACreationUtils.addEdgeToCFA, INFO) line 64547: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )arg->state_i)), __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 64560: Dead code detected: put_unaligned_le64((unsigned long long )arg->state_i, __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 64538: Dead code detected: Goto: switch_default___1 (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 70259: Dead code detected: *((u8 *)__gu_p) = (u8 )0U; (CFACreationUtils.addEdgeToCFA, INFO) line 70271: Dead code detected: put_unaligned_le32(0U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 70277: Dead code detected: put_unaligned_le64(0ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 70255: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 70360: Dead code detected: *((u8 *)__gu_p) = (u8 )0U; (CFACreationUtils.addEdgeToCFA, INFO) line 70372: Dead code detected: put_unaligned_le32(0U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 70378: Dead code detected: put_unaligned_le64(0ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 70356: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 70443: Dead code detected: *((u8 *)__gu_p) = (u8 )0U; (CFACreationUtils.addEdgeToCFA, INFO) line 70455: Dead code detected: put_unaligned_le32(0U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 70461: Dead code detected: put_unaligned_le64(0ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 70439: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 70525: Dead code detected: *((u8 *)__gu_p) = (u8 )0U; (CFACreationUtils.addEdgeToCFA, INFO) line 70537: Dead code detected: put_unaligned_le32(0U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 70543: Dead code detected: put_unaligned_le64(0ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 70521: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 71061: Dead code detected: *((u8 *)__gu_p) = (unsigned char )tag; (CFACreationUtils.addEdgeToCFA, INFO) line 71073: Dead code detected: put_unaligned_le32((unsigned int )tag, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71079: Dead code detected: put_unaligned_le64((unsigned long long )tag, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71057: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) line 71111: Dead code detected: *((u8 *)__gu_p___0) = (unsigned char )len; (CFACreationUtils.addEdgeToCFA, INFO) line 71123: Dead code detected: put_unaligned_le32((unsigned int )len, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 71129: Dead code detected: put_unaligned_le64((unsigned long long )len, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 71107: Dead code detected: Goto: switch_default___0 (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 71224: Dead code detected: *((u8 *)__gu_p) = (unsigned char )tag; (CFACreationUtils.addEdgeToCFA, INFO) line 71236: Dead code detected: put_unaligned_le32((unsigned int )tag, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71242: Dead code detected: put_unaligned_le64((unsigned long long )tag, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71220: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) line 71289: Dead code detected: *((u8 *)__gu_p___0) = (u8 )4U; (CFACreationUtils.addEdgeToCFA, INFO) line 71301: Dead code detected: put_unaligned_le32(4U, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 71307: Dead code detected: put_unaligned_le64(4ULL, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 71285: Dead code detected: Goto: switch_default___0 (CFACreationUtils.addEdgeToCFA, INFO) line 71335: Dead code detected: *((u8 *)__gu_p___1) = (unsigned char )*((int *)val); (CFACreationUtils.addEdgeToCFA, INFO) line 71340: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )*((int *)val))), __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 71353: Dead code detected: put_unaligned_le64((unsigned long long )*((int *)val), __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 71331: Dead code detected: Goto: switch_default___1 (CFACreationUtils.addEdgeToCFA, INFO) line 71390: Dead code detected: *((u8 *)__gu_p___2) = (u8 )8U; (CFACreationUtils.addEdgeToCFA, INFO) line 71402: Dead code detected: put_unaligned_le32(8U, __gu_p___2); (CFACreationUtils.addEdgeToCFA, INFO) line 71408: Dead code detected: put_unaligned_le64(8ULL, __gu_p___2); (CFACreationUtils.addEdgeToCFA, INFO) line 71386: Dead code detected: Goto: switch_default___2 (CFACreationUtils.addEdgeToCFA, INFO) line 71436: Dead code detected: *((u8 *)__gu_p___3) = (unsigned char )*((u64 *)val); (CFACreationUtils.addEdgeToCFA, INFO) line 71441: Dead code detected: put_unaligned_le16((u16 )((int )((unsigned short )*((u64 *)val))), __gu_p___3); (CFACreationUtils.addEdgeToCFA, INFO) line 71447: Dead code detected: put_unaligned_le32((unsigned int )*((u64 *)val), __gu_p___3); (CFACreationUtils.addEdgeToCFA, INFO) line 71432: Dead code detected: Goto: switch_default___3 (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 71521: Dead code detected: *((u8 *)__gu_p) = (u8 )0U; (CFACreationUtils.addEdgeToCFA, INFO) line 71533: Dead code detected: put_unaligned_le32(0U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71539: Dead code detected: put_unaligned_le64(0ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71517: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 71620: Dead code detected: *((u8 *)__gu_p) = (u8 )0U; (CFACreationUtils.addEdgeToCFA, INFO) line 71632: Dead code detected: put_unaligned_le32(0U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71638: Dead code detected: put_unaligned_le64(0ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71616: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 71795: Dead code detected: *((u8 *)__gu_p) = (u8 )50U; (CFACreationUtils.addEdgeToCFA, INFO) line 71807: Dead code detected: put_unaligned_le32(49202U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71813: Dead code detected: put_unaligned_le64(49202ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 71791: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) line 71845: Dead code detected: *((u8 *)__gu_p___0) = (unsigned char )len; (CFACreationUtils.addEdgeToCFA, INFO) line 71857: Dead code detected: put_unaligned_le32(len, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 71863: Dead code detected: put_unaligned_le64((unsigned long long )len, __gu_p___0); (CFACreationUtils.addEdgeToCFA, INFO) line 71841: Dead code detected: Goto: switch_default___0 (CFACreationUtils.addEdgeToCFA, INFO) line 71959: Dead code detected: *((u8 *)__gu_p___1) = (u8 )0U; (CFACreationUtils.addEdgeToCFA, INFO) line 71971: Dead code detected: put_unaligned_le32(0U, __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 71977: Dead code detected: put_unaligned_le64(0ULL, __gu_p___1); (CFACreationUtils.addEdgeToCFA, INFO) line 71955: Dead code detected: Goto: switch_default___1 (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) line 72078: Dead code detected: *((u8 *)__gu_p) = (u8 )0U; (CFACreationUtils.addEdgeToCFA, INFO) line 72090: Dead code detected: put_unaligned_le32(0U, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 72096: Dead code detected: put_unaligned_le64(0ULL, __gu_p); (CFACreationUtils.addEdgeToCFA, INFO) line 72074: Dead code detected: Goto: switch_default (CFACreationUtils.addEdgeToCFA, INFO) Dead code detected: Label switch_default is not reachable. (CFAFunctionBuilder.leave, INFO) Inline assembler ignored, analysis is probably unsound! (CFABuilder.createCFA, WARNING) lines 50201-50202: Function pointer *(mdev->data.socket->ops->sendpage) with type ssize_t (*)(struct socket *, struct page *, int, size_t , int) is called, but no possible target functions were found. (CFunctionPointerResolver.replaceFunctionPointerCall, WARNING) line 20096: Function pointer *(tmp->digest) with type int (*)(struct hash_desc *, struct scatterlist *, unsigned int, u8 *) is called, but no possible target functions were found. (CFunctionPointerResolver.replaceFunctionPointerCall, WARNING) line 14658: Function pointer *(sock->ops->setsockopt) with type int (*)(struct socket *, int, int, char *, unsigned int) is called, but no possible target functions were found. (CFunctionPointerResolver.replaceFunctionPointerCall, WARNING) lines 22681-22682: Function pointer *(sock->ops->connect) with type int (*)(struct socket *, struct sockaddr *, int, int) is called, but no possible target functions were found. (CFunctionPointerResolver.replaceFunctionPointerCall, WARNING) Handling of pointer aliasing is disabled, analysis is unsound if aliased pointers exist. (PredicateCPA:PathFormulaManagerImpl., WARNING) Using predicate analysis with SMTInterpol 2.1-174-ga199d47-comp and JFactory 1.21. (PredicateCPA:PredicateCPA., INFO) Using refinement for predicate analysis with PredicateAbstractionRefinementStrategy strategy. (PredicateCPA:PredicateCPARefiner., INFO) The following configuration options were specified but are not used: cpa.predicate.memoryAllocationsAlwaysSucceed cpa.predicate.maxPreFilledAllocationSize (CPAchecker.printConfigurationWarnings, WARNING) Starting analysis ... (CPAchecker.runAlgorithm, INFO) Program contains array, or pointer (multiple level of indirection), or field (enable handleFieldAccess and handleFieldAliasing) access; analysis is imprecise in case of aliasing. (PredicateCPA:CtoFormulaConverter.makeVariableUnsafe, WARNING) Assuming external function ldv_initialize to be a constant function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function cn_add_callback to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function register_blkdev to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function register_reboot_notifier to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function __init_waitqueue_head to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function kmem_cache_create to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function mempool_create to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function __raw_spin_lock_init to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function alloc_pages_current to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function mempool_destroy to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function kmem_cache_destroy to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function __free_pages to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function proc_create_data to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function __rwlock_init to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function unregister_reboot_notifier to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function remove_proc_entry to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function cn_del_callback to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function unregister_blkdev to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function dev_err to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function del_gendisk to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function bdput to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function mutex_lock_nested to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function kernel_sock_shutdown to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function sock_release to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function mutex_unlock to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function blkdev_put to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function _raw_spin_lock_irq to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function _raw_spin_unlock_irq to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function _raw_spin_lock to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function _raw_spin_unlock to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function put_page to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function dev_warn to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function __wake_up to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function mempool_free to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function lc_destroy to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function vfree to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function put_disk to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function blk_cleanup_queue to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function free_cpumask_var to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function _raw_spin_lock_irqsave to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function __list_add to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function up to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function _raw_spin_unlock_irqrestore to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Assuming external function ldv_check_return_value to be a pure function. (PredicateCPA:ExpressionToFormulaVisitor.visit, INFO) Stopping analysis ... (CPAchecker.runAlgorithm, INFO) PredicateCPA statistics ----------------------- Number of abstractions: 1152 (4% of all post computations) Times abstraction was reused: 0 Because of function entry/exit: 0 (0%) Because of loop head: 1152 (100%) Because of join nodes: 0 (0%) Because of threshold: 0 (0%) Times precision was empty: 638 (55%) Times precision was {false}: 0 (0%) Times result was cached: 430 (37%) Times cartesian abs was used: 0 (0%) Times boolean abs was used: 84 (7%) Times result was 'false': 5 (0%) Number of strengthen sat checks: 11 Times result was 'false': 10 (91%) Number of coverage checks: 4227 BDD entailment checks: 663 Number of SMT sat checks: 11 trivial: 0 cached: 2 Max ABE block size: 76 Number of predicates discovered: 2 Number of abstraction locations: 0 Max number of predicates per location: 0 Avg number of predicates per location: 0 Total predicates per abstraction: 168 Max number of predicates per abstraction: 2 Avg number of predicates per abstraction: 2.00 Number of irrelevant predicates: 0 (0%) Number of preds handled by boolean abs: 168 (100%) Total number of models for allsat: 80 Max number of models for allsat: 1 Avg number of models for allsat: 0.95 Number of path formula cache hits: 14659 (47%) Time for post operator: 1.453s Time for path formula creation: 1.240s Actual computation: 1.151s Time for strengthen operator: 0.196s Time for satisfiability checks: 0.121s Time for prec operator: 2.086s Time for abstraction: 2.041s (Max: 0.102s, Count: 1152) Boolean abstraction: 0.556s Solving time: 0.358s (Max: 0.020s) Model enumeration time: 0.085s Time for BDD construction: 0.003s (Max: 0.001s) Time for merge operator: 0.146s Time for coverage check: 0.032s Time for BDD entailment checks: 0.029s Total time for SMT solver (w/o itp): 0.564s Number of BDD nodes: 203 Size of BDD node table: 10007 Size of BDD node cleanup queue: 0 (count: 1644, min: 0, max: 0, avg: 0,00) Time for BDD node cleanup: 0.004s Time for BDD garbage collection: 0.000s (in 0 runs) PrecisionBootstrap statistics ----------------------------- Init. function predicates: 0 Init. global predicates: 0 Init. location predicates: 0 AutomatonAnalysis (SVCOMP) statistics ------------------------------------- Number of states: 1 Total time for successor computation: 0.110s Automaton transfers with branching: 0 Automaton transfer successors: 46000 (count: 46000, min: 1, max: 1, avg: 1,00) [1 x 46000] CPA algorithm statistics ------------------------ Number of iterations: 27528 Max size of waitlist: 29 Average size of waitlist: 18 Number of computed successors: 29983 Max successors for one state: 2 Number of times merged: 1782 Number of times stopped: 2445 Number of times breaked: 1 Total time for CPA algorithm: 5.606s (Max: 3.416s) Time for choose from waitlist: 0.088s Time for precision adjustment: 2.197s Time for transfer relation: 2.385s Time for merge operator: 0.232s Time for stop operator: 0.128s Time for adding to reached set: 0.181s Predicate-Abstraction Refiner statistics ---------------------------------------- Avg. length of target path (in blocks): 4 (count: 1, min: 4, max: 4, avg: 4,00) Time for refinement: 0.531s Counterexample analysis: 0.159s (Max: 0.159s, Calls: 1) Refinement sat check: 0.138s Interpolant computation: 0.000s Error path post-processing: 0.000s Path-formulas extraction: 0.000s Building the counterexample trace: 0.159s Extracting precise counterexample: 0.000s Predicate creation: 0.000s Precision update: 0.000s ARG update: 0.000s Length of refined path (in blocks): 0 (count: 0, min: 0, max: 0, avg: 0,00) Number of affected states: 0 (count: 0, min: 0, max: 0, avg: 0,00) Length (states) of path with itp 'true': 0 (count: 0, min: 0, max: 0, avg: 0,00) Length (states) of path with itp non-trivial itp: 0 (count: 0, min: 0, max: 0, avg: 0,00) Length (states) of path with itp 'false': 0 (count: 0, min: 0, max: 0, avg: 0,00) Different non-trivial interpolants along paths: 0 (count: 0, min: 0, max: 0, avg: 0,00) Equal non-trivial interpolants along paths: 0 (count: 0, min: 0, max: 0, avg: 0,00) Different precisions along paths: 0 (count: 0, min: 0, max: 0, avg: 0,00) Equal precisions along paths: 0 (count: 0, min: 0, max: 0, avg: 0,00) Number of refs with location-based cutoff: 0 CEGAR algorithm statistics -------------------------- Number of refinements: 1 Number of successful refinements: 1 Number of failed refinements: 0 Max. size of reached set before ref.: 15184 Max. size of reached set after ref.: 1 Avg. size of reached set before ref.: 15184.00 Avg. size of reached set after ref.: 1.00 Total time for CEGAR algorithm: 6.145s Time for refinements: 0.538s Average time for refinement: 0.538s Max time for refinement: 0.538s Counterexample-Check Algorithm statistics ----------------------------------------- Number of counterexample checks: 0 CPAchecker general statistics ----------------------------- Number of program locations: 20163 Number of functions: 678 Number of loops: 173 Size of reached set: 12356 Number of reached locations: 728 (4%) Avg states per location: 16 Max states per location: 120 (at node N3469) Number of reached functions: 55 (8%) Number of partitions: 12356 Avg size of partitions: 1 Max size of partitions: 1 Number of target states: 0 Time for analysis setup: 10.117s Time for loading CPAs: 0.662s Time for loading parser: 0.416s Time for CFA construction: 8.998s Time for parsing file(s): 2.600s Time for AST to CFA: 3.848s Time for CFA sanity check: 0.000s Time for post-processing: 2.136s Time for var class.: 0.000s Time for Analysis: 6.171s CPU time for analysis: 6.170s Total time for CPAchecker: 16.288s Total CPU time for CPAchecker: 16.270s Time for Garbage Collector: 0.264s (in 4 runs) Garbage Collector(s) used: PS MarkSweep, PS Scavenge Used heap memory: 387MB ( 369 MiB) max; 188MB ( 179 MiB) avg; 402MB ( 383 MiB) peak Used non-heap memory: 27MB ( 26 MiB) max; 19MB ( 18 MiB) avg; 27MB ( 26 MiB) peak Used in PS Old Gen pool: 69MB ( 65 MiB) max; 40MB ( 38 MiB) avg; 69MB ( 65 MiB) peak Allocated heap memory: 902MB ( 860 MiB) max; 698MB ( 666 MiB) avg Allocated non-heap memory: 28MB ( 27 MiB) max; 26MB ( 24 MiB) avg Total process virtual memory: 4901MB ( 4674 MiB) max; 4899MB ( 4672 MiB) avg Verification result: TRUE. No property violation found by chosen configuration. More details about the verification run can be found in the directory "./output".