https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105841

--- Comment #3 from Mike Spertus <mike at spertus dot com> ---
Thanks for the nudge, Jason. I will shake the bit rot off the POC and try to
polish it to something mergeable. OK if I ping you if I have questions?

Reply via email to