reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced
59 if (!ModifiedVars.count(var)) { 62 ModifiedVars.insert(var);