PING: Re: [PATCH] c, analyzer: support named constants in analyzer [PR106302]

2022-11-07 Thread David Malcolm via Gcc-patches
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

[PATCH] c, analyzer: support named constants in analyzer [PR106302]

2022-10-31 Thread David Malcolm via Gcc-patches
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