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-ccp.c | |
| 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-ccp.c')
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index fe9a313..61754d8 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -2135,7 +2135,7 @@ fold_builtin_alloca_with_align (gimple *stmt) { bool singleton_p; unsigned uid; - singleton_p = pt_solution_singleton_p (&pi->pt, &uid); + singleton_p = pt_solution_singleton_or_null_p (&pi->pt, &uid); gcc_assert (singleton_p); SET_DECL_PT_UID (var, uid); } |