https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64958
--- Comment #1 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- If this mechanism is in place, it could also be used to catch code like call foo(a+1) ... subroutine foo(a) a = a + 1 end subroutine