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

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Tue Aug 9 12:02:40 PDT 2011


           Summary: Assertion failure while visiting goto statement in CFG
           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);

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
at assert.c:81
#3  0x0000000002ccb3f1 in (anonymous
namespace)::LocalScope::const_iterator) ()
#4  0x0000000002ccb259 in (anonymous
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)::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.

More information about the llvm-bugs mailing list