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: [email protected]
Reporter: [email protected]
CC: [email protected]
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.
_______________________________________________
LLVMbugs mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/llvmbugs
