https://github.com/martinboehme created
https://github.com/llvm/llvm-project/pull/72987
None
>From 16434d49d87b3da8778de5ee3a0355eec2e2ba13 Mon Sep 17 00:00:00 2001
From: Martin Braenne <mboe...@google.com>
Date: Tue, 21 Nov 2023 13:07:23 +0000
Subject: [PATCH] [clang][dataflow] Remove deprecated synonyms from
`Environment`.
---
.../clang/Analysis/FlowSensitive/DataflowEnvironment.h | 6 ------
1 file changed, 6 deletions(-)
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
