projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85e4d55) | patch
[clang][dataflow] Implement transferBranch
authorGabor Marton <gabor.marton@ericsson.com>
Mon, 12 Sep 2022 13:44:53 +0000 (15:44 +0200)
committerGabor Marton <gabor.marton@ericsson.com>
Wed, 26 Oct 2022 13:24:55 +0000 (15:24 +0200)
commitbb72d0dde29edc2f240ab3d3650544251795ef9f
tree72aa0a2eb088333a471c1ae3279cf37b3a9ede74tree | snapshot
parent85e4d5583e037f856aa2c087db43422dc7e5e579commit | diff
[clang][dataflow] Implement transferBranch

This patch introduces `transferBranch`, which Applies the analysis
transfer function for a given edge from a CFG block of a conditional
statement.

RFC:
https://discourse.llvm.org/t/rfc-clang-dataflow-signanalysis-edgetransfer-branchtransfer/65220

Differential Revision: https://reviews.llvm.org/D133698
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysis.h diff | blob | history
clang/include/clang/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.h diff | blob | history
clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/CMakeLists.txt diff | blob | history
clang/unittests/Analysis/FlowSensitive/TestingSupport.h diff | blob | history
clang/unittests/Analysis/FlowSensitive/TransferBranchTest.cpp [new file with mode: 0644] blob
Domain: System / Toolchain;