[all-commits] [llvm/llvm-project] fa6897: [dataflow] document flow condition

Sam McCall via All-commits all-commits at lists.llvm.org
Tue Jul 11 22:21:04 PDT 2023


  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fa689726768b7b5cae01970cce2e59a72a0229b4
      https://github.com/llvm/llvm-project/commit/fa689726768b7b5cae01970cce2e59a72a0229b4
  Author: Sam McCall <sam.mccall at gmail.com>
  Date:   2023-07-12 (Wed, 12 Jul 2023)

  Changed paths:
    M clang/include/clang/Analysis/FlowSensitive/DataflowEnvironment.h

  Log Message:
  -----------
  [dataflow] document flow condition

There's some documentation of this concept at
https://clang.llvm.org/docs/DataFlowAnalysisIntro.html
but it would be nice to have it closer to the code.

I also was laboring under an obvious but wrong mental model that
the flow condition token represented "execution reached this point",
I'd like to explicitly call that out as wrong.

Differential Revision: https://reviews.llvm.org/D154969




More information about the All-commits mailing list