Skip to content
Commit 58abe36a authored by Eric Li's avatar Eric Li
Browse files

[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
parent 6641c57a
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment