6.8 런타임 검사 억제

이 절에서는 6.2.1항에서 설명한 다양한 런타임 검사들을 pragma suppress를 통해 어떻게 비활성화하는지 알아봅니다.

6.8.1 pragma suppress와 unsuppress

pragma suppress는 컴파일러에 특정 런타임 검사를 생략하도록 지시하는 프라그마입니다. 반대로 pragma unsuppress는 이전에 부여된 검사 생략을 철회합니다.

구문

pragma suppress와 pragma unsuppress는 다음과 같은 형태로 사용하며, <검사 이름>에는 억제하거나 복원할 검사의 종류를 지정합니다.

pragma suppress (<검사 이름>);

pragma unsuppress (<검사 이름>);

<검사 이름>에는 index_check와 같이 6.2.1항에서 다룬 개별 런타임 검사 이름을 사용하거나, all_checks라는 식별자를 사용할 수 있습니다. Ada 레퍼런스 매뉴얼에 따르면 all_checks는 단언(assertion) 관련 검사를 제외한 모든 런타임 검사의 합집합을 나타냅니다.

사용 예시

먼저 pragma suppress가 없는 경우의 동작을 살펴보겠습니다. 아래 코드는 배열의 범위를 벗어난 인덱스 11에 접근하므로, index_check가 실패하여 Constraint_Error 예외를 발생시킵니다.

procedure default_behavior is

  my_array : array (1 .. 10) of Integer;

begin

  for i in 1 .. 11 loop

    my_array(i) := i; -- i가 11일 때 예외 발생

  end loop;

end default_behavior;

이제 pragma suppress를 사용하여 이 동작을 변경해 보겠습니다. 다음 예시에서 pragma suppress는 선언부에 위치하며 선언된 블록(declare ... end;) 내에서 검사를 억제합니다. 그래서 더 이상 예외가 발생하지 않고, 대신 오류 상태(erroneous)로 실행이 계속됩니다.

procedure scoped_suppress_example is

  my_array : array (1 .. 10) of Integer;

begin

  -- 이 바깥 블록에서는 index_check가 활성화된 상태입니다.

  declare

    -- 이 내부 블록의 선언부에서 index_check를 억제합니다.

    pragma suppress (index_check);

  begin

    -- 이 루프는 index_check가 억제되어 예외를 발생시키지 않습니다.

    -- 대신, 배열 경계를 넘어 메모리에 접근하는 오류 상태(erroneous)로 실행이 계속됩니다.

    for i in 1 .. 11 loop

      my_array(i) := i;

    end loop;

  end; -- 이 지점에서 `pragma suppress (index_check)`의 효력이 자동으로 사라집니다.

  -- 내부 블록이 종료되어 index_check는 다시 활성화되었습니다.

  -- 따라서 아래 코드는 Constraint_Error 예외를 발생시킵니다.

  my_array(0) := 0;

end scoped_suppress_example;

위 예시는 pragma unsuppress를 직접 사용하지 않더라도, pragma suppress가 블록의 범위를 벗어나면 그 효력이 자동으로 사라져 검사가 다시 활성화됨을 보여줍니다.

배치 규칙 및 적용 범위

pragma suppress와 pragma unsuppress는 검사 프라그마(checking pragma)로, 코드 내 특정 위치에만 배치될 수 있으며 그 위치에 따라 효력이 미치는 범위가 결정됩니다.

허용되는 위치는 다음과 같습니다:

• 선언부 (declarative part) 내부
• 패키지 명세 (package specification) 내부
• 설정 프라그마 (configuration pragma)

프라그마의 효력 범위는 프라그마의 위치에 따라 다음과 같이 결정됩니다.

• 서브프로그램(procedure, function)이나 declare 블록의 선언부에 프라그마가 위치할 경우, 프라그마가 있는 위치부터 해당 서브프로그램이나 블록이 끝나는 end 지점까지 효력이 있습니다.
• 패키지 명세(.ads 파일) 내부에 프라그마가 위치할 경우, 프라그마가 있는 위치부터 해당 패키지 명세가 끝나는 end 지점까지 효력이 있습니다. 이 효력은 패키지 구현부(.adb 파일)에는 자동으로 적용되지 않습니다.
• 설정 프라그마로 지정될 경우, 해당 프라그마가 적용되는 전체 컴파일 단위(compilation unit)에 효력을 미칩니다.

프라그마의 효력의 우선순위

프라그마는 중복 사용될 수 있습니다. 코드의 특정 지점에서 어떤 검사가 활성화 상태인지는, 해당 지점을 감싸는 여러 범위들 중 가장 안쪽 범위에 있는 프라그마가 우선합니다.

예를 들어, 외부 범위에서 pragma suppress (index_check)가 있더라도 내부 범위에 pragma unsuppress (index_check)가 있으면, 내부 범위 안에서는 pragma unsuppress (index_check)의 효과가 나타납니다. 또한, 외부 범위의 pragma suppress (index_check)와 내부 범위의 pragma suppress (access_check)는 서로 다른 검사에 대한 프라그마이므로, 내부 범위에서는 두 검사가 모두 억제되는 효과가 나타납니다. 이렇게 내부 범위에서 적용된 프라그마의 효력은 해당 범위가 끝나면 사라지고, 외부 범위의 프라그마 효력만 남게 됩니다.

6.8.2 억제의 효과와 위험성

pragma suppress는 특정 런타임 검사를 생략하도록 컴파일러에 지시하여 프로그램의 실행 효율을 높이는 데 활용될 수 있습니다. Ada 레퍼런스 매뉴얼은 억제된 검사에 대해 컴파일러가 관련 실행 코드를 가능한 한 최소화할 것을 권장합니다.

억제된 검사가 감지해야 할 오류 상황이 발생하면 프로그램은 오류 상태(erroneous)가 됩니다. 이때 컴파일러는 예외를 발생시키지 않고 해당 연산이 미정의된 결과(undefined result)를 반환하도록 할 수 있으며, 이 값은 데이터 손상이나 논리적 오류의 원인이 될 수 있습니다. 단, 컴파일러는 미정의된 결과가 프로그램의 외부 상호작용에 영향을 줄 경우에만 예외를 발생시킬 의무가 있으므로, 외부 영향이 없다면 프로그램은 예외 발생 없이 실행이 계속될 수 있습니다.

pragma suppress는 검사 제거를 보장하지 않습니다. 이는 컴파일러에 검사 생략을 허용하는 것이며, 강제하는 것은 아닙니다. 따라서 이 지시문은 효율성 향상 목적으로만 유용합니다.