[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