On Wed, Jun 15, 2016 at 2:49 AM, Bernd Schmidt <bschm...@redhat.com> wrote: > On 06/15/2016 03:30 AM, Alan Modra wrote: >> >> Between these two calls to _gfortran_string_verify, >> if (verify(c4, "A", back = .true.) .ne. 3) call abort >> if (verify(c4, "AB") .ne. 0) call abort >> it seems that gfortran is assuming that parameters passed on the stack >> are unchanged. > > > How? Is this something in the Fortran frontend, or is there CSE going on for > stores to the argument area?
Is this related to https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71532 -- H.J.
