[PATCH] D114231: [clang][docs][dataflow] Added an introduction to dataflow analysis

[Dmitri Gribenko via Phabricator via cfe-commits]

gribozavr created this revision.
Herald added a subscriber: arphaman.
gribozavr requested review of this revision.
Herald added a project: clang.
Herald added a subscriber: cfe-commits.

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.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D114231

Files:
  clang/docs/DataFlowAnalysisIntro.md
  clang/docs/DataFlowAnalysisIntroImages/CFGExample.svg
  clang/docs/DataFlowAnalysisIntroImages/CFGJoinRule.svg
  clang/docs/DataFlowAnalysisIntroImages/DefinitiveInitializationLattice.svg
  clang/docs/DataFlowAnalysisIntroImages/IntegerSetsFiniteLattice.svg
  clang/docs/DataFlowAnalysisIntroImages/IntegerSetsInfiniteLattice.svg
  clang/docs/DataFlowAnalysisIntroImages/OutputParameterIdentificationLattice.svg
  clang/docs/DataFlowAnalysisIntroImages/UniquePtrLattice.svg
  clang/docs/conf.py
  clang/docs/index.rst

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D114231.388449.patch
Type: text/x-patch
Size: 133207 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20211119/9be6c14d/attachment-0001.bin>