[llvm-bugs] [Bug 38072] New: Assertion failure in clang::ento::ExprEngine::elideDestructor

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=38072

            Bug ID: 38072
           Summary: Assertion failure in
                    clang::ento::ExprEngine::elideDestructor
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: noqnoqneo at gmail.com
          Reporter: alexfh at google.com
                CC: dcoughlin at apple.com, ekarpenkov at apple.com,
                    llvm-bugs at lists.llvm.org

$ cat test-ento__ExprEngine__elideDestructor.cc
struct a {
  ~a();
};
struct F {
  a d;
  F(char *, a = a());
};
void g() {
  char h[1];
  for (int i = 0;;) F j(i ? j : h);
}
$ ./clang-tidy -checks=-*,clang-analyzer*
test-ento__ExprEngine__elideDestructor.cc -- -std=c++11 
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 *, const clang::LocationContext *):
!State->contains<ElidedDestructors>(I)
    @     0x559134e889d6  __assert_fail
    @     0x559132b8a025  clang::ento::ExprEngine::elideDestructor()
    @     0x559132bb9722 
clang::ento::ExprEngine::prepareForObjectConstruction()
    @     0x559132bb962d 
clang::ento::ExprEngine::prepareForObjectConstruction()
    @     0x559132bb962d 
clang::ento::ExprEngine::prepareForObjectConstruction()
    @     0x559132bba6eb  clang::ento::ExprEngine::VisitCXXConstructExpr()
    @     0x559132b8e30d  clang::ento::ExprEngine::Visit()
    @     0x559132b8b52e  clang::ento::ExprEngine::ProcessStmt()
    @     0x559132b8b24b  clang::ento::ExprEngine::processCFGElement()
    @     0x559132bac965  clang::ento::CoreEngine::HandlePostStmt()
    @     0x559132babdbd  clang::ento::CoreEngine::ExecuteWorkList()
    @     0x5591328dbc66  (anonymous
namespace)::AnalysisConsumer::ActionExprEngine()
    @     0x5591328db7e6  (anonymous namespace)::AnalysisConsumer::HandleCode()
    @     0x5591328c73b4  (anonymous
namespace)::AnalysisConsumer::HandleTranslationUnit()

This is most likely caused by r335800.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20180705/b8f67292/attachment.html>