[all-commits] [llvm/llvm-project] cf1f97: [clang][dataflow] Use NoopLattice in optional model

[Sam Estep via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cf1f978d319b91464370d71289e1c7c30baa4243
      https://github.com/llvm/llvm-project/commit/cf1f978d319b91464370d71289e1c7c30baa4243
  Author: Sam Estep <sam at samestep.com>
  Date:   2022-06-29 (Wed, 29 Jun 2022)

  Changed paths:
    M clang-tools-extra/clang-tidy/bugprone/UncheckedOptionalAccessCheck.cpp
    M clang/docs/tools/clang-formatted-files.txt
    M clang/include/clang/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.h
    A clang/include/clang/Analysis/FlowSensitive/NoopLattice.h
    M clang/lib/Analysis/FlowSensitive/Models/UncheckedOptionalAccessModel.cpp
    M clang/unittests/Analysis/FlowSensitive/NoopAnalysis.h

  Log Message:
  -----------
  [clang][dataflow] Use NoopLattice in optional model

Followup to D128352. This patch pulls the `NoopLattice` class out from the `NoopAnalysis.h` test file into its own `NoopLattice.h` source file, and uses it to replace usage of `SourceLocationsLattice` in `UncheckedOptionalAccessModel`.

Reviewed By: ymandel, sgatev, gribozavr2, xazax.hun

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