From 34f726b933cbb8e88c8e5912c0b24fea0da60c3c Mon Sep 17 00:00:00 2001 From: Samuel Moelius <35515885+smoelius@users.noreply.github.com> Date: Tue, 22 Feb 2022 19:22:28 -0500 Subject: [PATCH] Typo (#1313) --- src/mir/dataflow.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/mir/dataflow.md b/src/mir/dataflow.md index 0e626d97c..6fe8d6aa5 100644 --- a/src/mir/dataflow.md +++ b/src/mir/dataflow.md @@ -80,8 +80,8 @@ possible effects for each statement and terminator, the "before" effect and the unprefixed (or "primary") effect. The "before" effects are applied immediately before the unprefixed effect **regardless of the direction of the analysis**. In other words, a backward analysis will apply the "before" effect and then the -the "primary" effect when computing the transfer function for a basic block, -just like a forward analysis. +"primary" effect when computing the transfer function for a basic block, just +like a forward analysis. The vast majority of analyses should use only the unprefixed effects: Having multiple effects for each statement makes it difficult for consumers to know