A NOTE has been added to this issue. ====================================================================== http://austingroupbugs.net/view.php?id=1108 ====================================================================== Reported By: nsz Assigned To: ====================================================================== Project: 1003.1(2016)/Issue7+TC2 Issue ID: 1108 Category: Base Definitions and Headers Type: Error Severity: Editorial Priority: normal Status: Resolved Name: Szabolcs Nagy Organization: musl libc User Reference: Section: limits.h Page Number: Line Number: Interp Status: --- Final Accepted Text: http://austingroupbugs.net/view.php?id=1108#c4041 Resolution: Accepted As Marked Fixed in Version: ====================================================================== Date Submitted: 2016-12-09 17:00 UTC Last Modified: 2018-07-30 19:02 UTC ====================================================================== Summary: LONG_MIN must be <= -2147483648 ======================================================================
---------------------------------------------------------------------- (0004064) eblake (manager) - 2018-07-30 19:02 http://austingroupbugs.net/view.php?id=1108#c4064 ---------------------------------------------------------------------- Mailing list traffic has complained about making abs(x) and friends well-defined for all x, on the grounds that it needlessly hurts compiler optimizations. For example, some compilers offer options such as -ftrapv vs. -fwrapv that can fine-tune whether abs(INT_MIN) behaves a specific way, whereas POSIX unilaterally requiring a specific behavior is at odds with that ability to fine-tune behavior. Thus, this is a valid argument worth reopening the discussion on this bug, and limiting the changes to JUST making int and friends have twos-complement representation, without also requiring (as a much tighter restriction than C) that abs(INT_MIN) be well-defined. Issue History Date Modified Username Field Change ====================================================================== 2016-12-09 17:00 nsz New Issue 2016-12-09 17:00 nsz Name => Szabolcs Nagy 2016-12-09 17:00 nsz Organization => musl libc 2016-12-09 17:00 nsz Section => limits.h 2016-12-09 18:40 EdSchouten Note Added: 0003512 2016-12-09 22:25 nsz Note Added: 0003513 2018-06-07 16:10 geoffclare Note Added: 0004041 2018-06-07 16:11 geoffclare Interp Status => --- 2018-06-07 16:11 geoffclare Final Accepted Text => http://austingroupbugs.net/view.php?id=1108#c4041 2018-06-07 16:11 geoffclare Status New => Resolved 2018-06-07 16:11 geoffclare Resolution Open => Accepted As Marked 2018-06-07 16:11 geoffclare Tag Attached: issue8 2018-07-11 21:10 cmsmith Note Added: 0004050 2018-07-12 08:13 geoffclare Note Added: 0004051 2018-07-12 11:43 shware_systems Note Added: 0004052 2018-07-30 19:02 eblake Note Added: 0004064 ======================================================================