@@ -179,7 +179,7 @@ private module Cached {
179
179
cached
180
180
newtype TContent =
181
181
TFieldContent ( FieldDecl f ) or
182
- TTupleContent ( int index ) { exists ( any ( TupleExpr tn ) .getElement ( index ) ) }
182
+ TTupleContent ( int index ) { exists ( any ( TupleExpr te ) .getElement ( index ) ) }
183
183
}
184
184
185
185
/**
@@ -512,15 +512,15 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
512
512
exists ( TupleExpr tuple , int pos |
513
513
node1 .asExpr ( ) = tuple .getElement ( pos ) and
514
514
node2 .asExpr ( ) = tuple and
515
- c .isSingleton ( any ( Content:: TupleContent ct | ct .getIndex ( ) = pos ) )
515
+ c .isSingleton ( any ( Content:: TupleContent tc | tc .getIndex ( ) = pos ) )
516
516
)
517
517
or
518
518
// assignment to a tuple member `tuple.index = value`
519
519
exists ( TupleElementExpr tuple , AssignExpr assign |
520
520
tuple = assign .getDest ( ) and
521
521
node1 .asExpr ( ) = assign .getSource ( ) and
522
522
node2 .( PostUpdateNode ) .getPreUpdateNode ( ) .asExpr ( ) = tuple .getSubExpr ( ) and
523
- c .isSingleton ( any ( Content:: TupleContent ct | ct .getIndex ( ) = tuple .getIndex ( ) ) )
523
+ c .isSingleton ( any ( Content:: TupleContent tc | tc .getIndex ( ) = tuple .getIndex ( ) ) )
524
524
)
525
525
or
526
526
FlowSummaryImpl:: Private:: Steps:: summaryStoreStep ( node1 , c , node2 )
@@ -541,7 +541,7 @@ predicate readStep(Node node1, ContentSet c, Node node2) {
541
541
exists ( TupleElementExpr tuple |
542
542
node1 .asExpr ( ) = tuple .getSubExpr ( ) and
543
543
node2 .asExpr ( ) = tuple and
544
- c .isSingleton ( any ( Content:: TupleContent ct | ct .getIndex ( ) = tuple .getIndex ( ) ) )
544
+ c .isSingleton ( any ( Content:: TupleContent tc | tc .getIndex ( ) = tuple .getIndex ( ) ) )
545
545
)
546
546
}
547
547
0 commit comments