./goblint --conf conf/svcomp-validate.json --witness.yaml.unassume /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/transmitter.16.cil.yml/witness.yml --witness.yaml.validate /mnt/goblint-svcomp/sv-comp/svcomp24-witnesses/results-verified/cpachecker.2023-11-29_00-03-15.files/SV-COMP24_unreach-call/transmitter.16.cil.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/systemc/transmitter.16.cil.c


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


[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/systemc/transmitter.16.cil.c:138:5-145:5 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:171:3-183:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:206:3-218:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:241:3-253:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:276:3-288:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:311:3-323:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:346:3-358:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:381:3-393:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:416:3-428:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:451:3-463:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:486:3-498:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:521:3-533:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:556:3-568:3 with factor 5
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:591:3-601:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:624:3-634:3 with factor 12
[Info] unrolling loop at /mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:2017:3-2054:3 with factor 1
[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] SV-COMP specification: CHECK( init(main()), LTL(G ! call(reach_error())) )
[Info][Witness] cannot unassume entry of type violation_sequence
[Warning][Deadcode] Function 'activate_threads' has dead code:
  on line 1779 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1779-1779)
[Warning][Deadcode] Function 'error' has dead code:
  on line 22 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:22-22)
[Warning][Deadcode] Function 'fire_delta_events' has dead code:
  on line 1343 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1343-1343)
  on line 1348 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1348-1348)
  on line 1353 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1353-1353)
  on line 1358 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1358-1358)
  on line 1363 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1363-1363)
  on line 1368 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1368-1368)
  on line 1373 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1373-1373)
  on line 1378 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1378-1378)
  on line 1383 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1383-1383)
  on line 1388 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1388-1388)
  on line 1393 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1393-1393)
  on line 1398 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1398-1398)
  on line 1403 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1403-1403)
  on line 1408 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1408-1408)
  on line 1413 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1413-1413)
  on line 1418 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1418-1418)
  on line 1423 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1423-1423)
  on line 1428 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1428-1428)
  on line 1433 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1433-1433)
  on line 1438 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1438-1438)
  on line 1443 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1443-1443)
  on line 1448 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1448-1448)
  on line 1453 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1453-1453)
  on line 1458 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1458-1458)
  on line 1463 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1463-1463)
  on line 1468 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1468-1468)
  on line 1473 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1473-1473)
  on line 1478 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1478-1478)
  on line 1483 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1483-1483)
[Warning][Deadcode] Function 'init_threads' has dead code:
  on line 942 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:942-942)
  on line 947 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:947-947)
  on line 952 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:952-952)
  on line 957 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:957-957)
  on line 962 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:962-962)
  on line 967 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:967-967)
  on line 972 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:972-972)
  on line 977 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:977-977)
  on line 982 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:982-982)
  on line 987 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:987-987)
  on line 992 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:992-992)
  on line 997 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:997-997)
  on line 1002 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1002-1002)
  on line 1007 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1007-1007)
  on line 1012 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1012-1012)
[Warning][Deadcode] Function 'is_transmit14_triggered' has dead code:
  on line 914 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:914-914)
[Warning][Deadcode] Function 'reset_delta_events' has dead code:
  on line 1496 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1496-1496)
  on line 1501 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1501-1501)
  on line 1506 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1506-1506)
  on line 1511 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1511-1511)
  on line 1516 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1516-1516)
  on line 1521 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1521-1521)
  on line 1526 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1526-1526)
  on line 1531 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1531-1531)
  on line 1536 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1536-1536)
  on line 1541 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1541-1541)
  on line 1546 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1546-1546)
  on line 1551 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1551-1551)
  on line 1556 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1556-1556)
  on line 1561 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1561-1561)
  on line 1566 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1566-1566)
  on line 1571 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1571-1571)
  on line 1576 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1576-1576)
  on line 1581 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1581-1581)
  on line 1586 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1586-1586)
  on line 1591 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1591-1591)
  on line 1596 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1596-1596)
  on line 1601 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1601-1601)
  on line 1606 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1606-1606)
  on line 1611 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1611-1611)
  on line 1616 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1616-1616)
  on line 1621 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1621-1621)
  on line 1626 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1626-1626)
  on line 1631 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1631-1631)
  on line 1636 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1636-1636)
[Warning][Deadcode] Function 'reset_time_events' has dead code:
  on line 1817 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1817-1817)
  on line 1822 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1822-1822)
  on line 1827 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1827-1827)
  on line 1832 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1832-1832)
  on line 1837 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1837-1837)
  on line 1842 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1842-1842)
  on line 1847 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1847-1847)
  on line 1852 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1852-1852)
  on line 1857 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1857-1857)
  on line 1862 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1862-1862)
  on line 1867 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1867-1867)
  on line 1872 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1872-1872)
  on line 1877 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1877-1877)
  on line 1882 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1882-1882)
  on line 1887 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1887-1887)
  on line 1892 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1892-1892)
  on line 1897 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1897-1897)
  on line 1902 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1902-1902)
  on line 1907 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1907-1907)
  on line 1912 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1912-1912)
  on line 1917 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1917-1917)
  on line 1922 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1922-1922)
  on line 1927 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1927-1927)
  on line 1932 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1932-1932)
  on line 1937 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1937-1937)
  on line 1942 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1942-1942)
  on line 1947 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1947-1947)
  on line 1952 (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1952-1952)
[Warning][Deadcode] Logical lines of code (LLoC) summary:
  live: 585
  dead: 104
  total lines: 689
[Warning][Deadcode][CWE-571] condition 't12_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:999:7-999:17)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1906:7-1906:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1442:7-1442:15)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1911:7-1911:15)
[Warning][Deadcode][CWE-570] condition 'E_7 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1447:7-1447:15)
[Warning][Deadcode][CWE-571] condition 't13_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1004:7-1004:17)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1916:7-1916:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:521:10-521:11)
[Warning][Deadcode][CWE-570] condition 'E_8 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1452:7-1452:15)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1921:7-1921:15)
[Warning][Deadcode][CWE-571] condition 't14_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1009:7-1009:17)
[Warning][Deadcode][CWE-570] condition 'E_9 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1457:7-1457:15)
[Warning][Deadcode][CWE-571] condition 't2_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:198:9-198:19)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1926:7-1926:15)
[Warning][Deadcode][CWE-570] condition 'E_10 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1462:7-1462:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:206:10-206:11)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1931:7-1931:16)
[Warning][Deadcode][CWE-570] condition 'E_11 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1467:7-1467:16)
[Warning][Deadcode][CWE-570] condition 'E_11 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1936:7-1936:16)
[Warning][Deadcode][CWE-570] condition 'E_12 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1472:7-1472:16)
[Warning][Deadcode][CWE-570] condition 'E_12 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1941:7-1941:16)
[Warning][Deadcode][CWE-570] condition 'E_13 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1477:7-1477:16)
[Warning][Deadcode][CWE-571] condition 't12_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:548:9-548:20)
[Warning][Deadcode][CWE-570] condition 'E_13 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1946:7-1946:16)
[Warning][Deadcode][CWE-570] condition 'E_14 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1482:7-1482:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:556:10-556:11)
[Warning][Deadcode][CWE-570] condition 'E_14 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1951:7-1951:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:416:10-416:11)
[Warning][Deadcode][CWE-570] condition 'M_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1495:7-1495:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1500:7-1500:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1505:7-1505:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1510:7-1510:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1515:7-1515:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1520:7-1520:16)
[Warning][Deadcode][CWE-571] condition 't9_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:443:9-443:19)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1525:7-1525:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:451:10-451:11)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1530:7-1530:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:311:10-311:11)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1535:7-1535:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1540:7-1540:16)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1545:7-1545:17)
[Warning][Deadcode][CWE-571] condition 'm_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:122:9-122:18)
[Warning][Deadcode][CWE-570] condition 'T11_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1550:7-1550:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:624:10-624:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:2017:10-2017:11)
[Warning][Deadcode][CWE-570] condition 'T12_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1555:7-1555:17)
[Warning][Deadcode][CWE-571] condition 't6_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:338:9-338:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:130:10-130:11)
[Warning][Deadcode][CWE-570] condition 'T13_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1560:7-1560:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:346:10-346:11)
[Warning][Deadcode][CWE-570] condition 'T14_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1565:7-1565:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:206:10-206:11)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1570:7-1570:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:138:12-138:13)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1575:7-1575:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1580:7-1580:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1110:10-1110:11)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1585:7-1585:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:556:10-556:11)
[Warning][Deadcode][CWE-570] condition 'E_5 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1590:7-1590:15)
[Warning][Deadcode][CWE-571] condition 't3_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:233:9-233:19)
[Warning][Deadcode][CWE-570] condition 'E_6 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1595:7-1595:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:2017:10-2017:11)
[Warning][Deadcode][CWE-570] condition 'E_7 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1600:7-1600:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:241:10-241:11)
[Warning][Deadcode][CWE-570] condition 'E_8 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1605:7-1605:15)
[Warning][Deadcode][CWE-570] condition 'E_9 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1610:7-1610:15)
[Warning][Deadcode][CWE-571] condition 't13_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:583:9-583:20)
[Warning][Deadcode][CWE-570] condition 'E_10 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1615:7-1615:16)
[Warning][Deadcode][CWE-570] condition 'E_11 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1620:7-1620:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:591:10-591:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:451:10-451:11)
[Warning][Deadcode][CWE-570] condition 'E_12 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1625:7-1625:16)
[Warning][Deadcode][CWE-570] condition 'E_13 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1630:7-1630:16)
[Warning][Deadcode][CWE-570] condition 'E_14 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1635:7-1635:16)
[Warning][Deadcode][CWE-571] condition 't10_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:478:9-478:20)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:486:10-486:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:346:10-346:11)
[Warning][Deadcode][CWE-571] condition 't7_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:373:9-373:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:381:10-381:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:241:10-241:11)
[Warning][Deadcode][CWE-571] condition 't4_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:268:9-268:19)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:276:10-276:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:138:12-138:13)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:486:10-486:11)
[Warning][Deadcode][CWE-570] condition 'E_14 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:913:9-913:18)
[Warning][Deadcode][CWE-571] condition 't1_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:163:9-163:19)
[Warning][Deadcode][CWE-570] condition 'tmp___13' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1778:7-1778:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:171:10-171:11)
[Warning][Deadcode][CWE-571] condition 'm_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:939:7-939:15)
[Warning][Deadcode][CWE-570] condition 'M_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1342:7-1342:15)
[Warning][Deadcode][CWE-571] condition 'M_E == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1811:7-1811:15)
[Warning][Deadcode][CWE-570] condition 'T1_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1347:7-1347:16)
[Warning][Deadcode][CWE-571] condition 't1_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:944:7-944:16)
[Warning][Deadcode][CWE-571] condition 't11_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:513:9-513:20)
[Warning][Deadcode][CWE-570] condition 'T1_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1816:7-1816:16)
[Warning][Deadcode][CWE-570] condition 'T2_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1352:7-1352:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:591:10-591:11)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:521:10-521:11)
[Warning][Deadcode][CWE-570] condition 'T2_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1821:7-1821:16)
[Warning][Deadcode][CWE-571] condition 't2_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:949:7-949:16)
[Warning][Deadcode][CWE-570] condition 'T3_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1357:7-1357:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:381:10-381:11)
[Warning][Deadcode][CWE-570] condition 'T3_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1826:7-1826:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1362:7-1362:16)
[Warning][Deadcode][CWE-571] condition 't3_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:954:7-954:16)
[Warning][Deadcode][CWE-570] condition 'T4_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1831:7-1831:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1367:7-1367:16)
[Warning][Deadcode][CWE-570] condition 'T5_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1836:7-1836:16)
[Warning][Deadcode][CWE-570] condition 'T6_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1372:7-1372:16)
[Warning][Deadcode][CWE-571] condition 't4_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:959:7-959:16)
[Warning][Deadcode][CWE-571] condition 't14_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:616:9-616:20)
[Warning][Deadcode][CWE-570] condition 'T6_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1841:7-1841:16)
[Warning][Deadcode][CWE-570] condition 'T7_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1377:7-1377:16)
[Warning][Deadcode][CWE-570] condition 'T7_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1846:7-1846:16)
[Warning][Deadcode][CWE-571] condition 't5_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:964:7-964:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:624:10-624:11)
[Warning][Deadcode][CWE-570] condition 'T8_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1382:7-1382:16)
[Warning][Deadcode][CWE-571] condition 't8_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:408:9-408:19)
[Warning][Deadcode][CWE-570] condition 'T8_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1851:7-1851:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1387:7-1387:16)
[Warning][Deadcode][CWE-571] condition 't6_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:969:7-969:16)
[Warning][Deadcode][CWE-570] condition 'T9_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1856:7-1856:16)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:416:10-416:11)
[Warning][Deadcode][CWE-570] condition 'T10_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1392:7-1392:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:276:10-276:11)
[Warning][Deadcode][CWE-570] condition 'T10_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1861:7-1861:17)
[Warning][Deadcode][CWE-570] condition 'T11_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1397:7-1397:17)
[Warning][Deadcode][CWE-571] condition 't7_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:974:7-974:16)
[Warning][Deadcode][CWE-570] condition 'T11_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1866:7-1866:17)
[Warning][Deadcode][CWE-570] condition 'T12_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1402:7-1402:17)
[Warning][Deadcode][CWE-570] condition 'T12_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1871:7-1871:17)
[Warning][Deadcode][CWE-571] condition 't8_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:979:7-979:16)
[Warning][Deadcode][CWE-570] condition 'T13_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1407:7-1407:17)
[Warning][Deadcode][CWE-570] condition 'T13_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1876:7-1876:17)
[Warning][Deadcode][CWE-570] condition 'T14_E == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1412:7-1412:17)
[Warning][Deadcode][CWE-571] condition 't9_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:984:7-984:16)
[Warning][Deadcode][CWE-570] condition 'T14_E == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1881:7-1881:17)
[Warning][Deadcode][CWE-570] condition 'E_1 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1417:7-1417:15)
[Warning][Deadcode][CWE-570] condition 'E_1 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1886:7-1886:15)
[Warning][Deadcode][CWE-571] condition 't5_pc == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:303:9-303:19)
[Warning][Deadcode][CWE-570] condition 'E_2 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1422:7-1422:15)
[Warning][Deadcode][CWE-571] condition 't10_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:989:7-989:17)
[Warning][Deadcode][CWE-570] condition 'E_2 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1891:7-1891:15)
[Warning][Deadcode][CWE-570] condition 'E_3 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1427:7-1427:15)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:311:10-311:11)
[Warning][Deadcode][CWE-570] condition 'E_3 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1896:7-1896:15)
[Warning][Deadcode][CWE-571] condition 't11_i == 1' is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:994:7-994:17)
[Warning][Deadcode][CWE-571] condition '1' (possibly inserted by CIL) is always true (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:171:10-171:11)
[Warning][Deadcode][CWE-570] condition 'E_4 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1432:7-1432:15)
[Warning][Deadcode][CWE-570] condition 'E_4 == 1' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1901:7-1901:15)
[Warning][Deadcode][CWE-570] condition 'E_5 == 0' is always false (/mnt/goblint-svcomp/benchexec/sv-benchmarks/c/systemc/transmitter.16.cil.c:1437:7-1437:15)
[Info][Witness] witness validation summary:
  confirmed: 0
  unconfirmed: 0
  refuted: 0
  error: 0
  unchecked: 0
  unsupported: 0
  disabled: 0
  total validation entries: 0
SV-COMP result: unknown
