[LLVMbugs] [Bug 10620] New: Assertion failure while visiting goto statement in CFG builder

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=10620

           Summary: Assertion failure while visiting goto statement in CFG
                    builder
           Product: clang
           Version: unspecified
          Platform: PC
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
        AssignedTo: kremenek at apple.com
        ReportedBy: matthewbg at google.com
                CC: llvmbugs at cs.uiuc.edu


struct S {
  ~S() {}
};
void g(const S& s) {
  if (true) 
    goto done;
  const S s2(s);
done:
  ;
}

When compiling with -Wuninitialized (or any analysis-based warning):

#2  0x00007ffff6eb7941 in __assert_fail (
    assertion=0x331f02e "F != const_iterator() && \"L iterator is not reachable
from F iterator.\"", file=<value optimized out>, line=195, 
    function=0x331f076 "int <anonymous
namespace>::LocalScope::const_iterator::distance(LocalScope::const_iterator)")
at assert.c:81
#3  0x0000000002ccb3f1 in (anonymous
namespace)::LocalScope::const_iterator::distance((anonymous
namespace)::LocalScope::const_iterator) ()
#4  0x0000000002ccb259 in (anonymous
namespace)::CFGBuilder::insertAutomaticObjDtors(clang::CFGBlock*,
std::reverse_iterator<clang::CFGElement*>, (anonymous
namespace)::LocalScope::const_iterator, (anonymous
namespace)::LocalScope::const_iterator, clang::Stmt*) ()
#5  0x0000000002cd2fda in (anonymous
namespace)::CFGBuilder::appendAutomaticObjDtors(clang::CFGBlock*, (anonymous
namespace)::LocalScope::const_iterator, (anonymous
namespace)::LocalScope::const_iterator, clang::Stmt*) ()
#6  0x0000000002cd25e9 in (anonymous
namespace)::CFGBuilder::addAutomaticObjDtors((anonymous
namespace)::LocalScope::const_iterator, (anonymous
namespace)::LocalScope::const_iterator, clang::Stmt*) ()
#7  0x0000000002cd0042 in (anonymous
namespace)::CFGBuilder::VisitGotoStmt(clang::GotoStmt*) ()

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.