@@ -179,7 +179,7 @@ private module Cached {
179179 cached
180180 newtype TContent =
181181 TFieldContent ( FieldDecl f ) or
182- TTupleContent ( int index ) { exists ( any ( TupleExpr tn ) .getElement ( index ) ) }
182+ TTupleContent ( int index ) { exists ( any ( TupleExpr te ) .getElement ( index ) ) }
183183}
184184
185185/**
@@ -512,15 +512,15 @@ predicate storeStep(Node node1, ContentSet c, Node node2) {
512512 exists ( TupleExpr tuple , int pos |
513513 node1 .asExpr ( ) = tuple .getElement ( pos ) and
514514 node2 .asExpr ( ) = tuple and
515- c .isSingleton ( any ( Content:: TupleContent ct | ct .getIndex ( ) = pos ) )
515+ c .isSingleton ( any ( Content:: TupleContent tc | tc .getIndex ( ) = pos ) )
516516 )
517517 or
518518 // assignment to a tuple member `tuple.index = value`
519519 exists ( TupleElementExpr tuple , AssignExpr assign |
520520 tuple = assign .getDest ( ) and
521521 node1 .asExpr ( ) = assign .getSource ( ) and
522522 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 ( ) ) )
524524 )
525525 or
526526 FlowSummaryImpl:: Private:: Steps:: summaryStoreStep ( node1 , c , node2 )
@@ -541,7 +541,7 @@ predicate readStep(Node node1, ContentSet c, Node node2) {
541541 exists ( TupleElementExpr tuple |
542542 node1 .asExpr ( ) = tuple .getSubExpr ( ) and
543543 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 ( ) ) )
545545 )
546546}
547547
0 commit comments