2018-04-30 Richard Biener <rguenther@suse.de>
commitb0bf8a557810cba4c40d609d394cf5555dca2c9f
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Apr 2018 13:18:59 +0000 (30 13:18 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 30 Apr 2018 13:18:59 +0000 (30 13:18 +0000)
tree25383cd8246b747f5bccce4d87cdee282a46e7c1
parentbe1ae722695c9313fa7caec4bb61d3edd9bde0c8
2018-04-30  Richard Biener  <rguenther@suse.de>

* tree-cfg.c (verify_address): Remove base argument, add
flag whether to check TREE_ADDRESSABLE and do that.
(verify_expr): Remove.
(verify_types_in_gimple_reference): Add pieces from verify_expr.
(verify_gimple_assign_single): Likewise.
(verify_gimple_switch): Likewise.
(verify_expr_location_1): Dereference tp once.  Add (disabled)
piece from verify_expr.
(verify_gimple_in_cfg): Do not call verify_expr on all ops.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@259765 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/tree-cfg.c