This revision was automatically updated to reflect the committed changes.
Closed by commit rG3ec2b2f4ec32: [clang][dataflow] Rename `Status` field in a
`Solver::Result` struct to… (authored by wyt).
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D129568/new/
https://reviews.llvm.org/D129568
Files:
clang/include/clang/Analysis/FlowSensitive/Solver.h
Index: clang/include/clang/Analysis/FlowSensitive/Solver.h
===================================================================
--- clang/include/clang/Analysis/FlowSensitive/Solver.h
+++ clang/include/clang/Analysis/FlowSensitive/Solver.h
@@ -60,7 +60,7 @@
/// Returns the status of satisfiability checking on the queried boolean
/// formula.
- Status getStatus() const { return Status; }
+ Status getStatus() const { return SATCheckStatus; }
/// Returns a truth assignment to boolean values that satisfies the queried
/// boolean formula if available. Otherwise, an empty optional is returned.
@@ -71,11 +71,11 @@
private:
Result(
- enum Status Status,
+ enum Status SATCheckStatus,
llvm::Optional<llvm::DenseMap<AtomicBoolValue *, Assignment>> Solution)
- : Status(Status), Solution(std::move(Solution)) {}
+ : SATCheckStatus(SATCheckStatus), Solution(std::move(Solution)) {}
- Status Status;
+ Status SATCheckStatus;
llvm::Optional<llvm::DenseMap<AtomicBoolValue *, Assignment>> Solution;
};
Index: clang/include/clang/Analysis/FlowSensitive/Solver.h
===================================================================
--- clang/include/clang/Analysis/FlowSensitive/Solver.h
+++ clang/include/clang/Analysis/FlowSensitive/Solver.h
@@ -60,7 +60,7 @@
/// Returns the status of satisfiability checking on the queried boolean
/// formula.
- Status getStatus() const { return Status; }
+ Status getStatus() const { return SATCheckStatus; }
/// Returns a truth assignment to boolean values that satisfies the queried
/// boolean formula if available. Otherwise, an empty optional is returned.
@@ -71,11 +71,11 @@
private:
Result(
- enum Status Status,
+ enum Status SATCheckStatus,
llvm::Optional<llvm::DenseMap<AtomicBoolValue *, Assignment>> Solution)
- : Status(Status), Solution(std::move(Solution)) {}
+ : SATCheckStatus(SATCheckStatus), Solution(std::move(Solution)) {}
- Status Status;
+ Status SATCheckStatus;
llvm::Optional<llvm::DenseMap<AtomicBoolValue *, Assignment>> Solution;
};
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
