Index of exceptions


A
AddError [PdgIndex]
try to add in information while there is already something stored.

B
Bottom [PdgTypes.Pdg]

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]

F
Found_prefix [Hptmap.Make]

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.

Z
Zone_unchanged [Lmap_bitwise.Location_map_bitwise]