I'd like to "ping" the C frontend parts of this patch:
https://gcc.gnu.org/pipermail/gcc-patches/2022-October/604739.html
FWIW I've just posted the socket patch that I referred to, here:
https://gcc.gnu.org/pipermail/gcc-patches/2022-November/605281.html
which depends on this patch.
Thanks
Da
The analyzer's file-descriptor state machine tracks the access mode of
opened files, so that it can emit -Wanalyzer-fd-access-mode-mismatch.
To do this, its symbolic execution needs to "know" the values of the
constants "O_RDONLY", "O_WRONLY", and "O_ACCMODE". Currently
analyzer/sm-fd.cc simply u