https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85617
--- Comment #4 from Daniel Gutson <danielgutson at gmail dot com> --- (In reply to Jakub Jelinek from comment #3) > The warning really can't be implemented later than in the FE, because many > of the non-setting uses are optimized away already during the FEs. So there > is no way this can be handled as requested. Ok just for educational and documentational purposes, could you please comment 1) what structural changes should be done in order to be able to get this possible? 2) could you please point me in the code to where the first breaking optimization is that turns this unfeasible? If the front-end would support this, would then other benefits come up for other analyses?
