[PATCH] D124943: [clang][dataflow] Add flowConditionIsTautology function

[Eric Li via Phabricator via cfe-commits]

li.zhe.hua added a comment.

This allows me to query when an expression is always encountered/executed. Alternatively, if I have a set of interesting expressions, I can note the flow condition at every expression, compute the disjunction of the set of flow conditions, and determine if execution will always encounter an interesting expression.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D124943/new/

https://reviews.llvm.org/D124943