[all-commits] [llvm/llvm-project] a9a833: Reland [clang][dataflow] Fix unsupported types alw...

[Discookie via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a9a83387979a6c6dc0f508fe0b26c8d8fa7f5361
      https://github.com/llvm/llvm-project/commit/a9a83387979a6c6dc0f508fe0b26c8d8fa7f5361
  Author: Discookie <viktor.cseh at ericsson.com>
  Date:   2025-03-26 (Wed, 26 Mar 2025)

  Changed paths:
    M clang/lib/Analysis/FlowSensitive/Transfer.cpp
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  Reland [clang][dataflow] Fix unsupported types always being equal (#131575)

Relands #129502.

Previously when the framework encountered unsupported values (such as
enum classes), they were always treated as equal when comparing with
`==`, regardless of their actual values being different.
Now the two sides are only equal if there's a Value assigned to them.

Added handling for the special case of `nullptr == nullptr`, to preserve
the behavior of untyped `nullptr` having no value.



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