Frontend: typeof over an expression whose type cannot be determined

[leventeBajczi]

UnsupportedFrontendElementException: typeof over an expression whose type could not be determined

27 failures over 21 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.frontend.transformation.grammar.type.TypeVisitor.visitTypeSpecifierTypeof(TypeVisitor.java:817), hu.bme.mit.theta.frontend.UnsupportedFrontendElementException: typeof over an expression whose type could not be determined: typeof(((typeof(*m)*)0)

All 21 tasks

c/ldv-linux-3.4-simple/32_7_cpp_single_drivers-net-wireless-p54-p54usb.cil.out.i
c/ldv-linux-3.4-simple/32_7_cpp_single_drivers-staging-media-dt3155v4l-dt3155v4l.cil.out.i
c/ldv-memsafety/memleaks_test12-1.i
c/ldv-memsafety/memleaks_test12-2.i
c/ldv-memsafety/memleaks_test13.i
c/ldv-memsafety/memleaks_test13_2.i
c/ldv-memsafety/memleaks_test14.i
c/ldv-memsafety/memleaks_test14_2.i
c/ldv-memsafety/memleaks_test14_3.i
c/ldv-memsafety/memleaks_test23_1.i
c/ldv-memsafety/memleaks_test23_2.i
c/ldv-memsafety/memleaks_test23_3.i
c/ldv-memsafety/memleaks_test23_4.i
c/ldv-sets/test_add-1.i
c/ldv-sets/test_add-2.i
c/ldv-sets/test_mutex.i
c/ldv-sets/test_mutex_double_lock.i
c/ldv-sets/test_mutex_double_unlock.i
c/ldv-sets/test_mutex_unbounded-1.i
c/ldv-sets/test_mutex_unbounded-2.i
c/ldv-sets/test_mutex_unlock_at_exit.i