t_parameter_aliasing.adb:24:7: Error: Certain: Certain aliasing between parameters "X => I" and "Y => I"
t_parameter_aliasing.adb:25:7: Error: Certain: Certain aliasing between parameters "X => I" and "Y => I"
t_parameter_aliasing.adb:25:7: Error: Certain: Certain aliasing between parameters "X => I" and "Z => I"
t_parameter_aliasing.adb:28:7: Error: Certain: Certain aliasing between parameters "X => I" and "Y => I"
t_parameter_aliasing.adb:29:7: Error: Certain: Certain aliasing between parameters "Y => I" and "X => I"
t_parameter_aliasing.adb:32:7: Error: Certain: Certain aliasing between parameters "X => Simple_Cases.I" and "Y => I"
t_parameter_aliasing.adb:34:7: Error: Certain: Certain aliasing between parameters "X => I" and "Y => Character(I)"
t_parameter_aliasing.adb:36:7: Error: Certain: Certain aliasing between parameters "X => I" and "Y => Alias1"
t_parameter_aliasing.adb:37:7: Error: Certain: Certain aliasing between parameters "X => Pack1.X" and "Y => Pack2.X"
t_parameter_aliasing.adb:61:7: Error: Certain: Certain aliasing between parameters "X => R1.I" and "Y => R1.I"
t_parameter_aliasing.adb:65:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => R1.I"
t_parameter_aliasing.adb:66:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => R1.K.I"
t_parameter_aliasing.adb:67:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => R1.K.J"
t_parameter_aliasing.adb:68:7: Error: Certain: Certain aliasing between parameters "X => Alias2" and "Y => R1.K.J"
t_parameter_aliasing.adb:69:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => Alias2.K.J"
t_parameter_aliasing.adb:70:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => Alias3.J"
t_parameter_aliasing.adb:72:7: Error: Certain: Certain aliasing between parameters "X => R1.K" and "Y => R1.K.J"
t_parameter_aliasing.adb:90:7: Error: Certain: Certain aliasing between parameters "X => X.S" and "Y => X.S(1)"
t_parameter_aliasing.adb:92:7: Error: Certain: Certain aliasing between parameters "X => X.S(3)" and "Y => X.S(10#3#)"
t_parameter_aliasing.adb:93:7: Found: Possible: Possible aliasing between parameters "X => X.S(I)" and "Y => X.S(J)"
t_parameter_aliasing.adb:96:7: Error: Certain: Certain aliasing between parameters "X => Tab2 (A)" and "Y => Tab2 (a)"
t_parameter_aliasing.adb:97:7: Found: Possible: Possible aliasing between parameters "X => Tab2 (A)" and "Y => Tab2 (E)"
t_parameter_aliasing.adb:98:7: Found: Possible: Possible aliasing between parameters "X => Tab1(I).S" and "Y => Tab1(J).S(3)"
t_parameter_aliasing.adb:99:7: Found: Possible: Possible aliasing between parameters "X => Tab1(I).S(3..5)" and "Y => Tab1(J).S(3)"
t_parameter_aliasing.adb:124:7: Error: Certain: Certain aliasing between parameters "X => A.all" and "Y => A(3)"
t_parameter_aliasing.adb:125:7: Found: Unlikely: Unlikely aliasing between parameters "X => G.all" and "Y => F(3)"
t_parameter_aliasing.adb:126:7: Error: Certain: Certain aliasing between parameters "X => B.all" and "Y => R.A(3)"
t_parameter_aliasing.adb:127:7: Error: Certain: Certain aliasing between parameters "X => R.A.all" and "Y => R.A(3)"
t_parameter_aliasing.adb:128:7: Found: Unlikely: Unlikely aliasing between parameters "X => R.A.all" and "Y => R.B(3)"
t_parameter_aliasing.adb:129:7: Found: Unlikely: Unlikely aliasing between parameters "X => A" and "Y => A.all"
t_parameter_aliasing.adb:130:7: Found: Unlikely: Unlikely aliasing between parameters "X => F.all(3)" and "Y => F(3)"
t_parameter_aliasing.adb:131:7: Found: Unlikely: Unlikely aliasing between parameters "Y => Dereferences.F(3)" and "X => F.all"
t_parameter_aliasing.adb:132:7: Found: Unlikely: Unlikely aliasing between parameters "X => C.all" and "Y => R.S(3)"
