[flang-commits] [flang] [flang] Add support for TYPEOF and CLASSOF type specifiers (PR #188804)

[via flang-commits]

================

----------------
Ritanya-B-Bharadwaj wrote:

You're right, thanks for catching this. I've split the TypeStar and ClassStar cases:

TYPEOF of CLASS(*) (unlimited polymorphic) now errors per C711.
CLASSOF of TYPE(*) (assumed-type) now errors per C712.
TYPEOF of TYPE(*) remains valid and produces TYPE(*).
CLASSOF of CLASS(*) remains valid and produces CLASS(*).
I also added the C711 abstract type check. TYPEOF of an abstract derived type is now rejected. Added error tests for all three illegal cases and a positive test for CLASSOF(CLASS(*)).

https://github.com/llvm/llvm-project/pull/188804