22446: unknown sizes of types and value initialization (#996) · Issues · pub / frama-c