[Bug middle-end/80100] simplify-rtx.c sanitizer detects undefined behaviour with optimization

zeccav at gmail dot com gcc-bugzilla@gcc.gnu.org
Wed Apr 12 06:13:00 GMT 2017


https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80100

--- Comment #7 from Vittorio Zecca <zeccav at gmail dot com> ---
(In reply to Jakub Jelinek from comment #5)
> Author: jakub
> Date: Tue Apr 11 17:21:51 2017
> New Revision: 246851
> 
> URL: https://gcc.gnu.org/viewcvs?rev=246851&root=gcc&view=rev
> Log:
> 	PR middle-end/80100
> 	* simplify-rtx.c (simplify_binary_operation_1) <case IOR>: Perform
> 	left shift in unsigned HOST_WIDE_INT type.
> 
> 	* gcc.dg/pr80100.c: New test.
> 
> Added:
>     trunk/gcc/testsuite/gcc.dg/pr80100.c
> Modified:
>     trunk/gcc/ChangeLog
>     trunk/gcc/simplify-rtx.c
>     trunk/gcc/testsuite/ChangeLog

Looking at the diff file, where is the change in line 2744? 
"int count = INTVAL (XEXP (op0, 1));"

Old and new look the same to me.


More information about the Gcc-bugs mailing list