<div dir="ltr"><br><div>'strong_alias' is resolved to the copy of 'f' in weak1.c and it does not have weak linkage. In other words weak symbol 'f' in weak1.c gets 'promoted' to be non-weak through name 'strong_alias'.  Given the above, -O0's behavior is more correct. It is also consistent with what GCC does (both O0 and O2).</div><div><br></div><div>David</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Jan 13, 2017 at 2:33 PM, Teresa Johnson <span dir="ltr"><<a href="mailto:tejohnson@google.com" target="_blank">tejohnson@google.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi Mehdi, Peter and David (and anyone else who sees this),<div><br></div><div>I've been playing with some examples to handle the weak symbol cases we discussed in IRC earlier this week in the context of D28523. I was going to implement the support for turning aliases into copies in order to enable performing <wbr>thinLTOResolveWeakForLinkerGUI<wbr>D on both aliases and aliasees, as a first step to being able to drop non-prevailing weak symbols in ThinLTO backends.</div><div><br></div><div>I was wondering though what happens if we have an alias, which may or may not be weak itself, to a non-odr weak symbol that isn't prevailing. In that case, do we eventually want references via the alias to go to the prevailing copy (in another module), or to the original copy in the alias's module? I looked at some examples without ThinLTO, and am a little confused. Current (non-ThinLTO) behavior in some cases seems to depend on opt level.</div><div><br></div><div>Example:</div><div><br></div><div><div>$ cat weak12main.c</div><div>extern void test2();</div><div>int main() {</div><div>  test2();</div><div>}</div><div><br></div><div>$ cat weak1.c</div><div>#include <stdio.h></div><div><br></div><div>void weakalias() __attribute__((weak, alias ("f")));</div><div>void strongalias() __attribute__((alias ("f")));</div><div><br></div><div>void f () __attribute__ ((weak));</div><div>void f()</div><div>{</div><div>  printf("In weak1.c:f\n");</div><div>}</div><div>void test1() {</div><div>  printf("Call f() from weak1.c:\n");</div><div>  f();</div><div>  printf("Call weakalias() from weak1.c:\n");</div><div>  weakalias();</div><div>  printf("Call strongalias() from weak1.c:\n");</div><div>  strongalias();</div><div>}</div><div><br></div><div>$ cat weak2.c</div><div>#include <stdio.h></div><div><br></div><div>void f () __attribute__ ((weak));</div><div>void f()</div><div>{</div><div>  printf("In weak2.c:f\n");</div><div>}</div><div>extern void test1();</div><div>void test2()</div><div>{</div><div>  test1();</div><div>  printf("Call f() from weak2.c\n");</div><div>  f();</div><div>}</div></div><div><br></div><div>If I link weak1.c before weak2.c, nothing is surprising (we always invoke weak1.c:f at both -O0 and -O2):</div><div><br></div><div><div><div>$ clang weak12main.c weak1.c weak2.c -O0</div><div>$ a.out</div><div>Call f() from weak1.c:</div><div>In weak1.c:f</div><div>Call weakalias() from weak1.c:</div><div>In weak1.c:f</div><div>Call strongalias() from weak1.c:</div><div>In weak1.c:f</div><div>Call f() from weak2.c</div><div>In weak1.c:f</div><div><br></div><div>$ clang weak12main.c weak1.c weak2.c -O2</div><div>$ a.out</div><div>Call f() from weak1.c:</div><div>In weak1.c:f</div><div>Call weakalias() from weak1.c:</div><div>In weak1.c:f</div><div>Call strongalias() from weak1.c:</div><div>In weak1.c:f</div><div>Call f() from weak2.c</div><div>In weak1.c:f</div><div><br></div><div>If I instead link weak2.c first, so it's copy of f() is prevailing, I still get weak1.c:f for the call via weakalias() (both opt levels), and for strongalias() when building at -O0. At -O2 the compiler replaces the call to strongalias() with a call to f(), so it get's the weak2 copy in that case.</div><div><br></div><div>$ clang weak12main.c weak2.c weak1.c -O2</div><div>$ a.out</div><div>Call f() from weak1.c:</div><div>In weak2.c:f</div><div>Call weakalias() from weak1.c:</div><div>In weak1.c:f</div><div>Call strongalias() from weak1.c:</div><div>In weak2.c:f</div><div>Call f() from weak2.c</div><div>In weak2.c:f</div><div><br></div><div>$ clang weak12main.c weak2.c weak1.c -O0</div><div>$ a.out</div><div>Call f() from weak1.c:</div><div>In weak2.c:f</div><div>Call weakalias() from weak1.c:</div><div>In weak1.c:f</div><div>Call strongalias() from weak1.c:</div><div>In weak1.c:f</div><div>Call f() from weak2.c</div><div>In weak2.c:f</div></div><div><br></div><div>I'm wondering what the expected/correct behavior is? Depending on what is correct, we need to handle this differently in ThinLTO mode. Let's say weak1.c's copy of f() is not prevailing and I am going to drop it (it needs to be removed completely, not turned into available_externally to ensure it isn't inlined since weak isInterposable). If we want the aliases in weak1.c to reference the original version, then copying is correct (e.g. weakalias and strong alias would each become a copy of weak1.c's f()). If we however want them to resolve to the prevailing copy of f(), then we need to turn the aliases into declarations (external linkage in the case of strongalias and external weak in the case of weakalias?). </div><div><br></div><div>I also tried the case where f() was in a comdat, because I also need to handle that case in ThinLTO (when f() is not prevailing, drop it from the comdat and remove the comdat from that module). Interestingly, in this case when weak2.c is prevailing, I get the following warning when linking and get a seg fault at runtime:</div><div><br></div><div><div>weak1.o:weak1.o:function test1: warning: relocation refers to discarded section</div></div><div><br></div><div>Presumably the aliases still refer to the copy in weak1.c, which is in the comdat that gets dropped by the linker. So is it not legal to have an alias to a weak symbol in a comdat (i.e. alias from outside the comdat)? We don't complain in the compiler.</div><div><br></div><div>Thanks,</div><div>Teresa</div><span class="HOEnZb"><font color="#888888">-- <br><div class="m_-5419041589137848332gmail_signature"><span style="font-family:times;font-size:medium"><table cellspacing="0" cellpadding="0"><tbody><tr style="color:rgb(85,85,85);font-family:sans-serif;font-size:small"><td nowrap style="border-top:2px solid rgb(213,15,37)">Teresa Johnson |</td><td nowrap style="border-top:2px solid rgb(51,105,232)"> Software Engineer |</td><td nowrap style="border-top:2px solid rgb(0,153,57)"> <a href="mailto:tejohnson@google.com" target="_blank">tejohnson@google.com</a> |</td><td nowrap style="border-top:2px solid rgb(238,178,17)"> <a href="tel:(408)%20460-2413" value="+14084602413" target="_blank">408-460-2413</a></td></tr></tbody></table></span></div>
</font></span></div></div>
</blockquote></div><br></div>