[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