improvement(semantic/cfg): better control flow for WhileStatements.

[rzvxa]

Fixes a simple cfg issue, previously it wouldn't follow the body subgraph correctly.

[graphite-app]

Your org has enabled the Graphite merge queue for merging into main

Add the label “merge” to the PR and Graphite will automatically add it to the merge queue when it’s ready to merge. Or use the label “hotfix” to add to the merge queue as a hot fix.

You must have a Graphite account and log in to Graphite in order to use the merge queue. Sign up using this link.

[rzvxa]

• feat(linter/eslint): add no_unreachable rule. #3238 : 2 dependent PRs (#3631 , #3650 )
• feat(semantic/cfg): propagate unreachable edges through subgraphs. #3648
• feat(semantic/cfg): add Condition instruction. #3567
• feat(semantic/cfg): add iteration instructions. #3566
• improvement(semantic/cfg): better control flow for switch statements. #3547
• improvement(semantic/cfg): rework error path. #3519
• improvement(semantic/cfg): better throw control flow. #3473
• improvement(linter/react): use CFG for detecting cyclic subgraphs in rules-of-hooks. #3454
• improvement(semantic/cfg): better CFG API #3472
• improvement(semantic/cfg): better break and continue flow. #3462
• improvement(semantic/cfg): better control flow for ForStatements. #3453
• improvement(semantic/cfg): better control flow for DoWhileStatements. #3452
• improvement(semantic/cfg): better control flow for WhileStatements. #3451 👈
• improvement(semantic/cfg): rework basic blocks. #3381
• fix(linter): memorize visited block id in neighbors_filtered_by_edge_weight #3407
• main

This stack of pull requests is managed by Graphite. Learn more about stacking.

Join @rzvxa and the rest of your teammates on Graphite

[codspeed-hq]

CodSpeed Performance Report

Merging #3451 will degrade performances by 3.13%

_{Comparing 05-28-improvement_semantic_cfg_better_control_flow_for_whilestatement_s (0012094) with main (646b993)}

Summary

❌ 1 regressions
✅ 21 untouched benchmarks

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Benchmarks breakdown

	Benchmark	main	05-28-improvement_semantic_cfg_better_control_flow_for_whilestatement_s	Change
❌	transformer[checker.ts]	233.7 ms	241.3 ms	-3.13%

[graphite-app]

Merge activity

• Jun 6, 1:40 AM EDT: Boshen added this pull request to the Graphite merge queue.
• Jun 6, 1:47 AM EDT: Boshen merged this pull request with the Graphite merge queue.