t_parameter_aliasing.adb:37:7: Error: Certain: Certain aliasing between parameters "X => I" and "Y => I"
t_parameter_aliasing.adb:39:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => R1"
t_parameter_aliasing.adb:39:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Z => R1"
t_parameter_aliasing.adb:44:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => R1"
t_parameter_aliasing.adb:46:7: Error: Certain: Certain aliasing between parameters "Y => R1" and "X => R1"
t_parameter_aliasing.adb:49:7: Error: Certain: Certain aliasing between parameters "X => Simple_Cases.I" and "Y => I"
t_parameter_aliasing.adb:51:7: Error: Certain: Certain aliasing between parameters "X => I" and "Y => By_Copy(I)"
t_parameter_aliasing.adb:53:7: Error: Certain: Certain aliasing between parameters "X => I" and "Y => Alias1"
t_parameter_aliasing.adb:54:7: Error: Certain: Certain aliasing between parameters "X => Pack1.X" and "Y => Pack2.X"
t_parameter_aliasing.adb:78:7: Error: Certain: Certain aliasing between parameters "X => R1.I" and "Y => R1.I"
t_parameter_aliasing.adb:82:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => R1.I"
t_parameter_aliasing.adb:83:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => R1.K.I"
t_parameter_aliasing.adb:84:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => R1.K.J"
t_parameter_aliasing.adb:85:7: Error: Certain: Certain aliasing between parameters "X => Alias2" and "Y => R1.K.J"
t_parameter_aliasing.adb:86:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => Alias2.K.J"
t_parameter_aliasing.adb:87:7: Error: Certain: Certain aliasing between parameters "X => R1" and "Y => Alias3.J"
t_parameter_aliasing.adb:89:7: Error: Certain: Certain aliasing between parameters "X => R1.K" and "Y => R1.K.J"
t_parameter_aliasing.adb:107:7: Error: Certain: Certain aliasing between parameters "X => X.S" and "Y => X.S(1)"
t_parameter_aliasing.adb:109:7: Error: Certain: Certain aliasing between parameters "X => X.S(3)" and "Y => X.S(10#3#)"
t_parameter_aliasing.adb:110:7: Found: Possible: Possible aliasing between parameters "X => X.S(I)" and "Y => X.S(J)"
t_parameter_aliasing.adb:113:7: Error: Certain: Certain aliasing between parameters "X => Tab2 (A)" and "Y => Tab2 (a)"
t_parameter_aliasing.adb:114:7: Found: Possible: Possible aliasing between parameters "X => Tab2 (A)" and "Y => Tab2 (E)"
t_parameter_aliasing.adb:115:7: Found: Possible: Possible aliasing between parameters "X => Tab1(I).S" and "Y => Tab1(J).S(3)"
t_parameter_aliasing.adb:116:7: Found: Possible: Possible aliasing between parameters "X => Tab1(I).S(3..5)" and "Y => Tab1(J).S(3)"
t_parameter_aliasing.adb:141:7: Error: Certain: Certain aliasing between parameters "X => A.all" and "Y => A(3)"
t_parameter_aliasing.adb:142:7: Found: Unlikely: Unlikely aliasing between parameters "X => G.all" and "Y => F(3)"
t_parameter_aliasing.adb:143:7: Error: Certain: Certain aliasing between parameters "X => B.all" and "Y => R.A(3)"
t_parameter_aliasing.adb:144:7: Error: Certain: Certain aliasing between parameters "X => R.A.all" and "Y => R.A(3)"
t_parameter_aliasing.adb:145:7: Found: Unlikely: Unlikely aliasing between parameters "X => R.A.all" and "Y => R.B(3)"
t_parameter_aliasing.adb:146:7: Found: Unlikely: Unlikely aliasing between parameters "X => A" and "Y => A.all"
t_parameter_aliasing.adb:147:7: Found: Unlikely: Unlikely aliasing between parameters "X => F.all(3)" and "Y => F(3)"
t_parameter_aliasing.adb:148:7: Found: Unlikely: Unlikely aliasing between parameters "Y => Dereferences.F(3)" and "X => F.all"
t_parameter_aliasing.adb:149:7: Found: Unlikely: Unlikely aliasing between parameters "X => C.all" and "Y => R.S(3)"
t_parameter_aliasing.adb:184:7: Found: Unlikely: Unlikely aliasing between parameters "O => O" and "X => A (1)"
t_parameter_aliasing.adb:184:7: Found: Unlikely: Unlikely aliasing between parameters "O => O" and "Y => B (1, 1)"
t_parameter_aliasing.adb:184:7: Found: Unlikely: Unlikely aliasing between parameters "X => A (1)" and "Y => B (1, 1)"
t_parameter_aliasing.adb:218:10: Found: Unlikely: Unlikely aliasing between parameters "X => X.I" and "Y => Y.I"
t_parameter_aliasing.adb:223:10: Found: Unlikely: Unlikely aliasing between parameters "X => X.I" and "Y => Y.I"
t_parameter_aliasing.adb:229:7: Error: Certain: Certain aliasing between parameters "X => VT.I" and "Y => VT.I"
t_parameter_aliasing.adb:230:7: Error: Certain: Certain aliasing between parameters "X => VTA.I" and "Y => VTA.I"
t_parameter_aliasing.adb:231:7: Error: Certain: Certain aliasing between parameters "X => VTAC.I" and "Y => VTAC.I"
t_parameter_aliasing.adb:233:7: Found: Unlikely: Unlikely aliasing between parameters "X => VT.I" and "Y => VTA.I"
t_parameter_aliasing.adb:234:7: Found: Unlikely: Unlikely aliasing between parameters "X => VTA.I" and "Y => VTAC.I"
