http://llvm.org/bugs/show_bug.cgi?id=22309

            Bug ID: 22309
           Summary: Assertion failed: (T == dwarf::DW_TAG_typedef || ...),
                    function isUnsignedDIType, file
                    lib/CodeGen/AsmPrinter/DwarfUnit.cpp, line 592
           Product: new-bugs
           Version: trunk
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: new bugs
          Assignee: [email protected]
          Reporter: [email protected]
                CC: [email protected]
    Classification: Unclassified

I encountered this assertion during compilation of a few FreeBSD kernel sources
with clang trunk r226904:

Assertion failed: (T == dwarf::DW_TAG_typedef || T == dwarf::DW_TAG_const_type
|| T == dwarf::DW_TAG_volatile_type || T == dwarf::DW_TAG_restrict_type || T ==
dwarf::DW_TAG_enumeration_type), function isUnsignedDIType, file
lib/CodeGen/AsmPrinter/DwarfUnit.cpp, line 592.

At that point, T has the value DW_TAG_union_type (0x17), so it looks like the
test at the start of isUnsignedDIType() does not consider union types to be
aggregate types:

    // (Pieces of) aggregate types that get hacked apart by SROA may also be
    // represented by a constant. Encode them as unsigned bytes.
    // FIXME: reference and rvalue_reference /probably/ shouldn't be allowed
    // here, but accept them for now due to a bug in SROA producing bogus
    // dbg.values.
    if (T == dwarf::DW_TAG_array_type ||
        T == dwarf::DW_TAG_class_type ||
        T == dwarf::DW_TAG_pointer_type ||
        T == dwarf::DW_TAG_ptr_to_member_type ||
        T == dwarf::DW_TAG_reference_type ||
        T == dwarf::DW_TAG_rvalue_reference_type ||
        T == dwarf::DW_TAG_structure_type)
      return true;

I'm not sure, but maybe DW_TAG_union_type should be added to this test.

Here is a reduced test case to show the problem:

============================================================
union mfi_evt {
  struct {
    int reserved;
  } members;
} mfi_aen_setup() {
  union mfi_evt a;
  a.members.reserved = 0;
}
============================================================

Compile with "clang -O1 -g -c" to get the assertion.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs

Reply via email to