<div dir="ltr"><div dir="ltr">Hey Reid,<br><br><div class="gmail_quote"><div dir="ltr">Le mar. 13 nov. 2018 à 14:03, Reid Kleckner <<a href="mailto:rnk@google.com">rnk@google.com</a>> a écrit :<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Sun, Nov 11, 2018 at 5:49 PM Mehdi AMINI via cfe-dev <<a href="mailto:cfe-dev@lists.llvm.org" target="_blank">cfe-dev@lists.llvm.org</a>> wrote:</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div class="gmail_quote"><div><div>However "good" this change is, I don't really see how it exonerates from what I'm asking: we should think hard about tools/framework to catch mistakes before introducing narrow contracts.</div></div></div></div></div></div></div></blockquote><div><br></div><div>I should apologize, there was a lot of discussion that I didn't read all of, but I should point out that there are many people working hard on ODR violation detection tools. See Richard Trieu's AST hashing stuff. In the long run, this kind of version header skew should be detectable with a tool, </div></div></div></blockquote><div><br></div><div>Thanks for pointing this! This looks like a perfect answer to my question/concern.</div><div><br></div><div>Best,</div><div><br></div><div>-- </div><div>Mehdi</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div>and users will still have this macro to get back the old guarantee so they can link anyway with that skew and have things mostly work.</div><div><br></div><div>In the meantime, yes, people with this problem (so far as I'm aware, nobody has indicated that they actually have this use case) may end up debugging some nasty crashes caused by header version skew. But, the cost of the always_inline "solution" for everyone else was too great, and in the last RFC we agreed that it was best to stop providing this guarantee by default. It's not ideal for now, but we can expect to get better tooling here in the future.</div></div></div>
</blockquote></div></div></div>