Bug #8029: dismember: неправильное разрешение циклов для функций - Verification Tool Supports - Open-Source Projects

Actions

Copy link

Bug #8029

closed

dismember: неправильное разрешение циклов для функций

Added by Denis Efremov about 7 years ago. Updated almost 7 years ago.

Status:

Closed

Priority:

Normal

Assignee:

Start date:

03/15/2017

Due date:

% Done:

Estimated time:

Detected in build:

svn

Platform:

Published in build:

Description

Функции в выводимом файле идут в неправильном порядке. Декларации <Censored1> и <Censored2> выводятся после <Censored3>. Должно быть наоборот.
Коммит 3cb9c3d для репозитория astraver-spec.

dismember --config ../astraver-statistics/dismember/dismember.conf --cache 0 -k ../astraver-spec -m ../astraver-spec/parsec -f Censored3 -o Censoresd3.c