diff options
| author | Kugan Vivekanandarajah <kuganv@linaro.org> | 2016-10-17 23:35:48 +0000 |
|---|---|---|
| committer | Kugan Vivekanandarajah <kugan@gcc.gnu.org> | 2016-10-17 23:35:48 +0000 |
| commit | 735b8f9fc4b14384b246b39dfccbf529402b7791 (patch) | |
| tree | 79b96808abe9a9f3a2571e69510e046068caad46 /gcc/tree-ssa-alias.h | |
| parent | 86f980870a28bc9022cc57362b5031ede43ecff9 (diff) | |
| download | gcc-735b8f9fc4b14384b246b39dfccbf529402b7791.zip gcc-735b8f9fc4b14384b246b39dfccbf529402b7791.tar.gz gcc-735b8f9fc4b14384b246b39dfccbf529402b7791.tar.bz2 | |
Set nonnull attribute to ptr_info_def based on VRP
Set nonnull attribute to ptr_info_def based on VRP
gcc/ChangeLog:
2016-10-18 Kugan Vivekanandarajah <kuganv@linaro.org>
* tree-ssa-alias.h (pt_solution_singleton_or_null_p): Renamed from
pt_solution_singleton_p.
* tree-ssa-ccp.c (fold_builtin_alloca_with_align): Use renamed
pt_solution_singleton_or_null_p from pt_solution_singleton_p.
* tree-ssa-structalias.c (find_what_p_points_to): Preserve
pointer nonnull computed by VRP.
Also Conservatively set pt.null to 1.
(pt_solution_reset): Conservatively set pt.null to 1.
(pt_solution_singleton_or_null_p): Renamed from
pt_solution_singleton_p.
* tree-ssanames.h (set_ptr_nonnull): Declare.
(get_ptr_nonnull): Likewise.
* tree-ssanames.c (set_ptr_nonnull): New.
(get_ptr_nonnull): Likewise.
* tree-vrp.c (vrp_finalize): Set ptr that are nonnull.
(evrp_dom_walker::before_dom_children): Likewise.
gcc/testsuite/ChangeLog:
2016-10-18 Kugan Vivekanandarajah <kuganv@linaro.org>
* gcc.dg/torture/pr39074-2.c: Adjust testcase.
* gcc.dg/torture/pr39074.c: Likewise.
From-SVN: r241287
Diffstat (limited to 'gcc/tree-ssa-alias.h')
| -rw-r--r-- | gcc/tree-ssa-alias.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa-alias.h b/gcc/tree-ssa-alias.h index 6680cc0..27a06fc 100644 --- a/gcc/tree-ssa-alias.h +++ b/gcc/tree-ssa-alias.h @@ -146,7 +146,7 @@ extern void dump_alias_stats (FILE *); /* In tree-ssa-structalias.c */ extern unsigned int compute_may_aliases (void); extern bool pt_solution_empty_p (struct pt_solution *); -extern bool pt_solution_singleton_p (struct pt_solution *, unsigned *); +extern bool pt_solution_singleton_or_null_p (struct pt_solution *, unsigned *); extern bool pt_solution_includes_global (struct pt_solution *); extern bool pt_solution_includes (struct pt_solution *, const_tree); extern bool pt_solutions_intersect (struct pt_solution *, struct pt_solution *); |