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.progress to interrupt computations.
|
Cannot_build [Parameter_sig.Builder] | |
Cannot_pack [Structural_descr] | |
Cannot_remove [Project] |
Raised by
remove
|
E | |
Empty [Qstack.Make] | |
Empty [Leftistheap] | |
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] | |
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] |