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

[Dmitri Gribenko via cfe-dev]

On Thu, Oct 28, 2021 at 12:30 AM Artem Dergachev <noqnoqneo at gmail.com> wrote:
> One more question. You say that you have a generic machinery for things
> like heap and constraint solving. You also say that you plan your
> machinery to be fast enough to be used in compiler warnings. Do you
> think you can achieve both *simultaneously*? Or is your plan to make it
> highly modular so that it was possible to opt out of expensive modeling
> when a specific warning doesn't need it?

The latter. It should also help with predictability which users expect
from certain warnings and ClangTidy checkers.

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>*/