advanced adress arithmetic causes loss of source location (#805) · Issues · pub / frama-c