Passing multi-dimensional arrays via reference fails (#2071) · Issues · pub / frama-c