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

[Eric Li via Phabricator via cfe-commits]

li.zhe.hua added a comment.

I'm playing around with a tool to take raw pointers and add a non-null annotation or convert them to references, for code that is assumed to be correct. So in this case, "interesting expression" is anything that would be UB if the pointer was null, e.g. dereferencing the pointer.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124943