projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6641c57) | patch
[clang][dataflow] Add flowConditionIsTautology function
authorEric Li <li.zhe.hua@gmail.com>
Wed, 4 May 2022 17:15:00 +0000 (17:15 +0000)
committerEric Li <li.zhe.hua@gmail.com>
Thu, 5 May 2022 03:57:43 +0000 (03:57 +0000)
commit58abe36ae7654987f5af793e3e261ac0b43c870b
treeadf6c1758caca1fdddb6e858b5d957ae306c10a3tree | snapshot
parent6641c57aebc688b365587b990bb206c7f2e43c19commit | diff
[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
clang/include/clang/Analysis/FlowSensitive/DataflowAnalysisContext.h diff | blob | history
clang/lib/Analysis/FlowSensitive/DataflowAnalysisContext.cpp diff | blob | history
clang/unittests/Analysis/FlowSensitive/DataflowAnalysisContextTest.cpp diff | blob | history
Domain: System / Toolchain;