[Bug libgcc/99236] Undefined behaviour in libgcc

2021-02-24 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99236

Jakub Jelinek  changed:

   What|Removed |Added

   Last reconfirmed||2021-02-24
   Assignee|unassigned at gcc dot gnu.org  |jakub at gcc dot gnu.org
 Status|UNCONFIRMED |ASSIGNED
 Ever confirmed|0   |1
 CC||jakub at gcc dot gnu.org

[Bug libgcc/99236] Undefined behaviour in libgcc

2021-02-24 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99236

--- Comment #1 from Jakub Jelinek  ---
Created attachment 50246
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=50246&action=edit
gcc11-pr99236.patch

Untested fix.

[Bug libgcc/99236] Undefined behaviour in libgcc

2021-02-24 Thread zeccav at gmail dot com via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99236

--- Comment #2 from Vittorio Zecca  ---
After patching libgcc2.c the test case runs fine without sanitizer messages.

[Bug libgcc/99236] Undefined behaviour in libgcc

2021-02-24 Thread cvs-commit at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99236

--- Comment #3 from CVS Commits  ---
The master branch has been updated by Jakub Jelinek :

https://gcc.gnu.org/g:35da095d7e0614235cb0e241685c5e1a240dc882

commit r11-7374-g35da095d7e0614235cb0e241685c5e1a240dc882
Author: Jakub Jelinek 
Date:   Wed Feb 24 20:07:38 2021 +0100

libgcc: Avoid signed negation overflow in __powi?f2 [PR99236]

When these functions are called with integer minimum, there is UB on the
libgcc
side.  Fixed in the obvious way, the code in the end wants ABSU_EXPR
behavior.

2021-02-24  Jakub Jelinek  

PR libgcc/99236
* libgcc2.c (__powisf2, __powidf2, __powitf2, __powixf2): Perform
negation of m in unsigned type.

[Bug libgcc/99236] Undefined behaviour in libgcc

2021-02-24 Thread jakub at gcc dot gnu.org via Gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99236

Jakub Jelinek  changed:

   What|Removed |Added

 Resolution|--- |FIXED
 Status|ASSIGNED|RESOLVED

--- Comment #4 from Jakub Jelinek  ---
Fixed in GCC 11, IMHO not worth backporting.