File tree 1 file changed +2
-5
lines changed
1 file changed +2
-5
lines changed Original file line number Diff line number Diff line change @@ -151,7 +151,6 @@ Res TransformAddOldNew(Transform transform,
151
151
{
152
152
Res res ;
153
153
Index i ;
154
- Count added = 0 ;
155
154
Arena arena ;
156
155
157
156
AVERT (Transform , transform );
@@ -164,8 +163,8 @@ Res TransformAddOldNew(Transform transform,
164
163
lists (old_list, new_list), using ArenaRead. Insisting on
165
164
parking keeps things simple. */
166
165
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 */
169
168
170
169
res = TableGrow (transform -> oldToNew , count );
171
170
if (res != ResOK )
@@ -190,8 +189,6 @@ Res TransformAddOldNew(Transform transform,
190
189
AVER (res != ResFAIL ); /* It's a static error to add the same old twice. */
191
190
if (res != ResOK )
192
191
return res ;
193
-
194
- ++ added ;
195
192
}
196
193
197
194
AVERT (Transform , transform );
You can’t perform that action at this time.
0 commit comments