This commit is contained in:
Samuel Moelius 2022-02-22 19:22:28 -05:00 committed by GitHub
parent d335c9c2bb
commit e798dc49d7
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -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