Frontend: TypeUtils.cast type mismatch

[leventeBajczi]

ClassCastException: Expected type ... but the expression has type ...

39 failures over 36 distinct tasks in the full SV-COMP run of Theta 8.0.0 (--portfolio COMPLEX27, 900s, 15GB, 2 cores).

Example log line:

Frontend failed! (hu.bme.mit.theta.core.utils.TypeUtils.cast(TypeUtils.java:108), java.lang.ClassCastException: Expected type (Bv 64) but the expression has type (Bv 32) (a BvLitExpr): #b00000000000000000000000000000000)

All 36 tasks

c/ldv-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-drivers-clk1_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-drivers-clk1_drivers-net-ethernet-smsc-smsc911x.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-media-common-saa7146-saa7146_vv.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-media-common-saa7146-saa7146_vv.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-challenges/linux-3.14_complex_emg_linux-usb-dev_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-challenges/linux-3.14_linux-alloc-spinlock_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-challenges/linux-3.14_linux-drivers-clk1_drivers-net-ethernet-smsc-smsc911x.cil.i
c/ldv-challenges/linux-3.14_linux-kernel-locking-spinlock_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-challenges/linux-3.14_linux-usb-dev_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-linux-3.14/linux-3.14_complex_emg_linux-alloc-spinlock_drivers-media-common-saa7146-saa7146_vv.cil.i
c/ldv-linux-3.14/linux-3.14_complex_emg_linux-drivers-clk1_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-linux-3.14/linux-3.14_complex_emg_linux-kernel-locking-mutex_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-linux-3.14/linux-3.14_complex_emg_linux-kernel-locking-spinlock_drivers-net-ethernet-smsc-smsc911x.cil.i
c/ldv-linux-3.14/linux-3.14_complex_emg_linux-usb-dev_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-linux-3.14/linux-3.14_linux-drivers-clk1_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-linux-3.14/linux-3.14_linux-drivers-clk1_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-linux-3.14/linux-3.14_linux-kernel-locking-mutex_drivers-net-ethernet-nvidia-forcedeth.cil.i
c/ldv-linux-3.14/linux-3.14_linux-kernel-locking-mutex_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-linux-3.14/linux-3.14_linux-kernel-locking-spinlock_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-linux-3.14/linux-3.14_linux-usb-dev_drivers-net-wireless-mwifiex-mwifiex.cil.i
c/ldv-linux-3.16-rc1/205_9a_array_unsafes_linux-3.16-rc1.tar.xz-205_9a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point.cil.out.i
c/ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--net--wireless--zd1211rw--zd1211rw.ko-entry_point.cil.out.i
c/ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--scsi--qla2xxx--tcm_qla2xxx.ko-entry_point.cil.out.i
c/ldv-linux-3.16-rc1/43_2a_consumption_linux-3.16-rc1.tar.xz-43_2a-drivers--staging--media--solo6x10--solo6x10.ko-entry_point.cil.out.i
c/ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i
c/ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--hid--hid-wacom.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.i
c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-08_1a-drivers--net--wireless--mwifiex--mwifiex.ko-entry_point.cil.out.i
c/ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--net--wireless--mwifiex--mwifiex.ko-entry_point.cil.out.i
c/ldv-races/race-3_2-container_of-global.i
c/ldv-races/race-3_2b-container_of-global.i
c/ntdrivers/diskperf.i.cil-1.c