https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
David Malcolm changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
--- Comment #11 from CVS Commits ---
The releases/gcc-12 branch has been updated by David Malcolm
:
https://gcc.gnu.org/g:e7f7483d50069fede8450091449714d122c58fca
commit r12-9358-ge7f7483d50069fede8450091449714d122c58fca
Author: David Malcolm
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
--- Comment #10 from dimitri at ouroboros dot rocks ---
thanks for the analysis and the fix!
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
--- Comment #9 from David Malcolm ---
s/earlier/earliest/
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
--- Comment #8 from David Malcolm ---
(In reply to David Malcolm from comment #7)
> I hope to backport this to GCC 12; keeping this open to track that.
I believe the buggy implementation of dynamic_call_info_t::update_model was
introduced in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
--- Comment #7 from David Malcolm ---
Fixed on trunk for GCC 13 by the above commit.
I hope to backport this to GCC 12; keeping this open to track that.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
--- Comment #6 from CVS Commits ---
The master branch has been updated by David Malcolm :
https://gcc.gnu.org/g:a7aef0a5a2b7e20048275a29bd80674c1a061a24
commit r13-4158-ga7aef0a5a2b7e20048275a29bd80674c1a061a24
Author: David Malcolm
Date:
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
--- Comment #5 from David Malcolm ---
It's a bug in feasibility-checking when jumping through a function pointer:
dynamic_call_info_t::update_model blindly copies over the state from the
exploded_node's state, overwriting the precise knowledge
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107582
David Malcolm changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Ever confirmed|0