diff options
| author | Stanislav Gatev <sgatev@google.com> | 2022-02-21 23:43:55 +0000 |
|---|---|---|
| committer | Stanislav Gatev <sgatev@google.com> | 2022-02-25 14:46:52 +0000 |
| commit | 53dcd9efd16fc881b01470767ac17c4b221f3e08 (patch) | |
| tree | 67c8105a2851d66c91042ff4a4ba851afacef9cc /clang/lib/Frontend/CompilerInvocation.cpp | |
| parent | 3b422455ddeb424e6c771de822889c3c352bd2ac (diff) | |
| download | llvm-53dcd9efd16fc881b01470767ac17c4b221f3e08.zip llvm-53dcd9efd16fc881b01470767ac17c4b221f3e08.tar.gz llvm-53dcd9efd16fc881b01470767ac17c4b221f3e08.tar.bz2 | |
[clang][dataflow] Add SAT solver interface and implementation
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: ymandel, xazax.hun
Differential Revision: https://reviews.llvm.org/D120289
Diffstat (limited to 'clang/lib/Frontend/CompilerInvocation.cpp')
0 files changed, 0 insertions, 0 deletions