https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115784
David Malcolm <dmalcolm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |WONTFIX --- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Thanks Alexey. It seems reasonable to me for a do-nothing forever loop to have *some* attention drawn to it in the source code, so my feeling here is that it's best to manually suppress these warnings with diagnostic_push/pop. I wondered if the documentation could be improved here, but looking at https://gcc.gnu.org/onlinedocs/gcc/Static-Analyzer-Options.html#index-Wanalyzer-infinite-loop it seems reasonable to me. I'm going to close this ticket out (with the code "WONTFIX") - thanks again.