debuginfo: Add test case for issue #8513.