Function referenceStripCStyle

__tests__/strip-cstyle-differential.test.ts:11–54

* The pre-optimization split('')-based stripCStyle, kept verbatim as the * ORACLE: the rewritten segment-builder must be byte-identical on every * input (the C fn-pointer synthesizer's regexes run over this text, and any * divergence would silently change synthesized edges).

(src: string, allowSingleQuoteStrings: boolean)

 * divergence would silently change synthesized edges).
 */
function referenceStripCStyle(src: string, allowSingleQuoteStrings: boolean): string {
  const out = src.split('');
  let i = 0;
  const n = src.length;
  const blankRange = (buf: string[], start: number, end: number): void => {
    for (let k = start; k < end; k++) {
      buf[k] = src[k] === '\n' ? '\n' : ' ';
    }
  };
  while (i < n) {
    const c = src[i]!;
    const c2 = src[i + 1] ?? '';
    if (c === '/' && c2 === '*') {
      const start = i;
      i += 2;
      while (i < n && !(src[i] === '*' && src[i + 1] === '/')) i++;
      if (i < n) i += 2;
      blankRange(out, start, i);
      continue;
    }
    if (c === '/' && c2 === '/') {
      const start = i;
      while (i < n && src[i] !== '\n') i++;
      blankRange(out, start, i);
      continue;
    }
    if (c === '"' || (allowSingleQuoteStrings && c === "'") || c === '`') {
      const quote = c;
      i++;
      while (i < n && src[i] !== quote) {
        if (src[i] === '\\' && i + 1 < n) {
          i += 2;
          continue;
        }
        if (quote !== '`' && src[i] === '\n') break;
        i++;
      }
      if (i < n && src[i] === quote) i++;
      continue;
    }
    i++;
  }
  return out.join('');
}

const FIXTURES: Array<[string, string]> = [
  ['plain code, no comments', 'int main(void) {\n\treturn a / b;\n}\n'],