#include <tree-ssa-alias.h>
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
Tree based alias analysis and alias oracle. Copyright (C) 2008-2013 Free Software Foundation, Inc. Contributed by Richard Guenther rguenther@suse.de
This file is part of GCC.
GCC is free software; you can redistribute it and/or modify under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version.
GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see http://www.gnu.org/licenses/. 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:
