#include <tree-ssa-alias.h>

Collaboration diagram for pt_solution:

[legend]

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	const_pool: 1

unsigned int	vars_contains_nonlocal: 1

unsigned int	vars_contains_escaped: 1

unsigned int	vars_contains_escaped_heap: 1

unsigned int	vars_contains_restrict: 1

unsigned int	vars_contains_interposable: 1

bitmap	vars

Detailed Description

Tree based alias analysis and alias oracle.
Copyright (C) 2008-2025 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

◆ anything

unsigned int pt_solution::anything

Referenced by add_partitioned_vars_to_ptset(), default_ref_may_alias_errno(), dump_points_to_solution(), find_what_var_points_to(), fold_builtin_alloca_with_align(), ipa_pta_execute(), pp_points_to_solution(), pt_solution_empty_p(), pt_solution_includes_1(), pt_solution_includes_global(), pt_solution_ior_into(), pt_solution_reset(), pt_solution_singleton_or_null_p(), pt_solutions_intersect_1(), and remap_ssa_name().

◆ const_pool

unsigned int pt_solution::const_pool

Referenced by dump_points_to_solution(), find_what_var_points_to(), pp_points_to_solution(), pt_solution_includes_const_pool(), and pt_solution_ior_into().

◆ escaped

unsigned int pt_solution::escaped

Referenced by compute_points_to_sets(), dump_points_to_solution(), find_what_var_points_to(), instrument_expr(), pp_points_to_solution(), pt_solution_empty_p(), pt_solution_includes_1(), pt_solution_includes_const_pool(), pt_solution_includes_global(), pt_solution_ior_into(), pt_solution_singleton_or_null_p(), and pt_solutions_intersect_1().

◆ ipa_escaped

unsigned int pt_solution::ipa_escaped

Referenced by dump_points_to_solution(), find_what_var_points_to(), instrument_expr(), ipa_pta_execute(), pp_points_to_solution(), pt_solution_empty_p(), pt_solution_includes_1(), pt_solution_includes_const_pool(), pt_solution_includes_global(), pt_solution_ior_into(), pt_solution_singleton_or_null_p(), and pt_solutions_intersect_1().

◆ nonlocal

unsigned int pt_solution::nonlocal

Referenced by compute_points_to_sets(), default_ref_may_alias_errno(), dump_points_to_solution(), find_what_var_points_to(), ipa_pta_execute(), pp_points_to_solution(), pt_solution_empty_p(), pt_solution_includes_1(), pt_solution_includes_const_pool(), pt_solution_includes_global(), pt_solution_ior_into(), pt_solution_singleton_or_null_p(), and pt_solutions_intersect_1().

◆ null

unsigned int pt_solution::null

Referenced by dump_points_to_solution(), find_what_p_points_to(), find_what_var_points_to(), get_ssa_name_ptr_info_nonnull(), pp_points_to_solution(), pt_solution_ior_into(), pt_solution_reset(), ptrs_compare_unequal(), same_addr_size_stores_p(), set_ptr_nonnull(), and set_range_info().

◆ vars

bitmap pt_solution::vars

Referenced by add_partitioned_vars_to_ptset(), dump_points_to_solution(), find_what_var_points_to(), ipa_icf::sem_item_optimizer::fixup_pt_set(), gimple_bind_append_vars(), gimple_bind_set_vars(), pp_points_to_solution(), pt_solution_empty_p(), pt_solution_includes_1(), pt_solution_ior_into(), pt_solution_set(), pt_solution_set_var(), pt_solution_singleton_or_null_p(), and pt_solutions_intersect_1().

◆ vars_contains_escaped

unsigned int pt_solution::vars_contains_escaped

Referenced by dump_points_to_solution(), pp_points_to_solution(), pt_solution_includes_global(), pt_solution_ior_into(), pt_solution_set(), pt_solution_set_var(), pt_solutions_intersect_1(), and set_uids_in_ptset().

◆ vars_contains_escaped_heap

unsigned int pt_solution::vars_contains_escaped_heap

Referenced by dump_points_to_solution(), pp_points_to_solution(), pt_solution_includes_global(), pt_solution_ior_into(), and set_uids_in_ptset().

◆ vars_contains_interposable

unsigned int pt_solution::vars_contains_interposable

Referenced by dump_points_to_solution(), pp_points_to_solution(), ptrs_compare_unequal(), and set_uids_in_ptset().

◆ vars_contains_nonlocal

unsigned int pt_solution::vars_contains_nonlocal

Referenced by dump_points_to_solution(), pp_points_to_solution(), pt_solution_includes_global(), pt_solution_ior_into(), pt_solution_set(), pt_solution_set_var(), pt_solutions_intersect_1(), ptrs_compare_unequal(), and set_uids_in_ptset().

◆ vars_contains_restrict

unsigned int pt_solution::vars_contains_restrict