blob: a029c3bdf255697570b5aef14b87f788387eeca7 [file] [log] [blame]
Josh Gaobf8a2852016-05-27 11:59:09 -07001/*
Elliott Hughesdfb74c52016-10-24 12:53:17 -07002 * Copyright (C) 2016 The Android Open Source Project
Josh Gaobf8a2852016-05-27 11:59:09 -07003 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
Elliott Hughesdfb74c52016-10-24 12:53:17 -07008 * http://www.apache.org/licenses/LICENSE-2.0
Josh Gaobf8a2852016-05-27 11:59:09 -07009 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "DeclarationDatabase.h"
18
Josh Gaobfb6bae2016-07-15 17:25:21 -070019#include <err.h>
20
Josh Gaobf8a2852016-05-27 11:59:09 -070021#include <iostream>
22#include <map>
Josh Gaobfb6bae2016-07-15 17:25:21 -070023#include <mutex>
Josh Gaobf8a2852016-05-27 11:59:09 -070024#include <set>
Josh Gaobfb6bae2016-07-15 17:25:21 -070025#include <sstream>
Josh Gaobf8a2852016-05-27 11:59:09 -070026#include <string>
Josh Gaobfb6bae2016-07-15 17:25:21 -070027#include <utility>
Josh Gaobf8a2852016-05-27 11:59:09 -070028
29#include <clang/AST/AST.h>
30#include <clang/AST/Attr.h>
31#include <clang/AST/Mangle.h>
32#include <clang/AST/RecursiveASTVisitor.h>
33#include <clang/Frontend/ASTUnit.h>
34#include <llvm/Support/raw_ostream.h>
35
36using namespace clang;
37
Josh Gaoab25d0b2017-08-10 10:50:33 -070038static bool shouldMangle(MangleContext* mangler, NamedDecl* decl) {
39 // Passing a decl with static linkage to the mangler gives incorrect results.
40 // Check some things ourselves before handing it off to the mangler.
41 if (auto FD = dyn_cast<FunctionDecl>(decl)) {
42 if (FD->isExternC()) {
43 return false;
44 }
45
46 if (FD->isInExternCContext()) {
47 return false;
48 }
49 }
50
51 return mangler->shouldMangleDeclName(decl);
52}
53
Josh Gaobf8a2852016-05-27 11:59:09 -070054class Visitor : public RecursiveASTVisitor<Visitor> {
55 HeaderDatabase& database;
Josh Gaobfb6bae2016-07-15 17:25:21 -070056 CompilationType type;
Josh Gaobf8a2852016-05-27 11:59:09 -070057 SourceManager& src_manager;
58 std::unique_ptr<MangleContext> mangler;
59
60 public:
Josh Gaobfb6bae2016-07-15 17:25:21 -070061 Visitor(HeaderDatabase& database, CompilationType type, ASTContext& ctx)
62 : database(database), type(type), src_manager(ctx.getSourceManager()) {
Josh Gaobf8a2852016-05-27 11:59:09 -070063 mangler.reset(ItaniumMangleContext::create(ctx, ctx.getDiagnostics()));
64 }
65
66 std::string getDeclName(NamedDecl* decl) {
67 if (auto var_decl = dyn_cast<VarDecl>(decl)) {
68 if (!var_decl->isFileVarDecl()) {
69 return "<local var>";
70 }
71 }
72
Josh Gao38685e12017-10-30 12:45:09 -070073 // <math.h> maps fool onto foo on 32-bit, since long double is the same as double.
74 if (auto asm_attr = decl->getAttr<AsmLabelAttr>()) {
Stephen Hines25b8af42020-05-01 03:44:40 -070075 return asm_attr->getLabel().str();
Josh Gao38685e12017-10-30 12:45:09 -070076 }
77
Josh Gao0062b3e2017-10-24 17:03:58 -070078 // The decl might not have a name (e.g. bitfields).
Josh Gao0a284f52016-12-15 13:56:00 -080079 if (auto identifier = decl->getIdentifier()) {
Josh Gaoab25d0b2017-08-10 10:50:33 -070080 if (shouldMangle(mangler.get(), decl)) {
Josh Gao0062b3e2017-10-24 17:03:58 -070081 std::string mangled;
82 llvm::raw_string_ostream ss(mangled);
83 mangler->mangleName(decl, ss);
84 return mangled;
85 }
86
Stephen Hines25b8af42020-05-01 03:44:40 -070087 return identifier->getName().str();
Josh Gaobf8a2852016-05-27 11:59:09 -070088 }
Josh Gao0062b3e2017-10-24 17:03:58 -070089
90 return "<unnamed>";
Josh Gaobf8a2852016-05-27 11:59:09 -070091 }
92
Josh Gao8e13b672017-11-06 17:15:47 -080093 bool VisitDeclaratorDecl(DeclaratorDecl* decl, SourceRange range) {
Josh Gaobf8a2852016-05-27 11:59:09 -070094 // Skip declarations inside of functions (function arguments, variable declarations inside of
95 // inline functions, etc).
96 if (decl->getParentFunctionOrMethod()) {
97 return true;
98 }
99
100 auto named_decl = dyn_cast<NamedDecl>(decl);
101 if (!named_decl) {
102 return true;
103 }
104
Josh Gaobf8a2852016-05-27 11:59:09 -0700105 std::string declaration_name = getDeclName(named_decl);
106 bool is_extern = named_decl->getFormalLinkage() == ExternalLinkage;
107 bool is_definition = false;
Josh Gaofff29fe2016-09-07 18:29:08 -0700108 bool no_guard = false;
Logan Chienc88331b2019-12-20 10:27:45 -0800109 bool fortify_inline = false;
Josh Gaobf8a2852016-05-27 11:59:09 -0700110
111 if (auto function_decl = dyn_cast<FunctionDecl>(decl)) {
Josh Gaobf8a2852016-05-27 11:59:09 -0700112 is_definition = function_decl->isThisDeclarationADefinition();
113 } else if (auto var_decl = dyn_cast<VarDecl>(decl)) {
114 if (!var_decl->isFileVarDecl()) {
115 return true;
116 }
117
Josh Gaobf8a2852016-05-27 11:59:09 -0700118 switch (var_decl->isThisDeclarationADefinition()) {
119 case VarDecl::DeclarationOnly:
120 is_definition = false;
121 break;
122
123 case VarDecl::Definition:
124 is_definition = true;
125 break;
126
127 case VarDecl::TentativeDefinition:
128 // Forbid tentative definitions in headers.
129 fprintf(stderr, "ERROR: declaration '%s' is a tentative definition\n",
130 declaration_name.c_str());
131 decl->dump();
132 abort();
133 }
134 } else {
135 // We only care about function and variable declarations.
136 return true;
137 }
138
139 if (decl->hasAttr<UnavailableAttr>()) {
140 // Skip declarations that exist only for compile-time diagnostics.
141 return true;
142 }
143
Josh Gaobf8a2852016-05-27 11:59:09 -0700144 DeclarationAvailability availability;
Josh Gaobfb6bae2016-07-15 17:25:21 -0700145
146 // Find and parse __ANDROID_AVAILABILITY_DUMP__ annotations.
147 for (const AnnotateAttr* attr : decl->specific_attrs<AnnotateAttr>()) {
148 llvm::StringRef annotation = attr->getAnnotation();
Josh Gaofff29fe2016-09-07 18:29:08 -0700149 if (annotation == "versioner_no_guard") {
150 no_guard = true;
Logan Chienc88331b2019-12-20 10:27:45 -0800151 } else if (annotation == "versioner_fortify_inline") {
152 fortify_inline = true;
Josh Gaobfb6bae2016-07-15 17:25:21 -0700153 } else {
154 llvm::SmallVector<llvm::StringRef, 2> fragments;
155 annotation.split(fragments, "=");
156 if (fragments.size() != 2) {
157 continue;
158 }
159
160 auto& global_availability = availability.global_availability;
161 auto& arch_availability = availability.arch_availability;
162 std::map<std::string, std::vector<int*>> prefix_map = {
163 { "introduced_in", { &global_availability.introduced } },
164 { "deprecated_in", { &global_availability.deprecated } },
165 { "obsoleted_in", { &global_availability.obsoleted } },
166 { "introduced_in_arm", { &arch_availability[Arch::arm].introduced } },
Josh Gaobfb6bae2016-07-15 17:25:21 -0700167 { "introduced_in_x86", { &arch_availability[Arch::x86].introduced } },
168 { "introduced_in_32",
169 { &arch_availability[Arch::arm].introduced,
Josh Gaobfb6bae2016-07-15 17:25:21 -0700170 &arch_availability[Arch::x86].introduced } },
171 { "introduced_in_64",
172 { &arch_availability[Arch::arm64].introduced,
Elliott Hughesd7f08442022-10-04 00:36:29 +0000173 &arch_availability[Arch::riscv64].introduced,
Josh Gaobfb6bae2016-07-15 17:25:21 -0700174 &arch_availability[Arch::x86_64].introduced } },
175 };
176
Stephen Hines25b8af42020-05-01 03:44:40 -0700177 if (auto it = prefix_map.find(fragments[0].str()); it != prefix_map.end()) {
Josh Gao0a284f52016-12-15 13:56:00 -0800178 int value;
179 if (fragments[1].getAsInteger(10, value)) {
180 errx(1, "invalid __ANDROID_AVAILABILITY_DUMP__ annotation: '%s'",
181 annotation.str().c_str());
182 }
Josh Gaobfb6bae2016-07-15 17:25:21 -0700183
Josh Gao0a284f52016-12-15 13:56:00 -0800184 for (int* ptr : it->second) {
185 *ptr = value;
186 }
Josh Gaobfb6bae2016-07-15 17:25:21 -0700187 }
Josh Gaobf8a2852016-05-27 11:59:09 -0700188 }
Josh Gaobfb6bae2016-07-15 17:25:21 -0700189 }
190
191 auto symbol_it = database.symbols.find(declaration_name);
192 if (symbol_it == database.symbols.end()) {
193 Symbol symbol = {.name = declaration_name };
Elliott Hughes68ae6ad2020-07-21 16:11:30 -0700194 bool unused;
195 std::tie(symbol_it, unused) = database.symbols.insert({declaration_name, symbol});
Josh Gaobf8a2852016-05-27 11:59:09 -0700196 }
197
Josh Gao8e13b672017-11-06 17:15:47 -0800198 auto expansion_range = src_manager.getExpansionRange(range);
199 auto filename = src_manager.getFilename(expansion_range.getBegin());
200 if (filename != src_manager.getFilename(expansion_range.getEnd())) {
201 errx(1, "expansion range filenames don't match");
202 }
203
204 Location location = {
Stephen Hines25b8af42020-05-01 03:44:40 -0700205 .filename = filename.str(),
Josh Gao8e13b672017-11-06 17:15:47 -0800206 .start = {
207 .line = src_manager.getExpansionLineNumber(expansion_range.getBegin()),
208 .column = src_manager.getExpansionColumnNumber(expansion_range.getBegin()),
209 },
210 .end = {
211 .line = src_manager.getExpansionLineNumber(expansion_range.getEnd()),
212 .column = src_manager.getExpansionColumnNumber(expansion_range.getEnd()),
213 }
214 };
215
Josh Gaobf8a2852016-05-27 11:59:09 -0700216 // Find or insert an entry for the declaration.
Josh Gao0a284f52016-12-15 13:56:00 -0800217 if (auto declaration_it = symbol_it->second.declarations.find(location);
218 declaration_it != symbol_it->second.declarations.end()) {
219 if (declaration_it->second.is_extern != is_extern ||
220 declaration_it->second.is_definition != is_definition ||
Logan Chienc88331b2019-12-20 10:27:45 -0800221 declaration_it->second.no_guard != no_guard ||
222 declaration_it->second.fortify_inline != fortify_inline) {
Josh Gao0a284f52016-12-15 13:56:00 -0800223 errx(1, "varying declaration of '%s' at %s:%u:%u", declaration_name.c_str(),
224 location.filename.c_str(), location.start.line, location.start.column);
225 }
226 declaration_it->second.availability.insert(std::make_pair(type, availability));
227 } else {
Josh Gaobfb6bae2016-07-15 17:25:21 -0700228 Declaration declaration;
Josh Gao16057882016-08-02 14:54:09 -0700229 declaration.name = declaration_name;
Josh Gaobfb6bae2016-07-15 17:25:21 -0700230 declaration.location = location;
231 declaration.is_extern = is_extern;
232 declaration.is_definition = is_definition;
Josh Gaofff29fe2016-09-07 18:29:08 -0700233 declaration.no_guard = no_guard;
Logan Chienc88331b2019-12-20 10:27:45 -0800234 declaration.fortify_inline = fortify_inline;
Josh Gaobfb6bae2016-07-15 17:25:21 -0700235 declaration.availability.insert(std::make_pair(type, availability));
236 symbol_it->second.declarations.insert(std::make_pair(location, declaration));
Josh Gaobf8a2852016-05-27 11:59:09 -0700237 }
238
239 return true;
240 }
Josh Gao8e13b672017-11-06 17:15:47 -0800241
242 bool VisitDeclaratorDecl(DeclaratorDecl* decl) {
243 return VisitDeclaratorDecl(decl, decl->getSourceRange());
244 }
245
246 bool TraverseLinkageSpecDecl(LinkageSpecDecl* decl) {
247 // Make sure that we correctly calculate the SourceRange of a declaration that has a non-braced
248 // extern "C"/"C++".
249 if (!decl->hasBraces()) {
250 DeclaratorDecl* child = nullptr;
251 for (auto child_decl : decl->decls()) {
252 if (child != nullptr) {
253 errx(1, "LinkageSpecDecl has multiple children");
254 }
255
256 if (DeclaratorDecl* declarator_decl = dyn_cast<DeclaratorDecl>(child_decl)) {
257 child = declarator_decl;
258 } else {
259 errx(1, "child of LinkageSpecDecl is not a DeclaratorDecl");
260 }
261 }
262
263 return VisitDeclaratorDecl(child, decl->getSourceRange());
264 }
265
266 for (auto child : decl->decls()) {
267 if (!TraverseDecl(child)) {
268 return false;
269 }
270 }
271 return true;
272 }
Josh Gaobf8a2852016-05-27 11:59:09 -0700273};
274
Josh Gaobfb6bae2016-07-15 17:25:21 -0700275bool DeclarationAvailability::merge(const DeclarationAvailability& other) {
276#define check_avail(expr) error |= (!this->expr.empty() && this->expr != other.expr);
277 bool error = false;
278
279 if (!other.global_availability.empty()) {
280 check_avail(global_availability);
281 this->global_availability = other.global_availability;
282 }
283
284 for (Arch arch : supported_archs) {
285 if (!other.arch_availability[arch].empty()) {
286 check_avail(arch_availability[arch]);
287 this->arch_availability[arch] = other.arch_availability[arch];
288 }
289 }
290#undef check_avail
291
292 return !error;
293}
294
295bool Declaration::calculateAvailability(DeclarationAvailability* output) const {
296 DeclarationAvailability avail;
297 for (const auto& it : this->availability) {
298 if (!avail.merge(it.second)) {
299 return false;
300 }
301 }
302 *output = avail;
303 return true;
304}
305
306bool Symbol::calculateAvailability(DeclarationAvailability* output) const {
307 DeclarationAvailability avail;
308 for (const auto& it : this->declarations) {
309 // Don't merge availability for inline functions (because they shouldn't have any).
310 if (it.second.is_definition) {
311 continue;
312 }
313
314 DeclarationAvailability decl_availability;
315 if (!it.second.calculateAvailability(&decl_availability)) {
316 return false;
317 abort();
318 }
319
320 if (!avail.merge(decl_availability)) {
321 return false;
322 }
323 }
324 *output = avail;
325 return true;
326}
327
328bool Symbol::hasDeclaration(const CompilationType& type) const {
329 for (const auto& decl_it : this->declarations) {
330 for (const auto& compilation_it : decl_it.second.availability) {
331 if (compilation_it.first == type) {
332 return true;
333 }
334 }
335 }
336 return false;
337}
338
Josh Gao16016df2016-11-07 18:27:16 -0800339void HeaderDatabase::parseAST(CompilationType type, ASTContext& ctx) {
Josh Gaobfb6bae2016-07-15 17:25:21 -0700340 std::unique_lock<std::mutex> lock(this->mutex);
Josh Gaobfb6bae2016-07-15 17:25:21 -0700341 Visitor visitor(*this, type, ctx);
Josh Gaobf8a2852016-05-27 11:59:09 -0700342 visitor.TraverseDecl(ctx.getTranslationUnitDecl());
343}
Josh Gaobfb6bae2016-07-15 17:25:21 -0700344
Josh Gaobfb6bae2016-07-15 17:25:21 -0700345std::string to_string(const AvailabilityValues& av) {
346 std::stringstream ss;
347
Josh Gaobfb6bae2016-07-15 17:25:21 -0700348 if (av.introduced != 0) {
349 ss << "introduced = " << av.introduced << ", ";
350 }
351
352 if (av.deprecated != 0) {
353 ss << "deprecated = " << av.deprecated << ", ";
354 }
355
356 if (av.obsoleted != 0) {
357 ss << "obsoleted = " << av.obsoleted << ", ";
358 }
359
360 std::string result = ss.str();
361 if (!result.empty()) {
362 result = result.substr(0, result.length() - 2);
363 }
364 return result;
365}
366
367std::string to_string(const DeclarationType& type) {
368 switch (type) {
369 case DeclarationType::function:
370 return "function";
371 case DeclarationType::variable:
372 return "variable";
373 case DeclarationType::inconsistent:
374 return "inconsistent";
375 }
376 abort();
377}
378
379std::string to_string(const DeclarationAvailability& decl_av) {
380 std::stringstream ss;
381 if (!decl_av.global_availability.empty()) {
382 ss << to_string(decl_av.global_availability) << ", ";
383 }
384
Josh Gao16057882016-08-02 14:54:09 -0700385 for (const auto& it : decl_av.arch_availability) {
Josh Gaobfb6bae2016-07-15 17:25:21 -0700386 if (!it.second.empty()) {
387 ss << to_string(it.first) << ": " << to_string(it.second) << ", ";
388 }
389 }
390
391 std::string result = ss.str();
392 if (result.size() == 0) {
393 return "no availability";
394 }
395
396 return result.substr(0, result.length() - 2);
397}
398
399std::string to_string(const Location& loc) {
400 std::stringstream ss;
401 ss << loc.filename << ":" << loc.start.line << ":" << loc.start.column;
402 return ss.str();
403}