Skip to content

Commit 938b340

Browse files
feat: add existing indices if they don't contain pointer information
1 parent 25e7ba4 commit 938b340

File tree

2 files changed

+1
-4
lines changed

2 files changed

+1
-4
lines changed

src/dataflow/environments/define.ts

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -50,6 +50,7 @@ function mergeDefinitions(existing: IdentifierDefinition[], definition: InGraphI
5050
for(const overwriteIndex of overwriteIndices) {
5151
for(const existingDef of existingDefs) {
5252
if(existingDef.indicesCollection === undefined) {
53+
newExistingDefs.push(existingDef);
5354
continue;
5455
}
5556

test/functionality/slicing/pointer-analysis/container-single-index-based-access.test.ts

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -306,8 +306,6 @@ print(${acc('numbers', 1)})`,
306306
`numbers <- foo()
307307
${acc('numbers', 1)} <- 1
308308
print(${acc('numbers', 1)})`,
309-
undefined,
310-
'fail-both',
311309
);
312310

313311
assertSliced(
@@ -322,8 +320,6 @@ print(numbers)`,
322320
${acc('numbers', 1)} <- 1
323321
${acc('numbers', 2)} <- 2
324322
print(numbers)`,
325-
undefined,
326-
'fail-both',
327323
);
328324
});
329325

0 commit comments

Comments
 (0)