Re: noverlay branch

[Stefan Kangas]

Matt Armstrong <matt@rfc20.org> writes:

> TLDR: things are looking pretty stable and good on the feature/noverlay
> branch.  If anyone here tested it a month ago and found it lacking, give
> it another whirl.

Would it be welcome to merge master into that feature branch?

BTW, I can see two warnings, with gcc 12.2.0:

In function ‘interval_tree_remove_fix’,
    inlined from ‘itree_remove’ at itree.c:1110:5:
itree.c:923:15: warning: potential null pointer dereference [-Wnull-dereference]
  923 |           if (null_safe_is_black (other->left) /* 2.a */
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
itree.c:960:15: warning: potential null pointer dereference [-Wnull-dereference]
  960 |           if (null_safe_is_black (other->right) /* 2.b */
      |               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

I'm now running feature/noverlay here (with master merged locally), and
will report back if I run into any issues.