[all-commits] [llvm/llvm-project] 66364e: [clang][dataflow] Add `reachedLimit()` to the `Sol...

martinboehme via All-commits all-commits at lists.llvm.org
Tue May 7 05:59:18 PDT 2024


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

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/Solver.h
    M clang/include/clang/Analysis/FlowSensitive/WatchedLiteralsSolver.h

  Log Message:
  -----------
  [clang][dataflow] Add `reachedLimit()` to the `Solver` interface. (#91320)

We may want code to call this that doesn't know which specific solver
implementation it is dealing with.



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


More information about the All-commits mailing list