(MISRA-C 4강) 제어 흐름과 조건문 규칙

🚗 MISRA-C: 2012 4강 제어 흐름과 조건문 규칙

“코드가 어디로 가는지, 꼭 알아야 한다!”

---

😎 들어가며

C 언어에서 제어 흐름(control flow) 은 프로그램의 방향타입니다.
방향타가 잘못되면? 🚢 → 암초 직행!
MISRA-C에서는 if, switch, for, while 같은 제어문에 안전 운전 규칙을 걸어
예측 불가능한 사고를 미연에 방지합니다.

---

🛑 제어문에서 발생하는 대표 사고

1. 조건 누락 사고

if (status = READY) // 😱 '='는 대입, '=='가 비교
{
    startEngine();
}

• 의도: READY일 때만 실행
• 실제: status에 READY 대입 후 항상 참 → 무조건 실행

MISRA 방어책: 조건문에서 대입 금지, 비교 연산 필수 확인

---

2. switch 문에서의 추락 사고

switch (mode)
{
    case 1:
        accelerate();
    case 2:
        brake();
        break;
}

• case 1 뒤에 break가 없어 2번 case로 추락(Fall-through)
• 때로는 의도적이지만, MISRA에서는 명시 주석 없으면 금지

/* fall-through intentional */ 와 같이 표시

---

3. 반복문 탈출 실패

while (1)
{
    if (stopSignal)
        break;
}

• break가 유일한 탈출 수단이면 무한 루프 가능성↑
• MISRA는 종료 조건이 명확하고 유한해야 한다고 권고

---

📌 MISRA-C의 제어 흐름 안전 규칙

if-else 규칙

• 모든 if는 명확한 조건과 중괄호 사용
• 중첩 if는 최소화 → 읽기 어려운 "피라미드 코드" 방지

switch 규칙

• 모든 case에 break 또는 명시적 fall-through 주석 필수
• default case 필수 → 예기치 못한 값 처리

반복문 규칙

• for/while 종료 조건은 반드시 결정적이어야 함
• 무한 루프는 예외적 상황에서만 사용, 종료 경로 명확히 명시

---

📊 안전 제어문 규칙 한눈에 보기

제어문	위험 사례	MISRA 안전 대책
if-else	=와 == 혼동	조건문 대입 금지
switch	break 누락	break 또는 fall-through 주석
for/while	종료 조건 불명확	결정적 조건 필수

---

💡 실무 팁

• 정적 분석 도구를 쓰면 switch 누락이나 조건 대입 실수를 자동 검출
• 하지만 도구만 믿지 말고 코드 리뷰 필수!
• 특히 제어문은 코드 흐름도(flow chart) 로 그려보면 버그가 눈에 잘 띕니다

---

📢 다음 회차 예고

 포인터 사용 제한과 안전한 메모리 접근
C 언어의 강력한 무기이자 양날의 검, 포인터!
MISRA-C가 어떻게 포인터를 안전하게 쓰도록 제한하는지 알아봅니다.