From 06d3eb8be2aa19f4776cafd82ca04c20c9dc1b07 Mon Sep 17 00:00:00 2001 From: sonalmahajan15 Date: Mon, 11 Dec 2023 16:29:43 -0800 Subject: [PATCH] fix for incorrect assignments --- assertion/function/assertiontree/backprop.go | 6 ------ 1 file changed, 6 deletions(-) diff --git a/assertion/function/assertiontree/backprop.go b/assertion/function/assertiontree/backprop.go index 68e4aaf8..ad6cb75c 100644 --- a/assertion/function/assertiontree/backprop.go +++ b/assertion/function/assertiontree/backprop.go @@ -622,9 +622,6 @@ buildShadowMask: // beforeTriggersLastIndex is used to find the newly added triggers on the next line beforeTriggersLastIndex := len(rootNode.triggers) - if beforeTriggersLastIndex > 0 { - beforeTriggersLastIndex-- - } rootNode.AddProduction(&annotation.ProduceTrigger{ Annotation: rproducers[0].GetShallow().Annotation, @@ -632,9 +629,6 @@ buildShadowMask: }, rproducers[0].GetDeepSlice()...) // Update consumers of newly added triggers with assignment entries for informative printing of errors - if len(rootNode.triggers) == 0 { - continue - } for _, t := range rootNode.triggers[beforeTriggersLastIndex:len(rootNode.triggers)] { t.Consumer.Annotation.AddAssignment(annotation.Assignment{ LHSExprStr: util.ExprToString(lhsVal, rootNode.Pass()),