Index of exceptions


A
AbortError [Log]
Plug-in name
AbortFatal [Log]
Plug-in name
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 [Ival.Float_abstract]
Bottom [Db.Pdg]
Raised by most function when the PDG is Bottom because we can hardly do nothing with it.

C
CabsOnly [Frontc]
Raised when the front-end is requested to print the CABS and return
Can_not_subdiv [Ival]
Cancel [Db]
This exception may be raised by Db.progress to interrupt computations.
Cannot_compare_intervals [Int_Interv]
Cannot_fold [Lmap_bitwise.Location_map_bitwise]
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 [Dynlink_common_interface]
Errors in dynamic linking are reported by raising the Error exception with a description of the error.
Error_Bottom [Lmap_sig]
Error_Bottom [Lattice_type.Lattice_Base]
Error_Bottom [Lattice_type.With_Error_Bottom]
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.Float_abstract]
Nan_or_infinite means that the operation may not be a finite float.
Nan_or_infinite [Ival.F]
Neither_Int_Nor_Enum_Nor_Pointer [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_binding_above [Int_Interv_Map.Make]
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.
NotAnAttrParam [Cil]
Not_Singleton_Int [Ival]
Not_a_C_variable [Base]
Not_a_call [Db.Value]
Not_a_set [Lattice_Interval_Set.Int_Intervals]
Not_based_on_null [Cvalue.V]
Not_fully_included [Int_Interv]
Not_less_than [Abstract_interp]
Raised by Lattice.cardinal_less_than.
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]

R
Result_is_bottom [Offsetmap_sig]

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]
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 [Dynlink_common_interface]

V
Void_Function [Db.Value]