http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47978
--- Comment #8 from Salvatore Filippone <sfilippone at uniroma2 dot it> 2011-09-14 13:45:13 UTC --- Duh! My bad: all versions of scal are supposed to update the A dummy argument, which should be INTENT(INOUT). The test case in my original post is wrong in this respect :( Salvatore