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

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed May 4 15:50:15 PDT 2022


xazax.hun accepted this revision.
xazax.hun added a comment.
This revision is now accepted and ready to land.

The code looks good to me too. I was also wondering what sort of check will need this info.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124943



More information about the cfe-commits mailing list