infer doesn't understand for(;;) loops in C

[1] The version of infer from infer --version. Infer version v1.1.0 Copyright 2009 - present Facebook. All Rights Reserved.
[2] Your operating system and version, for example "Debian 9", "MacOS High Sierra", whether you are using Docker, etc. Ubuntu 22.04.1 LTS
[3] Which command you ran, for example infer -- make.

infer run -- clang -c foo.c

[4] The full output in a paste, for instance a gist.

Capturing in make/cc mode...
Found 1 source file to analyze in /tmp/infer-out
1/1 [################################################################################] 100% 51.704ms

foo.c:9: error: Uninitialized Value
  The value read from rval was never initialized.
   7.       rval = 1;
   8.    }
   9.    if( rval == 2)
             ^
  10.       return( 1);
  11.    return( 0);

Found 1 issue
                Issue Type(ISSUED_TYPE_ID): #
  Uninitialized Value(UNINITIALIZED_VALUE): 1

[5] If possible, a minimal example to reproduce your problem (for instance, some code where infer reports incorrectly, together with the way you run infer to reproduce the incorrect report).

foo.c:

int  main( void)
{
   int   rval;

   for(;;)
   {
      rval = 1;
   }
   if( rval == 2)
      return( 1);
   return( 0);
}

facebook / infer

infer doesn't understand for(;;) loops in C #1713