This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]