Lines Matching defs:scratch
103 ValueVector scratch;
128 ValueVector &getScratch() { return scratch; }
155 scratch.resize(declToIndex.size());
238 scratch = source;
240 scratch |= source;
245 bool changed = (dst != scratch);
247 dst = scratch;
249 printVector(block, scratch, 0);
269 scratch.reset();
275 return scratch[idx.getValue()];
