[CFG]: Dead Loop Detection #1858

Draft

gigalasr wants to merge 5 commits into

mainfrom

1748-cfg-dead-loop-detection

Commits on Jul 13, 2025

feat(cfg): detect loop over empty vector as dead - #1748
gigalasr
committed
Merge remote-tracking branch 'origin/main' into 1748-cfg-dead-loop-detection
gigalasr
committed

Commits on Jul 14, 2025

feat-fix(cfg-dead-code): only remove body of for loop - #1748
gigalasr
committed

Commits on Aug 6, 2025