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]
AlreadyExists [Namespace.Make]
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]
Cancel [Db]
This exception may be raised by Db.progress to interrupt computations.
Cannot_copy [Lmap_whole]
Cannot_copy [Lmap]
Cannot_fold [Lmap_bitwise.Location_map_bitwise]
Cannot_remove [Project]
Raised by remove

D
DependencyAlreadyExists [Kind.Make]
May be raised by add_dependency.

E
Empty [Qstack.Make]
Empty [Cilutil.STACK]
Raised when Cilutil.STACK.pop or Cilutil.STACK.top is applied to an empty stack.
Empty_rangemap [Rangemap.S]
Empty_tree [New_offsetmap.Make]
End_reached [New_offsetmap.Make]
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 [Locations.Zone]
Error_Bottom [Locations.Location_Bits]
Error_Bottom [Lmap_whole.Make_LOffset.Make]
Error_Bottom [Lmap.Location_map.Make]
Error_Bottom [Ival]
Error_Bottom [Abstract_interp.Lattice]
Error_Top [Locations.Zone]
Error_Top [Locations.Location_Bits]
Error_Top [Ival]
Error_Top [Abstract_interp.Lattice]
Existing_Project [Db.Slicing]
Exit [Cmdline]

F
FeatureRequest [Log]
Raise by not_yet_implemented.
Found_Top [Offsetmap]

I
IOError [Project]
Incompatible_type [Type.StringTbl]
IntegerTooLarge [Cilutil.Int32Op]
Interval_not_found [New_offsetmap.Make]
Invalid_Name [Dynamic]
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
LoadingError [Journal]

N
Name_already_exists [Type.Binding]
Nan_or_infinite [Ival.Float_abstract]
Nan_or_infinite [Ival.F]
Neither_Int_Nor_Enum_Nor_Pointer [Bit_utils]
NoPrinter [Type]
NoProject [Project]
May be raised by current.
No_Definition [Kernel_function]
No_Project [Db.Slicing]
No_Statement [Kernel_function]
No_such_binding [Rangemap.S]
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_all_keys [Locations.Zone]
Not_all_keys [Locations.Location_Bits]
Not_all_keys [Locations.Location_Bytes]
Not_dynamic [Type]
Not_less_than [Abstract_interp]
Raised by cardinal_less_than
Not_valid_offset [Base]

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.StringTbl]
Unchanged [State_set]
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]

Z
Zone_unchanged [Lmap_bitwise.Location_map_bitwise]