[all-commits] [llvm/llvm-project] 1defa7: [clang][dataflow] Add function to `WatchedLiterals...

[Yitzhak Mandelbaum via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1defa781243f9d0bc66719465e4de33e9fb7a243
      https://github.com/llvm/llvm-project/commit/1defa781243f9d0bc66719465e4de33e9fb7a243
  Author: Yitzhak Mandelbaum <yitzhakm at google.com>
  Date:   2023-07-18 (Tue, 18 Jul 2023)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/WatchedLiteralsSolver.h
    M clang/unittests/Analysis/FlowSensitive/SolverTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Add function to `WatchedLiteralsSolver` that reports whether the iteration limit has been reached.

This change provides a centralized record of whether the solver is
"exhausted". In general, once the solver is exhausted, further uses do not
produce meaningful conclusions. Clients can use this information, for example,
to choose to discard all results based on the solver, instead of trying to
distinguish those reached before the limit was reached. Providing it at in the
solver avoids the need to propagate it from each callsite to the client of the
solver.

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