| 63 | #define DIBS ((sizeof(size_t) * CHAR_BIT + 6) / 7) |
| 64 | |
| 65 | static void dumpSize (DumpState *D, size_t x) { |
| 66 | lu_byte buff[DIBS]; |
| 67 | int n = 0; |
| 68 | do { |
| 69 | buff[DIBS - (++n)] = x & 0x7f; /* fill buffer in reverse order */ |
| 70 | x >>= 7; |
| 71 | } while (x != 0); |
| 72 | buff[DIBS - 1] |= 0x80; /* mark last byte */ |
| 73 | dumpVector(D, buff + DIBS - n, n); |
| 74 | } |
| 75 | |
| 76 | |
| 77 | static void dumpInt (DumpState *D, int x) { |
no outgoing calls
no test coverage detected