Added by Mikhail Lebedev almost 10 years ago. Updated almost 10 years ago.
100%
Description
Необходимо избавиться от двойных присваиваний в одну и ту же переменную при построении EFSM, т.к. conflict-extractor воспринимает двойное присваивание в одном и том же action'е как потенциальный конфликт.
Делаем не полноценный SSA, а упрощенную реализацию.
Особенности упрощенной реализации:
1. Трансформации подвергается GADD-представление, а не CFG.
2. В одинаковых базовых блоках, "размноженных" по разным ветвям GADD-представления, для одних и тех же присваиваний используются разные(!) версии.
3. В каждом действии GADD-представления если переменная несколько раз определяется в присваиваниях, последнее присваивание делается самОй переменной, а не её версии (упрощенная реализация ф-функций).
Если задача выполнена с т.з. создателя, то предлагается поставить статус Verified.
Закрывает задачи только менеджер проекта.