diff options
Diffstat (limited to 'contrib/llvm-project/clang/include/clang/Analysis/Analyses/Consumed.h')
-rw-r--r-- | contrib/llvm-project/clang/include/clang/Analysis/Analyses/Consumed.h | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/contrib/llvm-project/clang/include/clang/Analysis/Analyses/Consumed.h b/contrib/llvm-project/clang/include/clang/Analysis/Analyses/Consumed.h index dec1ae3b2b4b..3e2788cac3c9 100644 --- a/contrib/llvm-project/clang/include/clang/Analysis/Analyses/Consumed.h +++ b/contrib/llvm-project/clang/include/clang/Analysis/Analyses/Consumed.h @@ -153,8 +153,11 @@ namespace consumed { public: ConsumedStateMap() = default; ConsumedStateMap(const ConsumedStateMap &Other) - : Reachable(Other.Reachable), From(Other.From), VarMap(Other.VarMap), - TmpMap() {} + : Reachable(Other.Reachable), From(Other.From), VarMap(Other.VarMap) {} + + // The copy assignment operator is defined as deleted pending further + // motivation. + ConsumedStateMap &operator=(const ConsumedStateMap &) = delete; /// Warn if any of the parameters being tracked are not in the state /// they were declared to be in upon return from a function. @@ -241,7 +244,7 @@ namespace consumed { ConsumedBlockInfo BlockInfo; std::unique_ptr<ConsumedStateMap> CurrStates; - ConsumedState ExpectedReturnState; + ConsumedState ExpectedReturnState = CS_None; void determineExpectedReturnState(AnalysisDeclContext &AC, const FunctionDecl *D); @@ -259,7 +262,7 @@ namespace consumed { /// Check a function's CFG for consumed violations. /// /// We traverse the blocks in the CFG, keeping track of the state of each - /// value who's type has uniquness annotations. If methods are invoked in + /// value who's type has uniqueness annotations. If methods are invoked in /// the wrong state a warning is issued. Each block in the CFG is traversed /// exactly once. void run(AnalysisDeclContext &AC); |