** Add a number to the buffer. */
| 457 | ** Add a number to the buffer. |
| 458 | */ |
| 459 | static void addnum2buff (BuffFS *buff, TValue *num) { |
| 460 | char *numbuff = getbuff(buff, MAXNUMBER2STR); |
| 461 | int len = tostringbuff(num, numbuff); /* format number into 'numbuff' */ |
| 462 | addsize(buff, len); |
| 463 | } |
| 464 | |
| 465 | |
| 466 | /* |
no test coverage detected