nolibc now has INT_MAX in stdint.h, so, don't mix INT_MAX and
__INT_MAX__, unify them to INT_MAX.
Signed-off-by: Zhangjin Wu <falcon@tinylab.org>
Reviewed-by: Thomas Weißschuh <linux@weissschuh.net>
Signed-off-by: Willy Tarreau <w@1wt.eu>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
 int main(int argc, char **argv, char **envp)
 {
        int min = 0;
-       int max = __INT_MAX__;
+       int max = INT_MAX;
        int ret = 0;
        int err;
        int idx;
                                 * here, which defaults to the full range.
                                 */
                                do {
-                                       min = 0; max = __INT_MAX__;
+                                       min = 0; max = INT_MAX;
                                        value = colon;
                                        if (value && *value) {
                                                colon = strchr(value, ':');