[all-commits] [llvm/llvm-project] 7605ad: [flang] Always check procedure characterizability ...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 7605ad8a2f95e3b37de83e7fb3d320efc74e0ccc
      https://github.com/llvm/llvm-project/commit/7605ad8a2f95e3b37de83e7fb3d320efc74e0ccc
  Author: Peter Klausler <35819229+klausler at users.noreply.github.com>
  Date:   2024-05-15 (Wed, 15 May 2024)

  Changed paths:
    M flang/lib/Semantics/check-declarations.cpp
    M flang/lib/Semantics/resolve-names.cpp
    M flang/test/Semantics/entry01.f90
    M flang/test/Semantics/resolve102.f90

  Log Message:
  -----------
  [flang] Always check procedure characterizability (#92008)

When a procedure is defined with a subprogram but never referenced in a
compilation unit, it may not be characterized until lowering, and any
errors in characterization then may crash the compiler. So always ensure
that procedure definitions are characterizable in declaration checking.

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



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