<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - if two sibling modules declare the same entity, loading decl from one entity does not always load from the other"
href="http://llvm.org/bugs/show_bug.cgi?id=19277">19277</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>if two sibling modules declare the same entity, loading decl from one entity does not always load from the other
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>unspecified
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Modules
</td>
</tr>
<tr>
<th>Assignee</th>
<td>unassignedclangbugs@nondot.org
</td>
</tr>
<tr>
<th>Reporter</th>
<td>richard-llvm@metafoo.co.uk
</td>
</tr>
<tr>
<th>CC</th>
<td>dgregor@apple.com, llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Testcase:
$ for i in *; do echo $i; cat -n $i; done
a.h
1 namespace N {
2 struct X;
3 extern X x;
4 }
b.h
1 namespace N {
2 struct X { int n; };
3 }
c.cc
1 #include "a.h"
2 #include "b.h"
3
4 int k = N::x.n;
module.map
1 module a { header "a.h" } module b { header "b.h" }
$ clang -fmodules -fcxx-modules c.cc -I.
c.cc:4:13: error: member access into incomplete type 'N::X'
int k = N::x.n;
^
./a.h:2:10: note: forward declaration of 'N::X'
struct X;
^
1 error generated.
The problem is that nothing in c.cc causes us to load N::X from module b.
For top-level declarations, loading the forward declaration causes us to load
the identifier, which causes us to load all declarations of that identifier,
but that just makes the problem slightly harder to reproduce (you need to
trigger the loading of the forward declaration between the import of module a
and the import of module b).</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>