Merge pull request #13452 from minaminao/fix-typo-optimizer

Fix typo
This commit is contained in:
Leo 2022-08-30 10:54:05 +02:00 committed by GitHub
commit ec36a5aaab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -683,7 +683,7 @@ Conflicting values are resolved in the following way:
- "unused", "undecided" -> "undecided"
- "unused", "used" -> "used"
- "undecided, "used" -> "used"
- "undecided", "used" -> "used"
For for-loops, the condition, body and post-part are visited twice, taking
the joining control-flow at the condition into account.