[all-commits] [llvm/llvm-project] 8474bb: [analyzer][solver][NFC] Simplify function signatures

[Valeriy Savchenko via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8474bb13c3270d4195a663013b95e6065075ce56
      https://github.com/llvm/llvm-project/commit/8474bb13c3270d4195a663013b95e6065075ce56
  Author: Valeriy Savchenko <vsavchenko at apple.com>
  Date:   2021-06-28 (Mon, 28 Jun 2021)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h
    M clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp

  Log Message:
  -----------
  [analyzer][solver][NFC] Simplify function signatures

Since RangeSet::Factory actually contains BasicValueFactory, we can
remove value factory from many function signatures inside the solver.

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