https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108252
--- Comment #7 from Илья Шипицин ---
(In reply to David Malcolm from comment #6)
> (In reply to Илья Шипицин from comment #5)
> > thank you, David!
> >
> > I'll rerun haproxy check soon
>
> Note that I haven't yet fixed bug 108251, so I don't
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108252
--- Comment #6 from David Malcolm ---
(In reply to Илья Шипицин from comment #5)
> thank you, David!
>
> I'll rerun haproxy check soon
Note that I haven't yet fixed bug 108251, so I don't know how useful the
results will be to you :/
FWIW I'v
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108252
--- Comment #5 from Илья Шипицин ---
thank you, David!
I'll rerun haproxy check soon
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108252
--- Comment #4 from David Malcolm ---
Should be fixed on trunk for gcc 13 by the above commit.
I *think* the store::set_value change can be readily backported to GCC 12, so
keeping this bug open to track that backport (perhaps even earlier???)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108252
--- Comment #3 from CVS Commits ---
The master branch has been updated by David Malcolm :
https://gcc.gnu.org/g:688fc162b76dc6747a30fcfd470f4770da0f4924
commit r13-5113-g688fc162b76dc6747a30fcfd470f4770da0f4924
Author: David Malcolm
Date: W
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108252
--- Comment #2 from David Malcolm ---
Created attachment 54221
--> https://gcc.gnu.org/bugzilla/attachment.cgi?id=54221&action=edit
Reduced reproducer
Reproduces with trunk, with -fanalyzer:
https://godbolt.org/z/x15xdYa57
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108252
David Malcolm changed:
What|Removed |Added
Last reconfirmed||2023-01-09
Ever confirmed|0
