commit | e0ec6b1a8796127c5141647bfe88e260716d6cd4 | [log] [tgz] |
---|---|---|
author | Tom Tromey <tom@tromey.com> | Sun Jul 04 13:14:10 2021 -0600 |
committer | Tom Tromey <tom@tromey.com> | Sat Jul 17 10:41:42 2021 -0600 |
tree | 0c767eb98df7037e950e963cb198b3a0896e2549 | |
parent | 4584f33d68b79c362ce9f3543052027b1676f30e [diff] |
Simplify DWARF file name caching The DWARF index file name caching code only records when a line table has been read and the reading failed. However, the code would be simpler if it recorded any attempt, which is what this patch implements.