revert: backport: re PR rtl-optimization/82044 (runtime signed integer overflow in check_mem_read_rtx() and all_positions_needed_p() in dse.c)

2017-11-22  Richard Biener  <rguenther@suse.de>

	Revert
	2017-11-21  Martin Liska  <mliska@suse.cz>
 
	Backport from mainline
	2017-11-21  Martin Liska  <mliska@suse.cz>

	PR rtl-optimization/82044
	PR tree-optimization/82042
	* dse.c (check_mem_read_rtx): Check for overflow.

From-SVN: r255046
This commit is contained in:
Richard Biener 2017-11-22 09:04:47 +00:00 committed by Richard Biener
parent 496898596e
commit d938e377b1
2 changed files with 12 additions and 6 deletions

View File

@ -1,3 +1,15 @@
2017-11-22 Richard Biener <rguenther@suse.de>
Revert
2017-11-21 Martin Liska <mliska@suse.cz>
Backport from mainline
2017-11-21 Martin Liska <mliska@suse.cz>
PR rtl-optimization/82044
PR tree-optimization/82042
* dse.c (check_mem_read_rtx): Check for overflow.
2017-11-21 Martin Liska <mliska@suse.cz>
Backport from mainline

View File

@ -1978,12 +1978,6 @@ check_mem_read_rtx (rtx *loc, bb_info_t bb_info)
else
width = GET_MODE_SIZE (GET_MODE (mem));
if (offset > HOST_WIDE_INT_MAX - width)
{
clear_rhs_from_active_local_stores ();
return;
}
read_info = read_info_type_pool.allocate ();
read_info->group_id = group_id;
read_info->mem = mem;