<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">We've released our first two patches:</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">First technical patch: <a href="https://reviews.llvm.org/D114234">https://reviews.llvm.org/D114234</a> <br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">An introduction to the dataflow analysis framework: <a href="https://reviews.llvm.org/D114231">https://reviews.llvm.org/D114231</a></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Nov 8, 2021 at 4:01 PM David Blaikie <<a href="mailto:dblaikie@gmail.com">dblaikie@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Nov 8, 2021 at 2:00 AM Dmitri Gribenko <<a href="mailto:gribozavr@gmail.com" target="_blank">gribozavr@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr">On Sun, Nov 7, 2021 at 5:02 PM David Blaikie <<a href="mailto:dblaikie@gmail.com" target="_blank">dblaikie@gmail.com</a>> wrote:<br></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">I guess this would subsume the Clang consumption attributes: <a href="https://clang.llvm.org/docs/AttributeReference.html#consumed-annotation-checking" target="_blank">https://clang.llvm.org/docs/AttributeReference.html#consumed-annotation-checking</a> - could these older attributes then be reimplemented in terms of this new infrastructure? (or broadened in other ways to better expose this functionality)</div></blockquote><div><br></div><div>Yes, it should be possible to reimplement llvm-project/clang/lib/Analysis/Consumed.cpp in terms of the proposed dataflow analysis framework.</div></div></div></blockquote><div><br>Would it be reasonable to have that on your plan/timeline? Would be nice to avoid the consumed analysis languishing as a dead end if it could be migrated to the new stuff (& be a nice proof-of-concept/place to make this new functionality live in an existing feature perhaps relatively early on (not that I think the consumed warnings/analysis are widely used - though I'm not sure)))<br> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div class="gmail_quote"><div><br></div><div>Dmitri</div><div><br></div></div>-- <br><div dir="ltr">main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if<br>(j){printf("%d\n",i);}}} /*Dmitri Gribenko <<a href="mailto:gribozavr@gmail.com" target="_blank">gribozavr@gmail.com</a>>*/</div></div>
</blockquote></div></div>
</blockquote></div>