This pull request fixes the interpretation of basic block coverage descriptions. The current implementation is correct only if all source locations contributing to a basic block come from the same file, but this is false when the basic block includes code inlined from multiple files.
Review this pull request commit by commit. The commits are organized to make this easy.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
This pull request fixes the interpretation of basic block coverage descriptions. The current implementation is correct only if all source locations contributing to a basic block come from the same file, but this is false when the basic block includes code inlined from multiple files.
Review this pull request commit by commit. The commits are organized to make this easy.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.