[PATCH] D129180: [clang][dataflow] Return a solution from the solver when `Constraints` are `Satisfiable`.
Dmitri Gribenko via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Jul 7 03:37:31 PDT 2022
gribozavr2 added inline comments.
================
Comment at: clang/include/clang/Analysis/FlowSensitive/Solver.h:67
+ /// boolean formula if available. Otherwise, an empty optional is returned.
+ std::optional<llvm::DenseMap<AtomicBoolValue *, Assignment>>
+ getSolution() const {
----------------
Please use llvm::Optional, we can't use std::optional in LLVM/Clang code yet.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D129180/new/
https://reviews.llvm.org/D129180
More information about the cfe-commits
mailing list