[all-commits] [llvm/llvm-project] 82d50f: [clang][dataflow] Change the diagnoser API to rece...

[Dani Ferreira Franco Moura via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 82d50fef9b7c1dfdff7f9265340fde40a34870cf
      https://github.com/llvm/llvm-project/commit/82d50fef9b7c1dfdff7f9265340fde40a34870cf
  Author: Dani Ferreira Franco Moura <danimoura at google.com>
  Date:   2022-12-13 (Tue, 13 Dec 2022)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/MatchSwitch.h
    M clang/unittests/Analysis/FlowSensitive/TestingSupport.h
    M clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Change the diagnoser API to receive a correctly typed lattice element

Previously, the diagnoser could only receive the Environment at a given program point. Now, it receives the complete dataflow state: the environment and lattice element.

This change does not contain any tests because we modify the checkDataflow function to rely on the newly introduced lattice element in PostVisitCFG, and existing tests that verify lattice elements depend on this overload of checkDataflow.

Reviewed By: gribozavr2, ymandel

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