use ceilingEntry instead of higherEntry for line mappings

we want to include & prioritize exact matches
This commit is contained in:
Jason Penilla 2023-09-15 09:26:49 -07:00
parent de151674ee
commit 28786b0947
No known key found for this signature in database
GPG key ID: 0E75A301420E48F8

View file

@ -168,7 +168,7 @@ private class LineMappingVisitor(
override fun visitLineNumber(line: Int, start: Label?) {
var mapped = lineMapping[line]
if (mapped == null) {
val entry = lineMapping.higherEntry(line)
val entry = lineMapping.ceilingEntry(line)
if (entry != null) {
mapped = entry.value
}