https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109778
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It's definitely "odd" API, are you sure it's only used from CCP? It was present forever ... The fix looks good to me of course.
rguenth at gcc dot gnu.org via Gcc-bugs Tue, 09 May 2023 00:38:19 -0700
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109778
--- Comment #4 from Richard Biener <rguenth at gcc dot gnu.org> --- It's definitely "odd" API, are you sure it's only used from CCP? It was present forever ... The fix looks good to me of course.