https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64946
--- Comment #6 from vekumar at gcc dot gnu.org --- (In reply to Andrew Pinski from comment #5) > I think you should always use an unsigned type here so it will be defined in > the IR. This is mentioned in bug 22199#c3 . Andrew I missed to include something like this + (if (TYPE_OVERFLOW_WRAPS (TREE_TYPE (@0))) + (convert (op @0 @1))) as in https://gcc.gnu.org/viewcvs?rev=220695&root=gcc&view=rev