[all-commits] [llvm/llvm-project] dfe80a: [clang][dataflow] Teach `AnalysisASTVisitor` that ...

[martinboehme via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dfe80a73223edff5c53f8be7925d302883cb40bc
      https://github.com/llvm/llvm-project/commit/dfe80a73223edff5c53f8be7925d302883cb40bc
  Author: martinboehme <mboehme at google.com>
  Date:   2024-06-26 (Wed, 26 Jun 2024)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/ASTOps.h
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Teach `AnalysisASTVisitor` that `typeid()` can be evaluated. (#96731)

We were previously treating the operand of `typeid()` as being
definitely
unevaluated, but it can be evaluated if it is a glvalue of polymorphic
type.

This patch includes a test that fails without the fix.



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