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

Takuya Shimizu via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jul 27 04:11:42 PDT 2023

Previous message: [clang-tools-extra] 3c6a7b0 - [clangd] Revert the symbol collector behavior to old pre-include-cleaner-library behavior due to a regression.
Next message: [PATCH] D152093: [clang][Analysis] Handle && and || against variable and its negation as tautology
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

hazohelet added a comment.

Ping


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

https://reviews.llvm.org/D152093

Previous message: [clang-tools-extra] 3c6a7b0 - [clangd] Revert the symbol collector behavior to old pre-include-cleaner-library behavior due to a regression.
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