On Mon, Apr 09, 2018 at 08:56:28PM +0200, Tobias Stoeckmann wrote:
> As tb@ pointed out, u64ton can overflow on ULONG_MAX. It could also
> happen on systems with 64 bit int and INT_MIN, although we don't have
> such a system supported by our code base.
>
> You can reach the u64ton function by printing the length of a string
> within a variable like this:
>
> $ a=string
> $ echo ${#a}
> 6
> $ _
>
> Technically there is no need to use BITS(uint64_t) because 20+2 would
> be enough. But it seems that there is a strong preference towards
> going "long long" instead of int64_t due to return types of time()
> and strtonum() as well as a highly theoretical support of larger types
> than 64 bit in long long. Although that probably will never happen.
"Never" is an awful long time...
> So, if we go with a data type like long long, I would prefer to have
> the code prepared to scale its buffer with the data type, therefore
> BITS(). And let's be honest -- nobody will notice this waste of extra
> 44 bytes.
Depending on the compiler, it might have been 64-byte aligned anyway,
so we might just be making use of space we "had" anyway.
Ditto what tb@ said about dropping the hex numerals from the loop,
otherwise this is ok with me.
... though I would like to circle back and modify this function again
after you're done with your conversions. Given the callers remaining
for u64ton() (nee ulton()), the second argument seems like a hack.
Could it eventually look like this?
long long
llton(long long n)
{
static char buf [BITS(uint64_t) + 2];
char *p;
int negative;
negative = (n < 0) ? 1 : 0;
p = &buf[sizeof(buf)];
*--p = '\0';
do {
*--p = "0123456789"[n % 10];
n /= 10;
} while (n != 0);
if (negative)
*--p = '-';
return p;
}
I'm even tempted to just snprintf(3) the buffer and be done with it,
but I'm reluctant to advocate deoptimizing this function, given that
it has worked fine since import.
-Scott
> Tobias
>
> Index: eval.c
> ===================================================================
> RCS file: /cvs/src/bin/ksh/eval.c,v
> retrieving revision 1.60
> diff -u -p -u -p -r1.60 eval.c
> --- eval.c 9 Apr 2018 17:53:36 -0000 1.60
> +++ eval.c 9 Apr 2018 18:47:45 -0000
> @@ -732,7 +732,7 @@ varsub(Expand *xp, char *sp, char *word,
> if (Flag(FNOUNSET) && c == 0 && !zero_ok)
> errorf("%s: parameter not set", sp);
> *stypep = 0; /* unqualified variable/string substitution */
> - xp->str = str_save(u64ton((uint64_t)c, 10), ATEMP);
> + xp->str = str_save(u64ton((uint64_t)c, '\0'), ATEMP);
> return XSUB;
> }
>
> Index: misc.c
> ===================================================================
> RCS file: /cvs/src/bin/ksh/misc.c,v
> retrieving revision 1.70
> diff -u -p -u -p -r1.70 misc.c
> --- misc.c 9 Apr 2018 17:53:36 -0000 1.70
> +++ misc.c 9 Apr 2018 18:47:45 -0000
> @@ -56,20 +56,22 @@ initctypes(void)
> setctypes(" \n\t\"#$&'()*;<>?[\\`|", C_QUOTE);
> }
>
> -/* convert uint64_t to base N string */
> +/* convert uint64_t N to a base 10 number as string with optional PREFIX */
>
> char *
> -u64ton(uint64_t n, int base)
> +u64ton(uint64_t n, char prefix)
> {
> char *p;
> - static char buf [20];
> + static char buf [BITS(uint64_t) + 2];
>
> p = &buf[sizeof(buf)];
> *--p = '\0';
> do {
> - *--p = "0123456789ABCDEF"[n%base];
> - n /= base;
> + *--p = "0123456789ABCDEF"[n % 10];
> + n /= 10;
> } while (n != 0);
> + if (prefix != '\0')
> + *--p = prefix;
> return p;
> }
>
> Index: sh.h
> ===================================================================
> RCS file: /cvs/src/bin/ksh/sh.h,v
> retrieving revision 1.72
> diff -u -p -u -p -r1.72 sh.h
> --- sh.h 9 Apr 2018 17:53:36 -0000 1.72
> +++ sh.h 9 Apr 2018 18:47:45 -0000
> @@ -527,7 +527,7 @@ void cleanup_proc_env(void);
> /* misc.c */
> void setctypes(const char *, int);
> void initctypes(void);
> -char * u64ton(uint64_t, int);
> +char * u64ton(uint64_t, char);
> char * str_save(const char *, Area *);
> char * str_nsave(const char *, int, Area *);
> int option(const char *);
> Index: tree.c
> ===================================================================
> RCS file: /cvs/src/bin/ksh/tree.c,v
> retrieving revision 1.34
> diff -u -p -u -p -r1.34 tree.c
> --- tree.c 9 Apr 2018 17:53:36 -0000 1.34
> +++ tree.c 9 Apr 2018 18:47:45 -0000
> @@ -376,9 +376,7 @@ vfptreef(struct shf *shf, int indent, co
> case 'd': /* decimal */
> n = va_arg(va, int);
> neg = n < 0;
> - p = u64ton(neg ? -n : n, 10);
> - if (neg)
> - *--p = '-';
> + p = u64ton(neg ? -n : n, neg ? '-' : '\0');
> while (*p)
> tputc(*p++, shf);
> break;
> @@ -392,7 +390,7 @@ vfptreef(struct shf *shf, int indent, co
> tputS(p, shf);
> break;
> case 'u': /* unsigned decimal */
> - p = u64ton(va_arg(va, unsigned int), 10);
> + p = u64ton(va_arg(va, unsigned int), '\0');
> while (*p)
> tputc(*p++, shf);
> break;
>
