Index of exceptions

User error that prevents a plugin to terminate.

Internal error that prevents a plugin to terminate.

May be raised by Type.register.

May be raised by function Ast.get below.

Raised by most function when the PDG is Bottom because we can hardly do nothing with it.

Used by other modules e.g.

This exception may be raised by Db.yield to interrupt computations.

Exception raised by the functions below when incompatible types are merged.

Raised by remove

exception that fun_frees_visible or fun_allocates_visible should raise to indicate that the corresponding allocation clause should be erased entirely

exception that fun_assign_visible should raise to indicate that the corresponding assigns clause should be erased entirely

file, line, message

Raised by Lattice_Base.project.

Raised by some functions when encountering a top value.

Raised by not_yet_implemented.

Raised whenever some file exists and existence is Must_not_exist.

Raised by Db.Compute when the arguments set by fun_set_args are not coherent with the prototype of the function (if there are too few or too many of them)

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

May be raised by current.

Might be raised by Ast.UntypedFiles.get below

Exception raised by the functions below when their given argument cannot be interpreted in the C world.

Raised whenever no file exists and existence is Must_exist.

May be raised by entry_point below.

Raised by Lattice.cardinal_less_than.

exception raised by find_deps_no_transitivity_* if the given expression is not an lvalue.

raised by Cil.intKindForValue.

exception raised when a parsed logic expression is syntactically not well-formed.

Raised when one of the SizeOf/AlignOf functions cannot compute the size of a type.

Raised by most function when the PDG is Top because we can hardly do nothing with it.

Used for postdominators-related functions, when the postdominators of a statement cannot be computed.

Exception that a plug-in can throw if it detects that it can't be loaded.

Never catch it yourself: let the kernel do the job.