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.
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 [FCDynlink]
Errors in dynamic linking are reported by raising the Error exception with a description of the error.
Error_Bottom [Lattice_type.Lattice_Base]
Error_Bottom [Lattice_type.With_Error_Bottom]
Error_Bottom [Ival]
Error_Top [Map_Lattice.Make_without_cardinal]
Error_Top [Locations.Zone]
Error_Top [Lattice_type.Lattice_Set_Generic]
Error_Top [Lattice_type.Lattice_Base]
Error_Top [Lattice_type.With_Error_Top]
Error_Top [Int_Base]
Existing_Project [Db.Slicing]
Exit [Cmdline]

F
FeatureRequest [Log]
Raised by not_yet_implemented.
Float_Non_representable_as_Int64 [Floating_point]
Found_prefix [Lmap_sig]

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]
Nan_or_infinite [Ival]
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_Project [Db.Slicing]
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_dir [Parameter_sig.Specific_dir]
No_funspec [Annotations]
No_such_binding [Rangemap.Make]
No_such_entry_point [Globals]
May be raised by entry_point below.
Non_finite [Fval]
Non_finite is produced when the result of a computation is entirely not-finite, such as +oo,+oo (results in Bottom).
NotAnAttrParam [Cil]
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_valid_offset [Base]
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]
Too_big [Integer]
Produced by values whose physical representation is too costly (e.g.
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.
Unsupported_Feature [FCDynlink]

V
Void_Function [Db.Value]