[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

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits