[LLVMbugs] [Bug 18909] New: Static Analyzer aborts with not yet implemented! UNREACHABLE executed at llvm/tools/clang/lib/StaticAnalyzer/Core/PathDiagnostic.cpp:563

[bugzilla-daemon at llvm.org]

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

            Bug ID: 18909
           Summary: Static Analyzer aborts with not yet implemented!
                    UNREACHABLE executed at
                    llvm/tools/clang/lib/StaticAnalyzer/Core/PathDiagnosti
                    c.cpp:563
           Product: clang
           Version: 3.4
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: malcolm.parsons at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 12089
  --> http://llvm.org/bugs/attachment.cgi?id=12089&action=edit
stderr.txt

clang version 3.4 (trunk 193399)

Static Analyzer aborts on this code:

#pragma GCC diagnostic ignored "-Wtype-limits"
#include <rapidjson/document.h>
#include <string>
#include <vector>

class A
{
    public:
        A(const std::string& s, const std::vector<std::string>& v) :
            s(s), v(v) {}

    private:
        std::string s;
        std::vector<std::string> v;
};

class B
{
    public:
        B(const std::string&);

    private:
        std::vector<A> w;
};


B::B(const std::string& s) {
    rapidjson::Document file;
    file.Parse<0>(s.c_str());

    for (rapidjson::SizeType i = 0; i < 10; i++) {
        std::vector<std::string> v;

        w.emplace_back("foo", v);
    }
}

-- 
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/20140220/95e90334/attachment.html>