<div dir="ltr"><div>RE:</div>In <a href="https://lists.llvm.org/pipermail/llvm-dev/2021-June/151199.html">https://lists.llvm.org/pipermail/llvm-dev/2021-June/151199.html</a><div><pre style="white-space:pre-wrap;color:rgb(0,0,0)"> C is moving towards a provenance model; you can find the details in
this committee TR that Joshua Cranmer linked:
   <a href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2676.pdf">http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2676.pdf</a>
</pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><br></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"> Provenance is not part of the existing C standard. This proposal is by no means a settled issue. It would be interesting to hear what Clang/llvm developers think. Speaking for myself, I think the proposal has interesting ideas, but papers over a lot of difficult issues, lacks motivation, and potentially could have very negative effects on C semantics in its current state. I'd prefer to fix the C standard so that it is possible to write operating systems, malloc, and other important code in standard C before we consider adding such a far reaching change. </pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)">vy</pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><br></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><br></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><br></pre></div></div>