[Bug analyzer/115784] New: -Wanalyzer-infinite-loop does not take into account noreturn attribute

[alexey.lapshin at espressif dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115784

            Bug ID: 115784
           Summary: -Wanalyzer-infinite-loop does not take into account
                    noreturn attribute
           Product: gcc
           Version: 14.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: alexey.lapshin at espressif dot com
  Target Milestone: ---

False-positive detection on functions declared like this:

void __attribute__((noreturn)) foo(void)
{
   while(1);
}