[Bug analyzer/93544] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

2020-03-04 Thread cvs-commit at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93544 --- Comment #8 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:3d66e153b40ed000af30a9e569a05f34d5d576aa commit r10-7023-g3d66e153b40ed000af30a9e569a05f34d5d576aa Author: David Malcolm Date: Tu

[Bug analyzer/93544] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

2020-02-26 Thread cvs-commit at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93544 --- Comment #7 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:71b633aaea3aac2d983da7b1b99da8c9a8c80d1a commit r10-6880-g71b633aaea3aac2d983da7b1b99da8c9a8c80d1a Author: David Malcolm Date: We

[Bug analyzer/93544] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

2020-02-03 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93544 David Malcolm changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|---

[Bug analyzer/93544] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

2020-02-03 Thread cvs-commit at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93544 --- Comment #5 from CVS Commits --- The master branch has been updated by David Malcolm : https://gcc.gnu.org/g:8525d1f5f57b11fe04a97674cc2fc2b7727621d0 commit r10-6412-g8525d1f5f57b11fe04a97674cc2fc2b7727621d0 Author: David Malcolm Date: Mo

[Bug analyzer/93544] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

2020-02-03 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93544 --- Comment #4 from David Malcolm --- (In reply to Arseny Solokha from comment #3) [...] > I'm not sure either now. I bet I've seen > > | 11 | bs = dx = !!ja ? qd () : 0; > | |~~^~~ > | |

[Bug analyzer/93544] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

2020-02-03 Thread asolokha at gmx dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93544 --- Comment #3 from Arseny Solokha --- (In reply to David Malcolm from comment #2) > (In reply to Arseny Solokha from comment #0) > > (BTW, w/o -O1 the analysis seems to be wrong in that double-free happens > > following "false" branch, but that'

[Bug analyzer/93544] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

2020-02-03 Thread dmalcolm at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93544 --- Comment #2 from David Malcolm --- (In reply to Arseny Solokha from comment #0) [...snip...] Thanks for filing this, I'm investigating the ICE. > (BTW, w/o -O1 the analysis seems to be wrong in that double-free happens > following "false" br

[Bug analyzer/93544] ICE in get_lvalue_1, at analyzer/region-model.cc:4613

2020-02-03 Thread marxin at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93544 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |ASSIGNED Last reconfirmed|