commit fe115e3147d7d8adf8c94451cc33c9b177293f29
author jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> Thu Dec 06 23:28:04 2018 +0000
committer jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> Thu Dec 06 23:28:04 2018 +0000
tree cd2b1d9b89ff3acda5dd2a6f6fa1e668e192e7fe
parent 71c3d84e12de0658b3a8d717dd42d4c75c947a09

	PR c/88367
	* tree-vrp.c (extract_range_from_binary_expr): For POINTER_PLUS_EXPR
	with -fno-delete-null-pointer-checks, set_nonnull only if the pointer
	is non-NULL and offset is known to have most significant bit clear.
	* vr-values.c (vr_values::vrp_stmt_computes_nonzero): For ADDR_EXPR
	of MEM_EXPR, return true if the MEM_EXPR has non-zero offset with
	most significant bit clear.  If offset does have most significant bit
	set and -fno-delete-null-pointer-checks, don't return true even if
	the base pointer is non-NULL.

	* gcc.dg/tree-ssa/pr88367.c: New test.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@266878 138bc75d-0d04-0410-961f-82ee72b054a4