diff options
| author | Stanislav Gatev <sgatev@google.com> | 2022-01-24 13:29:06 +0000 |
|---|---|---|
| committer | Stanislav Gatev <sgatev@google.com> | 2022-01-26 11:40:51 +0000 |
| commit | d3597ec0aaad11a670f45b42428628531d4b2c05 (patch) | |
| tree | 5111f212c36f21213da6f5d7e4efd313a3487a2a /llvm/lib/TextAPI/Architecture.cpp | |
| parent | de3f81557ae33a01862dd19b9db451d00737b67c (diff) | |
| download | llvm-d3597ec0aaad11a670f45b42428628531d4b2c05.zip llvm-d3597ec0aaad11a670f45b42428628531d4b2c05.tar.gz llvm-d3597ec0aaad11a670f45b42428628531d4b2c05.tar.bz2 | |
[clang][dataflow] Enable merging distinct values in Environment::join
Make specializations of `DataflowAnalysis` extendable with domain-specific
logic for merging distinct values when joining environments. This could be
a strict lattice join or a more general widening operation.
This is part of the implementation of the dataflow analysis framework.
See "[RFC] A dataflow analysis framework for Clang AST" on cfe-dev.
Reviewed-by: xazax.hun
Differential Revision: https://reviews.llvm.org/D118038
Diffstat (limited to 'llvm/lib/TextAPI/Architecture.cpp')
0 files changed, 0 insertions, 0 deletions