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

[Dridi Boukelmoune]

On Wed, Nov 30, 2022 at 9:41 AM Poul-Henning Kamp <phk at phk.freebsd.dk> wrote:
>
> --------
> 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.

I was not disagreeing with the change.

Cheers,
Dridi