GCOV - Varnish Cache


/*-
 * Copyright (c) 2006 Verdens Gang AS
 * Copyright (c) 2006-2021 Varnish Software AS
 * All rights reserved.
 *
 * Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
 * Author: Dridi Boukelmoune <dridi.boukelmoune@gmail.com>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 *
 */

#include "config.h"

#include "cache_varnishd.h"

#define WS_REDZONE_END          '\x15'

static const uintptr_t snap_overflowed = (uintptr_t)&snap_overflowed;

void
WS_Assert(const struct ws *ws)
{

        CHECK_OBJ_NOTNULL(ws, WS_MAGIC);
        DSLb(DBG_WORKSPACE, "WS(%s, %p) = {%p %zu %zu %zu}",
            ws->id, ws, ws->s, pdiff(ws->s, ws->f),
            ws->r == NULL ? 0 : pdiff(ws->f, ws->r),
            pdiff(ws->s, ws->e));
        assert(ws->s != NULL);
        assert(PAOK(ws->s));
        assert(ws->e != NULL);
        assert(PAOK(ws->e));
        assert(ws->s < ws->e);
        assert(ws->f >= ws->s);
        assert(ws->f <= ws->e);
        assert(PAOK(ws->f));
        if (ws->r) {
                assert(ws->r >= ws->f);
                assert(ws->r <= ws->e);
        }
        assert(*ws->e == WS_REDZONE_END);
}

int
WS_Allocated(const struct ws *ws, const void *ptr, ssize_t len)
{
        const char *p = ptr;

        WS_Assert(ws);
        if (len < 0)
                len = strlen(p) + 1;
        assert(!(p > ws->f && p <= ws->e));
        return (p >= ws->s && (p + len) <= ws->f);
}

/*
 * NB: The id must be max 3 char and lower-case.
 * (upper-case the first char to indicate overflow)
 */

void
WS_Init(struct ws *ws, const char *id, void *space, unsigned len)
{
        unsigned l;

        DSLb(DBG_WORKSPACE,
            "WS_Init(%s, %p, %p, %u)", id, ws, space, len);
        assert(space != NULL);
        INIT_OBJ(ws, WS_MAGIC);
        ws->s = space;
        assert(PAOK(space));
        l = PRNDDN(len - 1);
        ws->e = ws->s + l;
        memset(ws->e, WS_REDZONE_END, len - l);
        ws->f = ws->s;
        assert(id[0] & 0x20);           // cheesy islower()
        bstrcpy(ws->id, id);
        WS_Assert(ws);
}

/*
 * Reset a WS to a cookie from WS_Snapshot
 *
 * for use by any code using cache.h
 *
 * does not reset the overflow bit and asserts that, if WS_Snapshot had found
 * the workspace overflown, the marker is intact
 */

void
WS_Reset(struct ws *ws, uintptr_t pp)
{
        char *p;

        WS_Assert(ws);
        AN(pp);
        if (pp == snap_overflowed) {
                DSLb(DBG_WORKSPACE, "WS_Reset(%s, %p, overflowed)", ws->id, ws);
                AN(WS_Overflowed(ws));
                return;
        }
        p = (char *)pp;
        DSLb(DBG_WORKSPACE, "WS_Reset(%s, %p, %p)", ws->id, ws, p);
        assert(ws->r == NULL);
        assert(p >= ws->s);
        assert(p <= ws->e);
        ws->f = p;
        WS_Assert(ws);
}

/*
 * Make a reservation and optionally pipeline a memory region that may or
 * may not originate from the same workspace.
 */

int
WS_Pipeline(struct ws *ws, const void *b, const void *e, unsigned rollback)
{
        unsigned r, l;

        WS_Assert(ws);

        if (rollback)
                WS_Rollback(ws, 0);

        r = WS_ReserveAll(ws);

        if (b == NULL) {
                AZ(e);
                return (0);
        }

        AN(e);
        l = pdiff(b, e);
        if (l > r)
                return (-1);
        memmove(ws->f, b, l);
        return (l);
}

void *
WS_Alloc(struct ws *ws, unsigned bytes)
{
        char *r;

        WS_Assert(ws);
        assert(bytes > 0);
        bytes = PRNDUP(bytes);

        assert(ws->r == NULL);
        if (ws->f + bytes > ws->e) {
                WS_MarkOverflow(ws);
                return (NULL);
        }
        r = ws->f;
        ws->f += bytes;
        DSLb(DBG_WORKSPACE, "WS_Alloc(%s, %p, %u) = %p", ws->id, ws, bytes, r);
        WS_Assert(ws);
        return (r);
}

void *
WS_Copy(struct ws *ws, const void *str, int len)
{
        char *r;
        unsigned bytes;

        WS_Assert(ws);
        assert(ws->r == NULL);

        if (len == -1)
                len = strlen(str) + 1;
        assert(len > 0);

        bytes = PRNDUP((unsigned)len);
        if (ws->f + bytes > ws->e) {
                WS_MarkOverflow(ws);
                return (NULL);
        }
        r = ws->f;
        ws->f += bytes;
        memcpy(r, str, len);
        DSLb(DBG_WORKSPACE, "WS_Copy(%s, %p, %d) = %p", ws->id, ws, len, r);
        WS_Assert(ws);
        return (r);
}

uintptr_t
WS_Snapshot(struct ws *ws)
{

        WS_Assert(ws);
        assert(ws->r == NULL);
        if (WS_Overflowed(ws)) {
                DSLb(DBG_WORKSPACE, "WS_Snapshot(%s, %p) = overflowed",
                    ws->id, ws);
                return (snap_overflowed);
        }
        DSLb(DBG_WORKSPACE, "WS_Snapshot(%s, %p) = %p", ws->id, ws, ws->f);
        return ((uintptr_t)ws->f);
}

/*
 * WS_Release() must be called in all cases
 */
unsigned
WS_ReserveAll(struct ws *ws)
{
        unsigned b;

        WS_Assert(ws);
        assert(ws->r == NULL);

        ws->r = ws->e;
        b = pdiff(ws->f, ws->r);

        WS_Assert(ws);
        DSLb(DBG_WORKSPACE, "WS_ReserveAll(%s, %p) = %u", ws->id, ws, b);

        return (b);
}

/*
 * WS_Release() must be called for retval > 0 only
 */
unsigned
WS_ReserveSize(struct ws *ws, unsigned bytes)
{
        unsigned l;

        WS_Assert(ws);
        assert(ws->r == NULL);
        assert(bytes > 0);

        l = pdiff(ws->f, ws->e);
        if (bytes > l) {
                WS_MarkOverflow(ws);
                return (0);
        }
        ws->r = ws->f + bytes;
        DSLb(DBG_WORKSPACE, "WS_ReserveSize(%s, %p, %u/%u) = %u", ws->id,
            ws, bytes, l, bytes);
        WS_Assert(ws);
        return (bytes);
}

void
WS_Release(struct ws *ws, unsigned bytes)
{
        WS_Assert(ws);
        assert(bytes <= ws->e - ws->f);
        DSLb(DBG_WORKSPACE, "WS_Release(%s, %p, %u)", ws->id, ws, bytes);
        assert(ws->r != NULL);
        assert(ws->f + bytes <= ws->r);
        ws->f += PRNDUP(bytes);
        ws->r = NULL;
        WS_Assert(ws);
}

void
WS_ReleaseP(struct ws *ws, const char *ptr)
{
        WS_Assert(ws);
        DSLb(DBG_WORKSPACE, "WS_ReleaseP(%s, %p, %p (%zd))", ws->id, ws, ptr,
            ptr - ws->f);
        assert(ws->r != NULL);
        assert(ptr >= ws->f);
        assert(ptr <= ws->r);
        ws->f += PRNDUP(ptr - ws->f);
        ws->r = NULL;
        WS_Assert(ws);
}

void *
WS_AtOffset(const struct ws *ws, unsigned off, unsigned len)
{
        char *ptr;

        WS_Assert(ws);
        ptr = ws->s + off;
        AN(WS_Allocated(ws, ptr, len));
        return (ptr);
}

unsigned
WS_ReservationOffset(const struct ws *ws)
{

        AN(ws->r);
        return (ws->f - ws->s);
}

/*--------------------------------------------------------------------*/

unsigned
WS_Dump(const struct ws *ws, char where, size_t off, void *buf, size_t len)
{
        char *b, *p;
        size_t l;

        WS_Assert(ws);
        AN(buf);
        AN(len);

        switch (where) {
        case 's': p = ws->s; break;
        case 'f': p = ws->f; break;
        case 'r': p = ws->r; break;
        default:
                errno = EINVAL;
                return (0);
        }

        if (p == NULL) {
                errno = EAGAIN;
                return (0);
        }

        p += off;
        if (p >= ws->e) {
                errno = EFAULT;
                return (0);
        }

        l = pdiff(p, ws->e);
        if (len <= l) {
                memcpy(buf, p, len);
                return (len);
        }

        b = buf;
        memcpy(b, p, l);
        memset(b + l, WS_REDZONE_END, len - l);
        return (l);
}

/*--------------------------------------------------------------------*/

static inline void
ws_printptr(struct vsb *vsb, const char *s, const char *p)
{
        if (p >= s)
                VSB_printf(vsb, ", +%ld", (long) (p - s));
        else
                VSB_printf(vsb, ", %p", p);
}

void
WS_Panic(struct vsb *vsb, const struct ws *ws)
{

        if (PAN_dump_struct(vsb, ws, WS_MAGIC, "ws"))
                return;
        if (ws->id[0] != '\0' && (!(ws->id[0] & 0x20))) // cheesy islower()
                VSB_cat(vsb, "OVERFLOWED ");
        VSB_printf(vsb, "id = \"%s\",\n", ws->id);
        VSB_printf(vsb, "{s, f, r, e} = {%p", ws->s);
        ws_printptr(vsb, ws->s, ws->f);
        ws_printptr(vsb, ws->s, ws->r);
        ws_printptr(vsb, ws->s, ws->e);
        VSB_cat(vsb, "},\n");
        VSB_indent(vsb, -2);
        VSB_cat(vsb, "},\n");
}

		varnish-cache/bin/varnishd/cache/cache_ws.c
0		/*-
1		* Copyright (c) 2006 Verdens Gang AS
2		* Copyright (c) 2006-2021 Varnish Software AS
3		* All rights reserved.
4		*
5		* Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
6		* Author: Dridi Boukelmoune <dridi.boukelmoune@gmail.com>
7		*
8		* SPDX-License-Identifier: BSD-2-Clause
9		*
10		* Redistribution and use in source and binary forms, with or without
11		* modification, are permitted provided that the following conditions
12		* are met:
13		* 1. Redistributions of source code must retain the above copyright
14		* notice, this list of conditions and the following disclaimer.
15		* 2. Redistributions in binary form must reproduce the above copyright
16		* notice, this list of conditions and the following disclaimer in the
17		* documentation and/or other materials provided with the distribution.
18		*
19		* THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
20		* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
21		* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
22		* ARE DISCLAIMED. IN NO EVENT SHALL AUTHOR OR CONTRIBUTORS BE LIABLE
23		* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
24		* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
25		* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
26		* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
27		* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
28		* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
29		* SUCH DAMAGE.
30		*
31		*/
32
33		#include "config.h"
34
35		#include "cache_varnishd.h"
36
37		#define WS_REDZONE_END '\x15'
38
39		static const uintptr_t snap_overflowed = (uintptr_t)&snap_overflowed;
40
41		void
42	828594	WS_Assert(const struct ws *ws)
43		{
44
45	828594	CHECK_OBJ_NOTNULL(ws, WS_MAGIC);
46	828594	DSLb(DBG_WORKSPACE, "WS(%s, %p) = {%p %zu %zu %zu}",
47		ws->id, ws, ws->s, pdiff(ws->s, ws->f),
48		ws->r == NULL ? 0 : pdiff(ws->f, ws->r),
49		pdiff(ws->s, ws->e));
50	828594	assert(ws->s != NULL);
51	828594	assert(PAOK(ws->s));
52	828594	assert(ws->e != NULL);
53	828594	assert(PAOK(ws->e));
54	828594	assert(ws->s < ws->e);
55	828594	assert(ws->f >= ws->s);
56	828594	assert(ws->f <= ws->e);
57	828594	assert(PAOK(ws->f));
58	828594	if (ws->r) {
59	272683	assert(ws->r >= ws->f);
60	272683	assert(ws->r <= ws->e);
61	272683	}
62	828594	assert(*ws->e == WS_REDZONE_END);
63	828594	}
64
65		int
66	51649	WS_Allocated(const struct ws ws, const void ptr, ssize_t len)
67		{
68	51649	const char *p = ptr;
69
70	51649	WS_Assert(ws);
71	51649	if (len < 0)
72	311	len = strlen(p) + 1;
73	51649	assert(!(p > ws->f && p <= ws->e));
74	51649	return (p >= ws->s && (p + len) <= ws->f);
75		}
76
77		/*
78		* NB: The id must be max 3 char and lower-case.
79		* (upper-case the first char to indicate overflow)
80		*/
81
82		void
83	27360	WS_Init(struct ws ws, const char id, void *space, unsigned len)
84		{
85		unsigned l;
86
87	27360	DSLb(DBG_WORKSPACE,
88		"WS_Init(%s, %p, %p, %u)", id, ws, space, len);
89	27360	assert(space != NULL);
90	27360	INIT_OBJ(ws, WS_MAGIC);
91	27360	ws->s = space;
92	27360	assert(PAOK(space));
93	27360	l = PRNDDN(len - 1);
94	27360	ws->e = ws->s + l;
95	27360	memset(ws->e, WS_REDZONE_END, len - l);
96	27360	ws->f = ws->s;
97	27360	assert(id[0] & 0x20); // cheesy islower()
98	27360	bstrcpy(ws->id, id);
99	27360	WS_Assert(ws);
100	27360	}
101
102		/*
103		* Reset a WS to a cookie from WS_Snapshot
104		*
105		* for use by any code using cache.h
106		*
107		* does not reset the overflow bit and asserts that, if WS_Snapshot had found
108		* the workspace overflown, the marker is intact
109		*/
110
111		void
112	44301	WS_Reset(struct ws *ws, uintptr_t pp)
113		{
114		char *p;
115
116	44301	WS_Assert(ws);
117	44301	AN(pp);
118	44301	if (pp == snap_overflowed) {
119	1	DSLb(DBG_WORKSPACE, "WS_Reset(%s, %p, overflowed)", ws->id, ws);
120	1	AN(WS_Overflowed(ws));
121	1	return;
122		}
123	44300	p = (char *)pp;
124	44300	DSLb(DBG_WORKSPACE, "WS_Reset(%s, %p, %p)", ws->id, ws, p);
125	44300	assert(ws->r == NULL);
126	44300	assert(p >= ws->s);
127	44300	assert(p <= ws->e);
128	44300	ws->f = p;
129	44300	WS_Assert(ws);
130	44301	}
131
132		/*
133		* Make a reservation and optionally pipeline a memory region that may or
134		* may not originate from the same workspace.
135		*/
136
137		int
138	8223	WS_Pipeline(struct ws ws, const void b, const void *e, unsigned rollback)
139		{
140		unsigned r, l;
141
142	8223	WS_Assert(ws);
143
144	8223	if (rollback)
145	6153	WS_Rollback(ws, 0);
146
147	8223	r = WS_ReserveAll(ws);
148
149	8223	if (b == NULL) {
150	7882	AZ(e);
151	7882	return (0);
152		}
153
154	341	AN(e);
155	341	l = pdiff(b, e);
156	341	if (l > r)
157	0	return (-1);
158	341	memmove(ws->f, b, l);
159	341	return (l);
160	8223	}
161
162		void *
163	17786	WS_Alloc(struct ws *ws, unsigned bytes)
164		{
165		char *r;
166
167	17786	WS_Assert(ws);
168	17786	assert(bytes > 0);
169	17786	bytes = PRNDUP(bytes);
170
171	17786	assert(ws->r == NULL);
172	17786	if (ws->f + bytes > ws->e) {
173	344	WS_MarkOverflow(ws);
174	344	return (NULL);
175		}
176	17442	r = ws->f;
177	17442	ws->f += bytes;
178	17442	DSLb(DBG_WORKSPACE, "WS_Alloc(%s, %p, %u) = %p", ws->id, ws, bytes, r);
179	17442	WS_Assert(ws);
180	17442	return (r);
181	17786	}
182
183		void *
184	16608	WS_Copy(struct ws ws, const void str, int len)
185		{
186		char *r;
187		unsigned bytes;
188
189	16608	WS_Assert(ws);
190	16608	assert(ws->r == NULL);
191
192	16608	if (len == -1)
193	359	len = strlen(str) + 1;
194	16608	assert(len > 0);
195
196	16608	bytes = PRNDUP((unsigned)len);
197	16608	if (ws->f + bytes > ws->e) {
198	3	WS_MarkOverflow(ws);
199	3	return (NULL);
200		}
201	16605	r = ws->f;
202	16605	ws->f += bytes;
203	16605	memcpy(r, str, len);
204	16605	DSLb(DBG_WORKSPACE, "WS_Copy(%s, %p, %d) = %p", ws->id, ws, len, r);
205	16605	WS_Assert(ws);
206	16605	return (r);
207	16608	}
208
209		uintptr_t
210	50602	WS_Snapshot(struct ws *ws)
211		{
212
213	50602	WS_Assert(ws);
214	50602	assert(ws->r == NULL);
215	50602	if (WS_Overflowed(ws)) {
216	3	DSLb(DBG_WORKSPACE, "WS_Snapshot(%s, %p) = overflowed",
217		ws->id, ws);
218	3	return (snap_overflowed);
219		}
220	50599	DSLb(DBG_WORKSPACE, "WS_Snapshot(%s, %p) = %p", ws->id, ws, ws->f);
221	50599	return ((uintptr_t)ws->f);
222	50602	}
223
224		/*
225		* WS_Release() must be called in all cases
226		*/
227		unsigned
228	56066	WS_ReserveAll(struct ws *ws)
229		{
230		unsigned b;
231
232	56066	WS_Assert(ws);
233	56066	assert(ws->r == NULL);
234
235	56066	ws->r = ws->e;
236	56066	b = pdiff(ws->f, ws->r);
237
238	56066	WS_Assert(ws);
239	56066	DSLb(DBG_WORKSPACE, "WS_ReserveAll(%s, %p) = %u", ws->id, ws, b);
240
241	56066	return (b);
242		}
243
244		/*
245		* WS_Release() must be called for retval > 0 only
246		*/
247		unsigned
248	15190	WS_ReserveSize(struct ws *ws, unsigned bytes)
249		{
250		unsigned l;
251
252	15190	WS_Assert(ws);
253	15190	assert(ws->r == NULL);
254	15190	assert(bytes > 0);
255
256	15190	l = pdiff(ws->f, ws->e);
257	15190	if (bytes > l) {
258	67	WS_MarkOverflow(ws);
259	67	return (0);
260		}
261	15123	ws->r = ws->f + bytes;
262	15123	DSLb(DBG_WORKSPACE, "WS_ReserveSize(%s, %p, %u/%u) = %u", ws->id,
263		ws, bytes, l, bytes);
264	15123	WS_Assert(ws);
265	15123	return (bytes);
266	15190	}
267
268		void
269	58029	WS_Release(struct ws *ws, unsigned bytes)
270		{
271	58029	WS_Assert(ws);
272	58029	assert(bytes <= ws->e - ws->f);
273	58029	DSLb(DBG_WORKSPACE, "WS_Release(%s, %p, %u)", ws->id, ws, bytes);
274	58029	assert(ws->r != NULL);
275	58029	assert(ws->f + bytes <= ws->r);
276	58029	ws->f += PRNDUP(bytes);
277	58029	ws->r = NULL;
278	58029	WS_Assert(ws);
279	58029	}
280
281		void
282	13148	WS_ReleaseP(struct ws ws, const char ptr)
283		{
284	13148	WS_Assert(ws);
285	13148	DSLb(DBG_WORKSPACE, "WS_ReleaseP(%s, %p, %p (%zd))", ws->id, ws, ptr,
286		ptr - ws->f);
287	13148	assert(ws->r != NULL);
288	13148	assert(ptr >= ws->f);
289	13148	assert(ptr <= ws->r);
290	13148	ws->f += PRNDUP(ptr - ws->f);
291	13148	ws->r = NULL;
292	13148	WS_Assert(ws);
293	13148	}
294
295		void *
296	33677	WS_AtOffset(const struct ws *ws, unsigned off, unsigned len)
297		{
298		char *ptr;
299
300	33677	WS_Assert(ws);
301	33677	ptr = ws->s + off;
302	33677	AN(WS_Allocated(ws, ptr, len));
303	33677	return (ptr);
304		}
305
306		unsigned
307	10783	WS_ReservationOffset(const struct ws *ws)
308		{
309
310	10783	AN(ws->r);
311	10783	return (ws->f - ws->s);
312		}
313
314		/--------------------------------------------------------------------/
315
316		unsigned
317	12	WS_Dump(const struct ws ws, char where, size_t off, void buf, size_t len)
318		{
319		char b, p;
320		size_t l;
321
322	12	WS_Assert(ws);
323	12	AN(buf);
324	12	AN(len);
325
326	12	switch (where) {
327	0	case 's': p = ws->s; break;
328	12	case 'f': p = ws->f; break;
329	0	case 'r': p = ws->r; break;
330		default:
331	0	errno = EINVAL;
332	0	return (0);
333		}
334
335	12	if (p == NULL) {
336	0	errno = EAGAIN;
337	0	return (0);
338		}
339
340	12	p += off;
341	12	if (p >= ws->e) {
342	0	errno = EFAULT;
343	0	return (0);
344		}
345
346	12	l = pdiff(p, ws->e);
347	12	if (len <= l) {
348	12	memcpy(buf, p, len);
349	12	return (len);
350		}
351
352	0	b = buf;
353	0	memcpy(b, p, l);
354	0	memset(b + l, WS_REDZONE_END, len - l);
355	0	return (l);
356	12	}
357
358		/--------------------------------------------------------------------/
359
360		static inline void
361	63	ws_printptr(struct vsb vsb, const char s, const char *p)
362		{
363	63	if (p >= s)
364	42	VSB_printf(vsb, ", +%ld", (long) (p - s));
365		else
366	21	VSB_printf(vsb, ", %p", p);
367	63	}
368
369		void
370	38	WS_Panic(struct vsb vsb, const struct ws ws)
371		{
372
373	38	if (PAN_dump_struct(vsb, ws, WS_MAGIC, "ws"))
374	17	return;
375	21	if (ws->id[0] != '\0' && (!(ws->id[0] & 0x20))) // cheesy islower()
376	0	VSB_cat(vsb, "OVERFLOWED ");
377	21	VSB_printf(vsb, "id = \"%s\",\n", ws->id);
378	21	VSB_printf(vsb, "{s, f, r, e} = {%p", ws->s);
379	21	ws_printptr(vsb, ws->s, ws->f);
380	21	ws_printptr(vsb, ws->s, ws->r);
381	21	ws_printptr(vsb, ws->s, ws->e);
382	21	VSB_cat(vsb, "},\n");
383	21	VSB_indent(vsb, -2);
384	21	VSB_cat(vsb, "},\n");
385	38	}