Frontend: pthread handle base is not a reference variable

[leventeBajczi]

IllegalStateException: Unsupported library parameter: expected reference base variable, got (deref ...)

35 failures over 15 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.xcfa.passes.CLibraryFunctionsPass.getParam(CLibraryFunctionsPass.kt:340), java.lang.IllegalStateException: Unsupported library parameter: expected reference base variable, got (deref c #b00000000000000000000000000000001 (Bv 32)))

All 15 tasks

c/goblint-regression/09-regions_18-nested_rc.c
c/goblint-regression/09-regions_19-nested_nr-deref.c
c/goblint-regression/09-regions_19-nested_nr.c
c/goblint-regression/09-regions_20-arrayloop2_rc.c
c/goblint-regression/09-regions_21-arrayloop2_nr.c
c/goblint-regression/09-regions_22-nocollapse.c
c/goblint-regression/09-regions_23-evilcollapse_rc.c
c/goblint-regression/09-regions_24-evilcollapse_nr.c
c/goblint-regression/28-race_reach_90-arrayloop2_racing.i
c/goblint-regression/28-race_reach_91-arrayloop2_racefree.i
c/goblint-regression/28-race_reach_92-evilcollapse_racing-deref.i
c/goblint-regression/28-race_reach_92-evilcollapse_racing.i
c/goblint-regression/28-race_reach_93-evilcollapse_racefree.i
c/pthread-race-challenges/per-thread-struct-tid-join.i
c/pthread-race-challenges/per-thread-struct-tid.i