llvm-project

f3bf844d - [flang] Unwrap sequence types when checking for descriptor members (#136039)

[flang] Unwrap sequence types when checking for descriptor members (#136039) The TBAA generation gives conservative TBAA metadata when handling an access of a record type with a descriptor member, since the access may be a regular data access OR another descriptor. Array members were being incorrectly identified as non-descriptor-members, and were giving incorrect TBAA metadata which led to bugs showing up in the optimizer when LLVM encountered mismatching TBAA. `fir::isRecordWithDescriptorMember` now unwraps sequence types before checking for descriptor members.