[Bug analyzer/107725] New: Spurious warning: use of uninitialized value with std::any

["cuzdav at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 107725
           Summary: Spurious warning: use of uninitialized value with
                    std::any
           Product: gcc
           Version: 12.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: cuzdav at gmail dot com
  Target Milestone: ---

Created attachment 53914
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=53914&action=edit
preprocessed code

With the analyzer (-fanalyzer), this built cleanly with GCC10 and GCC11, but
starting with GCC 12 (still occurring in trunk) in either C++17 or c++20 mode,
I see this warning (x86 linux):

<source>:4:13: warning: use of uninitialized value '<unknown>' [CWE-457]
[-Wanalyzer-use-of-uninitialized-value]
    4 |     return {};
      |             ^
  'std::any create()': events 1-2
    |
    |    3 | std::any create() {
    |      |                 ^
    |      |                 |
    |      |                 (1) region created on stack here
    |    4 |     return {};
    |      |             ~    
    |      |             |
    |      |             (2) use of uninitialized value '<unknown>' here
    |
Compiler returned: 0


This is the code in its entirety:

    #include <any>
    std::any create() {
        return {};
    }

https://godbolt.org/z/TWPcaW4Kn