diff options
| author | Gabor Marton <gabor.marton@ericsson.com> | 2022-09-12 15:44:53 +0200 |
|---|---|---|
| committer | Gabor Marton <gabor.marton@ericsson.com> | 2022-10-26 15:24:55 +0200 |
| commit | bb72d0dde29edc2f240ab3d3650544251795ef9f (patch) | |
| tree | 72aa0a2eb088333a471c1ae3279cf37b3a9ede74 /clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp | |
| parent | 85e4d5583e037f856aa2c087db43422dc7e5e579 (diff) | |
| download | llvm-bb72d0dde29edc2f240ab3d3650544251795ef9f.zip llvm-bb72d0dde29edc2f240ab3d3650544251795ef9f.tar.gz llvm-bb72d0dde29edc2f240ab3d3650544251795ef9f.tar.bz2 | |
[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
Diffstat (limited to 'clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp')
0 files changed, 0 insertions, 0 deletions