Project

General

Profile

Actions

Bug #275

closed

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

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

Status:
Closed
Priority:
Normal
Target version:
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

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 #1

Updated by Alexey Demakov over 13 years ago

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

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

Actions #2

Updated by Alexey Demakov over 13 years ago

  • Status changed from New to Resolved
  • % Done changed from 0 to 100

Applied in changeset r3799.

Actions #3

Updated by Alexey Demakov over 13 years ago

  • Published in build set to 2.8.306-beta-100714
Actions #4

Updated by Alexey Demakov over 13 years ago

  • Assignee set to Alexey Demakov
Actions #5

Updated by Alexey Demakov over 13 years ago

  • Target version set to 2.8
Actions #6

Updated by Alexey Demakov over 13 years ago

  • Status changed from Resolved to Closed
Actions

Also available in: Atom PDF