diff options
| author | Richard Biener <rguenther@suse.de> | 2013-11-15 14:48:22 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2013-11-15 14:48:22 +0000 |
| commit | 11924f8b487dc3feb882f08b195bbcbfbacfd96d (patch) | |
| tree | 14c2118dc537f4635438cc32c9d55e790d891b3b /gcc/tree-ssa-alias.h | |
| parent | e179190c0366ca882d4f7bcc33ea42d1cdcfed22 (diff) | |
re PR middle-end/50262 (PTA doesn't disambiguate locally allocated heap objects from pointed to by arguments)
2013-11-15 Richard Biener <rguenther@suse.de>
PR tree-optimization/50262
* tree-ssa-alias.h (struct pt_solution): Split
vars_contains_global into vars_contains_nonlocal,
vars_contains_escaped and vars_contains_escaped_heap.
* tree-ssa-structalias.c (label_visit): Expand comment.
(handle_lhs_call): Adjust comment.
(set_uids_in_ptset): Set the new flags appropriately.
(pt_solution_set): Adjust.
(pt_solution_set_var): Likewise.
(pt_solution_ior_into): Likewise.
(pt_solution_includes_global): Likewise.
(pt_solutions_intersect_1): Optimize escaped handling.
(compute_points_to_sets): Remove heap variable globalization.
(ipa_escaped_pt): Adjust initializer.
(pass_data_ipa_pta): Do not run TODO_update_ssa.
* gimple-pretty-print.c (pp_points_to_solution): Print split
flags.
* tree-ssa-alias.c (dump_points_to_solution): Likewise.
* gcc.dg/tree-ssa/alias-28.c: New testcase.
* gcc.dg/strlenopt-1.c: Adjust.
* gcc.dg/strlenopt-1f.c: Likewise.
From-SVN: r204845
Diffstat (limited to 'gcc/tree-ssa-alias.h')
| -rw-r--r-- | gcc/tree-ssa-alias.h | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/gcc/tree-ssa-alias.h b/gcc/tree-ssa-alias.h index 581cd82a5f3..44485bdd041 100644 --- a/gcc/tree-ssa-alias.h +++ b/gcc/tree-ssa-alias.h @@ -48,9 +48,13 @@ struct GTY(()) pt_solution unsigned int null : 1; - /* Nonzero if the pt_vars bitmap includes a global variable. */ - unsigned int vars_contains_global : 1; - + /* Nonzero if the vars bitmap includes a variable included in 'nonlocal'. */ + unsigned int vars_contains_nonlocal : 1; + /* Nonzero if the vars bitmap includes a variable included in 'escaped'. */ + unsigned int vars_contains_escaped : 1; + /* Nonzero if the vars bitmap includes a anonymous heap variable that + escaped the function and thus became global. */ + unsigned int vars_contains_escaped_heap : 1; /* Set of variables that this pointer may point to. */ bitmap vars; |