hifrog

File:
~/hi-bench/challenge-bench/sv-comp17/c/ldv-challenges/linux-3.14__complex_emg__linux-alloc-spinlock__drivers-net-ethernet-via-via-velocity_true-unreach-call.cil.c

---------------------------
How to run:
./hifrog --sum-theoref --unwind 10 file.c

---------------------------
Error msg:
Use QF_UF logic.
terminate called after throwing an instance of 'std::out_of_range'
what(): map::at
Command terminated by signal 6

initial observation:
the error is caused by hifrog asking for a goto function which is not known. There is a line of code in the program:
asm volatile ("lfence": : : "memory");

And perhaps it could come from there.