[all-commits] [llvm/llvm-project] 348002: [flang] Check definability for logical INQUIRE spe...

[Peter Klausler via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 348002e1117b1ce523468b536ba47f126d0f2964
      https://github.com/llvm/llvm-project/commit/348002e1117b1ce523468b536ba47f126d0f2964
  Author: Peter Klausler <pklausler at nvidia.com>
  Date:   2025-06-30 (Mon, 30 Jun 2025)

  Changed paths:
    M flang/lib/Semantics/check-io.cpp
    A flang/test/Semantics/bug144453.f90

  Log Message:
  -----------
  [flang] Check definability for logical INQUIRE specifiers (#144797)

check-io.cpp was missing checks for the definability of logical-valued
specifiers in INQUIRE statements (e.g. EXIST=), and therefore also not
noting the definitions of those variables. This could lead to bogus
warnings about undefined function result variables, and also to missed
errors about immutable objects appearing in those specifiers.

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



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