Referência de fonte: LIB/STR.CC¶

Registro determinístico da fonte. O conteúdo completo do arquivo é reproduzido abaixo; esta página não substitui a interpretação arquitetural dos capítulos autorais.

Identidade do arquivo¶

Dependências sintáticas detectadas¶

Símbolos detectados¶

Fonte completa¶

O bloco seguinte é o arquivo textual integral na revisão indicada. Não há elisão, abreviação ou paráfrase.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20

int strlen(int s) {
  int n;
  n = 0;
  while (loadb(s + n) != 0) {
    n = n + 1;
  }
  return n;
}

int strcpy(int dst, int src) {
  int i;
  i = 0;
  while (1) {
    storeb(dst + i, loadb(src + i));
    if (loadb(src + i) == 0) {
      return dst;
    }
    i = i + 1;
  }
}

Papel deste registro¶

O atlas garante rastreabilidade arquivo-a-arquivo. Responsabilidade, invariantes, ownership, concorrência, segurança, desempenho e interação entre subsistemas pertencem aos capítulos autorais e devem citar este arquivo quando aplicável.