[PATCH] D152093: [clang][Analysis] Handle && and || against variable and its negation as tautology

[Timm Bäder via Phabricator via cfe-commits]

tbaeder added inline comments.


================
Comment at: clang/lib/Analysis/CFG.cpp:1113-1114
+
+    const BinaryOperator *LHS = dyn_cast<BinaryOperator>(LHSExpr);
+    const BinaryOperator *RHS = dyn_cast<BinaryOperator>(RHSExpr);
     if (!LHS || !RHS)
----------------



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D152093