Bug #275
closed
Ошибка в сгенерированном С-файле, если отличаются имена параметров функции вычисления покрытия.
Added by Андрей Максимов over 14 years ago.
Updated almost 14 years ago.
Detected in build:
2.7.290
Published in build:
2.8.306-beta-100714
Description
Если в объявлении вычислимого покрытия и в его определении в сигнатурах вычисляющей функции указать разные имена параметров (например, изменить регистр), расположенных на одной и той же позиции, то CTESK не обнаружит никаких ошибок, однако сгенерирует семантически неверный С-код.
Files
Ошибка в чекере, входная программа не является корректной:
9.8 Объявление и определение покрытий
...6. Общие требования к глобальным вычислимым покрытиям (включая enum-покрытия).
6.3. В рамках translation_unit cписки параметров всех объявлений и определений
одного и того же глобального вычислимого покрытия (включая enum-покрытия)
должны быть одинаковыми. То есть, должны совпадать:
6.3.1.количества параметров;
6.3.2.типы параметров;
6.3.3.имена параметров.
- Status changed from New to Resolved
- % Done changed from 0 to 100
Applied in changeset r3799.
- Published in build set to 2.8.306-beta-100714
- Assignee set to Alexey Demakov
- Target version set to 2.8
- Status changed from Resolved to Closed
Also available in: Atom
PDF