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

tree-ssa-reassoc.c (optimize_range_tests_diff): Perform MINUS_EXPR in unsigned type to avoid undefined behavior.

Browse Source 
* tree-ssa-reassoc.c (optimize_range_tests_diff): Perform
	MINUS_EXPR in unsigned type to avoid undefined behavior.

From-SVN: r216252
This commit is contained in:
Jakub Jelinek 2014-10-15 12:33:02 +02:00 committed by Jakub Jelinek
parent d110c3ed97
commit db247aed5e
2 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2014-10-15 Jakub Jelinek <jakub@redhat.com>
* tree-ssa-reassoc.c (optimize_range_tests_diff): Perform
MINUS_EXPR in unsigned type to avoid undefined behavior.
2014-10-15 Eric Botcazou <ebotcazou@adacore.com>
* stor-layout.c (self_referential_size): Do not promote arguments.

7
gcc/tree-ssa-reassoc.c
View File

@ -2250,8 +2250,13 @@ optimize_range_tests_diff (enum tree_code opcode, tree type,
if (tree_log2 (tem1) < 0)
return false;
type = unsigned_type_for (type);
tem1 = fold_convert (type, tem1);
tem2 = fold_convert (type, tem2);
lowi = fold_convert (type, lowi);
mask = fold_build1 (BIT_NOT_EXPR, type, tem1);
tem1 = fold_binary (MINUS_EXPR, type, rangei->exp, lowi);
tem1 = fold_binary (MINUS_EXPR, type,
fold_convert (type, rangei->exp), lowi);
tem1 = fold_build2 (BIT_AND_EXPR, type, tem1, mask);
lowj = build_int_cst (type, 0);
if (update_range_test (rangei, rangej, 1, opcode, ops, tem1,