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]
Apply_Set_Exn [Ival]

B
Bad_Initialisation [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]
Can_not_subdiv [Ival]
Cancel [Db]
This exception may be raised by Db.progress to interrupt computations.
Cannot_compare_intervals [Int_Interv]
Cannot_copy [Lmap_whole]
Cannot_copy [Lmap]
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]
Empty_tree [New_offsetmap.Make]
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 [Map_Lattice.Make]
Error_Bottom [Locations.Zone]
Error_Bottom [Locations.Location_Bits]
Error_Bottom [Ival]
Error_Bottom [Lmap.Location_map.Make]
Error_Bottom [Cvalue_type.V_Or_Uninitialized]
Error_Bottom [Abstract_value.Int_Intervals]
Error_Bottom [Abstract_interp.Lattice]
Error_Top [Map_Lattice.Make]
Error_Top [Locations.Zone]
Error_Top [Locations.Location_Bits]
Error_Top [Ival]
Error_Top [Cvalue_type.V_Or_Uninitialized]
Error_Top [Abstract_value.Int_Intervals]
Error_Top [Abstract_interp.Lattice]
Existing_Project [Db.Slicing]
Exit [Cmdline]

F
FeatureRequest [Log]
Raise by not_yet_implemented.
Found_Top [Offsetmap]
Found_inter [Map_Lattice.Make]
Found_prefix [Hptmap.Make]
Found_prefix [Lmap.Location_map.Make]

I
IOError [Project]
Incompatible_type [Type.Heterogeneous_table]
Incompatible_type [Dynamic]
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)
IntegerTooLarge [Cilutil.Int32Op]
Interval_not_found [New_offsetmap.Make]
Invalid_descriptor [Descr]
Is_not_included [Abstract_interp]

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

N
Name_already_exists [Journal.Binding]
Nan_or_infinite [Ival.Float_abstract]
Nan_or_infinite [Ival.F]
Neither_Int_Nor_Enum_Nor_Pointer [Bit_utils]
NoProject [Project]
May be raised by current.
No_Definition [Kernel_function]
No_Project [Db.Slicing]
No_Statement [Kernel_function]
No_backtrace [Printexc_common_interface]
No_binding_above [Int_Interv_Map.Make]
No_such_binding [Rangemap.Make]
No_such_entry_point [Globals]
May be raised by entry_point below.
No_such_while [Loop]
NotAnAttrParam [Cil]
NotFound [Db.Pdg]
Raised by the find_xxx functions when the searched element is not in the PDG.
NotYetImplemented [Extlib]
Not_Singleton_Int [Ival]
Not_a_call [Db.Value]
Not_a_set [Abstract_value.Int_Intervals]
Not_a_variable [Base]
Not_all_keys [Map_Lattice.Make]
Not_all_keys [Locations.Zone]
Not_all_keys [Locations.Location_Bits]
Not_all_keys [Locations.Location_Bytes]
Not_an_integer [Ciltools]
Not_based_on_null [Cvalue_type.V]
Not_exclusive [Map_Lattice.Make]
Not_less_than [Abstract_interp]
Raised by cardinal_less_than
Not_valid_offset [Base]
Not_well_formed [Logic_utils]
Exception raised when the tested annotation does not respect its invariants

R
Result_is_bottom [Offsetmap]
May be raised by update_ival when the add is completely out of bounds.
Result_is_same [Offsetmap]

S
SizeOfError [Cil]
Raised when one of the bitsSizeOf functions cannot compute the size of a type.

T
Top [Db.Pdg]
Raised by most function when the PDG is Top because we can hardly do nothing with it.
Top [Db.Dominators]
Used for stmt_postdominators when the postdominators of a statement cannot be computed.
Top [Db.Postdominators]
Used for Db.Postdominators.stmt_postdominators when the postdominators of a statement cannot be computed.

U
Unbound_value [Type.Heterogeneous_table]
Unbound_value [Dynamic]
Unchanged [State_set]
Unchanged [State_imp]
Unknown [State]
Unsupported_Feature [Dynlink_common_interface]
Use_Main_Memory [Relations_type]
To be raised whenever we need to fall back to value analysis

V
Void_Function [Db.Value]

W
Weird_bitwidth [Ciltools]

Z
Zone_unchanged [Lmap_bitwise.Location_map_bitwise]