[clang][docs][dataflow] Added an introduction to dataflow analysis
authorDmitri Gribenko <gribozavr@gmail.com>
Fri, 19 Nov 2021 10:54:50 +0000 (11:54 +0100)
committerDmitri Gribenko <gribozavr@gmail.com>
Mon, 6 Dec 2021 11:16:35 +0000 (12:16 +0100)
commitab31d003e16e483bff298ea2f28fec0f23e8eb79
tree4949148d1e6de106dde261fe9037537daaa87593
parent9d20fa09eb806cd210d040e5e1e9b29c6e40e98e
[clang][docs][dataflow] Added an introduction to dataflow analysis

This documentation supports the dataflow analysis framework (see "[RFC]
A dataflow analysis framework for Clang AST" on cfe-dev).

Since the implementation of the framework has not been committed yet,
right now the doc describes dataflow analysis in general.

Since this is the first markdown document in clang/docs, I added support
for Markdown to clang/docs/conf.py in the same way as it is done in
llvm/docs.

Reviewed By: xazax.hun

Differential Revision: https://reviews.llvm.org/D114231
clang/docs/DataFlowAnalysisIntro.md [new file with mode: 0644]
clang/docs/DataFlowAnalysisIntroImages/CFGExample.svg [new file with mode: 0644]
clang/docs/DataFlowAnalysisIntroImages/CFGJoinRule.svg [new file with mode: 0644]
clang/docs/DataFlowAnalysisIntroImages/DefinitiveInitializationLattice.svg [new file with mode: 0644]
clang/docs/DataFlowAnalysisIntroImages/IntegerSetsFiniteLattice.svg [new file with mode: 0644]
clang/docs/DataFlowAnalysisIntroImages/IntegerSetsInfiniteLattice.svg [new file with mode: 0644]
clang/docs/DataFlowAnalysisIntroImages/OutputParameterIdentificationLattice.svg [new file with mode: 0644]
clang/docs/DataFlowAnalysisIntroImages/UniquePtrLattice.svg [new file with mode: 0644]
clang/docs/conf.py
clang/docs/index.rst