On 28/01/2021 21:23, David Malcolm via Gcc wrote: > I wrote a blog post covering what I've been working on in the analyzer > in this release: > > https://developers.redhat.com/blog/2021/01/28/static-analysis-updates-in-gcc-11/ >
As a gcc user, I am always glad to hear of more static analysis and static warning work. My own work is mostly on small embedded systems, where "malloc" and friends are severely frowned upon in any case and there is no file system, so most of the gcc 10 -fanalyzer warnings are of no direct use to me. (I still think they are great ideas - even if /I/ don't write much PC code, everyone benefits if there are fewer bugs in programs.) I will get more use for the new warnings you've added for gcc 11. I wrote a feature request for gcc a while back, involving adding tag attributes to functions in order to ensure that certain classes of functions are only used from specific allowed functions. The feature request attracted only a little interest at the time. But I suspect it could work far better along with the kind of analysis you are doing with -fanalyzer than with the normal syntactical analyser in gcc. <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88391> David
