max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore(util/name): avoid parameter name confusing CLion

Browse source 
The overloading of `name` makes it error out on the _entire_ remaining file.
This commit is contained in:
Sebastian Ullrich 2017-01-11 15:02:08 +01:00
parent 19e20f7e1a
commit 7e67b48b2d
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/util/name.cpp
View file

@ -78,12 +78,12 @@ name::name() {
m_ptr = nullptr;
}
name::name(name const & prefix, char const * name) {
size_t sz = strlen(name);
name::name(name const & prefix, char const * nam) {
size_t sz = strlen(nam);
lean_assert(sz < (1u << 31));
char * mem = new char[sizeof(imp) + sz + 1];
m_ptr = new (mem) imp(true, prefix.m_ptr);
std::memcpy(mem + sizeof(imp), name, sz + 1);
std::memcpy(mem + sizeof(imp), nam, sz + 1);
m_ptr->m_str = mem + sizeof(imp);
// Emscripten easily breaks with small changes here. The main fix seems to be to use m_ptr->m_str instead of name.
m_ptr->m_hash = hash_str(static_cast<unsigned>(sz), m_ptr->m_str, prefix.hash());