https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64958
Tobias Burnus <burnus at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |burnus at gcc dot gnu.org
--- Comment #2 from Tobias Burnus <burnus at gcc dot gnu.org> ---
How is this supposed to work? I think in general, it is not that simple to test
for it. Or do you want to restrict it to scalar numeric intrinsic types - and
create a shadow variable? Even that might not work with optimization as we tell
the middle end that the variable doesn't change - and it might then in some
cases simply optimize the check away.
