Progress:
In progressChanges

Changes from Git (git http://labmaster3.local/git/llvm-project.git)

Summary

  1. [LoopIdiom] BCmp: check, not assert that loop exits exit out of the loop (details)
  2. SemaExprCXX - silence static analyzer getAs<> null dereference warnings. (details)
  3. clang-tidy - silence static analyzer getAs<> null dereference warnings. (details)
Commit fda3243fdd9880441af11dd39a3120b3874fd42c by lebedev.ri
[LoopIdiom] BCmp: check, not assert that loop exits exit out of the loop
(PR43687)
We can't normally stumble into that assertion because a tautological
*conditional* `br` in loop body is required, one that always branches to
loop latch. But that should have been always folded to an unconditional
branch before we get it. But that is not guaranteed if the pass is run
standalone. So let's just promote the assertion into a proper check.
Fixes https://bugs.llvm.org/show_bug.cgi?id=43687
llvm-svn: 375100
The file was modifiedllvm/lib/Transforms/Scalar/LoopIdiomRecognize.cpp
The file was modifiedllvm/test/Transforms/LoopIdiom/bcmp-negative-tests.ll
Commit e14851259e770a59db736964475ebd152fe1c793 by llvm-dev
SemaExprCXX - silence static analyzer getAs<> null dereference warnings.
NFCI.
The static analyzer is warning about potential null dereferences, but in
these cases we should be able to use castAs<> directly and if not assert
will fire for us.
llvm-svn: 375101
The file was modifiedclang/lib/Sema/SemaExprCXX.cpp
Commit 2ea8b58cb6182b0e0a8982849a1702406abfc99b by llvm-dev
clang-tidy - silence static analyzer getAs<> null dereference warnings.
NFCI.
The static analyzer is warning about potential null dereferences, but in
these cases we should be able to use castAs<> directly and if not assert
will fire for us.
llvm-svn: 375102
The file was modifiedclang-tools-extra/clang-tidy/misc/RedundantExpressionCheck.cpp
The file was modifiedclang-tools-extra/clang-tidy/modernize/UseDefaultMemberInitCheck.cpp