Index of exceptions

A
AbortError [Log]

User error that prevents a plugin to terminate.

AbortFatal [Log]

Internal error that prevents a plugin to terminate.

Aborted [Db.Value]
AlreadyExists [Type]

May be raised by Type.register.

AlreadyExists [Globals.Vars]
B
Bad_Initialization [Ast]

May be raised by function Ast.get below.

Bitwise_cannot_copy [Lmap_bitwise]
Bottom [Db.Pdg]

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

C
Can_not_subdiv [Abstract_interp]

Used by other modules e.g.

Cancel [Db]

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

Cannot_build [Parameter_sig.Builder]
Cannot_pack [Structural_descr]
Cannot_remove [Project]

Raised by remove

E
Empty [Qstack.Make]
Empty_rangemap [Rangemap.Make]
EraseAllocation [Filter.RemoveInfo]

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

EraseAssigns [Filter.RemoveInfo]

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

Error [Logic_lexer]
Error [Logic_interp]
Error [Json]

file, line, message

Error_Bottom [Abstract_interp]

Raised by Lattice_Base.project.

Error_Top [Abstract_interp]

Raised by some functions when encountering a top value.

Exit [Cmdline]
F
FeatureRequest [Log]

Raised by not_yet_implemented.

File_exists [Filepath]

Raised whenever some file exists and existence is Must_not_exist.

Float_Non_representable_as_Int64 [Floating_point]
I
IOError [Project]
Incompatible_datatype [State]
Incompatible_type [Type.Heterogeneous_table]
Incompatible_type [Journal.Reverse_binding]
Incompatible_type [Dynamic]
Inconsistent_emitted_status [Property_status]
Incorrect_number_of_arguments [Db.Value]

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)

Invalid_descriptor [Descr]
L
LenOfArray [Cil]

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

N
NYI [Logic_interp.To_zone]
Name_already_exists [Journal.Binding]
Neither_Int_Nor_Enum_Nor_Pointer [Bit_utils]
NoMatch [Gui_printers]
NoMatchingOffset [Bit_utils]
NoProject [Project]

May be raised by current.

NoUntypedAst [Ast]

Might be raised by Ast.UntypedFiles.get below

No_Definition [Kernel_function]
No_Statement [Kernel_function]
No_abstract_type [Type]
No_conversion [Db.Properties.Interp]

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

No_file [Filepath]

Raised whenever no file exists and existence is Must_exist.

No_funspec [Annotations]
No_such_binding [Rangemap.Make]
No_such_entry_point [Globals]

May be raised by entry_point below.

NotAnAttrParam [Cil]
Not_Singleton [Int_val]
Not_Singleton_Float [Fval]
Not_Singleton_Int [Ival]
Not_a_C_variable [Base]
Not_a_call [Db.Value]
Not_less_than [Abstract_interp]

Raised by Lattice.cardinal_less_than.

Not_lval [Db.From]

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

Not_representable [Cil]

raised by Cil.intKindForValue.

Not_well_formed [Logic_utils]

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

O
Outside_builtin_possibilities [Db.Value]
S
SizeOfError [Cil]

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

T
Temp_file_error [Extlib]
Top [Db.Pdg]

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

Top [Db.PostdominatorsTypes]

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

U
Unbound_value [Type.Heterogeneous_table]
Unbound_value [Journal.Reverse_binding]
Unbound_value [Dynamic]
Unknown [State]
Unknown_project [Project]
Unloadable [Dynamic]

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

Unregistered_function [Extlib]

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

V
Void_Function [Db.Value]