FIXED: уточнение проверки псевдофункций gen…__ (bmstu-iu9#331)

На ошибку указало ложное срабатывание диагностики -Wrepeated-maybe (bmstu-iu9#290). Хоть срабатывание по сути было ложным: равенство повторной переменной требует сама логика алгоритма, но оно показало на реальную ошибку: вместо проверки результатного выражения дважды проверялся образец.
Mazdaywik · Mar 8, 2021 · e6c0e86 · e6c0e86
1 parent 119fcc1
commit e6c0e86
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/autotests/opt-tree-gen_e-bad-body-result.WARNING.ref b/autotests/opt-tree-gen_e-bad-body-result.WARNING.ref
@@ -0,0 +1,7 @@
+* WARNING pseudofunctions
+
+$ENTRY Go { = <gen_e__> }
+
+gen_e__ {
+  e.Arg = e.Arg e.Arg;
+}
diff --git a/src/compiler/Checker.ref b/src/compiler/Checker.ref
@@ -188,7 +188,7 @@ CheckPseudofunctions-Entry {
 CheckPseudofunctions-Body {
   t.SrcPos (e.Name) Sentences ((e.Pattern) (e.Result) (e.Blocks))
     , <WholeEVar e.Pattern> : True e.Index
-    , <WholeEVar e.Pattern> : True e.Index /* SAME */
+    , <WholeEVar e.Result> : True e.Index /* SAME */
     , e.Blocks : /* нет блоков */
     = /* пусто, правильное тело gen-функции */;