tbaeder added inline comments.
================ Comment at: clang/test/SemaCXX/static-assert.cpp:262 static_assert(invert(true) == invert(false), ""); // expected-error {{failed}} \ - // expected-note {{evaluates to 'false == true'}} ---------------- Krishna-13-cyber wrote: > tbaeder wrote: > > This diagnostic should be kept. From looking at the condition, it is not > > obvious what the two functions evaluate to. > The above Binary operator test case says that there are two Boolean > expressions,**UsefulToPrintExpr** says we can avoid to print these > expressions as they are don't need a note and are understandable. > > So if we go by this we will have to remove the note.By this we are removing > note for boolean literals as well as expressions.It will be nice to make it > generic rather than specifically target cases of false || false , false && > false. As the warning note print out the boolean values which can be avoided > giving preference to the other diagnostics in terms of boolean literals and > expressions. I think you are confusing boolean expressions with boolean literals. What is the problem with fixing this issue by simply ignoring toplevel `BO_LOr` binary operators? Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D146376/new/ https://reviews.llvm.org/D146376 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits