[cfe-dev] [RFC] A dataflow analysis framework for Clang AST

[Dmitri Gribenko via cfe-dev]

On Sun, Nov 7, 2021 at 5:02 PM David Blaikie <dblaikie at gmail.com> wrote:

> I guess this would subsume the Clang consumption attributes:
> https://clang.llvm.org/docs/AttributeReference.html#consumed-annotation-checking
> - could these older attributes then be reimplemented in terms of this new
> infrastructure? (or broadened in other ways to better expose this
> functionality)
>

Yes, it should be possible to reimplement
llvm-project/clang/lib/Analysis/Consumed.cpp in terms of the proposed
dataflow analysis framework.

Dmitri

-- 
main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20211108/29b9bb11/attachment.html>