src/base/cp_annotate.cc

863     SCache::iterator i = smtCache.begin();
864     while (i != smtCache.end()) {
1084     // smtCache (SCache)
1087     i = smtCache.begin();
1088     while (i != smtCache.end()) {
1089         paramOut(os, csprintf("smtCache%d.str", x), i->first);
1090         paramOut(os, csprintf("smtCache%d.int", x), i->second);
1234     // smtCache (SCache
1238         paramIn(cp, csprintf("smtCache%d.str", x), str);
1239         paramIn(cp, csprintf("smtCache%d.int", x), smi);
1240         smtCache[str] = smi;