https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112833
--- Comment #5 from Alejandro Colomar <alx at kernel dot org> --- (In reply to Sam James from comment #4) > Mind filing another bug with that? Thanks. I found <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99860>. It resulted in adding -Wanalyzer-overlapping-buffers, which is present in my copy of gcc-14. However, that's still unable to diagnose this program. So, the analyzer seems to understand restrict; just that it's still in early stages.
