[Bug fortran/64958] Warn if INTENT(IN) is changed by passing to no-intent argument

[burnus at gcc dot gnu.org]

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.