diff options
| author | Eric Li <li.zhe.hua@gmail.com> | 2022-05-04 17:15:00 +0000 |
|---|---|---|
| committer | Eric Li <li.zhe.hua@gmail.com> | 2022-05-05 03:57:43 +0000 |
| commit | 58abe36ae7654987f5af793e3e261ac0b43c870b (patch) | |
| tree | adf6c1758caca1fdddb6e858b5d957ae306c10a3 /clang/lib/Frontend/CreateInvocationFromCommandLine.cpp | |
| parent | 6641c57aebc688b365587b990bb206c7f2e43c19 (diff) | |
| download | llvm-58abe36ae7654987f5af793e3e261ac0b43c870b.zip llvm-58abe36ae7654987f5af793e3e261ac0b43c870b.tar.gz llvm-58abe36ae7654987f5af793e3e261ac0b43c870b.tar.bz2 | |
[clang][dataflow] Add flowConditionIsTautology function
Provide a way for users to check if a flow condition is
unconditionally true.
Differential Revision: https://reviews.llvm.org/D124943
Diffstat (limited to 'clang/lib/Frontend/CreateInvocationFromCommandLine.cpp')
0 files changed, 0 insertions, 0 deletions