@@ -45,8 +45,8 @@ def m7(x)
4545def m8
4646 sink ( s8 { source "a" } ) # $ hasValueFlow=a
4747 sink ( s8 do
48- source "a"
49- end ) # $hasValueFlow=a
48+ source "a"
49+ end ) # $ hasValueFlow=a
5050end
5151
5252def m9
@@ -259,7 +259,7 @@ def m31(h, i)
259259 h [ :bar ] = source ( "b" )
260260 h [ 1 ] = source ( "c" )
261261 h [ i ] = source ( "d" )
262-
262+
263263 sink s31 ( h ) # $ hasValueFlow=a hasValueFlow=d
264264end
265265
@@ -269,7 +269,7 @@ def m32(h, i)
269269 h [ :bar ] = source ( "c" )
270270 h [ 1 ] = source ( "d" )
271271 h [ i ] = source ( "e" )
272-
272+
273273 sink s32 ( h ) # $ hasValueFlow=b $ hasValueFlow=e $ SPURIOUS: hasValueFlow=a
274274end
275275
@@ -282,7 +282,7 @@ def m33(h, i)
282282 h [ nil ] = source ( "f" )
283283 h [ true ] = source ( "g" )
284284 h [ false ] = source ( "h" )
285-
285+
286286 sink s33 ( h ) # $ hasValueFlow=e hasValueFlow=f hasValueFlow=g hasValueFlow=h
287287end
288288
@@ -312,7 +312,7 @@ def m37(h, i)
312312def m38 ( h , i )
313313 h [ "foo" ] = source ( "a" )
314314 h [ i ] = source ( "b" )
315-
315+
316316 sink s38 ( h ) # $ hasValueFlow=a
317317end
318318
@@ -364,7 +364,7 @@ def m44(i, h)
364364 h [ i ] = source ( "c" )
365365
366366 s44 ( h )
367-
367+
368368 sink h [ 0 ]
369369 sink h [ 1 ] # $ hasValueFlow=b
370370 sink h [ i ] # $ hasValueFlow=b
@@ -380,7 +380,7 @@ def m45(i, h)
380380 sink h [ i ] # $ hasValueFlow=a hasValueFlow=b hasValueFlow=c
381381
382382 s45 ( h )
383-
383+
384384 sink h [ 0 ] # $ hasValueFlow=c
385385 sink h [ 1 ] # $ hasValueFlow=b hasValueFlow=c
386386 sink h [ i ] # $ hasValueFlow=b hasValueFlow=c
@@ -396,7 +396,7 @@ def m46(i, h)
396396 sink h [ i ] # $ hasValueFlow=a hasValueFlow=b hasValueFlow=c
397397
398398 x = s46 ( h )
399-
399+
400400 sink x [ 0 ]
401401 sink x [ 1 ] # $ hasValueFlow=b
402402 sink x [ i ] # $ hasValueFlow=b
@@ -406,12 +406,12 @@ def m47(i, h)
406406 h [ :foo ] = source ( "a" )
407407 h [ :bar ] = source ( "b" )
408408 h [ i ] = source ( "c" )
409-
409+
410410 sink h [ :foo ] # $ hasValueFlow=a hasValueFlow=c
411411 sink h [ :bar ] # $ hasValueFlow=b hasValueFlow=c
412-
412+
413413 x = s47 ( h )
414-
414+
415415 sink x [ :foo ]
416416 sink x [ :bar ] # $ hasValueFlow=b
417417end
@@ -420,12 +420,12 @@ def m48(i, h)
420420 h [ :foo ] = source ( "a" )
421421 h [ :bar ] = source ( "b" )
422422 h [ i ] = source ( "c" )
423-
423+
424424 sink h [ :foo ] # $ hasValueFlow=a hasValueFlow=c
425425 sink h [ :bar ] # $ hasValueFlow=b hasValueFlow=c
426-
426+
427427 x = s48 ( h )
428-
428+
429429 sink x [ :foo ]
430430 sink x [ :bar ] # $ hasValueFlow=b
431431end
@@ -434,12 +434,12 @@ def m49(i, h)
434434 h [ :foo ] = source ( "a" )
435435 h [ :bar ] = source ( "b" )
436436 h [ i ] = source ( "c" )
437-
437+
438438 sink h [ :foo ] # $ hasValueFlow=a hasValueFlow=c
439439 sink h [ :bar ] # $ hasValueFlow=b hasValueFlow=c
440-
440+
441441 x = s49 ( h )
442-
442+
443443 sink x [ :foo ] # $ hasValueFlow=c
444444 sink x [ :bar ] # $ hasValueFlow=b hasValueFlow=c
445445end
@@ -448,12 +448,12 @@ def m50(i, h)
448448 h [ :foo ] = source ( "a" )
449449 h [ :bar ] = source ( "b" )
450450 h [ i ] = source ( "c" )
451-
451+
452452 sink h [ :foo ] # $ hasValueFlow=a hasValueFlow=c
453453 sink h [ :bar ] # $ hasValueFlow=b hasValueFlow=c
454-
454+
455455 s50 ( h )
456-
456+
457457 sink h [ :foo ]
458458 sink h [ :bar ] # $ hasValueFlow=b
459459end
@@ -462,12 +462,12 @@ def m51(i, h)
462462 h [ :foo ] = source ( "a" )
463463 h [ :bar ] = source ( "b" )
464464 h [ i ] = source ( "c" )
465-
465+
466466 sink h [ :foo ] # $ hasValueFlow=a hasValueFlow=c
467467 sink h [ :bar ] # $ hasValueFlow=b hasValueFlow=c
468-
468+
469469 s51 ( h )
470-
470+
471471 sink h [ :foo ] # $ hasValueFlow=c
472472 sink h [ :bar ] # $ hasValueFlow=b hasValueFlow=c
473473end
@@ -476,12 +476,12 @@ def m52(i, h)
476476 h [ :foo ] = source ( "a" )
477477 h [ :bar ] = source ( "b" )
478478 h [ i ] = source ( "c" )
479-
479+
480480 sink h [ :foo ] # $ hasValueFlow=a hasValueFlow=c
481481 sink h [ :bar ] # $ hasValueFlow=b hasValueFlow=c
482-
482+
483483 h . s52
484-
484+
485485 sink h [ :foo ]
486486 sink h [ :bar ] # $ hasValueFlow=b
487487end
@@ -490,12 +490,12 @@ def m53(i, h)
490490 h [ :foo ] = source ( "a" )
491491 h [ :bar ] = source ( "b" )
492492 h [ i ] = source ( "c" )
493-
493+
494494 sink h [ :foo ] # $ hasValueFlow=a hasValueFlow=c
495495 sink h [ :bar ] # $ hasValueFlow=b hasValueFlow=c
496-
496+
497497 x = h . s53 ( )
498-
498+
499499 sink x [ :foo ]
500500 sink x [ :bar ] # $ hasValueFlow=b
501501
0 commit comments