diff options
author | kugan <kugan@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-10-17 23:35:48 +0000 |
---|---|---|
committer | kugan <kugan@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-10-17 23:35:48 +0000 |
commit | 5b48910fca73240958237727cd27ff0c503d7722 (patch) | |
tree | 79b96808abe9a9f3a2571e69510e046068caad46 /ChangeLog.jit | |
parent | 946d814a13f0cb415946934ff1a69c72fed5fc15 (diff) | |
download | gcc-5b48910fca73240958237727cd27ff0c503d7722.tar.gz |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@241287 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'ChangeLog.jit')
0 files changed, 0 insertions, 0 deletions