definition of virtual function in subclass causes crash (#888) · Issues · pub / frama-c