[master] df9bc1860 Make WS_Allocated() assert that pointers are not in the free part of WS

[Poul-Henning Kamp]

--------
Dridi Boukelmoune writes:

> > +       assert(!(p > ws->f && p <= ws->e));
> >         return (p >= ws->s && (p + len) <= ws->f);
> >  }
>
> Just in case you were wondering, the workspace emulator already guarantees this.

yes, but I see no reason to not enforce it in production too.

-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk at FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe    
Never attribute to malice what can adequately be explained by incompetence.