Избыточные копирования переменных, пропущенные #290 (#359)

Формально, данные повторные переменные не подходят под критерий #290: однозначное вхождение в последнем предложении. Но в случае второго предложения здесь: : { Generalize t.OptInfo^ 1 = … Generalize t.OptInfo^ s.Cnt = … Tree t.DriveTreeState e.Branches^ = … } можно выдать предупреждение на t.OptInfo по следующему критерию — последующие предложения не способны поглотить аргумент, совпадающий с данным. И поэтому переменная подозрительная. Так что, возможно, критерий стоит уточнить.
bmstu-iu9 · Jul 21, 2021 · f9df2ac · f9df2ac
1 parent f5e3ade
commit f9df2ac
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/compiler/OptTree-Drive-Expr.ref b/src/compiler/OptTree-Drive-Expr.ref
@@ -115,14 +115,14 @@ GrowDriveTree {
               (s.TreeDepth e.canoninzedExprs) (e.NewFunctions) e.Branches
             >
           : {
-              Generalize t.OptInfo 1
+              Generalize t.OptInfo^ 1
                 = <GrowDriveTree
                     (s.CntNodes) (e.UsedVars) (e.WholeVars) t.OptInfo
                     <RestoreDrivenCall t.Call e.Expr>
                     (s.TreeDepth e.canoninzedExprs)
                   >;
 
-              Generalize t.OptInfo s.Cnt = Generalize t.OptInfo <Dec s.Cnt>;
+              Generalize t.OptInfo^ s.Cnt = Generalize t.OptInfo <Dec s.Cnt>;
 
               Tree t.DriveTreeState e.Branches^ = t.DriveTreeState e.Branches;
             };
@@ -155,7 +155,7 @@ GrowDriveTree-DriveBranches {
         e.Branches
       >
     : {
-        (Generalize t.OptInfo s.Cnt) e._tree = Generalize t.OptInfo s.Cnt;
+        (Generalize t.OptInfo^ s.Cnt) e._tree = Generalize t.OptInfo s.Cnt;
 
         t.DriveTreeState e.Tree = Tree t.DriveTreeState e.Tree;
       };