I've been using it on a C program for almost one year, added to my Makefile's "make check" and it does work, although like with rustc some times you need to refactor something to express it in a way that it understands.
A few weeks ago after some changes in my program it would complain about something and after figuring out that it was actually fine, I didn't want to rewrite that part just to spell things out for the analyzer. I went to check if they had made improvements. My distro still had only GCC 10 but 11 had been released so I compiled it from source and tried it: the warning disappeared, and I decided to leave the code as it was.
If you give it a try, make sure to do it with GCC 11 at least, it improved a lot since 10.
A few weeks ago after some changes in my program it would complain about something and after figuring out that it was actually fine, I didn't want to rewrite that part just to spell things out for the analyzer. I went to check if they had made improvements. My distro still had only GCC 10 but 11 had been released so I compiled it from source and tried it: the warning disappeared, and I decided to leave the code as it was.
If you give it a try, make sure to do it with GCC 11 at least, it improved a lot since 10.