PIPS
|
#include <points_to_private.h>
Data Fields | |
intptr_t | _type_ |
cell | _points_to_source_ |
cell | _points_to_sink_ |
source:cell More... | |
approximation | _points_to_approximation_ |
sink:cell More... | |
descriptor | _points_to_descriptor_ |
approximation:approximation More... | |
Definition at line 166 of file points_to_private.h.
approximation _newgen_struct_points_to_::_points_to_approximation_ |
sink:cell
Definition at line 170 of file points_to_private.h.
descriptor _newgen_struct_points_to_::_points_to_descriptor_ |
approximation:approximation
Definition at line 171 of file points_to_private.h.
cell _newgen_struct_points_to_::_points_to_sink_ |
source:cell
Definition at line 169 of file points_to_private.h.
cell _newgen_struct_points_to_::_points_to_source_ |
Definition at line 168 of file points_to_private.h.
intptr_t _newgen_struct_points_to_::_type_ |
Definition at line 167 of file points_to_private.h.