[all-commits] [llvm/llvm-project] d6d613: [clang][dataflow] Make `SolverTest` a type-paramet...

[martinboehme via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d6d613aaebc0ae503409ba7719a43b4a55e1ee70
      https://github.com/llvm/llvm-project/commit/d6d613aaebc0ae503409ba7719a43b4a55e1ee70
  Author: martinboehme <mboehme at google.com>
  Date:   2024-05-08 (Wed, 08 May 2024)

  Changed paths:
    M clang/docs/tools/clang-formatted-files.txt
    M clang/unittests/Analysis/FlowSensitive/CMakeLists.txt
    R clang/unittests/Analysis/FlowSensitive/SolverTest.cpp
    A clang/unittests/Analysis/FlowSensitive/SolverTest.h
    A clang/unittests/Analysis/FlowSensitive/WatchedLiteralsSolverTest.cpp
    M llvm/utils/gn/secondary/clang/unittests/Analysis/FlowSensitive/BUILD.gn

  Log Message:
  -----------
  [clang][dataflow] Make `SolverTest` a type-parameterized test. (#91455)

This allows the tests to be run against any implementation of `Solver`
instead
of begin specific to `WatchedLiteralsSolver` as they currently are.



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