Literal strings in global arrays with compound initializers are not correctly initialized (#377) · Issues · pub / frama-c