[Bug analyzer/102328] New: ICE when compare std::list iterator

[hewillk at gmail dot com via Gcc-bugs]

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

            Bug ID: 102328
           Summary: ICE when compare std::list iterator
           Product: gcc
           Version: 12.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: analyzer
          Assignee: dmalcolm at gcc dot gnu.org
          Reporter: hewillk at gmail dot com
  Target Milestone: ---

#include <list>

int main() {
  std::list<int> l;
  l.begin() == l.end();
}

https://godbolt.org/z/YdYTcrW4r

I have never used the gcc static analyzer and I just found this ICE
accidentally. Please correct me if I did something wrong.