A | |
AddError [PdgIndex] |
try to add in information while there is already something stored.
|
B | |
Bottom [PdgTypes.Pdg] |
exception raised when requiring the PDG of a function that is never
called.
|
C | |
CallStatement [PdgIndex] |
Some functions do not apply to call statements because the stored
information has a different type.
|
Cannot_fold [Lmap_bitwise.Location_map_bitwise] | |
Cannot_fold [Pdg_state] | |
E | |
Err_Bot [Build] | |
N | |
Not_equal [PdgIndex] |
When we compare two things with different locations (no order)
|
T | |
Top [PdgTypes.Pdg] |
can be raised by most of the functions when called with a Top PDG.
|
V | |
Value_State_Top [Build] |