This is the mail archive of the
glibc-bugs@sourceware.org
mailing list for the glibc project.
[Bug math/21309] signed integer overflow in sysdeps/ieee754/dbl-64/e_pow.c
- From: "joseph at codesourcery dot com" <sourceware-bugzilla at sourceware dot org>
- To: glibc-bugs at sourceware dot org
- Date: Mon, 27 Mar 2017 15:03:04 +0000
- Subject: [Bug math/21309] signed integer overflow in sysdeps/ieee754/dbl-64/e_pow.c
- Auto-submitted: auto-generated
- References: <bug-21309-131@http.sourceware.org/bugzilla/>
https://sourceware.org/bugzilla/show_bug.cgi?id=21309
--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot com> ---
In GNU C, a shift left or right by an amount in the range [0, width of
type - 1] is fully defined whether the value being shifted has a signed or
unsigned type. Only a shift by a negative amount, or an amount >= the
width of the type, is undefined.
This is not to say that cleanups to avoid certain cases that are undefined
in ISO C but not in GNU C should not be done, in order e.g. to support
building some glibc code with sanitization enabled, but such cases are not
bugs and should not be filed in Bugzilla.
--
You are receiving this mail because:
You are on the CC list for the bug.