[Bug analyzer/98628] [11 Regression] ICE in get_or_create_cluster, at analyzer/store.cc:2040 since r11-6513-gbe6c485b24f2b47a

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

David Malcolm  changed:

   What|Removed |Added

 Status|ASSIGNED|RESOLVED
 Resolution|--- |FIXED

--- Comment #5 from David Malcolm  ---
Should be fixed by the above commit.

[Bug analyzer/98628] [11 Regression] ICE in get_or_create_cluster, at analyzer/store.cc:2040 since r11-6513-gbe6c485b24f2b47a

[cvs-commit at gcc dot gnu.org via Gcc-bugs]

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

--- Comment #4 from CVS Commits  ---
The master branch has been updated by David Malcolm :

https://gcc.gnu.org/g:ab88f3607233376c3145c320e92e71943a495bb5

commit r11-6603-gab88f3607233376c3145c320e92e71943a495bb5
Author: David Malcolm 
Date:   Mon Jan 11 20:23:41 2021 -0500

analyzer: fix ICE merging dereferencing unknown ptrs [PR98628]

gcc/analyzer/ChangeLog:
PR analyzer/98628
* store.cc (binding_cluster::make_unknown_relative_to): Don't mark
dereferenced unknown pointers as having escaped.

gcc/testsuite/ChangeLog:
PR analyzer/98628
* gcc.dg/analyzer/pr98628.c: New test.

[Bug analyzer/98628] [11 Regression] ICE in get_or_create_cluster, at analyzer/store.cc:2040 since r11-6513-gbe6c485b24f2b47a

[dmalcolm at gcc dot gnu.org via Gcc-bugs]

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

David Malcolm  changed:

   What|Removed |Added

 Status|NEW |ASSIGNED

--- Comment #3 from David Malcolm  ---
Thanks; I can reproduce it and am debugging it now.

[Bug analyzer/98628] [11 Regression] ICE in get_or_create_cluster, at analyzer/store.cc:2040 since r11-6513-gbe6c485b24f2b47a

[marxin at gcc dot gnu.org via Gcc-bugs]

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

Martin Liška  changed:

   What|Removed |Added

 Status|UNCONFIRMED |NEW
   Last reconfirmed||2021-01-11
 CC||marxin at gcc dot gnu.org
Summary|internal compiler error: in |[11 Regression] ICE in
   |get_or_create_cluster, at   |get_or_create_cluster, at
   |analyzer/store.cc:2040  |analyzer/store.cc:2040
   ||since
   ||r11-6513-gbe6c485b24f2b47a
 Ever confirmed|0   |1

--- Comment #2 from Martin Liška  ---
Reduced test-case:

$ cat misc.i
struct chanset_t help_subst_chan;
struct chanset_t *help_subst_chan_0_0;
struct chanset_t {
  struct chanset_t *next;
  char dname[];
} help_subst() {
  char *writeidx;
  for (;; help_subst_chan = *help_subst_chan_0_0) {
my_strcpy(help_subst_chan.next->dname);
if (help_subst_chan_0_0) {
  writeidx++;
  *writeidx++ = ' ';
}
  }
}