1 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
2 // -*- Mode: C++ -*-
3 //
4 // Copyright (C) 2013-2020 Red Hat, Inc.
5 //
6 // Author: Dodji Seketeli
7
8 /// @file
9 ///
10 /// This program runs a diff between input files and compares the
11 /// resulting report with a reference report. If the resulting report
12 /// is different from the reference report, the test has failed.
13 ///
14 /// The set of input files and reference reports to consider should be
15 /// present in the source distribution.
16
17 #include <string>
18 #include <fstream>
19 #include <iostream>
20 #include <cstdlib>
21 #include "abg-tools-utils.h"
22 #include "abg-reader.h"
23 #include "test-utils.h"
24 #include "abg-comparison.h"
25 #include "abg-corpus.h"
26
27 using std::string;
28 using std::ofstream;
29 using std::cerr;
30
31 struct InOutSpec
32 {
33 const char* first_in_path;
34 const char* second_in_path;
35 const char* ref_diff_path;
36 const char* out_path;
37 };// end struct InOutSpec
38
39 static InOutSpec specs[] =
40 {
41 {
42 "data/test-abidiff/test-enum0-v0.cc.bi",
43 "data/test-abidiff/test-enum0-v1.cc.bi",
44 "data/test-abidiff/test-enum0-report.txt",
45 "output/test-abidiff/test-enum0-report.txt"
46 },
47 {
48 "data/test-abidiff/test-enum1-v0.cc.bi",
49 "data/test-abidiff/test-enum1-v1.cc.bi",
50 "data/test-abidiff/test-enum1-report.txt",
51 "output/test-abidiff/test-enum1-report.txt"
52 },
53 {
54 "data/test-abidiff/test-qual-type0-v0.cc.bi",
55 "data/test-abidiff/test-qual-type0-v1.cc.bi",
56 "data/test-abidiff/test-qual-type0-report.txt",
57 "output/test-abidiff/test-qual-type0-report.txt"
58 },
59 {
60 "data/test-abidiff/test-struct0-v0.cc.bi",
61 "data/test-abidiff/test-struct0-v1.cc.bi",
62 "data/test-abidiff/test-struct0-report.txt",
63 "output/test-abidiff/test-struct0-report.txt"
64 },
65 {
66 "data/test-abidiff/test-struct1-v0.cc.bi",
67 "data/test-abidiff/test-struct1-v1.cc.bi",
68 "data/test-abidiff/test-struct1-report.txt",
69 "output/test-abidiff/test-struct1-report.txt"
70 },
71 {
72 "data/test-abidiff/test-var0-v0.cc.bi",
73 "data/test-abidiff/test-var0-v1.cc.bi",
74 "data/test-abidiff/test-var0-report.txt",
75 "output/test-abidiff/test-var0-report.txt"
76 },
77 {
78 "data/test-abidiff/test-PR18166-libtirpc.so.abi",
79 "data/test-abidiff/test-PR18166-libtirpc.so.abi",
80 "data/test-abidiff/empty-report.txt",
81 "output/test-abidiff/test-PR18166-libtirpc.so.report.txt"
82 },
83 {
84 "data/test-abidiff/test-PR18791-v0.so.abi",
85 "data/test-abidiff/test-PR18791-v1.so.abi",
86 "data/test-abidiff/test-PR18791-report0.txt",
87 "output/test-abidiff/test-PR18791-report0.txt"
88 },
89 {
90 "data/test-abidiff/test-PR24552-v0.abi",
91 "data/test-abidiff/test-PR24552-v1.abi",
92 "data/test-abidiff/empty-report.txt",
93 "output/test-abidiff/test-PR24552-report0.txt"
94 },
95 {
96 "data/test-abidiff/test-empty-corpus-0.xml",
97 "data/test-abidiff/test-empty-corpus-0.xml",
98 "data/test-abidiff/empty-report.txt",
99 "output/test-abidiff/test-empty-corpus-report-0.txt"
100 },
101 {
102 "data/test-abidiff/test-empty-corpus-1.xml",
103 "data/test-abidiff/test-empty-corpus-1.xml",
104 "data/test-abidiff/empty-report.txt",
105 "output/test-abidiff/test-empty-corpus-report-1.txt"
106 },
107 {
108 "data/test-abidiff/test-empty-corpus-2.xml",
109 "data/test-abidiff/test-empty-corpus-2.xml",
110 "data/test-abidiff/empty-report.txt",
111 "output/test-abidiff/test-empty-corpus-report-1.txt"
112 },
113 {
114 "data/test-abidiff/test-crc-0.xml",
115 "data/test-abidiff/test-crc-1.xml",
116 "data/test-abidiff/empty-report.txt",
117 "output/test-abidiff/test-crc-report-0-1.txt"
118 },
119 {
120 "data/test-abidiff/test-crc-1.xml",
121 "data/test-abidiff/test-crc-0.xml",
122 "data/test-abidiff/empty-report.txt",
123 "output/test-abidiff/test-crc-report-1-0.txt"
124 },
125 {
126 "data/test-abidiff/test-crc-1.xml",
127 "data/test-abidiff/test-crc-2.xml",
128 "data/test-abidiff/test-crc-report.txt",
129 "output/test-abidiff/test-crc-report-1-2.txt"
130 },
131 // This should be the last entry.
132 {0, 0, 0, 0}
133 };
134
135 #define NUM_SPEC_ELEMS \
136 ((sizeof(specs) / sizeof(InOutSpec)) - 1)
137
138 using std::string;
139 using std::cerr;
140 using std::ofstream;
141 using abigail::tools_utils::file_type;
142 using abigail::tools_utils::check_file;
143 using abigail::tools_utils::guess_file_type;
144 using abigail::ir::environment;
145 using abigail::ir::environment_sptr;
146 using abigail::corpus_sptr;
147 using abigail::corpus_group_sptr;
148 using abigail::translation_unit;
149 using abigail::translation_unit_sptr;
150 using abigail::xml_reader::read_translation_unit_from_file;
151 using abigail::xml_reader::read_corpus_from_native_xml_file;
152 using abigail::xml_reader::read_corpus_group_from_native_xml_file;
153 using abigail::comparison::corpus_diff_sptr;
154 using abigail::comparison::translation_unit_diff_sptr;
155 using abigail::comparison::compute_diff;
156 using abigail::comparison::diff_context_sptr;
157 using abigail::comparison::diff_context;
158
159 int
main(int,char * [])160 main(int, char*[])
161 {
162 bool is_ok = true;
163
164 string out_path =
165 string(abigail::tests::get_build_dir()) + "/tests/" + specs->out_path;
166 if (!abigail::tools_utils::ensure_parent_dir_created(out_path))
167 {
168 cerr << "Could not create parent director for " << out_path;
169 return 1;
170 }
171
172 string first_in_path, second_in_path, ref_diff_path;
173 for (InOutSpec *s = specs; s->first_in_path; ++s)
174 {
175 first_in_path =
176 string(abigail::tests::get_src_dir()) + "/tests/" + s->first_in_path;
177 second_in_path =
178 string(abigail::tests::get_src_dir()) + "/tests/" + s->second_in_path;
179 ref_diff_path =
180 string(abigail::tests::get_src_dir()) + "/tests/" + s->ref_diff_path;
181 out_path =
182 string(abigail::tests::get_build_dir()) + "/tests/" + s->out_path;
183
184 if (!abigail::tools_utils::ensure_parent_dir_created(out_path))
185 {
186 cerr << "Could not create parent directory for " << out_path;
187 continue;
188 }
189
190 environment_sptr env(new environment);
191 translation_unit_sptr tu1, tu2;
192 corpus_sptr corpus1, corpus2;
193 corpus_group_sptr corpus_group1, corpus_group2;
194 file_type t = guess_file_type(first_in_path);
195 if (t == abigail::tools_utils::FILE_TYPE_NATIVE_BI)
196 tu1 = read_translation_unit_from_file(first_in_path, env.get());
197 else if (t == abigail::tools_utils::FILE_TYPE_XML_CORPUS)
198 corpus1 = read_corpus_from_native_xml_file(first_in_path, env.get());
199 else if (t == abigail::tools_utils::FILE_TYPE_XML_CORPUS_GROUP)
200 corpus_group1 = read_corpus_group_from_native_xml_file(first_in_path,
201 env.get());
202 else
203 abort();
204 if (!tu1 && !corpus1 && !corpus_group1)
205 {
206 cerr << "failed to read " << first_in_path << "\n";
207 is_ok = false;
208 continue;
209 }
210
211 t = guess_file_type(second_in_path);
212 if (t == abigail::tools_utils::FILE_TYPE_NATIVE_BI)
213 tu2 = read_translation_unit_from_file(second_in_path, env.get());
214 else if (t == abigail::tools_utils::FILE_TYPE_XML_CORPUS)
215 corpus2 = read_corpus_from_native_xml_file(second_in_path, env.get());
216 else if (t == abigail::tools_utils::FILE_TYPE_XML_CORPUS_GROUP)
217 corpus_group2 = read_corpus_group_from_native_xml_file(first_in_path,
218 env.get());
219 else
220 abort();
221 if (!tu2 && !corpus2 && !corpus_group2)
222 {
223 cerr << "failed to read " << second_in_path << "\n";
224 is_ok = false;
225 continue;
226 }
227
228 translation_unit_diff_sptr d1;
229 corpus_diff_sptr d2;
230 diff_context_sptr ctxt(new diff_context);
231 ctxt->show_locs(false);
232 if (tu1)
233 d1= compute_diff(tu1, tu2, ctxt);
234 else if (corpus1)
235 d2 = compute_diff(corpus1, corpus2, ctxt);
236 else if (corpus_group1)
237 d2 = compute_diff(corpus_group1, corpus_group2, ctxt);
238 ofstream of(out_path.c_str(), std::ios_base::trunc);
239 if (!of.is_open())
240 {
241 cerr << "failed to read " << s->out_path << "\n";
242 is_ok = false;
243 continue;
244 }
245
246 if (d1)
247 d1->report(of);
248 else
249 d2->report(of);
250 of.close();
251
252 string cmd = "diff -u " + ref_diff_path + " " + out_path;
253 if (system(cmd.c_str()))
254 is_ok = false;
255 }
256
257 return !is_ok;
258 }
259