Initializer of static variable refers to size of type of local variable (#1137) · Issues · pub / frama-c