Анализ переменных в реальном времени для расчета значений Def и Use, установленных для базового блока

Question

Для базового блока рассчитайте использование и значение def для анализа переменных в реальном времени.Пример базового блока B1.

input j;
t1 = j % 2;
t1 ! = 0 goto L2

Я рассчитал два ответа:

1. Def = {j, t1}, Use={}
2. Def = {j, t1}, Use={j}

Что из следующего является правильным?Если нет, то какой будет правильный ответ.

Answer 1

В терминологии я привык к 1 правильному ответу.Набор Использования блока - это набор переменных, в которых используется первое вхождение в блоке.В этом примере нет таких переменных, как первое вхождение j и t2 обновляет переменную.С другой стороны, набор Def - это набор переменных, которые обновляются в блоке, и в этом случае обновляются как j, так и t2.