./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/tanh_w8_r3_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/tanh_w8_r3_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/tanh_w8_r3_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/tanh_w8_r3_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/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1117:1-1117:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1118:1-1118:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1149:1-1149:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1162:1-1162:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1163:1-1163:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1194:1-1194:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1252:1-1252:35 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1253:1-1253:34 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1284:1-1284:39 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1502:5-1504:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1508:5-1512:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1516:5-1526:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1530:5-1532:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1536:5-1538:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1544:5-1548:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1549:5-1551:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1552:5-1554:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1556:5-1558:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1562:5-1564:5 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1568:5-1570:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1574:5-1578:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1581:5-1585:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1588:5-1592:5 with factor 6
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1595:5-1599:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1603:5-1610:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1619:13-1621:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1632:13-1634:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1644:9-1646:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1653:5-1656:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1680:9-1684:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1693:9-1697:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1703:5-1705:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1706:5-1708:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1711:5-1713:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1714:5-1716:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1717:5-1719:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1720:5-1722:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1723:5-1725:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1726:5-1728:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1731:9-1733:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1739:9-1741:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1750:13-1752:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1754:13-1756:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1760:13-1762:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1764:13-1766:13 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1774:9-1776:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1793:5-1795:5 with factor 4
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1838:5-1840:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1843:5-1845:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1847:5-1849:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1864:17-1866:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1875:17-1877:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1882:9-1884:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1898:5-1900:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1914:17-1916:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1925:17-1927:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1932:9-1934:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1968:5-1971:5 with factor 8
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1976:9-1978:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1981:9-1983:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1985:9-1987:9 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1989:5-1991:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1993:5-1995:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:2011:17-2013:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:2022:17-2024:17 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:2029:9-2031: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:985:5-985:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:985:5-985: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:985:5-985:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:985:5-985: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:986:5-986:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:986:5-986: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:986:5-986:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:986:5-986: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:987:5-987:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:987:5-987: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:987:5-987:57)
[Warning][Float][CWE-1077] Equality/Inequality between `double` is dangerous! (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:987:5-987:57)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1922:13-1923:56)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1895:5-1895: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1633:17-1633: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1635:13-1635: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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1635:13-1635:35)
[Info][Unsound] Unknown address given as function argument (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1896:5-1896:79)
[Info][Imprecise] Invalidating expressions: x + i (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1531:9-1531:27)
[Info][Imprecise] Invalidating expressions: x + i (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1531:9-1531:27)
[Info][Imprecise] Invalidating expressions: x + i (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1531:9-1531:27)
[Info][Imprecise] Invalidating expressions: x + i (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1531:9-1531:27)
[Info][Imprecise] Invalidating expressions: x + i (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1531:9-1531:27)
[Info][Imprecise] Invalidating expressions: x + i (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1531:9-1531:27)
[Info][Imprecise] Invalidating expressions: x + i (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1531:9-1531:27)
[Info][Imprecise] Invalidating expressions: x + i (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1531:9-1531:27)
[Warning][Float][CWE-189][CWE-739] First operand of comparison could be +/-infinity or Nan (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:989:5-989:56)
[Warning][Deadcode] Function '__bswap_16' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_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/tanh_w8_r3_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/tanh_w8_r3_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/tanh_w8_r3_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/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:208:1-212:1)
[Warning][Deadcode] Function 'hop_tanh_w8_r1' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1114:1-1154:2)
[Warning][Deadcode] Function 'hop_tanh_w8_r1_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1155:1-1156:1)
[Warning][Deadcode] Function 'hop_tanh_w8_r1_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1157:1-1158:1)
[Warning][Deadcode] Function 'hop_tanh_w8_r2' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1159:1-1199:2)
[Warning][Deadcode] Function 'hop_tanh_w8_r2_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1200:1-1201:1)
[Warning][Deadcode] Function 'hop_tanh_w8_r2_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1202:1-1203:1)
[Warning][Deadcode] Function 'hop_tanh_w8_r3_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1245:1-1246:1)
[Warning][Deadcode] Function 'hop_tanh_w8_r3_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1247:1-1248:1)
[Warning][Deadcode] Function 'hop_tanh_w8_r4' is uncalled: 12 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1249:1-1289:2)
[Warning][Deadcode] Function 'hop_tanh_w8_r4_initialize' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1290:1-1291:1)
[Warning][Deadcode] Function 'hop_tanh_w8_r4_terminate' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1292:1-1293:1)
[Warning][Deadcode] Function 'k2c_linear_func' is uncalled: 1 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1498:1-1499:1)
[Warning][Deadcode] Function 'k2c_exponential_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1501:1-1505:1)
[Warning][Deadcode] Function 'k2c_relu_func' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1507:1-1513:1)
[Warning][Deadcode] Function 'k2c_hard_sigmoid_func' is uncalled: 7 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1515:1-1527:1)
[Warning][Deadcode] Function 'k2c_sigmoid_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1535:1-1539:1)
[Warning][Deadcode] Function 'k2c_softmax_func' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1541:1-1559:1)
[Warning][Deadcode] Function 'k2c_softplus_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1561:1-1565:1)
[Warning][Deadcode] Function 'k2c_softsign_func' is uncalled: 3 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1567:1-1571:1)
[Warning][Deadcode] Function 'k2c_LeakyReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1573:1-1579:1)
[Warning][Deadcode] Function 'k2c_PReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1580:1-1586:1)
[Warning][Deadcode] Function 'k2c_ELU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1587:1-1593:1)
[Warning][Deadcode] Function 'k2c_ThresholdedReLU' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1594:1-1600:1)
[Warning][Deadcode] Function 'k2c_ReLU' is uncalled: 6 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1601:1-1611:1)
[Warning][Deadcode] Function 'k2c_matmul' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1612:1-1624:1)
[Warning][Deadcode] Function 'k2c_sub2idx' is uncalled: 8 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1639:1-1650:1)
[Warning][Deadcode] Function 'k2c_idx2sub' is uncalled: 5 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1651:1-1657:1)
[Warning][Deadcode] Function 'k2c_dot' is uncalled: 71 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1658:1-1771:1)
[Warning][Deadcode] Function 'k2c_bias_add' is uncalled: 4 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1772:1-1778:1)
[Warning][Deadcode] Function 'k2c_read_array' is uncalled: 13 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1779:1-1798:1)
[Warning][Deadcode] Function 'k2c_lstmcell' is uncalled: 45 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1799:1-1850:1)
[Warning][Deadcode] Function 'k2c_lstm' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1851:1-1886:1)
[Warning][Deadcode] Function 'k2c_grucell' is uncalled: 47 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1937:1-1996:1)
[Warning][Deadcode] Function 'k2c_gru' is uncalled: 18 LLoC (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1997:1-2033:1)
[Warning][Deadcode] Function 'k2c_simpleRNN' has dead code:
  on lines 1910..1911 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1910-1911)
  on lines 1913..1915 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1913-1915)
  on lines 1932..1933 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1932-1933)
[Warning][Deadcode] Function 'reach_error' has dead code:
  on line 20 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:20-20)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 72
  dead: 354 (346 in uncalled functions)
  total lines: 426
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[Warning][Deadcode][CWE-571] condition 'return_sequences' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1924:17-1924:33)
[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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1925:21-1925:46)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[Warning][Deadcode][CWE-570] condition 'go_backwards' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1909:9-1909:21)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1632:17-1632:49)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:19:53-19:54)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1530:9-1530:33)
[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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1925:21-1925:46)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1898:9-1898:34)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35)
[Warning][Deadcode][CWE-570] condition 'tmp___1 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35)
[Warning][Deadcode][CWE-571] condition 'tmp___1 >= 8U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1239:1-1239:40)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35)
[Warning][Deadcode][CWE-570] condition '! return_sequences' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1931:9-1931:26)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-570] condition 'tmp___0 >= 8U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[Warning][Deadcode][CWE-571] condition 'tmp___0 >= 8U' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1208:1-1208:35)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1530:9-1530:33)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:974:5-974:62)
[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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1898:9-1898:34)
[Warning][Deadcode][CWE-570] condition 'tmp >= 16U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1632:17-1632:49)
[Warning][Deadcode][CWE-570] condition 'tmp >= 24U' (possibly inserted by CIL) is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/neural-networks/tanh_w8_r3_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/tanh_w8_r3_case_1_unsafe.c-amalgamation.i:1207:1-1207:36)
[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)
