[all-commits] [llvm/llvm-project] ab31d0: [clang][docs][dataflow] Added an introduction to d...

[Dmitri Gribenko via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ab31d003e16e483bff298ea2f28fec0f23e8eb79
      https://github.com/llvm/llvm-project/commit/ab31d003e16e483bff298ea2f28fec0f23e8eb79
  Author: Dmitri Gribenko <gribozavr at gmail.com>
  Date:   2021-12-06 (Mon, 06 Dec 2021)

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

  Log Message:
  -----------
  [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