Bug #275: Ошибка в сгенерированном С-файле, если отличаются имена параметров функции вычисления покрытия. - CTESK - Open-Source Projects

Actions

Copy link

Bug #275

closed

Ошибка в сгенерированном С-файле, если отличаются имена параметров функции вычисления покрытия.

Added by Андрей Максимов over 14 years ago. Updated almost 14 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Alexey Demakov

Target version:

2.8

Start date:

06/23/2010

Due date:

% Done:

100%

Estimated time:

Detected in build:

2.7.290

Platform:

Windows x86

Published in build:

2.8.306-beta-100714

Description

Если в объявлении вычислимого покрытия и в его определении в сигнатурах вычисляющей функции указать разные имена параметров (например, изменить регистр), расположенных на одной и той же позиции, то CTESK не обнаружит никаких ошибок, однако сгенерирует семантически неверный С-код.

Files

Download all files

type_coverage.sec (200 Bytes) type_coverage.sec	Определение функции вычисления покрытия	Андрей Максимов, 06/23/2010 06:05 PM
type_coverage.seh (119 Bytes) type_coverage.seh	Объявление вычислимого покрытия	Андрей Максимов, 06/23/2010 06:05 PM

Actions

Copy link

Updated by Alexey Demakov over 14 years ago

Ошибка в чекере, входная программа не является корректной:

9.8 Объявление и определение покрытий
...6. Общие требования к глобальным вычислимым покрытиям (включая enum-покрытия).
6.3. В рамках translation_unit cписки параметров всех объявлений и определений
одного и того же глобального вычислимого покрытия (включая enum-покрытия)
должны быть одинаковыми. То есть, должны совпадать:
6.3.1.количества параметров;
6.3.2.типы параметров;
6.3.3.имена параметров.

Actions

Copy link