Hi All,

We are using the snprintf() (which uses vsnprintf() and unsigned_num_print()) from libc of ATF version 2.4

and running into an issue for printing a number into a string where even if I provide large enough string to hold the 

number, it does not print it. I don't see that issue with it when I try to print a string using the same snprintf().

I understand that, as per the documentation use of snprintf is "banned or discouraged". But for the use case,

that we are using for, it is safe enough to use it assuming that it does it what it is supposed to do.

I am not sure if this is a known bug or what, but upon a further inspection, I found that there seems be a small bug

in the unsigned_num_print() for one of the 'if' condition given below which is causing the issue in terms of calculating

Any comment on whether this is on purpose or really a small bug?

The calling routine (vsnprintf) is already reducing 'n' by 1 for the terminating null character.

Thank you very much for your support.

-hiren