Index of exceptions

E
Error [Errormsg]

Error reporting functions raise this exception

L
LenOfArray [Cil]

Raised when Cil.lenOfArray fails either because the length is None or because it is a non-constant expression

N
NotAnAttrParam [Cil]
S
SizeOfError [Cil]

Raised when one of the bitsSizeOf functions cannot compute the size of a type.