pt_solution Struct Reference
#include <tree-ssa-alias.h>
Collaboration diagram for pt_solution:
Data Fields | |
| unsigned int | anything: 1 |
| unsigned int | nonlocal: 1 |
| unsigned int | escaped: 1 |
| unsigned int | ipa_escaped: 1 |
| unsigned int | null: 1 |
| unsigned int | vars_contains_global: 1 |
| bitmap | vars |
Detailed Description
The points-to solution. The points-to solution is a union of pt_vars and the abstract sets specified by the flags.
Field Documentation
| unsigned int pt_solution::anything |
Nonzero if points-to analysis couldn't determine where this pointer
is pointing to.
Referenced by debug_solution_for_var().
| unsigned int pt_solution::escaped |
Nonzero if the points-to set includes the local escaped solution by
reference.
Referenced by debug_solution_for_var().
| unsigned int pt_solution::ipa_escaped |
Nonzero if the points-to set includes the IPA escaped solution by
reference.
| unsigned int pt_solution::nonlocal |
Nonzero if the points-to set includes any global memory. Note that
even if this is zero pt_vars can still include global variables.
Referenced by debug_solution_for_var().
| unsigned int pt_solution::null |
Nonzero if the points-to set includes 'nothing', the points-to set
includes memory at address NULL.
| bitmap pt_solution::vars |
Set of variables that this pointer may point to.
Referenced by pp_points_to_solution().
| unsigned int pt_solution::vars_contains_global |
Nonzero if the pt_vars bitmap includes a global variable.
Referenced by debug_solution_for_var(), and pp_points_to_solution().
The documentation for this struct was generated from the following file:
