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

Nico Weber via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 27 05:36:55 PDT 2023

Previous message: [PATCH] D152093: [clang][Analysis] Handle && and || against variable and its negation as tautology
Next message: [PATCH] D152093: [clang][Analysis] Handle && and || against variable and its negation as tautology
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

lg with aaron's suggestion. thanks for the patch, and for your patience!


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

https://reviews.llvm.org/D152093

Previous message: [PATCH] D152093: [clang][Analysis] Handle && and || against variable and its negation as tautology
Next message: [PATCH] D152093: [clang][Analysis] Handle && and || against variable and its negation as tautology
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list