maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[clang][dataflow] Rename `Status` field in a `Solver::Result` struct to `SATCheckStatus`. 

Previously, `Status` was named after the enum type `Status` which caused the enum to be hidden by the non-type declaration of the `Status` field. This patch fixes this issue by using different names for the field and type.

Differential Revision: https://reviews.llvm.org/D129568
This commit is contained in:
Wei Yi Tee 2022-07-12 18:38:36 +00:00
parent 7610524af3
commit 3ec2b2f4ec
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
clang/include/clang/Analysis/FlowSensitive/Solver.h
View File

@ -60,7 +60,7 @@ public:
/// 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 @@ public:
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;
};