[all-commits] [llvm/llvm-project] 6236bf: [clang][dataflow] Strengthen flow condition assert...

[martinboehme via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6236bf53418eb23c62a73d6346f0edec914084e7
      https://github.com/llvm/llvm-project/commit/6236bf53418eb23c62a73d6346f0edec914084e7
  Author: Martin Braenne <mboehme at google.com>
  Date:   2023-07-18 (Tue, 18 Jul 2023)

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

  Log Message:
  -----------
  [clang][dataflow] Strengthen flow condition assertions.

Instead of asserting merely that the flow condition doesn't imply that a variable is true, make the stronger assertion that the flow condition implies that the variable is false.

Reviewed By: ymandel, xazax.hun

Differential Revision: https://reviews.llvm.org/D155067