<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.25in 1.0in 1.25in;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p class="MsoNormal">Hi,<o:p></o:p></p>
<p class="MsoNormal">I am wondering if this behavior of creating debug info is correct.<o:p></o:p></p>
<p class="MsoNormal">A type in compile unit entry is pointing to a type under subprogram entry?!<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">This is the root cause of <a href="https://llvm.org/bugs/show_bug.cgi?id=27579">
https://llvm.org/bugs/show_bug.cgi?id=27579</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">0x0000000b: DW_TAG_compile_unit [1] *<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">0x00000026: DW_TAG_pointer_type [2]<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_type [DW_FORM_ref4] (cu + 0x002c => {<span style="background:yellow;mso-highlight:yellow">0x0000002c</span>})<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">0x0000002b: DW_TAG_subprogram [3] *<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><span style="background:yellow;mso-highlight:yellow">0x0000002c</span>: DW_TAG_typedef [4]<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_type [DW_FORM_ref4] (cu + 0x0040 => {0x00000040})<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_name [DW_FORM_strp] ( .debug_str[0x00000060] = "T")<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_decl_file [DW_FORM_data1] ("c:\temp\ICL\LB\retain.cpp")<o:p></o:p></p>
<p class="MsoNormal"> DW_AT_decl_line [DW_FORM_data1] (16)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">0x00000037: NULL<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">command line:<o:p></o:p></p>
<p class="MsoNormal">clang -cc1 -triple i386-apple-ios9.0.0 -emit-obj -debug-info-kind=limited -O2 test.cpp –o - | llvm-dwarfdump -debug-dump=info -<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">> cat test.cpp<o:p></o:p></p>
<p class="MsoNormal">class A {<o:p></o:p></p>
<p class="MsoNormal">public:<o:p></o:p></p>
<p class="MsoNormal"> int x;<o:p></o:p></p>
<p class="MsoNormal">};<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">class B {<o:p></o:p></p>
<p class="MsoNormal">public:<o:p></o:p></p>
<p class="MsoNormal"> typedef A type;<o:p></o:p></p>
<p class="MsoNormal">};<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">template<typename X><o:p></o:p></p>
<p class="MsoNormal">int foo(void* in) {<o:p></o:p></p>
<p class="MsoNormal"> typedef typename X::type T;<o:p></o:p></p>
<p class="MsoNormal"> const T* p = (T*) in;<o:p></o:p></p>
<p class="MsoNormal"> return p->x; <o:p></o:p></p>
<p class="MsoNormal">}<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">int bar() {<o:p></o:p></p>
<p class="MsoNormal">A a;<o:p></o:p></p>
<p class="MsoNormal"> return foo<B>(&a);<o:p></o:p></p>
<p class="MsoNormal">}<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Reason for this behavior is the explicit cast “(T*)“, which leads into the following IR:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 3.9.0 (trunk 267335)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, retainedTypes:
<span style="background:yellow;mso-highlight:yellow">!3</span>)<o:p></o:p></p>
<p class="MsoNormal"><span style="background:yellow;mso-highlight:yellow">!3</span> = !{<span style="background:yellow;mso-highlight:yellow">!4</span>}<o:p></o:p></p>
<p class="MsoNormal"><span style="background:yellow;mso-highlight:yellow">!4</span> = !DIDerivedType(tag: DW_TAG_pointer_type, baseType:
<span style="background:yellow;mso-highlight:yellow">!5</span>, size: 32, align: 32) <----------------- No Scope, leads to compile unit scope!!<o:p></o:p></p>
<p class="MsoNormal"><span style="background:yellow;mso-highlight:yellow">!5</span> = !DIDerivedType(tag: DW_TAG_typedef, name: "T", scope:
<span style="background:yellow;mso-highlight:yellow">!7</span>, file: !6, line: 16, baseType: !20)<o:p></o:p></p>
<p class="MsoNormal"><span style="background:yellow;mso-highlight:yellow">!7</span> = distinct !<span style="background:yellow;mso-highlight:yellow">DISubprogram</span>(name: "foo<B>", linkageName: "_Z3fooI1BEiPv", scope: !6, file: !6, line: 15, type: !8, isLocal:
false, isDefinition: true, scopeLine: 15, flags: DIFlagPrototyped, isOptimized: true, unit: !0, templateParams: !12, variables: !15)<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Thanks,<o:p></o:p></p>
<p class="MsoNormal">Amjad<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<p>---------------------------------------------------------------------<br>
Intel Israel (74) Limited</p>
<p>This e-mail and any attachments may contain confidential material for<br>
the sole use of the intended recipient(s). Any review or distribution<br>
by others is strictly prohibited. If you are not the intended<br>
recipient, please contact the sender and delete all copies.</p></body>
</html>