[all-commits] [llvm/llvm-project] 143338: [flang] Add support for TYPEOF and CLASSOF type sp...

[Ritanya-B-Bharadwaj via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 143338131f0e8f1586f7f9aacb7d94dfde169b08
      https://github.com/llvm/llvm-project/commit/143338131f0e8f1586f7f9aacb7d94dfde169b08
  Author: Ritanya-B-Bharadwaj <ritanya.b.bharadwaj at gmail.com>
  Date:   2026-06-01 (Mon, 01 Jun 2026)

  Changed paths:
    M flang/docs/FortranStandardsSupport.md
    M flang/include/flang/Evaluate/type.h
    M flang/include/flang/Parser/dump-parse-tree.h
    M flang/include/flang/Parser/parse-tree.h
    M flang/lib/Evaluate/type.cpp
    M flang/lib/Parser/Fortran-parsers.cpp
    M flang/lib/Parser/unparse.cpp
    M flang/lib/Semantics/resolve-names.cpp
    A flang/test/Lower/typeof-classof.f90
    A flang/test/Parser/typeof-classof-attrs.f90
    A flang/test/Semantics/typeof-classof-errors.f90
    A flang/test/Semantics/typeof-classof.f90

  Log Message:
  -----------
  [flang] Add support for TYPEOF and CLASSOF type specifiers (#188804)

Implements parsing, semantics and lowering for the Fortran 2023 TYPEOF and CLASSOF type specifiers (R703). TYPEOF produces the declared type of a data-ref; CLASSOF produces a polymorphic version. Includes constraint
checks (C709–C713) and tests.

Semantics resolves TYPEOF/CLASSOF to the concrete underlying type in the symbol table, so no lowering code changes were needed. Added a lowering test to verify FIR/HLFIR generation works correctly for intrinsic types,
derived types, extended types, and polymorphic CLASSOF with allocatable/pointer.

Fixes - https://github.com/llvm/llvm-project/issues/185635



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications