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

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

[hewillk at gmail dot com]

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.

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

[marxin at gcc dot gnu.org]

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

Martin Liška <marxin at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|                            |2021-09-15
             Status|UNCONFIRMED                 |WAITING
     Ever confirmed|0                           |1
                 CC|                            |marxin at gcc dot gnu.org

--- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> ---
What compiler options do you use? I can't reproduce it with the current master.

[Bug analyzer/102328] Obsolete version of GCC analyzer on Compiler Explorer

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |ASSIGNED
            Summary|ICE when compare std::list  |Obsolete version of GCC
                   |iterator                    |analyzer on Compiler
                   |                            |Explorer

--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Judging by the URL, it looks like it only happens with the "x86-64 gcc (static
analysis)" option on Compiler Explorer.

I added this in the early phase of the project, but right now it's pulling from
an  obsolete and very out-of-date branch.

Sorry about the confusion.

The fix is to either:
(a) file a pull request with Compiler Explorer to remove that option, or 
(b) push a more recent version of the code to that branch (e.g. for
experimental options that aren't yet ready for trunk)

[Bug analyzer/102328] Obsolete version of GCC analyzer on Compiler Explorer

[dmalcolm at gcc dot gnu.org]

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

--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
I've filed:
  https://github.com/compiler-explorer/compiler-explorer/issues/2937

[Bug analyzer/102328] Obsolete version of GCC analyzer on Compiler Explorer

[dmalcolm at gcc dot gnu.org]

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

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|ASSIGNED                    |RESOLVED

--- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
godbolt.org now no longer shows "x86-64 gcc (static analysis)" as an option
(unless following a link such as the one in comment #0 which uses it).

Marking this as resolved.

Sorry again about the confusion.