./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_w4_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_w4_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_w4_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_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1111:1-1111:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1112:1-1112:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1125:1-1125:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1138:1-1138:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1139:1-1139:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1152:1-1152:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1165:1-1165:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1166:1-1166:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1179:1-1179:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1193:1-1193:32 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1206:1-1206:37 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1424:5-1426:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1430:5-1434:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1438:5-1448:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1452:5-1454:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1458:5-1460:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1466:5-1470:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1471:5-1473:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1474:5-1476:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1478:5-1480:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1484:5-1486:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1490:5-1492:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1496:5-1500:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1503:5-1507:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1510:5-1514:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1517:5-1521:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1525:5-1532:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1541:13-1543:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1554:13-1556:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1566:9-1568:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1575:5-1578:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1602:9-1606:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1615:9-1619:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1625:5-1627:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1628:5-1630:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1633:5-1635:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1636:5-1638:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1639:5-1641:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1642:5-1644:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1645:5-1647:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1648:5-1650:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1653:9-1655:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1661:9-1663:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1672:13-1674:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1676:13-1678:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1682:13-1684:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1686:13-1688:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1696:9-1698:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1715:5-1717:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1760:5-1762:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1765:5-1767:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1769:5-1771:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1786:17-1788:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1797:17-1799:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1804:9-1806:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1820:5-1822:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1836:17-1838:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1847:17-1849:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1854:9-1856:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1890:5-1893:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1898:9-1900:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1903:9-1905:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1907:9-1909:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1911:5-1913:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1915:5-1917:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1933:17-1935:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1944:17-1946:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1951:9-1953: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_w4_r4_case_1_unsafe.c-amalgamation.i:981:5-981:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:981:5-981: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_w4_r4_case_1_unsafe.c-amalgamation.i:981:5-981:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:981:5-981:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1844:13-1845:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1817:5-1817: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_w4_r4_case_1_unsafe.c-amalgamation.i:1555:17-1555: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_w4_r4_case_1_unsafe.c-amalgamation.i:1555:17-1555: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_w4_r4_case_1_unsafe.c-amalgamation.i:1555:17-1555: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_w4_r4_case_1_unsafe.c-amalgamation.i:1555:17-1555: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_w4_r4_case_1_unsafe.c-amalgamation.i:1555:17-1555: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_w4_r4_case_1_unsafe.c-amalgamation.i:1555:17-1555: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_w4_r4_case_1_unsafe.c-amalgamation.i:1555:17-1555: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_w4_r4_case_1_unsafe.c-amalgamation.i:1555:17-1555: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_w4_r4_case_1_unsafe.c-amalgamation.i:1557:13-1557: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_w4_r4_case_1_unsafe.c-amalgamation.i:1557:13-1557:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1818:5-1818: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:1491:9-1491: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_w4_r4_case_1_unsafe.c-amalgamation.i:983:5-983:57)
[Warning][Deadcode] Function '__bswap_16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_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_w4_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_w4_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_w4_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_w4_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_w4_r4_case_1_unsafe.c-amalgamation.i:208:1-212:1)
[Warning][Deadcode] Function 'hop_softsign_w4_r1' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1108:1-1130:2)
[Warning][Deadcode] Function 'hop_softsign_w4_r1_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1131:1-1132:1)
[Warning][Deadcode] Function 'hop_softsign_w4_r1_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1133:1-1134:1)
[Warning][Deadcode] Function 'hop_softsign_w4_r2' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1135:1-1157:2)
[Warning][Deadcode] Function 'hop_softsign_w4_r2_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1158:1-1159:1)
[Warning][Deadcode] Function 'hop_softsign_w4_r2_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1160:1-1161:1)
[Warning][Deadcode] Function 'hop_softsign_w4_r3' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1162:1-1184:2)
[Warning][Deadcode] Function 'hop_softsign_w4_r3_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1185:1-1186:1)
[Warning][Deadcode] Function 'hop_softsign_w4_r3_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1187:1-1188:1)
[Warning][Deadcode] Function 'hop_softsign_w4_r4_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1212:1-1213:1)
[Warning][Deadcode] Function 'hop_softsign_w4_r4_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1214:1-1215:1)
[Warning][Deadcode] Function 'k2c_linear_func' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1420:1-1421:1)
[Warning][Deadcode] Function 'k2c_exponential_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1423:1-1427:1)
[Warning][Deadcode] Function 'k2c_relu_func' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1429:1-1435:1)
[Warning][Deadcode] Function 'k2c_hard_sigmoid_func' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1437:1-1449:1)
[Warning][Deadcode] Function 'k2c_tanh_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1451:1-1455:1)
[Warning][Deadcode] Function 'k2c_sigmoid_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1457:1-1461:1)
[Warning][Deadcode] Function 'k2c_softmax_func' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1463:1-1481:1)
[Warning][Deadcode] Function 'k2c_softplus_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1483:1-1487:1)
[Warning][Deadcode] Function 'k2c_LeakyReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1495:1-1501:1)
[Warning][Deadcode] Function 'k2c_PReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1502:1-1508:1)
[Warning][Deadcode] Function 'k2c_ELU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1509:1-1515:1)
[Warning][Deadcode] Function 'k2c_ThresholdedReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1516:1-1522:1)
[Warning][Deadcode] Function 'k2c_ReLU' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1523:1-1533:1)
[Warning][Deadcode] Function 'k2c_matmul' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1534:1-1546:1)
[Warning][Deadcode] Function 'k2c_sub2idx' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1561:1-1572:1)
[Warning][Deadcode] Function 'k2c_idx2sub' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1573:1-1579:1)
[Warning][Deadcode] Function 'k2c_dot' is uncalled: 71 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1580:1-1693:1)
[Warning][Deadcode] Function 'k2c_bias_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1694:1-1700:1)
[Warning][Deadcode] Function 'k2c_read_array' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1701:1-1720:1)
[Warning][Deadcode] Function 'k2c_lstmcell' is uncalled: 45 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1721:1-1772:1)
[Warning][Deadcode] Function 'k2c_lstm' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1773:1-1808:1)
[Warning][Deadcode] Function 'k2c_grucell' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1859:1-1918:1)
[Warning][Deadcode] Function 'k2c_gru' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1919:1-1955:1)
[Warning][Deadcode] Function 'k2c_simpleRNN' has dead code:
  on lines 1832..1833 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1832-1833)
  on lines 1835..1837 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1835-1837)
  on lines 1854..1855 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1854-1855)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 20 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:20-20)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 66
  dead: 354 (346 in uncalled functions)
  total lines: 420
[Warning][Deadcode][CWE-570] condition 'k < (size_t )innerdim' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1554:17-1554:49)
[Warning][Deadcode][CWE-570] condition 'tmp >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-571] condition 'tmp >= 8U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'go_backwards' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1831:9-1831:21)
[Warning][Deadcode][CWE-570] condition 'j___0 < (size_t )units' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1847:21-1847:46)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[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_w4_r4_case_1_unsafe.c-amalgamation.i:1490:9-1490:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 4U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1193:1-1193:32)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition '0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:19:53-19:54)
[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_w4_r4_case_1_unsafe.c-amalgamation.i:1820:9-1820:34)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 4U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1206:1-1206:37)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 4U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1193:1-1193:32)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 4U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1206:1-1206:37)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 4U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1193:1-1193:32)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 4U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1206:1-1206:37)
[Warning][Deadcode][CWE-571] condition 'tmp___0 >= 4U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1193:1-1193:32)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-571] condition 'tmp___1 >= 4U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1206:1-1206:37)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'i < (size_t )size' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1490:9-1490:35)
[Warning][Deadcode][CWE-570] condition 'i < (size_t )units' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1820:9-1820:34)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition '! return_sequences' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1853:9-1853:26)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32)
[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_w4_r4_case_1_unsafe.c-amalgamation.i:1554:17-1554:49)
[Warning][Deadcode][CWE-570] condition 'tmp >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-571] condition 'return_sequences' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1846:17-1846:33)
[Warning][Deadcode][CWE-570] condition 'tmp >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:1192:1-1192:32)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/softsign_w4_r4_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[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_w4_r4_case_1_unsafe.c-amalgamation.i:1847:21-1847:46)
[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)
