./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/softsign_w32_r4_case_1_unsafe.c-amalgamation.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/symbiotic.2023-11-28_20-34-48.files/SV-COMP24_unreach-call/softsign_w32_r4_case_1_unsafe.c-amalgamation.yml/witness.yml --sets ana.specification /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/properties/unreach-call.prp --sets exp.architecture 32bit /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i


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


[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[0;33m[Warning] --sets is deprecated, use --set instead.[0;0;00m
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1153:1-1153:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1154:1-1154:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1569:1-1569:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1582:1-1582:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1583:1-1583:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1998:1-1998:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2011:1-2011:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2012:1-2012:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2427:1-2427:41 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3074:5-3076:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3080:5-3084:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3088:5-3098:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3102:5-3104:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3108:5-3110:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3116:5-3120:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3121:5-3123:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3124:5-3126:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3128:5-3130:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3134:5-3136:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3140:5-3142:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3146:5-3150:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3153:5-3157:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3160:5-3164:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3167:5-3171:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3175:5-3182:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3191:13-3193:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3204:13-3206:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3216:9-3218:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3225:5-3228:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3252:9-3256:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3265:9-3269:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3275:5-3277:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3278:5-3280:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3283:5-3285:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3286:5-3288:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3289:5-3291:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3292:5-3294:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3295:5-3297:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3298:5-3300:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3303:9-3305:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3311:9-3313:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3322:13-3324:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3326:13-3328:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3332:13-3334:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3336:13-3338:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3346:9-3348:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3365:5-3367:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3410:5-3412:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3415:5-3417:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3419:5-3421:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3436:17-3438:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3447:17-3449:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3454:9-3456:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3470:5-3472:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3486:17-3488:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3497:17-3499:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3504:9-3506:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3540:5-3543:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3548:9-3550:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3553:9-3555:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3557:9-3559:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3561:5-3563:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3565:5-3567:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3583:17-3585:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3594:17-3596:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3601:9-3603:9 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:10:5-12:5 with factor 12
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:21:9-27:9 with factor 4
[Info] unrolling loop at lib/libc/stub/src/stdlib.c:40:3-45:3 with factor 6
[Info] no thread creation -> disabling thread analyses "race, deadlock, maylocks, symb_locks, thread, threadid, threadJoins, threadreturn, mhp, region"
[Info] math function -> enabling tmpSpecial analysis and floating-point domain
[Info] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Info][Witness] couldn't parse entry: find uuid
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1009:5-1009:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1009:5-1009:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1009:5-1009:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1009:5-1009:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1010:5-1010:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1010:5-1010:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1010:5-1010:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1010:5-1010:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1011:5-1011:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1011:5-1011:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1011:5-1011:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1011:5-1011:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1012:5-1012:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1012:5-1012:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1012:5-1012:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1012:5-1012:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1013:5-1013:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1013:5-1013:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1013:5-1013:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1013:5-1013:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1014:5-1014:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1014:5-1014:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1014:5-1014:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1014:5-1014:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1015:5-1015:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1015:5-1015:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1015:5-1015:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1015:5-1015:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1016:5-1016:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1016:5-1016:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1016:5-1016:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1016:5-1016:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1017:5-1017:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1017:5-1017:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1017:5-1017:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1017:5-1017:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1018:5-1018:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1018:5-1018:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1018:5-1018:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1018:5-1018:57)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1019:5-1019:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1019:5-1019:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1019:5-1019:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1019:5-1019:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1020:5-1020:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1020:5-1020:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1020:5-1020:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1020:5-1020:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1021:5-1021:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1021:5-1021:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1021:5-1021:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1021:5-1021:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1022:5-1022:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1022:5-1022:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1022:5-1022:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1022:5-1022:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1023:5-1023:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1023:5-1023:59)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1023:5-1023:59)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1023:5-1023:59)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3494:13-3495:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3467:5-3467:81)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3205:17-3205:65)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3207:13-3207:35)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3207:13-3207:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3468:5-3468:79)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Operand of unary expression could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] Second operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] First operand of arithmetic operation could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3141:9-3141:41)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1025:5-1025:58)
[Warning][Deadcode] Function '__bswap_16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:183:1-187:1)
[Warning][Deadcode] Function '__bswap_32' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:188:1-192:1)
[Warning][Deadcode] Function '__bswap_64' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:193:15-197:1)
[Warning][Deadcode] Function '__uint16_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:198:1-202:1)
[Warning][Deadcode] Function '__uint32_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:203:1-207:1)
[Warning][Deadcode] Function '__uint64_identity' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:208:1-212:1)
[Warning][Deadcode] Function 'hop_softsign_w32_r1' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1150:1-1574:2)
[Warning][Deadcode] Function 'hop_softsign_w32_r1_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1575:1-1576:1)
[Warning][Deadcode] Function 'hop_softsign_w32_r1_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1577:1-1578:1)
[Warning][Deadcode] Function 'hop_softsign_w32_r2' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:1579:1-2003:2)
[Warning][Deadcode] Function 'hop_softsign_w32_r2_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2004:1-2005:1)
[Warning][Deadcode] Function 'hop_softsign_w32_r2_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2006:1-2007:1)
[Warning][Deadcode] Function 'hop_softsign_w32_r3' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2008:1-2432:2)
[Warning][Deadcode] Function 'hop_softsign_w32_r3_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2433:1-2434:1)
[Warning][Deadcode] Function 'hop_softsign_w32_r3_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2435:1-2436:1)
[Warning][Deadcode] Function 'hop_softsign_w32_r4_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2862:1-2863:1)
[Warning][Deadcode] Function 'hop_softsign_w32_r4_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2864:1-2865:1)
[Warning][Deadcode] Function 'k2c_linear_func' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3070:1-3071:1)
[Warning][Deadcode] Function 'k2c_exponential_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3073:1-3077:1)
[Warning][Deadcode] Function 'k2c_relu_func' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3079:1-3085:1)
[Warning][Deadcode] Function 'k2c_hard_sigmoid_func' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3087:1-3099:1)
[Warning][Deadcode] Function 'k2c_tanh_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3101:1-3105:1)
[Warning][Deadcode] Function 'k2c_sigmoid_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3107:1-3111:1)
[Warning][Deadcode] Function 'k2c_softmax_func' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3113:1-3131:1)
[Warning][Deadcode] Function 'k2c_softplus_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3133:1-3137:1)
[Warning][Deadcode] Function 'k2c_LeakyReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3145:1-3151:1)
[Warning][Deadcode] Function 'k2c_PReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3152:1-3158:1)
[Warning][Deadcode] Function 'k2c_ELU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3159:1-3165:1)
[Warning][Deadcode] Function 'k2c_ThresholdedReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3166:1-3172:1)
[Warning][Deadcode] Function 'k2c_ReLU' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3173:1-3183:1)
[Warning][Deadcode] Function 'k2c_matmul' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3184:1-3196:1)
[Warning][Deadcode] Function 'k2c_sub2idx' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3211:1-3222:1)
[Warning][Deadcode] Function 'k2c_idx2sub' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3223:1-3229:1)
[Warning][Deadcode] Function 'k2c_dot' is uncalled: 71 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3230:1-3343:1)
[Warning][Deadcode] Function 'k2c_bias_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3344:1-3350:1)
[Warning][Deadcode] Function 'k2c_read_array' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3351:1-3370:1)
[Warning][Deadcode] Function 'k2c_lstmcell' is uncalled: 45 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3371:1-3422:1)
[Warning][Deadcode] Function 'k2c_lstm' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3423:1-3458:1)
[Warning][Deadcode] Function 'k2c_grucell' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3509:1-3568:1)
[Warning][Deadcode] Function 'k2c_gru' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3569:1-3605:1)
[Warning][Deadcode] Function 'k2c_simpleRNN' has dead code:
  on lines 3482..3483 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3482-3483)
  on lines 3485..3487 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3485-3487)
  on lines 3504..3505 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3504-3505)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 20 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:20-20)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 108
  dead: 354 (346 in uncalled functions)
  total lines: 462
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-571] condition 'i < (size_t )size' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3140:9-3140:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-571] condition 'i < (size_t )units' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3470:9-3470:34)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition '! return_sequences' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3503:9-3503:26)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:19:53-19:54)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-571] condition 'k < (size_t )innerdim' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3204:17-3204:49)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-571] condition 'return_sequences' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3496:17-3496:33)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2856:1-2856:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-571] condition 'j___0 < (size_t )units' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3497:21-3497:46)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'go_backwards' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:3481:9-3481:21)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 32U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2441:1-2441:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 128U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:974:5-974:64)
[Warning][Deadcode][CWE-570] condition 'tmp >= 64U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w32_r4_case_1_unsafe.c-amalgamation.i:2440:1-2440:35)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 1
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 1
SV-COMP result: ERROR (witness error)
