Hello,
After the support for Ada range types was added, it appeared that
redundancy propagation was not being correctly handled for range
types, especially when those are sub-types of a function parameter
type, like a const range.
This patch goes through the various problematic spots and addresses
the issues.
* src/abg-comparison.cc (redundancy_marking_visitor::visit_end):
Propagate redundancy category to function parameter diff nodes if
they don't carry any local non-type change.
* src/abg-default-reporter.cc
(default_reporter::report_underlying_changes_of_qualified_type):
Define new member function.
(default_reporter::report): In the qualified_type_diff overload,
use the new report_underlying_changes_of_qualified_type above.
* src/abg-ir.cc (types_have_similar_structure): If two arrays are
accessed indirectly and if they have size and dimension changes,
then the two arrays are considered having a similar structure.
Otherwise, if they are accessed directly, having size or dimension
change make them considered as having non similar structure. This
has an impact on if a change between two array types is considered
local or not.
* src/abg-leaf-reporter.cc (leaf_reporter::report): Local changes
to underlying types of a qualified type are considered local to
the qualified type. This change reflects that in the overload for
qualified type diff nodes. Otherwise, we won't report what would
otherwise be a leaf change to the a qualified type, just because
it's actually a leaf change to the underlying type of the
qualified type.
* tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-{1,2}.txt:
New reference output files.
* tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.ad{b,s}:
Source code for the new binary input below.
* tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.o:
New binary input file.
* tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.ad{b,s}:
Source code for the new binary input below.
* tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.o:
New binary input file.
* tests/data/Makefile.am: Add the new test input files above to
source distribution.
* tests/test-abidiff-exit.cc (in_out_specs): Add the new input
tests above to this test harness.
* tests/data/test-diff-filter/libtest45-basic-type-change-report-1.txt:
Adjust.
Signed-off-by: Dodji Seketeli <dodji@redhat.com>
---
src/abg-comparison.cc | 7 +++
src/abg-default-reporter.cc | 45 +++++++++++++-----
src/abg-ir.cc | 15 ++++--
src/abg-leaf-reporter.cc | 6 +++
tests/data/Makefile.am | 8 ++++
.../test2-ada-subrange-redundant-report-1.txt | 17 +++++++
.../test2-ada-subrange-redundant-report-2.txt | 24 ++++++++++
.../test2-ada-subrange-redundant/v0/test.adb | 17 +++++++
.../test2-ada-subrange-redundant/v0/test.ads | 11 +++++
.../test2-ada-subrange-redundant/v0/test.o | Bin 0 -> 4104 bytes
.../test2-ada-subrange-redundant/v1/test.adb | 17 +++++++
.../test2-ada-subrange-redundant/v1/test.ads | 11 +++++
.../test2-ada-subrange-redundant/v1/test.o | Bin 0 -> 3896 bytes
.../libtest45-basic-type-change-report-1.txt | 3 ++
tests/test-abidiff-exit.cc | 22 +++++++++
15 files changed, 186 insertions(+), 17 deletions(-)
create mode 100644 tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-1.txt
create mode 100644 tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-2.txt
create mode 100644 tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.adb
create mode 100644 tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.ads
create mode 100644 tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.o
create mode 100644 tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.adb
create mode 100644 tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.ads
create mode 100644 tests/data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.o
new file mode 100644
index 00000000..98b0315f
index 3bea50c9..d8d2cfff 100644
@@ -12749,6 +12749,13 @@ struct redundancy_marking_visitor : public diff_node_visitor
|| (is_var_diff(d)
&& (!(d->has_local_changes()
& LOCAL_NON_TYPE_CHANGE_KIND)))
+ // A function parameter with non-type local changes
+ // should not see redundancy propagation either. But
+ // a function parameter with local type changes can
+ // definitely be redundant.
+ || (is_fn_parm_diff(d)
+ && (!(d->has_local_changes()
+ & LOCAL_NON_TYPE_CHANGE_KIND)))
))
{
bool has_non_redundant_child = false;
@@ -348,6 +348,38 @@ default_reporter::report_local_qualified_type_changes(const qualified_type_diff&
return false;
}
+/// For a @ref qualified_type_diff node, report the changes of its
+/// underlying type.
+///
+/// @param d the @ref qualified_type_diff node to consider.
+///
+/// @param out the output stream to emit the report to.
+///
+/// @param indent the white string to use for indentation.
+///
+/// @return true iff a local change has been emitted. In this case,
+/// the local change is a name change.
+void
+default_reporter::report_underlying_changes_of_qualified_type
+(const qualified_type_diff& d, ostream& out, const string& indent) const
+{
+ if (!d.to_be_reported())
+ return;
+
+ diff_sptr dif = d.leaf_underlying_type_diff();
+ ABG_ASSERT(dif);
+ ABG_ASSERT(dif->to_be_reported());
+ RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2(dif,
+ "unqualified "
+ "underlying type");
+
+ string fltname = dif->first_subject()->get_pretty_representation();
+ out << indent << "in unqualified underlying type '" << fltname << "'";
+ report_loc_info(dif->second_subject(), *d.context(), out);
+ out << ":\n";
+ dif->report(out, indent + " ");
+}
+
/// Report a @ref qualified_type_diff in a serialized form.
///
/// @param d the @ref qualified_type_diff node to consider.
@@ -372,18 +404,7 @@ default_reporter::report(const qualified_type_diff& d, ostream& out,
// It makes a little sense to detail the changes in extenso here.
return;
- diff_sptr dif = d.leaf_underlying_type_diff();
- ABG_ASSERT(dif);
- ABG_ASSERT(dif->to_be_reported());
- RETURN_IF_BEING_REPORTED_OR_WAS_REPORTED_EARLIER2(dif,
- "unqualified "
- "underlying type");
-
- string fltname = dif->first_subject()->get_pretty_representation();
- out << indent << "in unqualified underlying type '" << fltname << "'";
- report_loc_info(dif->second_subject(), *d.context(), out);
- out << ":\n";
- dif->report(out, indent + " ");
+ report_underlying_changes_of_qualified_type(d, out, indent);
}
/// Report the @ref pointer_diff in a serialized form.
@@ -26579,11 +26579,16 @@ types_have_similar_structure(const type_base* first,
{
const array_type_def* ty2 = is_array_type(second);
// TODO: Handle int[5][2] vs int[2][5] better.
- if (ty1->get_size_in_bits() != ty2->get_size_in_bits()
- || ty1->get_dimension_count() != ty2->get_dimension_count()
- || !types_have_similar_structure(ty1->get_element_type(),
- ty2->get_element_type(),
- /*indirect_type=*/true))
+ if (!indirect_type)
+ {
+ if (ty1->get_size_in_bits() != ty2->get_size_in_bits()
+ || ty1->get_dimension_count() != ty2->get_dimension_count())
+ return false;
+ }
+
+ if (!types_have_similar_structure(ty1->get_element_type(),
+ ty2->get_element_type(),
+ /*indirect_type=*/true))
return false;
return true;
@@ -210,6 +210,12 @@ leaf_reporter::report(const qualified_type_diff& d, ostream& out,
return;
report_local_qualified_type_changes(d, out, indent);
+
+ // Note that changes that are local to the underlying type of a
+ // qualified type are considered to be local to the qualified type
+ // itself. So let's go ahead and report the local changes of the
+ // underlying type.
+ report_underlying_changes_of_qualified_type(d, out, indent);
}
/// Report the changes carried by a @ref pointer_diff node.
@@ -306,6 +306,14 @@ test-abidiff-exit/ada-subrange/test1-ada-subrange/v0/test1.o \
test-abidiff-exit/ada-subrange/test1-ada-subrange/v1/test1.adb \
test-abidiff-exit/ada-subrange/test1-ada-subrange/v1/test1.ads \
test-abidiff-exit/ada-subrange/test1-ada-subrange/v1/test1.o \
+test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-1.txt \
+test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-2.txt \
+test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.adb \
+test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.ads \
+test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.o \
+test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.adb \
+test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.ads \
+test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.o \
\
test-diff-dwarf/test0-v0.cc \
test-diff-dwarf/test0-v0.o \
new file mode 100644
@@ -0,0 +1,17 @@
+Functions changes summary: 0 Removed, 2 Changed, 0 Added functions
+Variables changes summary: 0 Removed, 0 Changed, 0 Added variable
+
+2 functions with some indirect sub-type change:
+
+ [C] 'function test__my_int[101] test__first_function(test__my_int[101]&)' at test.adb:6:1 has some indirect sub-type changes:
+ return type changed:
+ type name changed from 'test__my_int[101]' to 'test__my_int[201]'
+ array type size changed from 101000 to 201000
+ array type subrange 1 changed length from 101 to 201
+
+ [C] 'function test__my_index test__second_function(const test__my_index)' at test.adb:12:1 has some indirect sub-type changes:
+ return type changed:
+ upper bound of range 'test__my_index' change from '100' to '200'
+ underlying type of range '<range test__my_index>[101]' changed:
+ type size changed from 8 to 16 (in bits)
+
new file mode 100644
@@ -0,0 +1,24 @@
+Leaf changes summary: 4 artifacts changed
+Changed leaf types summary: 2 leaf types changed
+Removed/Changed/Added functions summary: 0 Removed, 2 Changed, 0 Added function
+Removed/Changed/Added variables summary: 0 Removed, 0 Changed, 0 Added variable
+
+2 functions with some sub-type change:
+
+ [C] 'function test__my_int[101] test__first_function(test__my_int[101]&)' at test.adb:6:1 has some sub-type changes:
+ return type changed:
+ type name changed from 'test__my_int[101]' to 'test__my_int[201]'
+ array type size changed from 101000 to 201000
+ array type subrange 1 changed length from 101 to 201
+
+ [C] 'function test__my_index test__second_function(const test__my_index)' at test.adb:12:1 has some sub-type changes:
+ return type changed:
+ upper bound of range 'test__my_index' change from '100' to '200'
+ parameter 1 of type 'const test__my_index' changed:
+ in unqualified underlying type '<range test__my_index>[101]':
+ upper bound of range 'test__my_index' change from '100' to '200'
+
+'test__Tmy_indexB' changed:
+ type size changed from 8 to 16 (in bits)
+'<range test__my_index>[101]' changed:
+ upper bound of range 'test__my_index' change from '100' to '200'
new file mode 100644
@@ -0,0 +1,17 @@
+-- Compile this file with:
+-- gcc -g -c test.adb
+
+package body Test is
+
+function First_Function (A: My_Int_Array) return My_Int_Array is
+begin
+ return A;
+end First_Function;
+
+
+function Second_Function (A: My_Index) return My_Index is
+begin
+ return My_Index'Last;
+end Second_Function;
+
+end Test;
new file mode 100644
@@ -0,0 +1,11 @@
+package Test is
+
+type My_Int is range 0 .. 1000;
+type My_Index is range 0 .. 100;
+type My_Int_Array is array (My_Index) of My_Int;
+
+function First_Function (A: My_Int_Array) return My_Int_Array;
+
+function Second_Function (A: My_Index) return My_Index;
+
+end Test;
\ No newline at end of file
new file mode 100644
GIT binary patch
literal 4104
zcmc&%&2Lmy6u)<-(@rU^(-x#qlfJ>PqRt0}5GVpeN#zxY)?y7B$@ER%YiFdLnasSw
zDa6>sXn36s5EjL-FvbNtS(r$S3nRfO@sDsJ2}@boL=*j;`|hQ$*GHmp;Yshi=l473
z+>dj=rXP%-dL_a+Q^MI{wvH6b*bkf5^_)<1Y%ANsrcLj@>8+XGL({uwdgH&E-t^kp
zJC}(+ZF=uNFulglW^4R`*_uYZ$!xtHH$D8FiJPqx3BUo<GZVlAzy|OzumL;_oCV$w
zoCV$woC7w2bHFC>B=8yFN#HZUGr&dQ8Q>yt6}Smp1#X(Hm1T_FY<+TxD({j&-l{;Y
zmCL?u)wc=ctqRmy`P8@F^lbups{*xFZuz#`zD*!+RiM_&*S_sL-zJc^Dv-#?*|i`2
zOnGaU#{al&!|m)H<QjF1@i;2fkZ$?}Wh$^l{6Pnq4xmILr14+q%U(liKY~w0I18sV
z;5n2y85#VdRBt9PB?+nU8#MPei**j3fD*Z~;5)ZZD^JwB<T&_^yS{VB4pJglCRt}(
zIPxUhnPi#nXwO7H49~ExuEWV#v}f;jbe`r%wnuwLll)-Ufh3>k@8x|Rxq%DYIb7Rf
zEE*q8Mquii=#LB_6}|k~p8l@r(BKd`CbnUI&oOGYgL7)1!s1CVJG(PTS!V*Bk(s?j
zV?u#heAOqIM#WM64oVEZ8PuHf-+Q{LqPe0#84}Zu@S(^PB7ra{iE-BHcLio!EP5{%
zi(HNL$M_eq=+#*4Ei4h|u2XmO`NgGtsqC@<u$`uaZ}`Tspw-P=wVJggsku@Ojm$O5
zvu>$UmSo+Tt(5I`_V}yQ#!=fccJE1N)4Pq4?8u(%o{_!A@RVa4rsYaQD!a=_%^Rsj
zw^4Qu%{yhMR+<I0YO}>d&HejQ`}S@a7sffpGR4ZGld&uIyQR#0$;~X33Ra;sZ<Q7@
z^+us)mFJy$s@|wpD>XMmldNZK%e91>f~Q@Yn@c%OL|V25M?XZEM^Zs5Rdeh{*|y4V
z=6qI+BW>A*|Gj^jk{F0o>Wm#fc5KubM$&ivgN*w-rVW*WLgyTT*rxnj;*@ZS#f}5H
zMH={pDaM-#KDfCfei_E6z*8Z?!C>rYPvYaqvF`RMH~<<bFQbr%Q>*MpKa577=EBK<
zZ3cxzTm#DIq~C^b3IEdg+StQC!>my{HX#y4M3_Wbdl-%Tr}Hs<*JJq2f8*&H>kEuW
z<O*C;^0;S&sGDt{<j3R`)b)4@e6PGzDB#hV->@z6d3liiqdPV+`EO1yHI*Ny*4HmC
z8h<cr>S-XJvQ|PN>GLZ_JYD_oN&KY7OUQOeg{JvvF3?|)Jhel6RLO3ssD2fHP~+8}
z9MgC;?$<T`ONrmq_!lK!(D>65H)O5Guh#3j=6_h?&oqCv?rP`Jyn=VTT6fjH3}-u~
zLjIKJWr^v@AyNEqK4ihXi6>d^E81ry%D+?cIl+pDN34q)ry+S-D=JEIQc=9}w>4hn
zho$RFi>_5b?biIds5IAUx-3nXHcJ=kb(XF<3s%~83XOTZTyquJgl-iIHRt>Wv*q9a
z8@Pp1*-;_rLa9XO1)i-eE;@J-)8&fmq;VUj>aI0=PU87;BVDaks!q*alI=Rh{9Mgi
zbkyYkLp_LCO1WBp)l^O@`cH*m&dDW-Lh->pL;O{_j=H~&pNB8q(|Y_h8Bc8mMW<<B
z=^Xj1_@9EoA-=R<>0Zg91m&jKq>L41<8-f(pZX!C_SYeBVg1j@iGCDpG{ko@grkuA
zGCoTnAbMXXVGA37LOvNPp2km8(#KEdLvIrl+bS1ihCo1c-#lz#{pV!=O&Lr56Q%cG
z1xIbFaY7Z+kp16PgsfHns=f$5EPj**1?f|cK72G+MYq6*#h;RwKK&F9ii%V9H5ip1
z^t&kIgB<C)@8{rXUG#IYEaUaOsQgh|B;TM=n|k~$8NUo$Q1tk(U<_No+j9L(8BFV!
zKvD5(|A+NWAz68$7;?h&?+C@}@zjle_Cc{pdH&QpM;wWszg}=*@!~;&?RyFeh#vnJ
D|0U(H
literal 0
HcmV?d00001
@@ -0,0 +1,17 @@
+-- Compile this file with:
+-- gcc -g -c test.adb
+
+package body Test is
+
+function First_Function (A: My_Int_Array) return My_Int_Array is
+begin
+ return A;
+end First_Function;
+
+
+function Second_Function (A: My_Index) return My_Index is
+begin
+ return My_Index'Last;
+end Second_Function;
+
+end Test;
new file mode 100644
@@ -0,0 +1,11 @@
+package Test is
+
+type My_Int is range 0 .. 1000;
+type My_Index is range 0 .. 200;
+type My_Int_Array is array (My_Index) of My_Int;
+
+function First_Function (A: My_Int_Array) return My_Int_Array;
+
+function Second_Function (A: My_Index) return My_Index;
+
+end Test;
\ No newline at end of file
new file mode 100644
GIT binary patch
literal 3896
zcmc&%O>7%g5PokrP8`yN{1o~VMC^*67VuBfs-l4ww^isyRHbU01A@q1XV;EPY)9*L
z>l6W%iYl$5N(CX{&_fS!<OC8$>Y=3~sw&iD#gzjh$5b4!1QN`=oryQEMgnnQl-)P;
z%{TAOn|(jd`%_0>HKY_QQXCL%i%}t3y=^_G)SP%sY!)+C@Us=Ptl)ta+_i$KH7l5D
z&ECEe;_rf^v1Tn#wXEftwQoOyo~`8xE64`-EV*J`elL#7ee2>%+*&>hvFFyT%gwlT
z@t2mh3;w>7w=VwF3hvxmHG`X0aNi1U{c3%I{mtIS5rS4RnEK=T9Y|>QHoR8gi3u6U
z1Y`K>$5&LABZge<L2Dm81}gH7n)xwMyALp^C~2_D@Wjz4fM#O52}vwNq{yqEfYxP;
z-qC4Lj1Lz=a`#DQLR%nRUd60|+_N1O<HOUUH?D{>DRv}9rr#Wx9s$QwqAzJ2NXE>8
zJ==sZ)AE&V=D=i9zSOrbDW^w<<Zw@J>-lXGxLq+}#wU{oxca6?jIB_KA^G&cNS`@2
zI)=o-Eik`l1oqn_B@TdL@gyKS`ZG|m-a*j^p^(rEm=rwVR&RbqtH>C(Z^9D;ZU$N@
z<?jRi*kD!R0cA`T*pOq!qpE`7V2Mf58x94?mY8`X7Bh~I#AG>UUW>)vFbs(I-MXL8
zSC;bSsxKmj<2K1W6*><^y?);IJbQ_tV%dXEijC@=U#?XNth;lys?$b~9GgiTbnL|V
z?sPUio|wo^?9T3<*pt|K!gUgs?UN&w-IYj{5~+&csJi=0Zq@b5b70!u-2DFLi+fXh
z_iV@u@;oFm^R<ebaca()a;8-FGYjQ{T_~6A@<OKGD0p_Y<knO5#^Pel^D{Wfdd9JR
zTd65vI^|+9<u)PGc5EPqA<8|Gib5&RbsAO2uKJm?<0_A|?G*m^@o`Ej5mM?x965Y=
zGO-hizUv=UJX|nc&?Ml&T@Hb;O65(&SR~nM!2!6L9P<1LA)AA8bW>0K3OJtt93K?e
z7eX8y7`$X0?(aSU1TfL}GU6a=*RtQ3RRr|ErMyC@BY^!!!+3H%)L>p+;=!K}IRG#_
zp1_DlXV{K3MR(hXXr_o9+8gk`h}Bk2v8ip4_6W4Yk$hB*080`M$BPm^(e@I4o^U=E
zkAgi!X9>F2xB7<Vkk8Ww4!7)~>Er)q*J4-ssc>LEuQ2~;)%Zd{9IJ+>I?8a^2*mNo
zKS%cC8cwFzP6~d<^|^rl9O2lHx`D_ZkKoa-HL2mao=^^kjmii4ocHS*{x#XBH2it8
z&uI8bvSHUL;r#h~eM&gykK^(cca3o7^LOXDAU}Gf4{Cfe#ST)Ck9EF4Hr_NSjQ<vz
zB3d_f6=MP*xXw_R-%EH-q3XU---Yu`5RTs}`n_@*&ivCF&h-)L`clQW3()#r*v_-&
zyG>uD@vs)@LcK21p1WYD9k<XZ!Hrd{flujnq2Re^H@NNa+~0sLl&da>z!0n=oLBZ-
ztx|E}CQMgrzMF<qFje>MxwpwKRU7F=ueRuV{u1@;&gYAsU2$n{|D_p)U@SR*f9@+s
ziv9~BT63f%;lcRmnnC;re1YhE-F_B0xX1PQdl=k7XnCxAa9!ybIywICIx|#sF0NNR
zS8}0y{rw{qWS#=>TtOb6N4&oF1E%+hoqR^%B{U+UbB}{h$B_Oc6)GEvMOEj%23V*3
zbCf8@WB$1B^!%L;eF7wo(fD~ZBBGCv{!ZgB(m+j$#qseL)5l)~4Ey9fK~?f4jsHCZ
z)bjY;z5{rtc#js;FcbeK9@lrL_z!SWAovS7D%>5nAA^(iDDNwZk7B6n+|L2S??Tf>
zijwOTuh)g^$GjV$V4r&YD#dgCnXkux0}iC-m_Y3+5iPRu`whaw@x1;!jg29v>C#Nl
qgz>)+jMd|DP3U_cAaQ~AAK!C`q3HF)-zA;mv-Fc`MMbq=di-CLl(p3W
literal 0
HcmV?d00001
@@ -16,6 +16,9 @@ Removed/Changed/Added variables summary: 0 Removed, 0 Changed, 0 Added variable
[C] 'function const int foo2(S2&)' at test45-basic-type-change-v1.cc:32:1 has some sub-type changes:
return type changed:
'const int' changed to 'const char'
+ in unqualified underlying type 'int':
+ type name changed from 'int' to 'char'
+ type size changed from 32 to 8 (in bits)
[C] 'function int foo3(S2&)' at test45-basic-type-change-v1.cc:36:1 has some sub-type changes:
return type changed:
@@ -702,6 +702,28 @@ InOutSpec in_out_specs[] =
"data/test-abidiff-exit/ada-subrange/test1-ada-subrange/test1-ada-subrange-report-2.txt",
"output/test-abidiff-exit/ada-subrange/test1-ada-subrange/test1-ada-subrange-report-2.txt"
},
+ {
+ "data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.o",
+ "data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.o",
+ "",
+ "",
+ "",
+ "--no-default-suppression",
+ abigail::tools_utils::ABIDIFF_ABI_CHANGE,
+ "data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-1.txt",
+ "output/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-1.txt"
+ },
+ {
+ "data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v0/test.o",
+ "data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/v1/test.o",
+ "",
+ "",
+ "",
+ "--no-default-suppression --leaf-changes-only",
+ abigail::tools_utils::ABIDIFF_ABI_CHANGE,
+ "data/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-2.txt",
+ "output/test-abidiff-exit/ada-subrange/test2-ada-subrange-redundant/test2-ada-subrange-redundant-report-2.txt"
+ },
#ifdef WITH_BTF
{
"data/test-abidiff-exit/btf/test0-v0.o",