[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
Mon Jun 26 08:33:19 PDT 2023

Previous message: [PATCH] D146418: Support for OpenMP 5.0 sec 2.12.7 - Declare Target initializer expressions
Next message: [clang] a5d094c - [Clang] Fix invalid runline in test
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: [PATCH] D146418: Support for OpenMP 5.0 sec 2.12.7 - Declare Target initializer expressions
Next message: [clang] a5d094c - [Clang] Fix invalid runline in test
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the cfe-commits mailing list