[dwarfdump] Verify DW_AT_type is set and points to a compatible DIE.
authorJonas Devlieghere <jonas@devlieghere.com>
Fri, 21 Sep 2018 07:50:21 +0000 (07:50 +0000)
committerJonas Devlieghere <jonas@devlieghere.com>
Fri, 21 Sep 2018 07:50:21 +0000 (07:50 +0000)
commitb32274242d7eb86e7841a391303da59fce59f98e
tree03d7103781971f01cebd3941e41f13db6e29fe1f
parent7ef2c2021e2ab03c96296066666c8c01372f435c
[dwarfdump] Verify DW_AT_type is set and points to a compatible DIE.

This extends the verifier to catch three new errors:

  * Missing DW_AT_type attributes for DW_TAG_formal_parameter,
    DW_TAG_variable and DW_TAG_array_type.

  * Valid references for DW_AT_type pointing to a non-type tag.

Differential revision: https://reviews.llvm.org/D52223

llvm-svn: 342713
llvm/lib/DebugInfo/DWARF/DWARFVerifier.cpp
llvm/test/tools/llvm-dwarfdump/X86/verify_debug_info.s