[Bug analyzer/93212] New: internal compiler error: in make_region_for_type, at analyzer/region-model.cc:5961

[mpolacek at gcc dot gnu.org]

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

            Bug ID: 93212
           Summary: internal compiler error: in make_region_for_type, at
                    analyzer/region-model.cc:5961
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: mpolacek at gcc dot gnu.org
  Target Milestone: ---

Compiling 

#include <iostream>
auto lol()
{
    int aha = 3;
    return [&aha] {
        return aha;
    };
}

int main()
{
    auto lambda = lol();
    std::cout << lambda() << std::endl;
    return 0;
}

on the static analysis branch gives an ICE:

during IPA pass: analyzer

<source>: In function 'int main(int, char**)':

<source>:13:25: internal compiler error: in make_region_for_type, at
analyzer/region-model.cc:5961

   13 |     std::cout << lambda() << std::endl;

      |                         ^

Thanks to Vaclav K. who found this bug.