consistent (imax|ll|l)abs() behavior and documentation

2 files changed, 13 insertions, 6 deletions

diff --git a/src/stdlib/labs.c b/src/stdlib/labs.c
index fd092f5a..298c2e64 100644
--- a/src/stdlib/labs.c
+++ b/src/stdlib/labs.c
@@ -2,17 +2,19 @@
 #include "limits.h"
 
 /** absolute value **/
+
 long int labs(long int j)
 {
 	if (j == LONG_MIN) {
 		/* undefined */
+		return LONG_MIN;
 	}
 
 	return j < 0 ? -j : j;
 }
 
 /***
-function computes the absolute value of ARGUMENT(j).
+computes the absolute value of ARGUMENT(j).
 ***/
 
 /*
diff --git a/src/stdlib/llabs.c b/src/stdlib/llabs.c
index 6ccf9c49..9fc00ab6 100644
--- a/src/stdlib/llabs.c
+++ b/src/stdlib/llabs.c
@@ -1,19 +1,24 @@
 #include <stdlib.h>
 #include "limits.h"
 
+/** absolute value **/
+
 long long int llabs(long long int j)
 {
 	if (j == LLONG_MIN) {
 		/* undefined */
+		return LLONG_MIN;
 	}
 
-	if (j < 0) {
-		return -j;
-	}
-
-	return j;
+	return j < 0 ? -j : j;
 }
 
+/***
+computes the absolute value of ARGUMENT(j).
+***/
+
 /*
+UNDEFINED(ABS(ARGUMENT(j)) cannot be represented
+RETURN_SUCCESS(ABS(ARGUMENT(j))
 STDC(199901)
 */