-
Notifications
You must be signed in to change notification settings - Fork 10.8k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[clang][dataflow] HTML logger: Mark iterations that have converged. (#…
…68204) I've eliminated the `logText("Block converged")` call entirely because a) These logs are associated with an individual `CFGElement`, while convergence should be associated with a block, and b) The log message was being associated with the wrong block: `recordState()` dumps all of the pending log messages, but `blockConverged()` is called after the last `recordState()` call for a given block, so that the "Block converged" log message was being associated with the first element of the _next_ block to be processed. Example: ![image](https://github.com/llvm/llvm-project/assets/29098113/6a19095c-2dbb-4771-9485-e8e45c9d26fb)
- Loading branch information
1 parent
cf80def
commit 2be7c65
Showing
2 changed files
with
14 additions
and
8 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters