[clang] 49f0070 - [clang][dataflow] Remove deprecated synonyms from `Environment`. (#72987)

[via cfe-commits]

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(); }