From 280dc4e8d8239c63b780bfc87771607ba8776cbf Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Sun, 20 Jan 2019 21:43:35 +0100 Subject: [PATCH] fix(library/class): `is_anonymous_inst_name`: ignore macro scopes --- src/library/class.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/library/class.cpp b/src/library/class.cpp index 81a63f5165..fc89312879 100644 --- a/src/library/class.cpp +++ b/src/library/class.cpp @@ -260,8 +260,10 @@ name mk_anonymous_inst_name(unsigned idx) { } bool is_anonymous_inst_name(name const & n) { - if (!n.is_atomic() || !n.is_string()) return false; - return strncmp(n.get_string().data(), + // remove mangled macro scopes + auto n2 = n.get_root(); + if (!n2.is_string()) return false; + return strncmp(n2.get_string().data(), g_anonymous_inst_name_prefix->get_string().data(), strlen(g_anonymous_inst_name_prefix->get_string().data())) == 0; }