Error reporting functions raise this exception
Raised when Cil.lenOfArray fails either because the length is None or because it is a non-constant expression
Cil.lenOfArray
None
Raised when one of the bitsSizeOf functions cannot compute the size of a type.