Searched refs:AnonymousPrefix (Results 1 – 2 of 2) sorted by relevance
53 const char* const AnonymousPrefix = "anon@"; // for something like a block whose members can be dir… variable56 return name.compare(0, 5, AnonymousPrefix) == 0; in IsAnonymous()
378 snprintf(buf, 20, "%s%d", AnonymousPrefix, symbol.getAsVariable()->getAnonId()); in insert()