Enzyme is not aware of Fortran descriptors

[joewallwork]

Flang represents allocatable arrays using descriptor structs containing both differentiable and non-differentiable metadata but Enzyme isn't aware of this distinction. This means that it currently tries to differentiate with respect to implicit integer arguments that come with 'assumed shape' array arguments. This is the deeper issue underpinning #2820.

Making Enzyme aware of Fortran descriptor information would likely be greatly beneficial for improving the user experience in Fortran.

[joewallwork]

Places we might need to modify Enzyme:

• Add to the KnownInactiveFunctionsStartingWith array in enzyme/Enzyme/ActivityAnalysis.cpp
• Say how to handle certain Fortran-specific strings by modifying getTypeFromTBAAString in enzyme/Enzyme/TypeAnalysis/TBAA.h
• Add Fortran-specific code in enzyme/Enzyme/TypeAnalysis/TypeAnalysis.cpp

[joewallwork]

A more recent recommendation was to edit enzyme/Enzyme/CallDerivatives.cpp.