>> This lets me think that one should enable the comparison by name for dummy >> arguments only. Other variables should compare normally. > > Good point. I have attached a new version of the patch, which adds > this constraint, plus: > > 1) I have moved 'check_typebound_override' to interface.c and prefixed > it with 'gfc_'. > > 2) I have added the 'var_name_only flag' also to > gfc_are_identical_variables, gfc_dep_compare_functions, > identical_array_ref, check_section_vs_section and gfc_is_same_range. I > hope there is nothing else I missed. > > 3) I have made 'gfc_are_identical_variables' static and removed the > gfc prefix (it does not seem to be used outside of dependency.c). > > 4) I have made 'gfc_is_same_range' static and removed the gfc prefix > (there is only a commented out reference to it in trans-array.c, so I > commented out the declaration in dependency.h, too). Also I removed > the 'def' argument, which gets always passed a '0'. > > I will regtest this once more, construct some mildly complex test > cases and add a ChangeLog.
Btw, this patch regtests cleanly (except for c_ptr_tests_16.f90, which is PR 50004). Cheers, Janus
