라벨문 중, 명칭 (identifier) 을 포함하는 라벨은 그 명칭을 라벨명으로 선언합니다. 명칭이 붙은 라벨의 유일한 사용처는 goto 문의 목적지 (target) 로 쓰이는 것입니다. 라벨명의 통용범위 (scope) 는 그 라벨이 사용된 함수 전체입니다. 라벨명은 고유의 명칭종류 (name space, A11.1) 를 가지고 있기 때문에, 다른 종류의 명칭과는 충돌하지 않으며, 재선언될 수 없습니다.
  case 라벨과 default 라벨은 switch 문 (A9.4) 에 사용됩니다. case 라벨의 상수수식은 정수형 (integral) 이어야 합니다.
  라벨문 만으로는 프로그램 제어의 흐름 (flow of control) 을 바꿀 수 없습니다.

▷ A9.2 수식문 (Expression Statement)
  대부분의 문장은 수식문이며, 수식문의 형태는 아래와 같습니다.

대부분의 수식문은 대입문이나 함수호출 입니다. 수식의 모든 부작용 (side effect) 은 다음 문장이 실행되기 전에 완료됩니다. 수식문에서 수식이 생략된 형태는 널문장 (null statement) 이라고 하며, 순환문이나 라벨에 빈 본체 (empty body) 를 제공하는데 종종 사용됩니다.

	▶ 역자 주   위에서 라벨문의 문법을 보면 알 수 있듯이, 라벨 뒤에는 반드시 문장이 나와야만 합니다. 하지만 라벨이 블럭 (함수본체 포함) 의 끝부분에 놓이는 등의 이유로 라벨 뒤에 놓일 문장이 없을 때 사용하는 것이 널문장 입니다.

▷ A9.3 복문 (Compound Statement)
  하나의 문장이 있는 곳에는, 복문 ('블럭' 이라고도 함) 을 이용해서 여러 문장이 나올 수 있습니다. 함수정의의 본체 부분 (body) 도 복문입니다.

만약 선언-리스트 (declaration-list) 에 있는 명칭이 블러밖에 이미 존재한다면, 바깥쪽 선언의 영향은 블럭안에서는 보류 (suspend) 되며 (A11.1), 블럭을 빠져나오면 다시 영향력을 갖게 됩니다. 이러한 규칙은 같은 종류의 명칭 (same name space) 들에 적용됩니다 (A11); 다른 종류의 명칭들은 구분되어 다루어집니다.

	▶ 역자 주   블럭 내외로 같은 명칭이 선언된다면, 블럭내에서는 블럭밖의 선언이 영향력을 갖지 못합니다. 예를 들면 아래와 같습니다. int a; {       float a=3.141592;       ...       a = funcf();     /* 부동형 a */             ... } a = funci();       /* 정수형 a */ ... 위의 예에서, 바깥쪽의 정수형 변수 a 가 블럭안에서 부동형으로 새로 선언되었지만, 블럭 밖의 a 와 블럭안의 a 는 전혀 별개의 변수입니다. 블럭이 끝나면 부동형 a 는 소멸되고, 정수형 a 가 다시 영향력을 갖게 됩니다. 만약 a 가 블럭안에서 블럭밖의 데이터형과 동일하게 정수형으로 선언되었다고 해도 블럭안팎의 a 는 별개의 변수로 취급됩니다.   또한 같은 블럭내에 있다고 해도 명칭종류 (name space) 가 다르면 동일한 명칭이 있을 수 있습니다. 예를 들면, int whatisthematrix; ... goto whatisthematrix;               ... whatisthematrix: ... 위의 예에서, 변수명과 라벨명이 모두 whatisthematrix 로 같지만, 변수명과 라벨명은 명칭종류 (name space) 가 다르기 때문에 서로 충돌하지 않고 사용할 수 있습니다.

  자동 기억부류의 대상체는 블럭에 진입할 때마다 초기화되며, 선언자 (declarator) 가 쓰인 순서대로 초기화됩니다. 만약 점프문으로 인해 블럭안으로 진입하게 되면, 초기화는 일어나지 않습니다. 정적 대상체는 프로그램이 실행되기 전에 딱 한번만 초기화됩니다.

▷ A9.4 선택문 (Selection Statement)
  선택문은 주어진 여러가지의 제어흐름 중에 하나를 선택할 때 사용됩니다.

  위에 제시된 두가지 형태의 if 문에서, 수식 (산술형 arithmetic type 이나 포인터형 pointer type 이어야 함) 이 모든 부작용 (side effect) 을 포함해 평가된 후, 수식값이 0 과 다르면 ('참'이면) 첫번째 문장이 실행됩니다. 두번째 형태의 if 문에서는 수식의 값이 0 이면 ('거짓'이면) 두번째 문장이 실행됩니다. 복잡한 if-else 문에서, else 에 생기는 모호함 (어떤 if 문과 연결된 else 인가?) 은 같은 중첩레벨 (nest level) 의 블럭에 있는, else 문이 없는 마지막 if 문과 연결시킴으로써 해결됩니다.
  switch 문은 정수형 수식 (integral) 의 값에 따라 여러 문장중 하나로 프로그램 제어를 옮깁니다. switch 문에 주어지는 문장은 전형적으로 복문입니다. 복문안의 어떠한 문장에도 case 라벨 (A9.1) 이 붙을 수 있습니다. switch 문의 흐름제어 수식에는 정수진급 (integral promotion, A6.1) 이 수행되며, case 상수들은 그 진급된 데이터형으로 변환됩니다. 하나의 switch 문안에는, (변환된 후의 데이터형을 갖는) 동일한 case 상수가 중복되어 존재할 수 없습니다. 또한 복문안에는 최대 1개의 default 라벨이 있을 수 있습니다. switch 문은 중첩될 수 있습니다; case 와 default 라벨은 그 라벨을 포함하는 가장 안쪽의 switch 문과만 관련이 있습니다.

	▶ 역자 주   즉, 같은 switch 문에는 중복된 case 상수가 있을 수 없지만, 중첩된 switch 문의 안팎으로는 중복된 case 상수가 있어도 구분이 되기 때문에 가능하다는 의미입니다.

  switch 문이 실행되면, 모든 부작용 (side effect) 을 포함해 수식이 평가되고, 각 case 상수와 비교됩니다. 수식의 값이 case 상수중 하나와 일치한다면, 프로그램 제어는 그 case 라벨로 옮겨집니다. 일치하는 case 라벨이 없고, default 라벨이 있다면, default 라벨로 제어가 옮겨집니다. 만약 default 라벨마져 없다면 switch 문의 문장들은 실행되지 않습니다.

▷ A9.5 순환문 (Iteration Statement)
  순환문은 루프 (loop) 를 실행해 줍니다.

  while 과 do 문에서, 귀속된 문장 (substatement) 은 수식의 값이 0 이 아닌동안 ('참'인 동안) 반복해서 실행됩니다; 수식은 산술형 (arithmetic type) 이나 포인터형 (pointer type) 이어야 합니다. while 문에서 조건검사는 매 루프가 시작되기 전에 수식의 부작용 (side effect) 까지 포함해 이루어집니다; do 문에서는 매 루프가 실행된 후에 이루어집니다.
  for 문에서, 첫번째 수식은 한번만 평가되고, 따라서 루프를 초기화하는데 적당합니다. 첫번째 수식의 데이터형에는 제약이 없습니다. 두번째 수식은 산술형 (arithmetic type) 이나 포인터형 (pointer type) 이어야 합니다; 두번째 수식은 매 루프를 돌기 전에 평가되며, 수식의 값이 0 이 되면 for 문은 종료됩니다. 세번째 수식은 매 루프를 돈 후에 평가되고, 따라서 루프제어변수의 재초기화 (re-initialization) 에 사용하면 됩니다. 세번째 수식의 데이터형에는 제약이 없습니다. 각 수식의 부작용 (side-effect) 은 그 수식이 평가된 후에 바로 완료됩니다. for 문의 문장이 continue 문을 포함하지 않는다면, 다음의 문장은

          for ( expression1 ; expression2 ; expression3 ) statement

아래와 동일합니다.

          expression1 ;
          while ( expression2 ) {
                    statement
                    expression3 ;
          }

  세 수식중 어떠한 것도 생략될 수 있습니다. 두번째 수식이 생략된다면 조건검사는, 0 이 아닌 상수값으로 (항상 '참'으로) 평가됩니다.

▷ A9.6 점프문 (Jump Statement)
  점프문은 프로그램의 제어를 무조건 옮깁니다.

  goto 문에서 명칭 (identifier) 은 현재 함수안의 라벨 (A9.1) 이어야 합니다. 프로그램 제어가 그 라벨로 옮겨집니다.
  continue 문은 순환문에만 나올 수 있습니다. continue 문은, continue 문이 있는 가장 안쪽 루프의 남아있는 문장들을 건너뛰게 해줍니다. 더 자세하게, 다음의 각 문장에서,

continue 문이 중첩된 안쪽 순환문에 있지 않는 한, continue 문의 행동은 goto contin 을 사용한 것과 동일합니다.
  break 문은 오직 순환문과 switch 문에서만 나올 수 있으며, break 문이 있는 가장 안쪽 루프를 벗어나게 해줍니다; 프로그램의 제어는 벗어난 루프의 다음 문장으로 옮겨집니다.
  함수는 return 문에 의해 그 함수를 호출한 곳으로 돌아갑니다. return 문 뒤에 수식이 따라오면, 그 수식의 값은 그 함수의 호출자 (caller) 로 반환됩니다. 수식은 마치 대입된 것처럼 함수의 반환형으로 변환됩니다.
  프로그램의 제어가 함수의 끝부분까지 도달해 함수가 종료된다면, 이는 수식이 없는 return 문을 사용한 것과 동일합니다. 두 경우 모두, 반환되는 값은 정의되어 있지 않습니다 (undefined).