OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add relation processing to ubsan builtins. 

Ubsan builtins call the plus/minus/multiple fold routines, but did not
use any relation information between the 2 operands that is available.
query and pass any relations.
This resolves gcc.dg/pr97505.c when operating in ranger-only mode.

	* gimple-range-fold.cc (fold_using_range::range_of_builtin_ubsan_call):
	Query relation between the 2 operands and use it.
This commit is contained in:
Andrew MacLeod 2021-07-12 14:38:42 -04:00
parent e61afa0c2f
commit 9693ecdf7e
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/gimple-range-fold.cc
View File

@ -825,12 +825,14 @@ fold_using_range::range_of_builtin_ubsan_call (irange &r, gcall *call,
tree arg1 = gimple_call_arg (call, 1);
src.get_operand (ir0, arg0);
src.get_operand (ir1, arg1);
// Check for any relation between arg0 and arg1.
relation_kind relation = src.query_relation (arg0, arg1);
bool saved_flag_wrapv = flag_wrapv;
// Pretend the arithmetic is wrapping. If there is any overflow,
// we'll complain, but will actually do wrapping operation.
flag_wrapv = 1;
op->fold_range (r, type, ir0, ir1);
op->fold_range (r, type, ir0, ir1, relation);
flag_wrapv = saved_flag_wrapv;
// If for both arguments vrp_valueize returned non-NULL, this should