strange value-set for loop-variable in presence of flexible array (#2180) · Issues · pub / frama-c