"&p->a" causes abort when "->" is user-defined (#877) · Issues · pub / frama-c