Landing: 94d93a6759c8
Project / Subsystem
gcc / gcov
Date
2026-06-11
Author
Roman Beliaev
Commit
94d93a6759c8ee2bca0ce6d6c7e55641a20e0830
Source
github
Perf win
No
Breaking
No
All attributes
- project
- gcc
- subsystem
- gcov
- patch_id
- —
- commit_hash
- 94d93a6759c8ee2bca0ce6d6c7e55641a20e0830
- source_type
- github
- headline
- Gcov corrects control flow graph solving condition.
- tldr
- Gcov's correctness check for control flow graph solving is now fixed due to an incorrect loop condition.
- author
- Roman Beliaev
- outcome
- committed
- performance_win
- false
- breaking_change
- false
- series_id
- —
- series_parts
- []
- tags
-
- • gcov
- • bugfix
- • control-flow-graph
- • testing-tool
- discussion_id_link
- —
- bugzilla_pr
- —
- date
- 2026-06-11T00:00:00.000Z
This commit addresses a bug in Gcov’s control flow graph (CFG) solving mechanism where a correctness check was ineffective due to a perpetually false condition in a for loop. The solve_flow_graph function in gcov.cc now has the correct loop condition, allowing the check to properly execute and verify the integrity of the CFG. This fix ensures the accuracy of Gcov’s code coverage analysis, providing developers with more reliable data on program execution paths.