File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -151,7 +151,6 @@ Res TransformAddOldNew(Transform transform,
151151{
152152 Res res ;
153153 Index i ;
154- Count added = 0 ;
155154 Arena arena ;
156155
157156 AVERT (Transform , transform );
@@ -164,8 +163,8 @@ Res TransformAddOldNew(Transform transform,
164163 lists (old_list, new_list), using ArenaRead. Insisting on
165164 parking keeps things simple. */
166165 arena = transform -> arena ;
167- AVER (ArenaGlobals (arena )-> clamped );
168- AVER (arena -> busyTraces == TraceSetEMPTY );
166+ AVER (ArenaGlobals (arena )-> clamped ); /* .assume.parked */
167+ AVER (arena -> busyTraces == TraceSetEMPTY ); /* .assume.parked */
169168
170169 res = TableGrow (transform -> oldToNew , count );
171170 if (res != ResOK )
@@ -190,8 +189,6 @@ Res TransformAddOldNew(Transform transform,
190189 AVER (res != ResFAIL ); /* It's a static error to add the same old twice. */
191190 if (res != ResOK )
192191 return res ;
193-
194- ++ added ;
195192 }
196193
197194 AVERT (Transform , transform );
You can’t perform that action at this time.
0 commit comments