Author: martinboehme Date: 2023-11-21T16:01:04+01:00 New Revision: 49f0070237709a979905d8fe823f47a1b0ebd8ee
URL: https://github.com/llvm/llvm-project/commit/49f0070237709a979905d8fe823f47a1b0ebd8ee DIFF: https://github.com/llvm/llvm-project/commit/49f0070237709a979905d8fe823f47a1b0ebd8ee.diff LOG: [clang][dataflow] Remove deprecated synonyms from `Environment`. (#72987) Added: Modified: clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h Removed: ################################################################################ diff --git a/clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h b/clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h index 963197b728f4273..7c1f5491096326b 100644 --- a/clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h +++ b/clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h @@ -544,9 +544,6 @@ class Environment { /// Record a fact that must be true if this point in the program is reached. void assume(const Formula &); - /// Deprecated synonym for `assume()`. - void addToFlowCondition(const Formula &F) { assume(F); } - /// Returns true if the formula is always true when this point is reached. /// Returns false if the formula may be false (or the flow condition isn't /// sufficiently precise to prove that it is true) or if the solver times out. @@ -563,9 +560,6 @@ class Environment { /// (or the flow condition is overly constraining) or if the solver times out. bool allows(const Formula &) const; - /// Deprecated synonym for `proves()`. - bool flowConditionImplies(const Formula &F) const { return proves(F); } - /// Returns the `DeclContext` of the block being analysed, if any. Otherwise, /// returns null. const DeclContext *getDeclCtx() const { return CallStack.back(); } _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
