Filed https://bugs.llvm.org/show_bug.cgi?id=38072 with an isolated test
case.
On Wed, Jul 4, 2018 at 4:18 PM Alexander Kornienko
wrote:
> We've started seeing assertion failures after this commit.
> assert.h assertion failed at
> llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:485 in sta
We've started seeing assertion failures after this commit.
assert.h assertion failed at
llvm/tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:485 in static
clang::ento::ProgramStateRef
clang::ento::ExprEngine::elideDestructor(clang::ento::ProgramStateRef,
const clang::CXXBindTemporaryExpr *, cons
Author: dergachev
Date: Wed Jun 27 17:30:18 2018
New Revision: 335800
URL: http://llvm.org/viewvc/llvm-project?rev=335800&view=rev
Log:
[analyzer] Add support for pre-C++17 copy elision.
r335795 adds copy elision information to CFG. This commit allows static analyzer
to elide elidable copy constr
