This is the mail archive of the libc-alpha@sources.redhat.com mailing list for the glibc 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]

Re: mktime.c fixes (part 4 of 6): verify assumptions at compile-time


On Wed, Dec 31, 2003 at 12:41:30AM -0800, Paul Eggert wrote:
> +/* The code also assumes that signed integer overflow silently wraps
> +   around, but this assumption can't be stated without causing a
> +   diagnostic on some hosts.  */

Such an assumption requires that you compile with -fwrapv with gcc.
Otherwise we may infer that a signed value cannot legitimately overflow,
and may reason based on that.


r~


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