blob: cb1ea88408f6bfbd8b710c95480eefc2c13cc95c [file] [log] [blame]
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001//===-- ClangASTContext.cpp -------------------------------------*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9
Eli Friedman932197d2010-06-13 19:06:42 +000010#include "lldb/Symbol/ClangASTContext.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000011
12// C Includes
13// C++ Includes
Greg Claytonff48e4b2015-02-03 02:05:44 +000014#include <mutex> // std::once
Chris Lattner30fdc8d2010-06-08 16:52:24 +000015#include <string>
16
17// Other libraries and framework includes
Greg Clayton6beaaa62011-01-17 03:46:26 +000018
19// Clang headers like to use NDEBUG inside of them to enable/disable debug
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +000020// related features using "#ifndef NDEBUG" preprocessor blocks to do one thing
Greg Clayton6beaaa62011-01-17 03:46:26 +000021// or another. This is bad because it means that if clang was built in release
22// mode, it assumes that you are building in release mode which is not always
23// the case. You can end up with functions that are defined as empty in header
24// files when NDEBUG is not defined, and this can cause link errors with the
25// clang .a files that you have since you might be missing functions in the .a
26// file. So we have to define NDEBUG when including clang headers to avoid any
27// mismatches. This is covered by rdar://problem/8691220
28
Sean Callanan3b1d4f62011-10-26 17:46:51 +000029#if !defined(NDEBUG) && !defined(LLVM_NDEBUG_OFF)
Greg Clayton6beaaa62011-01-17 03:46:26 +000030#define LLDB_DEFINED_NDEBUG_FOR_CLANG
Sean Callanan246549c2010-07-08 18:16:16 +000031#define NDEBUG
Greg Clayton6beaaa62011-01-17 03:46:26 +000032// Need to include assert.h so it is as clang would expect it to be (disabled)
33#include <assert.h>
34#endif
35
Chris Lattner30fdc8d2010-06-08 16:52:24 +000036#include "clang/AST/ASTContext.h"
37#include "clang/AST/ASTImporter.h"
Greg Claytonf74c4032012-12-03 18:29:55 +000038#include "clang/AST/Attr.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000039#include "clang/AST/CXXInheritance.h"
Greg Clayton8cf05932010-07-22 18:30:50 +000040#include "clang/AST/DeclObjC.h"
Greg Claytonf0705c82011-10-22 03:33:13 +000041#include "clang/AST/DeclTemplate.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000042#include "clang/AST/RecordLayout.h"
43#include "clang/AST/Type.h"
44#include "clang/Basic/Builtins.h"
Sean Callanan7e2863b2012-02-06 21:28:03 +000045#include "clang/Basic/Diagnostic.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000046#include "clang/Basic/FileManager.h"
Sean Callanan79439e82010-11-18 02:56:27 +000047#include "clang/Basic/FileSystemOptions.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000048#include "clang/Basic/SourceManager.h"
49#include "clang/Basic/TargetInfo.h"
50#include "clang/Basic/TargetOptions.h"
51#include "clang/Frontend/FrontendOptions.h"
52#include "clang/Frontend/LangStandard.h"
Greg Clayton6beaaa62011-01-17 03:46:26 +000053
54#ifdef LLDB_DEFINED_NDEBUG_FOR_CLANG
Sean Callanan246549c2010-07-08 18:16:16 +000055#undef NDEBUG
Greg Clayton6beaaa62011-01-17 03:46:26 +000056#undef LLDB_DEFINED_NDEBUG_FOR_CLANG
57// Need to re-include assert.h so it is as _we_ would expect it to be (enabled)
58#include <assert.h>
59#endif
Chris Lattner30fdc8d2010-06-08 16:52:24 +000060
Greg Clayton514487e2011-02-15 21:59:32 +000061#include "lldb/Core/ArchSpec.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000062#include "lldb/Core/dwarf.h"
Greg Clayton73b472d2010-10-27 03:32:59 +000063#include "lldb/Core/Flags.h"
Sean Callananfb8b7092010-10-28 18:19:36 +000064#include "lldb/Core/Log.h"
Greg Claytonf0705c82011-10-22 03:33:13 +000065#include "lldb/Core/RegularExpression.h"
Enrico Granata2267ad42014-09-16 17:28:40 +000066#include "lldb/Core/ThreadSafeDenseMap.h"
Greg Clayton57ee3062013-07-11 22:46:58 +000067#include "lldb/Core/UniqueCStringMap.h"
Greg Claytonf0705c82011-10-22 03:33:13 +000068#include "lldb/Expression/ASTDumper.h"
Sean Callanan3b107b12011-12-03 03:15:28 +000069#include "lldb/Symbol/ClangExternalASTSourceCommon.h"
Sean Callanan5e9e1992011-10-26 01:06:27 +000070#include "lldb/Symbol/VerifyDecl.h"
Jim Inghamd555bac2011-06-24 22:03:24 +000071#include "lldb/Target/ExecutionContext.h"
72#include "lldb/Target/Process.h"
73#include "lldb/Target/ObjCLanguageRuntime.h"
74
Eli Friedman932197d2010-06-13 19:06:42 +000075#include <stdio.h>
76
Greg Clayton1341baf2013-07-11 23:36:31 +000077#include <mutex>
78
Greg Claytonc86103d2010-08-05 01:57:25 +000079using namespace lldb;
Chris Lattner30fdc8d2010-06-08 16:52:24 +000080using namespace lldb_private;
81using namespace llvm;
82using namespace clang;
83
Enrico Granata2267ad42014-09-16 17:28:40 +000084typedef lldb_private::ThreadSafeDenseMap<clang::ASTContext *, ClangASTContext*> ClangASTMap;
Enrico Granata5d84a692014-08-19 21:46:37 +000085
86static ClangASTMap &
87GetASTMap()
88{
Enrico Granata2267ad42014-09-16 17:28:40 +000089 static ClangASTMap *g_map_ptr = nullptr;
90 static std::once_flag g_once_flag;
91 std::call_once(g_once_flag, []() {
92 g_map_ptr = new ClangASTMap(); // leaked on purpose to avoid spins
93 });
94 return *g_map_ptr;
Enrico Granata5d84a692014-08-19 21:46:37 +000095}
96
97
Greg Clayton57ee3062013-07-11 22:46:58 +000098clang::AccessSpecifier
99ClangASTContext::ConvertAccessTypeToAccessSpecifier (AccessType access)
Greg Clayton8cf05932010-07-22 18:30:50 +0000100{
101 switch (access)
102 {
Greg Claytonc86103d2010-08-05 01:57:25 +0000103 default: break;
104 case eAccessNone: return AS_none;
105 case eAccessPublic: return AS_public;
106 case eAccessPrivate: return AS_private;
107 case eAccessProtected: return AS_protected;
Greg Clayton8cf05932010-07-22 18:30:50 +0000108 }
109 return AS_none;
110}
111
Greg Clayton8cf05932010-07-22 18:30:50 +0000112
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000113static void
114ParseLangArgs
115(
116 LangOptions &Opts,
Greg Clayton94e5d782010-06-13 17:34:29 +0000117 InputKind IK
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000118)
119{
120 // FIXME: Cleanup per-file based stuff.
121
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +0000122 // Set some properties which depend solely on the input kind; it would be nice
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000123 // to move these to the language standard, and have the driver resolve the
124 // input kind + language standard.
Greg Clayton94e5d782010-06-13 17:34:29 +0000125 if (IK == IK_Asm) {
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000126 Opts.AsmPreprocessor = 1;
Greg Clayton94e5d782010-06-13 17:34:29 +0000127 } else if (IK == IK_ObjC ||
128 IK == IK_ObjCXX ||
129 IK == IK_PreprocessedObjC ||
130 IK == IK_PreprocessedObjCXX) {
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000131 Opts.ObjC1 = Opts.ObjC2 = 1;
132 }
133
134 LangStandard::Kind LangStd = LangStandard::lang_unspecified;
135
136 if (LangStd == LangStandard::lang_unspecified) {
137 // Based on the base language, pick one.
138 switch (IK) {
Greg Clayton94e5d782010-06-13 17:34:29 +0000139 case IK_None:
140 case IK_AST:
Sean Callananfb0b7582011-03-15 00:17:19 +0000141 case IK_LLVM_IR:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000142 assert (!"Invalid input kind!");
Greg Clayton94e5d782010-06-13 17:34:29 +0000143 case IK_OpenCL:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000144 LangStd = LangStandard::lang_opencl;
145 break;
Sean Callananfb0b7582011-03-15 00:17:19 +0000146 case IK_CUDA:
Artem Belevich52210ae2015-03-19 18:12:26 +0000147 case IK_PreprocessedCuda:
Sean Callananfb0b7582011-03-15 00:17:19 +0000148 LangStd = LangStandard::lang_cuda;
149 break;
Greg Clayton94e5d782010-06-13 17:34:29 +0000150 case IK_Asm:
151 case IK_C:
152 case IK_PreprocessedC:
153 case IK_ObjC:
154 case IK_PreprocessedObjC:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000155 LangStd = LangStandard::lang_gnu99;
156 break;
Greg Clayton94e5d782010-06-13 17:34:29 +0000157 case IK_CXX:
158 case IK_PreprocessedCXX:
159 case IK_ObjCXX:
160 case IK_PreprocessedObjCXX:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000161 LangStd = LangStandard::lang_gnucxx98;
162 break;
163 }
164 }
165
166 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
Filipe Cabecinhase818ca22012-11-12 21:26:32 +0000167 Opts.LineComment = Std.hasLineComments();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000168 Opts.C99 = Std.isC99();
169 Opts.CPlusPlus = Std.isCPlusPlus();
Chandler Carruth38336a12013-01-02 12:55:00 +0000170 Opts.CPlusPlus11 = Std.isCPlusPlus11();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000171 Opts.Digraphs = Std.hasDigraphs();
172 Opts.GNUMode = Std.isGNUMode();
173 Opts.GNUInline = !Std.isC99();
174 Opts.HexFloats = Std.hasHexFloats();
175 Opts.ImplicitInt = Std.hasImplicitInt();
Enrico Granatac921e342013-01-10 02:37:22 +0000176
177 Opts.WChar = true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000178
179 // OpenCL has some additional defaults.
180 if (LangStd == LangStandard::lang_opencl) {
181 Opts.OpenCL = 1;
182 Opts.AltiVec = 1;
183 Opts.CXXOperatorNames = 1;
184 Opts.LaxVectorConversions = 1;
185 }
186
187 // OpenCL and C++ both have bool, true, false keywords.
188 Opts.Bool = Opts.OpenCL || Opts.CPlusPlus;
189
190// if (Opts.CPlusPlus)
191// Opts.CXXOperatorNames = !Args.hasArg(OPT_fno_operator_names);
192//
193// if (Args.hasArg(OPT_fobjc_gc_only))
194// Opts.setGCMode(LangOptions::GCOnly);
195// else if (Args.hasArg(OPT_fobjc_gc))
196// Opts.setGCMode(LangOptions::HybridGC);
197//
198// if (Args.hasArg(OPT_print_ivar_layout))
199// Opts.ObjCGCBitmapPrint = 1;
200//
201// if (Args.hasArg(OPT_faltivec))
202// Opts.AltiVec = 1;
203//
204// if (Args.hasArg(OPT_pthread))
205// Opts.POSIXThreads = 1;
206//
207// llvm::StringRef Vis = getLastArgValue(Args, OPT_fvisibility,
208// "default");
209// if (Vis == "default")
Sean Callanan37f76e52013-02-19 19:16:37 +0000210 Opts.setValueVisibilityMode(DefaultVisibility);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000211// else if (Vis == "hidden")
212// Opts.setVisibilityMode(LangOptions::Hidden);
213// else if (Vis == "protected")
214// Opts.setVisibilityMode(LangOptions::Protected);
215// else
216// Diags.Report(diag::err_drv_invalid_value)
217// << Args.getLastArg(OPT_fvisibility)->getAsString(Args) << Vis;
218
219// Opts.OverflowChecking = Args.hasArg(OPT_ftrapv);
220
221 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
222 // is specified, or -std is set to a conforming mode.
223 Opts.Trigraphs = !Opts.GNUMode;
224// if (Args.hasArg(OPT_trigraphs))
225// Opts.Trigraphs = 1;
226//
227// Opts.DollarIdents = Args.hasFlag(OPT_fdollars_in_identifiers,
228// OPT_fno_dollars_in_identifiers,
229// !Opts.AsmPreprocessor);
230// Opts.PascalStrings = Args.hasArg(OPT_fpascal_strings);
231// Opts.Microsoft = Args.hasArg(OPT_fms_extensions);
232// Opts.WritableStrings = Args.hasArg(OPT_fwritable_strings);
233// if (Args.hasArg(OPT_fno_lax_vector_conversions))
234// Opts.LaxVectorConversions = 0;
235// Opts.Exceptions = Args.hasArg(OPT_fexceptions);
236// Opts.RTTI = !Args.hasArg(OPT_fno_rtti);
237// Opts.Blocks = Args.hasArg(OPT_fblocks);
238// Opts.CharIsSigned = !Args.hasArg(OPT_fno_signed_char);
239// Opts.ShortWChar = Args.hasArg(OPT_fshort_wchar);
240// Opts.Freestanding = Args.hasArg(OPT_ffreestanding);
241// Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
242// Opts.AssumeSaneOperatorNew = !Args.hasArg(OPT_fno_assume_sane_operator_new);
243// Opts.HeinousExtensions = Args.hasArg(OPT_fheinous_gnu_extensions);
244// Opts.AccessControl = Args.hasArg(OPT_faccess_control);
245// Opts.ElideConstructors = !Args.hasArg(OPT_fno_elide_constructors);
246// Opts.MathErrno = !Args.hasArg(OPT_fno_math_errno);
247// Opts.InstantiationDepth = getLastArgIntValue(Args, OPT_ftemplate_depth, 99,
248// Diags);
249// Opts.NeXTRuntime = !Args.hasArg(OPT_fgnu_runtime);
250// Opts.ObjCConstantStringClass = getLastArgValue(Args,
251// OPT_fconstant_string_class);
252// Opts.ObjCNonFragileABI = Args.hasArg(OPT_fobjc_nonfragile_abi);
253// Opts.CatchUndefined = Args.hasArg(OPT_fcatch_undefined_behavior);
254// Opts.EmitAllDecls = Args.hasArg(OPT_femit_all_decls);
255// Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
256// Opts.Static = Args.hasArg(OPT_static_define);
257 Opts.OptimizeSize = 0;
258
259 // FIXME: Eliminate this dependency.
260// unsigned Opt =
261// Args.hasArg(OPT_Os) ? 2 : getLastArgIntValue(Args, OPT_O, 0, Diags);
262// Opts.Optimize = Opt != 0;
263 unsigned Opt = 0;
264
265 // This is the __NO_INLINE__ define, which just depends on things like the
266 // optimization level and -fno-inline, not actually whether the backend has
267 // inlining enabled.
268 //
269 // FIXME: This is affected by other options (-fno-inline).
Sean Callanan3d654b32012-09-24 22:25:51 +0000270 Opts.NoInlineDefine = !Opt;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000271
272// unsigned SSP = getLastArgIntValue(Args, OPT_stack_protector, 0, Diags);
273// switch (SSP) {
274// default:
275// Diags.Report(diag::err_drv_invalid_value)
276// << Args.getLastArg(OPT_stack_protector)->getAsString(Args) << SSP;
277// break;
278// case 0: Opts.setStackProtectorMode(LangOptions::SSPOff); break;
279// case 1: Opts.setStackProtectorMode(LangOptions::SSPOn); break;
280// case 2: Opts.setStackProtectorMode(LangOptions::SSPReq); break;
281// }
282}
283
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000284
Greg Clayton6beaaa62011-01-17 03:46:26 +0000285ClangASTContext::ClangASTContext (const char *target_triple) :
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000286 m_target_triple(),
Greg Clayton6beaaa62011-01-17 03:46:26 +0000287 m_ast_ap(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000288 m_language_options_ap(),
289 m_source_manager_ap(),
Sean Callanan880e6802011-10-07 23:18:13 +0000290 m_diagnostics_engine_ap(),
Sean Callananc5069ad2012-10-17 22:11:14 +0000291 m_target_options_rp(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000292 m_target_info_ap(),
293 m_identifier_table_ap(),
294 m_selector_table_ap(),
Greg Clayton6beaaa62011-01-17 03:46:26 +0000295 m_builtins_ap(),
Ed Masted4612ad2014-04-20 13:17:36 +0000296 m_callback_tag_decl (nullptr),
297 m_callback_objc_decl (nullptr),
298 m_callback_baton (nullptr),
Greg Clayton57ee3062013-07-11 22:46:58 +0000299 m_pointer_byte_size (0)
Greg Clayton6beaaa62011-01-17 03:46:26 +0000300
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000301{
302 if (target_triple && target_triple[0])
Greg Clayton880cbb02011-07-30 01:26:02 +0000303 SetTargetTriple (target_triple);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000304}
305
306//----------------------------------------------------------------------
307// Destructor
308//----------------------------------------------------------------------
309ClangASTContext::~ClangASTContext()
310{
Enrico Granata5d84a692014-08-19 21:46:37 +0000311 if (m_ast_ap.get())
312 {
Enrico Granata2267ad42014-09-16 17:28:40 +0000313 GetASTMap().Erase(m_ast_ap.get());
Enrico Granata5d84a692014-08-19 21:46:37 +0000314 }
315
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000316 m_builtins_ap.reset();
317 m_selector_table_ap.reset();
318 m_identifier_table_ap.reset();
319 m_target_info_ap.reset();
Sean Callananc5069ad2012-10-17 22:11:14 +0000320 m_target_options_rp.reset();
Sean Callanan880e6802011-10-07 23:18:13 +0000321 m_diagnostics_engine_ap.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000322 m_source_manager_ap.reset();
323 m_language_options_ap.reset();
Greg Clayton6beaaa62011-01-17 03:46:26 +0000324 m_ast_ap.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000325}
326
327
328void
329ClangASTContext::Clear()
330{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000331 m_ast_ap.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000332 m_language_options_ap.reset();
333 m_source_manager_ap.reset();
Sean Callanan880e6802011-10-07 23:18:13 +0000334 m_diagnostics_engine_ap.reset();
Sean Callananc5069ad2012-10-17 22:11:14 +0000335 m_target_options_rp.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000336 m_target_info_ap.reset();
337 m_identifier_table_ap.reset();
338 m_selector_table_ap.reset();
339 m_builtins_ap.reset();
Greg Clayton57ee3062013-07-11 22:46:58 +0000340 m_pointer_byte_size = 0;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000341}
342
343const char *
344ClangASTContext::GetTargetTriple ()
345{
346 return m_target_triple.c_str();
347}
348
349void
350ClangASTContext::SetTargetTriple (const char *target_triple)
351{
352 Clear();
353 m_target_triple.assign(target_triple);
354}
355
Greg Clayton514487e2011-02-15 21:59:32 +0000356void
357ClangASTContext::SetArchitecture (const ArchSpec &arch)
358{
Greg Clayton880cbb02011-07-30 01:26:02 +0000359 SetTargetTriple(arch.GetTriple().str().c_str());
Greg Clayton514487e2011-02-15 21:59:32 +0000360}
361
Greg Clayton6beaaa62011-01-17 03:46:26 +0000362bool
363ClangASTContext::HasExternalSource ()
364{
365 ASTContext *ast = getASTContext();
366 if (ast)
Ed Masted4612ad2014-04-20 13:17:36 +0000367 return ast->getExternalSource () != nullptr;
Greg Clayton6beaaa62011-01-17 03:46:26 +0000368 return false;
369}
370
371void
Todd Fiala955fe6f2014-02-27 17:18:23 +0000372ClangASTContext::SetExternalSource (llvm::IntrusiveRefCntPtr<ExternalASTSource> &ast_source_ap)
Greg Clayton6beaaa62011-01-17 03:46:26 +0000373{
374 ASTContext *ast = getASTContext();
375 if (ast)
376 {
377 ast->setExternalSource (ast_source_ap);
378 ast->getTranslationUnitDecl()->setHasExternalLexicalStorage(true);
379 //ast->getTranslationUnitDecl()->setHasExternalVisibleStorage(true);
380 }
381}
382
383void
384ClangASTContext::RemoveExternalSource ()
385{
386 ASTContext *ast = getASTContext();
387
388 if (ast)
389 {
Todd Fiala955fe6f2014-02-27 17:18:23 +0000390 llvm::IntrusiveRefCntPtr<ExternalASTSource> empty_ast_source_ap;
Greg Clayton6beaaa62011-01-17 03:46:26 +0000391 ast->setExternalSource (empty_ast_source_ap);
392 ast->getTranslationUnitDecl()->setHasExternalLexicalStorage(false);
393 //ast->getTranslationUnitDecl()->setHasExternalVisibleStorage(false);
394 }
395}
396
397
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000398
399ASTContext *
400ClangASTContext::getASTContext()
401{
Ed Masted4612ad2014-04-20 13:17:36 +0000402 if (m_ast_ap.get() == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000403 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000404 m_ast_ap.reset(new ASTContext (*getLanguageOptions(),
405 *getSourceManager(),
Greg Clayton6beaaa62011-01-17 03:46:26 +0000406 *getIdentifierTable(),
407 *getSelectorTable(),
Alp Tokercf55e882014-05-03 15:05:45 +0000408 *getBuiltinContext()));
409 m_ast_ap->InitBuiltinTypes(*getTargetInfo());
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000410
Greg Clayton6beaaa62011-01-17 03:46:26 +0000411 if ((m_callback_tag_decl || m_callback_objc_decl) && m_callback_baton)
412 {
413 m_ast_ap->getTranslationUnitDecl()->setHasExternalLexicalStorage();
414 //m_ast_ap->getTranslationUnitDecl()->setHasExternalVisibleStorage();
415 }
416
Sean Callanan880e6802011-10-07 23:18:13 +0000417 m_ast_ap->getDiagnostics().setClient(getDiagnosticConsumer(), false);
Enrico Granata5d84a692014-08-19 21:46:37 +0000418
Enrico Granata2267ad42014-09-16 17:28:40 +0000419 GetASTMap().Insert(m_ast_ap.get(), this);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000420 }
Greg Clayton6beaaa62011-01-17 03:46:26 +0000421 return m_ast_ap.get();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000422}
423
Enrico Granata5d84a692014-08-19 21:46:37 +0000424ClangASTContext*
425ClangASTContext::GetASTContext (clang::ASTContext* ast)
426{
Enrico Granata2267ad42014-09-16 17:28:40 +0000427 ClangASTContext *clang_ast = GetASTMap().Lookup(ast);
Enrico Granata5d84a692014-08-19 21:46:37 +0000428 return clang_ast;
429}
430
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000431Builtin::Context *
432ClangASTContext::getBuiltinContext()
433{
Ed Masted4612ad2014-04-20 13:17:36 +0000434 if (m_builtins_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000435 m_builtins_ap.reset (new Builtin::Context());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000436 return m_builtins_ap.get();
437}
438
439IdentifierTable *
440ClangASTContext::getIdentifierTable()
441{
Ed Masted4612ad2014-04-20 13:17:36 +0000442 if (m_identifier_table_ap.get() == nullptr)
443 m_identifier_table_ap.reset(new IdentifierTable (*ClangASTContext::getLanguageOptions(), nullptr));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000444 return m_identifier_table_ap.get();
445}
446
447LangOptions *
448ClangASTContext::getLanguageOptions()
449{
Ed Masted4612ad2014-04-20 13:17:36 +0000450 if (m_language_options_ap.get() == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000451 {
452 m_language_options_ap.reset(new LangOptions());
Greg Clayton94e5d782010-06-13 17:34:29 +0000453 ParseLangArgs(*m_language_options_ap, IK_ObjCXX);
454// InitializeLangOptions(*m_language_options_ap, IK_ObjCXX);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000455 }
456 return m_language_options_ap.get();
457}
458
459SelectorTable *
460ClangASTContext::getSelectorTable()
461{
Ed Masted4612ad2014-04-20 13:17:36 +0000462 if (m_selector_table_ap.get() == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000463 m_selector_table_ap.reset (new SelectorTable());
464 return m_selector_table_ap.get();
465}
466
Sean Callanan79439e82010-11-18 02:56:27 +0000467clang::FileManager *
468ClangASTContext::getFileManager()
469{
Ed Masted4612ad2014-04-20 13:17:36 +0000470 if (m_file_manager_ap.get() == nullptr)
Greg Clayton38a61402010-12-02 23:20:03 +0000471 {
472 clang::FileSystemOptions file_system_options;
473 m_file_manager_ap.reset(new clang::FileManager(file_system_options));
474 }
Sean Callanan79439e82010-11-18 02:56:27 +0000475 return m_file_manager_ap.get();
476}
477
Greg Claytone1a916a2010-07-21 22:12:05 +0000478clang::SourceManager *
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000479ClangASTContext::getSourceManager()
480{
Ed Masted4612ad2014-04-20 13:17:36 +0000481 if (m_source_manager_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000482 m_source_manager_ap.reset(new clang::SourceManager(*getDiagnosticsEngine(), *getFileManager()));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000483 return m_source_manager_ap.get();
484}
485
Sean Callanan880e6802011-10-07 23:18:13 +0000486clang::DiagnosticsEngine *
487ClangASTContext::getDiagnosticsEngine()
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000488{
Ed Masted4612ad2014-04-20 13:17:36 +0000489 if (m_diagnostics_engine_ap.get() == nullptr)
Greg Claytona651b532010-11-19 21:46:54 +0000490 {
491 llvm::IntrusiveRefCntPtr<DiagnosticIDs> diag_id_sp(new DiagnosticIDs());
Sean Callananec8f1ef2012-10-25 01:00:25 +0000492 m_diagnostics_engine_ap.reset(new DiagnosticsEngine(diag_id_sp, new DiagnosticOptions()));
Greg Claytona651b532010-11-19 21:46:54 +0000493 }
Sean Callanan880e6802011-10-07 23:18:13 +0000494 return m_diagnostics_engine_ap.get();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000495}
496
Sean Callanan880e6802011-10-07 23:18:13 +0000497class NullDiagnosticConsumer : public DiagnosticConsumer
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000498{
499public:
Sean Callanan880e6802011-10-07 23:18:13 +0000500 NullDiagnosticConsumer ()
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000501 {
502 m_log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS);
503 }
504
Sean Callanan880e6802011-10-07 23:18:13 +0000505 void HandleDiagnostic (DiagnosticsEngine::Level DiagLevel, const Diagnostic &info)
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000506 {
507 if (m_log)
508 {
Sean Callanan5b26f272012-02-04 08:49:35 +0000509 llvm::SmallVector<char, 32> diag_str(10);
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000510 info.FormatDiagnostic(diag_str);
511 diag_str.push_back('\0');
512 m_log->Printf("Compiler diagnostic: %s\n", diag_str.data());
513 }
514 }
Sean Callanan880e6802011-10-07 23:18:13 +0000515
516 DiagnosticConsumer *clone (DiagnosticsEngine &Diags) const
517 {
518 return new NullDiagnosticConsumer ();
519 }
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000520private:
Greg Clayton5160ce52013-03-27 23:08:40 +0000521 Log * m_log;
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000522};
523
Sean Callanan880e6802011-10-07 23:18:13 +0000524DiagnosticConsumer *
525ClangASTContext::getDiagnosticConsumer()
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000526{
Ed Masted4612ad2014-04-20 13:17:36 +0000527 if (m_diagnostic_consumer_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000528 m_diagnostic_consumer_ap.reset(new NullDiagnosticConsumer);
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000529
Sean Callanan880e6802011-10-07 23:18:13 +0000530 return m_diagnostic_consumer_ap.get();
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000531}
532
Jason Molenda45938b92014-07-08 23:46:39 +0000533std::shared_ptr<TargetOptions> &
534ClangASTContext::getTargetOptions() {
Alp Tokeredc902f2014-07-05 03:06:05 +0000535 if (m_target_options_rp.get() == nullptr && !m_target_triple.empty())
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000536 {
Alp Toker5f838642014-07-06 05:36:57 +0000537 m_target_options_rp = std::make_shared<TargetOptions>();
Alp Tokeredc902f2014-07-05 03:06:05 +0000538 if (m_target_options_rp.get() != nullptr)
Sean Callananc5069ad2012-10-17 22:11:14 +0000539 m_target_options_rp->Triple = m_target_triple;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000540 }
Alp Toker5f838642014-07-06 05:36:57 +0000541 return m_target_options_rp;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000542}
543
544
545TargetInfo *
546ClangASTContext::getTargetInfo()
547{
Greg Clayton70512312012-05-08 01:45:38 +0000548 // target_triple should be something like "x86_64-apple-macosx"
Ed Masted4612ad2014-04-20 13:17:36 +0000549 if (m_target_info_ap.get() == nullptr && !m_target_triple.empty())
Greg Clayton38d880a2012-11-16 21:35:22 +0000550 m_target_info_ap.reset (TargetInfo::CreateTargetInfo(*getDiagnosticsEngine(), getTargetOptions()));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000551 return m_target_info_ap.get();
552}
553
554#pragma mark Basic Types
555
556static inline bool
Greg Clayton6beaaa62011-01-17 03:46:26 +0000557QualTypeMatchesBitSize(const uint64_t bit_size, ASTContext *ast, QualType qual_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000558{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000559 uint64_t qual_type_bit_size = ast->getTypeSize(qual_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000560 if (qual_type_bit_size == bit_size)
561 return true;
562 return false;
563}
Greg Clayton57ee3062013-07-11 22:46:58 +0000564ClangASTType
Greg Claytonc86103d2010-08-05 01:57:25 +0000565ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (Encoding encoding, uint32_t bit_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000566{
Greg Clayton57ee3062013-07-11 22:46:58 +0000567 return ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (getASTContext(), encoding, bit_size);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000568}
569
Greg Clayton57ee3062013-07-11 22:46:58 +0000570ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +0000571ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (ASTContext *ast, Encoding encoding, uint32_t bit_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000572{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000573 if (!ast)
Greg Clayton57ee3062013-07-11 22:46:58 +0000574 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000575
576 switch (encoding)
577 {
Greg Claytonc86103d2010-08-05 01:57:25 +0000578 case eEncodingInvalid:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000579 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidPtrTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000580 return ClangASTType (ast, ast->VoidPtrTy.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000581 break;
582
Greg Claytonc86103d2010-08-05 01:57:25 +0000583 case eEncodingUint:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000584 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000585 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000586 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000587 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000588 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000589 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000590 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000591 return ClangASTType (ast, ast->UnsignedLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000592 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000593 return ClangASTType (ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000594 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000595 return ClangASTType (ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000596 break;
597
Greg Claytonc86103d2010-08-05 01:57:25 +0000598 case eEncodingSint:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000599 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000600 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000601 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000602 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000603 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000604 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000605 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000606 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000607 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000608 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000609 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000610 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000611 break;
612
Greg Claytonc86103d2010-08-05 01:57:25 +0000613 case eEncodingIEEE754:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000614 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000615 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000616 if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000617 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000618 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000619 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000620 break;
621
Greg Claytonc86103d2010-08-05 01:57:25 +0000622 case eEncodingVector:
Johnny Chenc79c93a2012-03-07 01:12:24 +0000623 // Sanity check that bit_size is a multiple of 8's.
624 if (bit_size && !(bit_size & 0x7u))
Greg Clayton57ee3062013-07-11 22:46:58 +0000625 return ClangASTType (ast, ast->getExtVectorType (ast->UnsignedCharTy, bit_size/8).getAsOpaquePtr());
Johnny Chenc79c93a2012-03-07 01:12:24 +0000626 break;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000627 }
628
Greg Clayton57ee3062013-07-11 22:46:58 +0000629 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000630}
631
Greg Clayton57ee3062013-07-11 22:46:58 +0000632
633
634lldb::BasicType
635ClangASTContext::GetBasicTypeEnumeration (const ConstString &name)
636{
637 if (name)
638 {
639 typedef UniqueCStringMap<lldb::BasicType> TypeNameToBasicTypeMap;
640 static TypeNameToBasicTypeMap g_type_map;
641 static std::once_flag g_once_flag;
642 std::call_once(g_once_flag, [](){
643 // "void"
644 g_type_map.Append(ConstString("void").GetCString(), eBasicTypeVoid);
645
646 // "char"
647 g_type_map.Append(ConstString("char").GetCString(), eBasicTypeChar);
648 g_type_map.Append(ConstString("signed char").GetCString(), eBasicTypeSignedChar);
649 g_type_map.Append(ConstString("unsigned char").GetCString(), eBasicTypeUnsignedChar);
650 g_type_map.Append(ConstString("wchar_t").GetCString(), eBasicTypeWChar);
651 g_type_map.Append(ConstString("signed wchar_t").GetCString(), eBasicTypeSignedWChar);
652 g_type_map.Append(ConstString("unsigned wchar_t").GetCString(), eBasicTypeUnsignedWChar);
653 // "short"
654 g_type_map.Append(ConstString("short").GetCString(), eBasicTypeShort);
655 g_type_map.Append(ConstString("short int").GetCString(), eBasicTypeShort);
656 g_type_map.Append(ConstString("unsigned short").GetCString(), eBasicTypeUnsignedShort);
657 g_type_map.Append(ConstString("unsigned short int").GetCString(), eBasicTypeUnsignedShort);
658
659 // "int"
660 g_type_map.Append(ConstString("int").GetCString(), eBasicTypeInt);
661 g_type_map.Append(ConstString("signed int").GetCString(), eBasicTypeInt);
662 g_type_map.Append(ConstString("unsigned int").GetCString(), eBasicTypeUnsignedInt);
663 g_type_map.Append(ConstString("unsigned").GetCString(), eBasicTypeUnsignedInt);
664
665 // "long"
666 g_type_map.Append(ConstString("long").GetCString(), eBasicTypeLong);
667 g_type_map.Append(ConstString("long int").GetCString(), eBasicTypeLong);
668 g_type_map.Append(ConstString("unsigned long").GetCString(), eBasicTypeUnsignedLong);
669 g_type_map.Append(ConstString("unsigned long int").GetCString(), eBasicTypeUnsignedLong);
670
671 // "long long"
672 g_type_map.Append(ConstString("long long").GetCString(), eBasicTypeLongLong);
673 g_type_map.Append(ConstString("long long int").GetCString(), eBasicTypeLongLong);
674 g_type_map.Append(ConstString("unsigned long long").GetCString(), eBasicTypeUnsignedLongLong);
675 g_type_map.Append(ConstString("unsigned long long int").GetCString(), eBasicTypeUnsignedLongLong);
676
677 // "int128"
678 g_type_map.Append(ConstString("__int128_t").GetCString(), eBasicTypeInt128);
679 g_type_map.Append(ConstString("__uint128_t").GetCString(), eBasicTypeUnsignedInt128);
680
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +0000681 // Miscellaneous
Greg Clayton57ee3062013-07-11 22:46:58 +0000682 g_type_map.Append(ConstString("bool").GetCString(), eBasicTypeBool);
683 g_type_map.Append(ConstString("float").GetCString(), eBasicTypeFloat);
684 g_type_map.Append(ConstString("double").GetCString(), eBasicTypeDouble);
685 g_type_map.Append(ConstString("long double").GetCString(), eBasicTypeLongDouble);
686 g_type_map.Append(ConstString("id").GetCString(), eBasicTypeObjCID);
687 g_type_map.Append(ConstString("SEL").GetCString(), eBasicTypeObjCSel);
688 g_type_map.Append(ConstString("nullptr").GetCString(), eBasicTypeNullPtr);
689 g_type_map.Sort();
690 });
691
692 return g_type_map.Find(name.GetCString(), eBasicTypeInvalid);
693 }
694 return eBasicTypeInvalid;
695}
696
697ClangASTType
698ClangASTContext::GetBasicType (ASTContext *ast, const ConstString &name)
699{
700 if (ast)
701 {
702 lldb::BasicType basic_type = ClangASTContext::GetBasicTypeEnumeration (name);
703 return ClangASTContext::GetBasicType (ast, basic_type);
704 }
705 return ClangASTType();
706}
707
708uint32_t
709ClangASTContext::GetPointerByteSize ()
710{
711 if (m_pointer_byte_size == 0)
Enrico Granata1cd5e922015-01-28 00:07:51 +0000712 m_pointer_byte_size = GetBasicType(lldb::eBasicTypeVoid).GetPointerType().GetByteSize(nullptr);
Greg Clayton57ee3062013-07-11 22:46:58 +0000713 return m_pointer_byte_size;
714}
715
716ClangASTType
717ClangASTContext::GetBasicType (lldb::BasicType basic_type)
718{
719 return GetBasicType (getASTContext(), basic_type);
720}
721
722ClangASTType
723ClangASTContext::GetBasicType (ASTContext *ast, lldb::BasicType basic_type)
724{
725 if (ast)
726 {
Ed Masted4612ad2014-04-20 13:17:36 +0000727 clang_type_t clang_type = nullptr;
Greg Clayton57ee3062013-07-11 22:46:58 +0000728
729 switch (basic_type)
730 {
731 case eBasicTypeInvalid:
732 case eBasicTypeOther:
733 break;
734 case eBasicTypeVoid:
735 clang_type = ast->VoidTy.getAsOpaquePtr();
736 break;
737 case eBasicTypeChar:
738 clang_type = ast->CharTy.getAsOpaquePtr();
739 break;
740 case eBasicTypeSignedChar:
741 clang_type = ast->SignedCharTy.getAsOpaquePtr();
742 break;
743 case eBasicTypeUnsignedChar:
744 clang_type = ast->UnsignedCharTy.getAsOpaquePtr();
745 break;
746 case eBasicTypeWChar:
747 clang_type = ast->getWCharType().getAsOpaquePtr();
748 break;
749 case eBasicTypeSignedWChar:
750 clang_type = ast->getSignedWCharType().getAsOpaquePtr();
751 break;
752 case eBasicTypeUnsignedWChar:
753 clang_type = ast->getUnsignedWCharType().getAsOpaquePtr();
754 break;
755 case eBasicTypeChar16:
756 clang_type = ast->Char16Ty.getAsOpaquePtr();
757 break;
758 case eBasicTypeChar32:
759 clang_type = ast->Char32Ty.getAsOpaquePtr();
760 break;
761 case eBasicTypeShort:
762 clang_type = ast->ShortTy.getAsOpaquePtr();
763 break;
764 case eBasicTypeUnsignedShort:
765 clang_type = ast->UnsignedShortTy.getAsOpaquePtr();
766 break;
767 case eBasicTypeInt:
768 clang_type = ast->IntTy.getAsOpaquePtr();
769 break;
770 case eBasicTypeUnsignedInt:
771 clang_type = ast->UnsignedIntTy.getAsOpaquePtr();
772 break;
773 case eBasicTypeLong:
774 clang_type = ast->LongTy.getAsOpaquePtr();
775 break;
776 case eBasicTypeUnsignedLong:
777 clang_type = ast->UnsignedLongTy.getAsOpaquePtr();
778 break;
779 case eBasicTypeLongLong:
780 clang_type = ast->LongLongTy.getAsOpaquePtr();
781 break;
782 case eBasicTypeUnsignedLongLong:
783 clang_type = ast->UnsignedLongLongTy.getAsOpaquePtr();
784 break;
785 case eBasicTypeInt128:
786 clang_type = ast->Int128Ty.getAsOpaquePtr();
787 break;
788 case eBasicTypeUnsignedInt128:
789 clang_type = ast->UnsignedInt128Ty.getAsOpaquePtr();
790 break;
791 case eBasicTypeBool:
792 clang_type = ast->BoolTy.getAsOpaquePtr();
793 break;
794 case eBasicTypeHalf:
795 clang_type = ast->HalfTy.getAsOpaquePtr();
796 break;
797 case eBasicTypeFloat:
798 clang_type = ast->FloatTy.getAsOpaquePtr();
799 break;
800 case eBasicTypeDouble:
801 clang_type = ast->DoubleTy.getAsOpaquePtr();
802 break;
803 case eBasicTypeLongDouble:
804 clang_type = ast->LongDoubleTy.getAsOpaquePtr();
805 break;
806 case eBasicTypeFloatComplex:
807 clang_type = ast->FloatComplexTy.getAsOpaquePtr();
808 break;
809 case eBasicTypeDoubleComplex:
810 clang_type = ast->DoubleComplexTy.getAsOpaquePtr();
811 break;
812 case eBasicTypeLongDoubleComplex:
813 clang_type = ast->LongDoubleComplexTy.getAsOpaquePtr();
814 break;
815 case eBasicTypeObjCID:
816 clang_type = ast->getObjCIdType().getAsOpaquePtr();
817 break;
818 case eBasicTypeObjCClass:
819 clang_type = ast->getObjCClassType().getAsOpaquePtr();
820 break;
821 case eBasicTypeObjCSel:
822 clang_type = ast->getObjCSelType().getAsOpaquePtr();
823 break;
824 case eBasicTypeNullPtr:
825 clang_type = ast->NullPtrTy.getAsOpaquePtr();
826 break;
827 }
828
829 if (clang_type)
830 return ClangASTType (ast, clang_type);
831 }
832 return ClangASTType();
833}
834
835
836ClangASTType
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000837ClangASTContext::GetBuiltinTypeForDWARFEncodingAndBitSize (const char *type_name, uint32_t dw_ate, uint32_t bit_size)
838{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000839 ASTContext *ast = getASTContext();
Sean Callanan38d4df52012-04-03 01:10:10 +0000840
841#define streq(a,b) strcmp(a,b) == 0
Ed Masted4612ad2014-04-20 13:17:36 +0000842 assert (ast != nullptr);
Greg Clayton6beaaa62011-01-17 03:46:26 +0000843 if (ast)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000844 {
845 switch (dw_ate)
846 {
Sean Callanan38d4df52012-04-03 01:10:10 +0000847 default:
848 break;
Greg Clayton605684e2011-10-28 23:06:08 +0000849
Sean Callanan38d4df52012-04-03 01:10:10 +0000850 case DW_ATE_address:
851 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidPtrTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000852 return ClangASTType (ast, ast->VoidPtrTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000853 break;
854
855 case DW_ATE_boolean:
856 if (QualTypeMatchesBitSize (bit_size, ast, ast->BoolTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000857 return ClangASTType (ast, ast->BoolTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000858 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000859 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000860 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000861 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000862 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000863 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000864 break;
865
866 case DW_ATE_lo_user:
867 // This has been seen to mean DW_AT_complex_integer
868 if (type_name)
Greg Clayton605684e2011-10-28 23:06:08 +0000869 {
Sean Callanan38d4df52012-04-03 01:10:10 +0000870 if (::strstr(type_name, "complex"))
871 {
Greg Clayton57ee3062013-07-11 22:46:58 +0000872 ClangASTType complex_int_clang_type = GetBuiltinTypeForDWARFEncodingAndBitSize ("int", DW_ATE_signed, bit_size/2);
873 return ClangASTType (ast, ast->getComplexType (complex_int_clang_type.GetQualType()).getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000874 }
Greg Clayton605684e2011-10-28 23:06:08 +0000875 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000876 break;
877
878 case DW_ATE_complex_float:
879 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000880 return ClangASTType (ast, ast->FloatComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000881 else if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000882 return ClangASTType (ast, ast->DoubleComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000883 else if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000884 return ClangASTType (ast, ast->LongDoubleComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000885 else
Greg Clayton605684e2011-10-28 23:06:08 +0000886 {
Greg Clayton57ee3062013-07-11 22:46:58 +0000887 ClangASTType complex_float_clang_type = GetBuiltinTypeForDWARFEncodingAndBitSize ("float", DW_ATE_float, bit_size/2);
888 return ClangASTType (ast, ast->getComplexType (complex_float_clang_type.GetQualType()).getAsOpaquePtr());
Greg Clayton605684e2011-10-28 23:06:08 +0000889 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000890 break;
891
892 case DW_ATE_float:
Greg Clayton8012cad2014-11-17 19:39:20 +0000893 if (streq(type_name, "float") && QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
894 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
895 if (streq(type_name, "double") && QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
896 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
897 if (streq(type_name, "long double") && QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
898 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
899 // Fall back to not requring a name match
Sean Callanan38d4df52012-04-03 01:10:10 +0000900 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000901 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000902 if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000903 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000904 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000905 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000906 break;
907
908 case DW_ATE_signed:
909 if (type_name)
910 {
911 if (streq(type_name, "wchar_t") &&
912 QualTypeMatchesBitSize (bit_size, ast, ast->WCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000913 return ClangASTType (ast, ast->WCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000914 if (streq(type_name, "void") &&
915 QualTypeMatchesBitSize (bit_size, ast, ast->VoidTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000916 return ClangASTType (ast, ast->VoidTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000917 if (strstr(type_name, "long long") &&
918 QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000919 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000920 if (strstr(type_name, "long") &&
921 QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000922 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000923 if (strstr(type_name, "short") &&
924 QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000925 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000926 if (strstr(type_name, "char"))
927 {
928 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000929 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000930 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000931 return ClangASTType (ast, ast->SignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000932 }
933 if (strstr(type_name, "int"))
934 {
935 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000936 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000937 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000938 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000939 }
940 }
941 // We weren't able to match up a type name, just search by size
942 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000943 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000944 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000945 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000946 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000947 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000948 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000949 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000950 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000951 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000952 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000953 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000954 break;
955
956 case DW_ATE_signed_char:
957 if (type_name)
958 {
959 if (streq(type_name, "signed char"))
960 {
961 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000962 return ClangASTType (ast, ast->SignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000963 }
964 }
965 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000966 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000967 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000968 return ClangASTType (ast, ast->SignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000969 break;
970
971 case DW_ATE_unsigned:
972 if (type_name)
973 {
974 if (strstr(type_name, "long long"))
975 {
976 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000977 return ClangASTType (ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000978 }
979 else if (strstr(type_name, "long"))
980 {
981 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000982 return ClangASTType (ast, ast->UnsignedLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000983 }
984 else if (strstr(type_name, "short"))
985 {
986 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000987 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000988 }
989 else if (strstr(type_name, "char"))
990 {
991 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000992 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000993 }
994 else if (strstr(type_name, "int"))
995 {
996 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000997 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000998 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000999 return ClangASTType (ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001000 }
1001 }
1002 // We weren't able to match up a type name, just search by size
1003 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001004 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001005 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001006 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001007 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001008 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001009 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001010 return ClangASTType (ast, ast->UnsignedLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001011 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001012 return ClangASTType (ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001013 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +00001014 return ClangASTType (ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001015 break;
1016
1017 case DW_ATE_unsigned_char:
1018 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001019 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001020 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001021 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001022 break;
1023
1024 case DW_ATE_imaginary_float:
1025 break;
1026
1027 case DW_ATE_UTF:
1028 if (type_name)
1029 {
1030 if (streq(type_name, "char16_t"))
1031 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001032 return ClangASTType (ast, ast->Char16Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001033 }
1034 else if (streq(type_name, "char32_t"))
1035 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001036 return ClangASTType (ast, ast->Char32Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001037 }
1038 }
1039 break;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001040 }
1041 }
1042 // This assert should fire for anything that we don't catch above so we know
1043 // to fix any issues we run into.
Greg Claytondc968d12011-05-17 18:15:05 +00001044 if (type_name)
1045 {
Greg Claytone38a5ed2012-01-05 03:57:59 +00001046 Host::SystemLog (Host::eSystemLogError, "error: need to add support for DW_TAG_base_type '%s' encoded with DW_ATE = 0x%x, bit_size = %u\n", type_name, dw_ate, bit_size);
Greg Claytondc968d12011-05-17 18:15:05 +00001047 }
1048 else
1049 {
Greg Claytone38a5ed2012-01-05 03:57:59 +00001050 Host::SystemLog (Host::eSystemLogError, "error: need to add support for DW_TAG_base_type encoded with DW_ATE = 0x%x, bit_size = %u\n", dw_ate, bit_size);
Greg Claytondc968d12011-05-17 18:15:05 +00001051 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001052 return ClangASTType ();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001053}
1054
Greg Clayton57ee3062013-07-11 22:46:58 +00001055ClangASTType
Sean Callanan77502262011-05-12 23:54:16 +00001056ClangASTContext::GetUnknownAnyType(clang::ASTContext *ast)
1057{
Greg Clayton57ee3062013-07-11 22:46:58 +00001058 if (ast)
1059 return ClangASTType (ast, ast->UnknownAnyTy.getAsOpaquePtr());
1060 return ClangASTType();
Sean Callanan77502262011-05-12 23:54:16 +00001061}
1062
Greg Clayton57ee3062013-07-11 22:46:58 +00001063ClangASTType
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001064ClangASTContext::GetCStringType (bool is_const)
1065{
Greg Clayton57ee3062013-07-11 22:46:58 +00001066 ASTContext *ast = getASTContext();
1067 QualType char_type(ast->CharTy);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001068
1069 if (is_const)
1070 char_type.addConst();
1071
Greg Clayton57ee3062013-07-11 22:46:58 +00001072 return ClangASTType (ast, ast->getPointerType(char_type).getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001073}
1074
Sean Callanan09ab4b72011-11-30 22:11:59 +00001075clang::DeclContext *
1076ClangASTContext::GetTranslationUnitDecl (clang::ASTContext *ast)
1077{
1078 return ast->getTranslationUnitDecl();
1079}
1080
Greg Clayton57ee3062013-07-11 22:46:58 +00001081ClangASTType
Greg Clayton38a61402010-12-02 23:20:03 +00001082ClangASTContext::CopyType (ASTContext *dst_ast,
Greg Clayton57ee3062013-07-11 22:46:58 +00001083 ClangASTType src)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001084{
Sean Callanan79439e82010-11-18 02:56:27 +00001085 FileSystemOptions file_system_options;
Greg Clayton57ee3062013-07-11 22:46:58 +00001086 ASTContext *src_ast = src.GetASTContext();
Greg Clayton38a61402010-12-02 23:20:03 +00001087 FileManager file_manager (file_system_options);
1088 ASTImporter importer(*dst_ast, file_manager,
Sean Callanan2c777c42011-01-18 23:32:05 +00001089 *src_ast, file_manager,
1090 false);
Sean Callanan0617fcb2010-11-09 22:37:10 +00001091
Greg Clayton57ee3062013-07-11 22:46:58 +00001092 QualType dst (importer.Import(src.GetQualType()));
Sean Callanan0617fcb2010-11-09 22:37:10 +00001093
Greg Clayton57ee3062013-07-11 22:46:58 +00001094 return ClangASTType (dst_ast, dst.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001095}
1096
Greg Clayton526e5af2010-11-13 03:52:47 +00001097
1098clang::Decl *
Greg Clayton38a61402010-12-02 23:20:03 +00001099ClangASTContext::CopyDecl (ASTContext *dst_ast,
1100 ASTContext *src_ast,
Greg Clayton526e5af2010-11-13 03:52:47 +00001101 clang::Decl *source_decl)
Sean Callanan7fddd4c2010-12-11 00:08:56 +00001102{
Sean Callanan79439e82010-11-18 02:56:27 +00001103 FileSystemOptions file_system_options;
Greg Clayton38a61402010-12-02 23:20:03 +00001104 FileManager file_manager (file_system_options);
1105 ASTImporter importer(*dst_ast, file_manager,
Sean Callanan2c777c42011-01-18 23:32:05 +00001106 *src_ast, file_manager,
1107 false);
Greg Clayton526e5af2010-11-13 03:52:47 +00001108
1109 return importer.Import(source_decl);
1110}
1111
Sean Callanan23a30272010-07-16 00:00:27 +00001112bool
Greg Clayton57ee3062013-07-11 22:46:58 +00001113ClangASTContext::AreTypesSame (ClangASTType type1,
1114 ClangASTType type2,
Greg Clayton84db9102012-03-26 23:03:23 +00001115 bool ignore_qualifiers)
Sean Callanan4dcca2622010-07-15 22:30:52 +00001116{
Greg Clayton57ee3062013-07-11 22:46:58 +00001117 ASTContext *ast = type1.GetASTContext();
1118 if (ast != type2.GetASTContext())
1119 return false;
1120
1121 if (type1.GetOpaqueQualType() == type2.GetOpaqueQualType())
Greg Clayton55995eb2012-04-06 17:38:55 +00001122 return true;
1123
Greg Clayton57ee3062013-07-11 22:46:58 +00001124 QualType type1_qual = type1.GetQualType();
1125 QualType type2_qual = type2.GetQualType();
Sean Callanan5056ab02012-02-18 02:01:03 +00001126
1127 if (ignore_qualifiers)
1128 {
1129 type1_qual = type1_qual.getUnqualifiedType();
1130 type2_qual = type2_qual.getUnqualifiedType();
1131 }
1132
Greg Clayton57ee3062013-07-11 22:46:58 +00001133 return ast->hasSameType (type1_qual, type2_qual);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001134}
1135
Sean Callanan9998acd2014-12-05 01:21:59 +00001136ClangASTType
1137ClangASTContext::GetTypeForDecl (clang::NamedDecl *decl)
1138{
1139 if (clang::ObjCInterfaceDecl *interface_decl = llvm::dyn_cast<clang::ObjCInterfaceDecl>(decl))
1140 return GetTypeForDecl(interface_decl);
1141 if (clang::TagDecl *tag_decl = llvm::dyn_cast<clang::TagDecl>(decl))
1142 return GetTypeForDecl(tag_decl);
1143 return ClangASTType();
1144}
1145
Greg Clayton6beaaa62011-01-17 03:46:26 +00001146
Greg Clayton57ee3062013-07-11 22:46:58 +00001147ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001148ClangASTContext::GetTypeForDecl (TagDecl *decl)
1149{
1150 // No need to call the getASTContext() accessor (which can create the AST
1151 // if it isn't created yet, because we can't have created a decl in this
1152 // AST if our AST didn't already exist...
Sean Callanan9998acd2014-12-05 01:21:59 +00001153 ASTContext *ast = &decl->getASTContext();
Greg Clayton57ee3062013-07-11 22:46:58 +00001154 if (ast)
1155 return ClangASTType (ast, ast->getTagDeclType(decl).getAsOpaquePtr());
1156 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001157}
1158
Greg Clayton57ee3062013-07-11 22:46:58 +00001159ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001160ClangASTContext::GetTypeForDecl (ObjCInterfaceDecl *decl)
1161{
1162 // No need to call the getASTContext() accessor (which can create the AST
1163 // if it isn't created yet, because we can't have created a decl in this
1164 // AST if our AST didn't already exist...
Sean Callanan9998acd2014-12-05 01:21:59 +00001165 ASTContext *ast = &decl->getASTContext();
Greg Clayton57ee3062013-07-11 22:46:58 +00001166 if (ast)
1167 return ClangASTType (ast, ast->getObjCInterfaceType(decl).getAsOpaquePtr());
1168 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001169}
1170
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001171#pragma mark Structure, Unions, Classes
1172
Greg Clayton57ee3062013-07-11 22:46:58 +00001173ClangASTType
Greg Claytonc4ffd662013-03-08 01:37:30 +00001174ClangASTContext::CreateRecordType (DeclContext *decl_ctx,
1175 AccessType access_type,
1176 const char *name,
1177 int kind,
1178 LanguageType language,
1179 ClangASTMetadata *metadata)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001180{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001181 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001182 assert (ast != nullptr);
Sean Callananad880762012-04-18 01:06:17 +00001183
Ed Masted4612ad2014-04-20 13:17:36 +00001184 if (decl_ctx == nullptr)
Greg Clayton6beaaa62011-01-17 03:46:26 +00001185 decl_ctx = ast->getTranslationUnitDecl();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001186
Greg Clayton9e409562010-07-28 02:04:09 +00001187
Greg Claytone1be9962011-08-24 23:50:00 +00001188 if (language == eLanguageTypeObjC || language == eLanguageTypeObjC_plus_plus)
Greg Clayton9e409562010-07-28 02:04:09 +00001189 {
Greg Claytonaaf99e02010-10-11 02:25:34 +00001190 bool isForwardDecl = true;
Greg Clayton9e409562010-07-28 02:04:09 +00001191 bool isInternal = false;
Sean Callananad880762012-04-18 01:06:17 +00001192 return CreateObjCClass (name, decl_ctx, isForwardDecl, isInternal, metadata);
Greg Clayton9e409562010-07-28 02:04:09 +00001193 }
1194
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001195 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1196 // we will need to update this code. I was told to currently always use
1197 // the CXXRecordDecl class since we often don't know from debug information
1198 // if something is struct or a class, so we default to always use the more
1199 // complete definition just in case.
Sean Callanan11e32d32014-02-18 00:31:38 +00001200
1201 bool is_anonymous = (!name) || (!name[0]);
1202
Greg Claytonf0705c82011-10-22 03:33:13 +00001203 CXXRecordDecl *decl = CXXRecordDecl::Create (*ast,
1204 (TagDecl::TagKind)kind,
1205 decl_ctx,
1206 SourceLocation(),
1207 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001208 is_anonymous ? nullptr : &ast->Idents.get(name));
Sean Callanan11e32d32014-02-18 00:31:38 +00001209
1210 if (is_anonymous)
1211 decl->setAnonymousStructOrUnion(true);
Sean Callanan7282e2a2012-01-13 22:10:18 +00001212
Greg Claytonc4ffd662013-03-08 01:37:30 +00001213 if (decl)
Greg Clayton55561e92011-10-26 03:31:36 +00001214 {
Greg Claytonc4ffd662013-03-08 01:37:30 +00001215 if (metadata)
Greg Claytond0029442013-03-27 01:48:02 +00001216 SetMetadata(ast, decl, *metadata);
Greg Claytonc4ffd662013-03-08 01:37:30 +00001217
Greg Clayton55561e92011-10-26 03:31:36 +00001218 if (access_type != eAccessNone)
1219 decl->setAccess (ConvertAccessTypeToAccessSpecifier (access_type));
Greg Claytonc4ffd662013-03-08 01:37:30 +00001220
1221 if (decl_ctx)
1222 decl_ctx->addDecl (decl);
1223
Greg Clayton57ee3062013-07-11 22:46:58 +00001224 return ClangASTType(ast, ast->getTagDeclType(decl).getAsOpaquePtr());
Greg Clayton55561e92011-10-26 03:31:36 +00001225 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001226 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001227}
1228
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001229static TemplateParameterList *
1230CreateTemplateParameterList (ASTContext *ast,
Sean Callanan3d654b32012-09-24 22:25:51 +00001231 const ClangASTContext::TemplateParameterInfos &template_param_infos,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001232 llvm::SmallVector<NamedDecl *, 8> &template_param_decls)
1233{
1234 const bool parameter_pack = false;
1235 const bool is_typename = false;
1236 const unsigned depth = 0;
1237 const size_t num_template_params = template_param_infos.GetSize();
1238 for (size_t i=0; i<num_template_params; ++i)
1239 {
1240 const char *name = template_param_infos.names[i];
Greg Clayton283b2652013-04-23 22:38:02 +00001241
Ed Masted4612ad2014-04-20 13:17:36 +00001242 IdentifierInfo *identifier_info = nullptr;
Greg Clayton283b2652013-04-23 22:38:02 +00001243 if (name && name[0])
1244 identifier_info = &ast->Idents.get(name);
Sean Callanan3d654b32012-09-24 22:25:51 +00001245 if (template_param_infos.args[i].getKind() == TemplateArgument::Integral)
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001246 {
1247 template_param_decls.push_back (NonTypeTemplateParmDecl::Create (*ast,
1248 ast->getTranslationUnitDecl(), // Is this the right decl context?, SourceLocation StartLoc,
1249 SourceLocation(),
1250 SourceLocation(),
1251 depth,
1252 i,
Greg Clayton283b2652013-04-23 22:38:02 +00001253 identifier_info,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001254 template_param_infos.args[i].getIntegralType(),
1255 parameter_pack,
Ed Masted4612ad2014-04-20 13:17:36 +00001256 nullptr));
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001257
1258 }
1259 else
1260 {
1261 template_param_decls.push_back (TemplateTypeParmDecl::Create (*ast,
1262 ast->getTranslationUnitDecl(), // Is this the right decl context?
1263 SourceLocation(),
1264 SourceLocation(),
1265 depth,
1266 i,
Greg Clayton283b2652013-04-23 22:38:02 +00001267 identifier_info,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001268 is_typename,
1269 parameter_pack));
1270 }
1271 }
1272
1273 TemplateParameterList *template_param_list = TemplateParameterList::Create (*ast,
1274 SourceLocation(),
1275 SourceLocation(),
1276 &template_param_decls.front(),
1277 template_param_decls.size(),
1278 SourceLocation());
1279 return template_param_list;
1280}
1281
1282clang::FunctionTemplateDecl *
1283ClangASTContext::CreateFunctionTemplateDecl (clang::DeclContext *decl_ctx,
1284 clang::FunctionDecl *func_decl,
1285 const char *name,
1286 const TemplateParameterInfos &template_param_infos)
1287{
1288// /// \brief Create a function template node.
1289 ASTContext *ast = getASTContext();
1290
1291 llvm::SmallVector<NamedDecl *, 8> template_param_decls;
1292
1293 TemplateParameterList *template_param_list = CreateTemplateParameterList (ast,
1294 template_param_infos,
1295 template_param_decls);
1296 FunctionTemplateDecl *func_tmpl_decl = FunctionTemplateDecl::Create (*ast,
1297 decl_ctx,
1298 func_decl->getLocation(),
1299 func_decl->getDeclName(),
1300 template_param_list,
1301 func_decl);
1302
1303 for (size_t i=0, template_param_decl_count = template_param_decls.size();
1304 i < template_param_decl_count;
1305 ++i)
1306 {
1307 // TODO: verify which decl context we should put template_param_decls into..
1308 template_param_decls[i]->setDeclContext (func_decl);
1309 }
1310
1311 return func_tmpl_decl;
1312}
1313
1314void
1315ClangASTContext::CreateFunctionTemplateSpecializationInfo (FunctionDecl *func_decl,
1316 clang::FunctionTemplateDecl *func_tmpl_decl,
1317 const TemplateParameterInfos &infos)
1318{
1319 TemplateArgumentList template_args (TemplateArgumentList::OnStack,
1320 infos.args.data(),
1321 infos.args.size());
1322
1323 func_decl->setFunctionTemplateSpecialization (func_tmpl_decl,
1324 &template_args,
Ed Masted4612ad2014-04-20 13:17:36 +00001325 nullptr);
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001326}
1327
1328
Greg Claytonf0705c82011-10-22 03:33:13 +00001329ClassTemplateDecl *
1330ClangASTContext::CreateClassTemplateDecl (DeclContext *decl_ctx,
Greg Clayton55561e92011-10-26 03:31:36 +00001331 lldb::AccessType access_type,
Greg Claytonf0705c82011-10-22 03:33:13 +00001332 const char *class_name,
1333 int kind,
1334 const TemplateParameterInfos &template_param_infos)
1335{
1336 ASTContext *ast = getASTContext();
1337
Ed Masted4612ad2014-04-20 13:17:36 +00001338 ClassTemplateDecl *class_template_decl = nullptr;
1339 if (decl_ctx == nullptr)
Greg Claytonf0705c82011-10-22 03:33:13 +00001340 decl_ctx = ast->getTranslationUnitDecl();
1341
1342 IdentifierInfo &identifier_info = ast->Idents.get(class_name);
1343 DeclarationName decl_name (&identifier_info);
1344
1345 clang::DeclContext::lookup_result result = decl_ctx->lookup(decl_name);
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001346
1347 for (NamedDecl *decl : result)
Greg Claytonf0705c82011-10-22 03:33:13 +00001348 {
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001349 class_template_decl = dyn_cast<clang::ClassTemplateDecl>(decl);
Greg Claytonf0705c82011-10-22 03:33:13 +00001350 if (class_template_decl)
1351 return class_template_decl;
1352 }
1353
1354 llvm::SmallVector<NamedDecl *, 8> template_param_decls;
Greg Claytonf0705c82011-10-22 03:33:13 +00001355
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001356 TemplateParameterList *template_param_list = CreateTemplateParameterList (ast,
1357 template_param_infos,
1358 template_param_decls);
Greg Claytonf0705c82011-10-22 03:33:13 +00001359
1360 CXXRecordDecl *template_cxx_decl = CXXRecordDecl::Create (*ast,
1361 (TagDecl::TagKind)kind,
1362 decl_ctx, // What decl context do we use here? TU? The actual decl context?
1363 SourceLocation(),
1364 SourceLocation(),
1365 &identifier_info);
Greg Claytone04741d2011-12-02 02:09:28 +00001366
1367 for (size_t i=0, template_param_decl_count = template_param_decls.size();
1368 i < template_param_decl_count;
1369 ++i)
1370 {
1371 template_param_decls[i]->setDeclContext (template_cxx_decl);
1372 }
1373
Sean Callananb5c79622011-11-19 01:35:08 +00001374 // With templated classes, we say that a class is templated with
1375 // specializations, but that the bare class has no functions.
Sean Callananfa4fab72013-02-01 06:55:48 +00001376 //template_cxx_decl->startDefinition();
1377 //template_cxx_decl->completeDefinition();
Sean Callananb5c79622011-11-19 01:35:08 +00001378
Greg Claytonf0705c82011-10-22 03:33:13 +00001379 class_template_decl = ClassTemplateDecl::Create (*ast,
1380 decl_ctx, // What decl context do we use here? TU? The actual decl context?
1381 SourceLocation(),
1382 decl_name,
1383 template_param_list,
1384 template_cxx_decl,
Ed Masted4612ad2014-04-20 13:17:36 +00001385 nullptr);
Greg Claytonf0705c82011-10-22 03:33:13 +00001386
1387 if (class_template_decl)
Sean Callanan5e9e1992011-10-26 01:06:27 +00001388 {
Greg Clayton55561e92011-10-26 03:31:36 +00001389 if (access_type != eAccessNone)
1390 class_template_decl->setAccess (ConvertAccessTypeToAccessSpecifier (access_type));
Sean Callanan5b26f272012-02-04 08:49:35 +00001391
1392 //if (TagDecl *ctx_tag_decl = dyn_cast<TagDecl>(decl_ctx))
1393 // CompleteTagDeclarationDefinition(GetTypeForDecl(ctx_tag_decl));
1394
Greg Claytonf0705c82011-10-22 03:33:13 +00001395 decl_ctx->addDecl (class_template_decl);
Sean Callanan5e9e1992011-10-26 01:06:27 +00001396
1397#ifdef LLDB_CONFIGURATION_DEBUG
1398 VerifyDecl(class_template_decl);
1399#endif
1400 }
Greg Claytonf0705c82011-10-22 03:33:13 +00001401
1402 return class_template_decl;
1403}
1404
1405
1406ClassTemplateSpecializationDecl *
1407ClangASTContext::CreateClassTemplateSpecializationDecl (DeclContext *decl_ctx,
1408 ClassTemplateDecl *class_template_decl,
1409 int kind,
1410 const TemplateParameterInfos &template_param_infos)
1411{
1412 ASTContext *ast = getASTContext();
1413 ClassTemplateSpecializationDecl *class_template_specialization_decl = ClassTemplateSpecializationDecl::Create (*ast,
1414 (TagDecl::TagKind)kind,
1415 decl_ctx,
1416 SourceLocation(),
1417 SourceLocation(),
1418 class_template_decl,
1419 &template_param_infos.args.front(),
1420 template_param_infos.args.size(),
Ed Masted4612ad2014-04-20 13:17:36 +00001421 nullptr);
Greg Claytonf0705c82011-10-22 03:33:13 +00001422
Sean Callananfa4fab72013-02-01 06:55:48 +00001423 class_template_specialization_decl->setSpecializationKind(TSK_ExplicitSpecialization);
1424
Greg Claytonf0705c82011-10-22 03:33:13 +00001425 return class_template_specialization_decl;
1426}
1427
Greg Clayton57ee3062013-07-11 22:46:58 +00001428ClangASTType
Greg Claytonf0705c82011-10-22 03:33:13 +00001429ClangASTContext::CreateClassTemplateSpecializationType (ClassTemplateSpecializationDecl *class_template_specialization_decl)
1430{
1431 if (class_template_specialization_decl)
1432 {
1433 ASTContext *ast = getASTContext();
1434 if (ast)
Greg Clayton57ee3062013-07-11 22:46:58 +00001435 return ClangASTType(ast, ast->getTagDeclType(class_template_specialization_decl).getAsOpaquePtr());
Greg Claytonf0705c82011-10-22 03:33:13 +00001436 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001437 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001438}
1439
Greg Clayton090d0982011-06-19 03:43:27 +00001440static inline bool
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001441check_op_param (uint32_t op_kind, bool unary, bool binary, uint32_t num_params)
Greg Clayton090d0982011-06-19 03:43:27 +00001442{
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001443 // Special-case call since it can take any number of operands
1444 if(op_kind == OO_Call)
1445 return true;
1446
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +00001447 // The parameter count doesn't include "this"
Greg Clayton090d0982011-06-19 03:43:27 +00001448 if (num_params == 0)
1449 return unary;
1450 if (num_params == 1)
1451 return binary;
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001452 else
Greg Clayton090d0982011-06-19 03:43:27 +00001453 return false;
1454}
Daniel Dunbardacdfb52011-10-31 22:50:57 +00001455
Greg Clayton090d0982011-06-19 03:43:27 +00001456bool
1457ClangASTContext::CheckOverloadedOperatorKindParameterCount (uint32_t op_kind, uint32_t num_params)
1458{
Sean Callanan5b26f272012-02-04 08:49:35 +00001459 switch (op_kind)
1460 {
1461 default:
1462 break;
1463 // C++ standard allows any number of arguments to new/delete
1464 case OO_New:
1465 case OO_Array_New:
1466 case OO_Delete:
1467 case OO_Array_Delete:
1468 return true;
1469 }
1470
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001471#define OVERLOADED_OPERATOR(Name,Spelling,Token,Unary,Binary,MemberOnly) case OO_##Name: return check_op_param (op_kind, Unary, Binary, num_params);
Greg Clayton090d0982011-06-19 03:43:27 +00001472 switch (op_kind)
1473 {
1474#include "clang/Basic/OperatorKinds.def"
1475 default: break;
1476 }
1477 return false;
1478}
1479
Greg Clayton57ee3062013-07-11 22:46:58 +00001480clang::AccessSpecifier
1481ClangASTContext::UnifyAccessSpecifiers (clang::AccessSpecifier lhs, clang::AccessSpecifier rhs)
Sean Callanane8c0cfb2012-03-02 01:03:45 +00001482{
1483 clang::AccessSpecifier ret = lhs;
1484
1485 // Make the access equal to the stricter of the field and the nested field's access
1486 switch (ret)
1487 {
1488 case clang::AS_none:
1489 break;
1490 case clang::AS_private:
1491 break;
1492 case clang::AS_protected:
1493 if (rhs == AS_private)
1494 ret = AS_private;
1495 break;
1496 case clang::AS_public:
1497 ret = rhs;
1498 break;
1499 }
1500
1501 return ret;
1502}
1503
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001504bool
1505ClangASTContext::FieldIsBitfield (FieldDecl* field, uint32_t& bitfield_bit_size)
1506{
1507 return FieldIsBitfield(getASTContext(), field, bitfield_bit_size);
1508}
1509
1510bool
1511ClangASTContext::FieldIsBitfield
1512(
Greg Clayton6beaaa62011-01-17 03:46:26 +00001513 ASTContext *ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001514 FieldDecl* field,
1515 uint32_t& bitfield_bit_size
1516)
1517{
Ed Masted4612ad2014-04-20 13:17:36 +00001518 if (ast == nullptr || field == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001519 return false;
1520
1521 if (field->isBitField())
1522 {
1523 Expr* bit_width_expr = field->getBitWidth();
1524 if (bit_width_expr)
1525 {
1526 llvm::APSInt bit_width_apsint;
Greg Clayton6beaaa62011-01-17 03:46:26 +00001527 if (bit_width_expr->isIntegerConstantExpr(bit_width_apsint, *ast))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001528 {
1529 bitfield_bit_size = bit_width_apsint.getLimitedValue(UINT32_MAX);
1530 return true;
1531 }
1532 }
1533 }
1534 return false;
1535}
1536
1537bool
1538ClangASTContext::RecordHasFields (const RecordDecl *record_decl)
1539{
Ed Masted4612ad2014-04-20 13:17:36 +00001540 if (record_decl == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001541 return false;
1542
1543 if (!record_decl->field_empty())
1544 return true;
1545
1546 // No fields, lets check this is a CXX record and check the base classes
1547 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1548 if (cxx_record_decl)
1549 {
1550 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1551 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1552 base_class != base_class_end;
1553 ++base_class)
1554 {
1555 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1556 if (RecordHasFields(base_class_decl))
1557 return true;
1558 }
1559 }
1560 return false;
1561}
1562
Greg Clayton8cf05932010-07-22 18:30:50 +00001563#pragma mark Objective C Classes
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001564
Greg Clayton57ee3062013-07-11 22:46:58 +00001565ClangASTType
Sean Callananad880762012-04-18 01:06:17 +00001566ClangASTContext::CreateObjCClass
Greg Clayton8cf05932010-07-22 18:30:50 +00001567(
1568 const char *name,
1569 DeclContext *decl_ctx,
1570 bool isForwardDecl,
Sean Callananad880762012-04-18 01:06:17 +00001571 bool isInternal,
Jim Ingham379397632012-10-27 02:54:13 +00001572 ClangASTMetadata *metadata
Greg Clayton8cf05932010-07-22 18:30:50 +00001573)
1574{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001575 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001576 assert (ast != nullptr);
Greg Clayton8cf05932010-07-22 18:30:50 +00001577 assert (name && name[0]);
Ed Masted4612ad2014-04-20 13:17:36 +00001578 if (decl_ctx == nullptr)
Greg Clayton6beaaa62011-01-17 03:46:26 +00001579 decl_ctx = ast->getTranslationUnitDecl();
Greg Clayton8cf05932010-07-22 18:30:50 +00001580
Greg Clayton6beaaa62011-01-17 03:46:26 +00001581 ObjCInterfaceDecl *decl = ObjCInterfaceDecl::Create (*ast,
Greg Clayton8cf05932010-07-22 18:30:50 +00001582 decl_ctx,
1583 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001584 &ast->Idents.get(name),
Ed Masted4612ad2014-04-20 13:17:36 +00001585 nullptr,
Greg Clayton8cf05932010-07-22 18:30:50 +00001586 SourceLocation(),
Sean Callanan5b26f272012-02-04 08:49:35 +00001587 /*isForwardDecl,*/
Greg Clayton8cf05932010-07-22 18:30:50 +00001588 isInternal);
Greg Clayton9e409562010-07-28 02:04:09 +00001589
Jim Ingham379397632012-10-27 02:54:13 +00001590 if (decl && metadata)
Greg Claytond0029442013-03-27 01:48:02 +00001591 SetMetadata(ast, decl, *metadata);
Sean Callananad880762012-04-18 01:06:17 +00001592
Greg Clayton57ee3062013-07-11 22:46:58 +00001593 return ClangASTType (ast, ast->getObjCInterfaceType(decl));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001594}
1595
1596static inline bool
1597BaseSpecifierIsEmpty (const CXXBaseSpecifier *b)
1598{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001599 return ClangASTContext::RecordHasFields(b->getType()->getAsCXXRecordDecl()) == false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001600}
1601
Greg Clayton57ee3062013-07-11 22:46:58 +00001602uint32_t
1603ClangASTContext::GetNumBaseClasses (const CXXRecordDecl *cxx_record_decl, bool omit_empty_base_classes)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001604{
1605 uint32_t num_bases = 0;
1606 if (cxx_record_decl)
1607 {
1608 if (omit_empty_base_classes)
1609 {
1610 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1611 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1612 base_class != base_class_end;
1613 ++base_class)
1614 {
1615 // Skip empty base classes
1616 if (omit_empty_base_classes)
1617 {
1618 if (BaseSpecifierIsEmpty (base_class))
1619 continue;
1620 }
1621 ++num_bases;
1622 }
1623 }
1624 else
1625 num_bases = cxx_record_decl->getNumBases();
1626 }
1627 return num_bases;
1628}
1629
1630
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001631#pragma mark Namespace Declarations
1632
1633NamespaceDecl *
Greg Clayton030a2042011-10-14 21:34:45 +00001634ClangASTContext::GetUniqueNamespaceDeclaration (const char *name, DeclContext *decl_ctx)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001635{
Ed Masted4612ad2014-04-20 13:17:36 +00001636 NamespaceDecl *namespace_decl = nullptr;
Greg Clayton9d3d6882011-10-31 23:51:19 +00001637 ASTContext *ast = getASTContext();
1638 TranslationUnitDecl *translation_unit_decl = ast->getTranslationUnitDecl ();
Ed Masted4612ad2014-04-20 13:17:36 +00001639 if (decl_ctx == nullptr)
Greg Clayton9d3d6882011-10-31 23:51:19 +00001640 decl_ctx = translation_unit_decl;
1641
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001642 if (name)
1643 {
Greg Clayton030a2042011-10-14 21:34:45 +00001644 IdentifierInfo &identifier_info = ast->Idents.get(name);
1645 DeclarationName decl_name (&identifier_info);
1646 clang::DeclContext::lookup_result result = decl_ctx->lookup(decl_name);
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001647 for (NamedDecl *decl : result)
Greg Clayton030a2042011-10-14 21:34:45 +00001648 {
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001649 namespace_decl = dyn_cast<clang::NamespaceDecl>(decl);
Greg Clayton030a2042011-10-14 21:34:45 +00001650 if (namespace_decl)
1651 return namespace_decl;
1652 }
1653
Sean Callanan5b26f272012-02-04 08:49:35 +00001654 namespace_decl = NamespaceDecl::Create(*ast,
1655 decl_ctx,
1656 false,
1657 SourceLocation(),
1658 SourceLocation(),
1659 &identifier_info,
Ed Masted4612ad2014-04-20 13:17:36 +00001660 nullptr);
Greg Clayton030a2042011-10-14 21:34:45 +00001661
Greg Clayton9d3d6882011-10-31 23:51:19 +00001662 decl_ctx->addDecl (namespace_decl);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001663 }
Greg Clayton9d3d6882011-10-31 23:51:19 +00001664 else
1665 {
1666 if (decl_ctx == translation_unit_decl)
1667 {
1668 namespace_decl = translation_unit_decl->getAnonymousNamespace();
1669 if (namespace_decl)
1670 return namespace_decl;
1671
Sean Callanan5b26f272012-02-04 08:49:35 +00001672 namespace_decl = NamespaceDecl::Create(*ast,
1673 decl_ctx,
1674 false,
1675 SourceLocation(),
1676 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001677 nullptr,
1678 nullptr);
Greg Clayton9d3d6882011-10-31 23:51:19 +00001679 translation_unit_decl->setAnonymousNamespace (namespace_decl);
1680 translation_unit_decl->addDecl (namespace_decl);
1681 assert (namespace_decl == translation_unit_decl->getAnonymousNamespace());
1682 }
1683 else
1684 {
1685 NamespaceDecl *parent_namespace_decl = cast<NamespaceDecl>(decl_ctx);
1686 if (parent_namespace_decl)
1687 {
1688 namespace_decl = parent_namespace_decl->getAnonymousNamespace();
1689 if (namespace_decl)
1690 return namespace_decl;
Sean Callanan5b26f272012-02-04 08:49:35 +00001691 namespace_decl = NamespaceDecl::Create(*ast,
1692 decl_ctx,
1693 false,
1694 SourceLocation(),
1695 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001696 nullptr,
1697 nullptr);
Greg Clayton9d3d6882011-10-31 23:51:19 +00001698 parent_namespace_decl->setAnonymousNamespace (namespace_decl);
1699 parent_namespace_decl->addDecl (namespace_decl);
1700 assert (namespace_decl == parent_namespace_decl->getAnonymousNamespace());
1701 }
1702 else
1703 {
1704 // BAD!!!
1705 }
1706 }
1707
1708
1709 if (namespace_decl)
1710 {
1711 // If we make it here, we are creating the anonymous namespace decl
1712 // for the first time, so we need to do the using directive magic
1713 // like SEMA does
1714 UsingDirectiveDecl* using_directive_decl = UsingDirectiveDecl::Create (*ast,
1715 decl_ctx,
1716 SourceLocation(),
1717 SourceLocation(),
1718 NestedNameSpecifierLoc(),
1719 SourceLocation(),
1720 namespace_decl,
1721 decl_ctx);
1722 using_directive_decl->setImplicit();
1723 decl_ctx->addDecl(using_directive_decl);
1724 }
1725 }
1726#ifdef LLDB_CONFIGURATION_DEBUG
1727 VerifyDecl(namespace_decl);
1728#endif
Greg Clayton030a2042011-10-14 21:34:45 +00001729 return namespace_decl;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001730}
1731
1732
1733#pragma mark Function Types
1734
1735FunctionDecl *
Greg Clayton57ee3062013-07-11 22:46:58 +00001736ClangASTContext::CreateFunctionDeclaration (DeclContext *decl_ctx,
1737 const char *name,
1738 const ClangASTType &function_clang_type,
1739 int storage,
1740 bool is_inline)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001741{
Ed Masted4612ad2014-04-20 13:17:36 +00001742 FunctionDecl *func_decl = nullptr;
Greg Clayton147e1fa2011-10-14 22:47:18 +00001743 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001744 if (decl_ctx == nullptr)
Greg Clayton147e1fa2011-10-14 22:47:18 +00001745 decl_ctx = ast->getTranslationUnitDecl();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001746
Greg Clayton0d551042013-06-28 21:08:47 +00001747
1748 const bool hasWrittenPrototype = true;
1749 const bool isConstexprSpecified = false;
1750
Greg Clayton147e1fa2011-10-14 22:47:18 +00001751 if (name && name[0])
1752 {
1753 func_decl = FunctionDecl::Create (*ast,
1754 decl_ctx,
1755 SourceLocation(),
1756 SourceLocation(),
1757 DeclarationName (&ast->Idents.get(name)),
Greg Clayton57ee3062013-07-11 22:46:58 +00001758 function_clang_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001759 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001760 (clang::StorageClass)storage,
Greg Clayton0d551042013-06-28 21:08:47 +00001761 is_inline,
1762 hasWrittenPrototype,
1763 isConstexprSpecified);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001764 }
Greg Clayton147e1fa2011-10-14 22:47:18 +00001765 else
1766 {
1767 func_decl = FunctionDecl::Create (*ast,
1768 decl_ctx,
1769 SourceLocation(),
1770 SourceLocation(),
1771 DeclarationName (),
Greg Clayton57ee3062013-07-11 22:46:58 +00001772 function_clang_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001773 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001774 (clang::StorageClass)storage,
Greg Clayton0d551042013-06-28 21:08:47 +00001775 is_inline,
1776 hasWrittenPrototype,
1777 isConstexprSpecified);
Greg Clayton147e1fa2011-10-14 22:47:18 +00001778 }
1779 if (func_decl)
1780 decl_ctx->addDecl (func_decl);
Sean Callanan5e9e1992011-10-26 01:06:27 +00001781
1782#ifdef LLDB_CONFIGURATION_DEBUG
1783 VerifyDecl(func_decl);
1784#endif
1785
Greg Clayton147e1fa2011-10-14 22:47:18 +00001786 return func_decl;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001787}
1788
Greg Clayton57ee3062013-07-11 22:46:58 +00001789ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001790ClangASTContext::CreateFunctionType (ASTContext *ast,
Greg Clayton57ee3062013-07-11 22:46:58 +00001791 const ClangASTType& result_type,
1792 const ClangASTType *args,
Sean Callananc81256a2010-09-16 20:40:25 +00001793 unsigned num_args,
1794 bool is_variadic,
1795 unsigned type_quals)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001796{
Ed Masted4612ad2014-04-20 13:17:36 +00001797 assert (ast != nullptr);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001798 std::vector<QualType> qual_type_args;
1799 for (unsigned i=0; i<num_args; ++i)
Greg Clayton57ee3062013-07-11 22:46:58 +00001800 qual_type_args.push_back (args[i].GetQualType());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001801
1802 // TODO: Detect calling convention in DWARF?
Sean Callanan2c777c42011-01-18 23:32:05 +00001803 FunctionProtoType::ExtProtoInfo proto_info;
1804 proto_info.Variadic = is_variadic;
Sylvestre Ledru186ca7d2014-08-01 12:19:15 +00001805 proto_info.ExceptionSpec = EST_None;
Sean Callanan2c777c42011-01-18 23:32:05 +00001806 proto_info.TypeQuals = type_quals;
Sean Callananfb0b7582011-03-15 00:17:19 +00001807 proto_info.RefQualifier = RQ_None;
Sylvestre Ledru186ca7d2014-08-01 12:19:15 +00001808
Greg Clayton57ee3062013-07-11 22:46:58 +00001809 return ClangASTType (ast, ast->getFunctionType (result_type.GetQualType(),
1810 qual_type_args,
1811 proto_info).getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001812}
1813
1814ParmVarDecl *
Greg Clayton57ee3062013-07-11 22:46:58 +00001815ClangASTContext::CreateParameterDeclaration (const char *name, const ClangASTType &param_type, int storage)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001816{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001817 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001818 assert (ast != nullptr);
Greg Clayton6beaaa62011-01-17 03:46:26 +00001819 return ParmVarDecl::Create(*ast,
1820 ast->getTranslationUnitDecl(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001821 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00001822 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001823 name && name[0] ? &ast->Idents.get(name) : nullptr,
Greg Clayton57ee3062013-07-11 22:46:58 +00001824 param_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001825 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001826 (clang::StorageClass)storage,
Ed Masted4612ad2014-04-20 13:17:36 +00001827 nullptr);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001828}
1829
1830void
1831ClangASTContext::SetFunctionParameters (FunctionDecl *function_decl, ParmVarDecl **params, unsigned num_params)
1832{
1833 if (function_decl)
Sean Callanan880e6802011-10-07 23:18:13 +00001834 function_decl->setParams (ArrayRef<ParmVarDecl*>(params, num_params));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001835}
1836
1837
1838#pragma mark Array Types
1839
Greg Clayton57ee3062013-07-11 22:46:58 +00001840ClangASTType
1841ClangASTContext::CreateArrayType (const ClangASTType &element_type,
Greg Clayton1c8ef472013-04-05 23:27:21 +00001842 size_t element_count,
1843 bool is_vector)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001844{
Greg Clayton57ee3062013-07-11 22:46:58 +00001845 if (element_type.IsValid())
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001846 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001847 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001848 assert (ast != nullptr);
Greg Clayton4ef877f2012-12-06 02:33:54 +00001849
Greg Clayton1c8ef472013-04-05 23:27:21 +00001850 if (is_vector)
1851 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001852 return ClangASTType (ast, ast->getExtVectorType(element_type.GetQualType(), element_count).getAsOpaquePtr());
Greg Clayton4ef877f2012-12-06 02:33:54 +00001853 }
1854 else
1855 {
Greg Clayton1c8ef472013-04-05 23:27:21 +00001856
1857 llvm::APInt ap_element_count (64, element_count);
1858 if (element_count == 0)
1859 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001860 return ClangASTType (ast, ast->getIncompleteArrayType (element_type.GetQualType(),
1861 ArrayType::Normal,
1862 0).getAsOpaquePtr());
Greg Clayton1c8ef472013-04-05 23:27:21 +00001863 }
1864 else
1865 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001866 return ClangASTType (ast, ast->getConstantArrayType (element_type.GetQualType(),
1867 ap_element_count,
1868 ArrayType::Normal,
1869 0).getAsOpaquePtr());
Greg Clayton1c8ef472013-04-05 23:27:21 +00001870 }
Greg Clayton4ef877f2012-12-06 02:33:54 +00001871 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001872 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001873 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001874}
1875
Enrico Granata76b08d52014-10-29 23:08:02 +00001876ClangASTType
1877ClangASTContext::GetOrCreateStructForIdentifier (const ConstString &type_name,
Enrico Granataa449e862014-10-30 00:53:28 +00001878 const std::initializer_list< std::pair < const char *, ClangASTType > >& type_fields,
1879 bool packed)
Enrico Granata76b08d52014-10-29 23:08:02 +00001880{
1881 ClangASTType type;
1882 if ((type = GetTypeForIdentifier<clang::CXXRecordDecl>(type_name)).IsValid())
1883 return type;
1884 type = CreateRecordType(nullptr, lldb::eAccessPublic, type_name.GetCString(), clang::TTK_Struct, lldb::eLanguageTypeC);
1885 type.StartTagDeclarationDefinition();
1886 for (const auto& field : type_fields)
1887 type.AddFieldToRecordType(field.first, field.second, lldb::eAccessPublic, 0);
Enrico Granataa449e862014-10-30 00:53:28 +00001888 if (packed)
1889 type.SetIsPacked();
Enrico Granata76b08d52014-10-29 23:08:02 +00001890 type.CompleteTagDeclarationDefinition();
1891 return type;
1892}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001893
1894#pragma mark Enumeration Types
1895
Greg Clayton57ee3062013-07-11 22:46:58 +00001896ClangASTType
Greg Claytonca512b32011-01-14 04:54:56 +00001897ClangASTContext::CreateEnumerationType
1898(
1899 const char *name,
1900 DeclContext *decl_ctx,
1901 const Declaration &decl,
Greg Clayton57ee3062013-07-11 22:46:58 +00001902 const ClangASTType &integer_clang_type
Greg Claytonca512b32011-01-14 04:54:56 +00001903)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001904{
1905 // TODO: Do something intelligent with the Declaration object passed in
1906 // like maybe filling in the SourceLocation with it...
Greg Clayton6beaaa62011-01-17 03:46:26 +00001907 ASTContext *ast = getASTContext();
Greg Claytone02b8502010-10-12 04:29:14 +00001908
1909 // TODO: ask about these...
1910// const bool IsScoped = false;
1911// const bool IsFixed = false;
1912
Greg Clayton6beaaa62011-01-17 03:46:26 +00001913 EnumDecl *enum_decl = EnumDecl::Create (*ast,
Greg Claytonca512b32011-01-14 04:54:56 +00001914 decl_ctx,
Greg Claytone02b8502010-10-12 04:29:14 +00001915 SourceLocation(),
Greg Claytone02b8502010-10-12 04:29:14 +00001916 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001917 name && name[0] ? &ast->Idents.get(name) : nullptr,
1918 nullptr,
Sean Callanan48114472010-12-13 01:26:27 +00001919 false, // IsScoped
1920 false, // IsScopedUsingClassTag
1921 false); // IsFixed
Sean Callanan2652ad22011-01-18 01:03:44 +00001922
1923
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001924 if (enum_decl)
Greg Clayton83ff3892010-09-12 23:17:56 +00001925 {
1926 // TODO: check if we should be setting the promotion type too?
Greg Clayton57ee3062013-07-11 22:46:58 +00001927 enum_decl->setIntegerType(integer_clang_type.GetQualType());
Sean Callanan2652ad22011-01-18 01:03:44 +00001928
1929 enum_decl->setAccess(AS_public); // TODO respect what's in the debug info
1930
Greg Clayton57ee3062013-07-11 22:46:58 +00001931 return ClangASTType (ast, ast->getTagDeclType(enum_decl).getAsOpaquePtr());
Greg Clayton83ff3892010-09-12 23:17:56 +00001932 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001933 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001934}
1935
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001936// Disable this for now since I can't seem to get a nicely formatted float
1937// out of the APFloat class without just getting the float, double or quad
1938// and then using a formatted print on it which defeats the purpose. We ideally
1939// would like to get perfect string values for any kind of float semantics
1940// so we can support remote targets. The code below also requires a patch to
1941// llvm::APInt.
1942//bool
Greg Clayton6beaaa62011-01-17 03:46:26 +00001943//ClangASTContext::ConvertFloatValueToString (ASTContext *ast, clang_type_t clang_type, const uint8_t* bytes, size_t byte_size, int apint_byte_order, std::string &float_str)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001944//{
1945// uint32_t count = 0;
1946// bool is_complex = false;
1947// if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
1948// {
1949// unsigned num_bytes_per_float = byte_size / count;
1950// unsigned num_bits_per_float = num_bytes_per_float * 8;
1951//
1952// float_str.clear();
1953// uint32_t i;
1954// for (i=0; i<count; i++)
1955// {
1956// APInt ap_int(num_bits_per_float, bytes + i * num_bytes_per_float, (APInt::ByteOrder)apint_byte_order);
1957// bool is_ieee = false;
1958// APFloat ap_float(ap_int, is_ieee);
1959// char s[1024];
1960// unsigned int hex_digits = 0;
1961// bool upper_case = false;
1962//
1963// if (ap_float.convertToHexString(s, hex_digits, upper_case, APFloat::rmNearestTiesToEven) > 0)
1964// {
1965// if (i > 0)
1966// float_str.append(", ");
1967// float_str.append(s);
1968// if (i == 1 && is_complex)
1969// float_str.append(1, 'i');
1970// }
1971// }
1972// return !float_str.empty();
1973// }
1974// return false;
1975//}
1976
Enrico Granatae8bf7492014-08-15 23:00:02 +00001977ClangASTType
1978ClangASTContext::GetIntTypeFromBitSize (clang::ASTContext *ast,
1979 size_t bit_size, bool is_signed)
1980{
1981 if (ast)
1982 {
1983 if (is_signed)
1984 {
1985 if (bit_size == ast->getTypeSize(ast->SignedCharTy))
1986 return ClangASTType(ast, ast->SignedCharTy.getAsOpaquePtr());
1987
1988 if (bit_size == ast->getTypeSize(ast->ShortTy))
1989 return ClangASTType(ast, ast->ShortTy.getAsOpaquePtr());
1990
1991 if (bit_size == ast->getTypeSize(ast->IntTy))
1992 return ClangASTType(ast, ast->IntTy.getAsOpaquePtr());
1993
1994 if (bit_size == ast->getTypeSize(ast->LongTy))
1995 return ClangASTType(ast, ast->LongTy.getAsOpaquePtr());
1996
1997 if (bit_size == ast->getTypeSize(ast->LongLongTy))
1998 return ClangASTType(ast, ast->LongLongTy.getAsOpaquePtr());
1999
2000 if (bit_size == ast->getTypeSize(ast->Int128Ty))
2001 return ClangASTType(ast, ast->Int128Ty.getAsOpaquePtr());
2002 }
2003 else
2004 {
2005 if (bit_size == ast->getTypeSize(ast->UnsignedCharTy))
2006 return ClangASTType(ast, ast->UnsignedCharTy.getAsOpaquePtr());
2007
2008 if (bit_size == ast->getTypeSize(ast->UnsignedShortTy))
2009 return ClangASTType(ast, ast->UnsignedShortTy.getAsOpaquePtr());
2010
2011 if (bit_size == ast->getTypeSize(ast->UnsignedIntTy))
2012 return ClangASTType(ast, ast->UnsignedIntTy.getAsOpaquePtr());
2013
2014 if (bit_size == ast->getTypeSize(ast->UnsignedLongTy))
2015 return ClangASTType(ast, ast->UnsignedLongTy.getAsOpaquePtr());
2016
2017 if (bit_size == ast->getTypeSize(ast->UnsignedLongLongTy))
2018 return ClangASTType(ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
2019
2020 if (bit_size == ast->getTypeSize(ast->UnsignedInt128Ty))
2021 return ClangASTType(ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
2022 }
2023 }
2024 return ClangASTType();
2025}
2026
2027ClangASTType
2028ClangASTContext::GetPointerSizedIntType (clang::ASTContext *ast, bool is_signed)
2029{
2030 if (ast)
2031 return GetIntTypeFromBitSize(ast, ast->getTypeSize(ast->VoidPtrTy), is_signed);
2032 return ClangASTType();
2033}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002034
Greg Clayton57ee3062013-07-11 22:46:58 +00002035ClangASTType
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002036ClangASTContext::GetFloatTypeFromBitSize (clang::ASTContext *ast,
2037 size_t bit_size)
2038{
2039 if (ast)
2040 {
2041 if (bit_size == ast->getTypeSize(ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002042 return ClangASTType(ast, ast->FloatTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002043 else if (bit_size == ast->getTypeSize(ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002044 return ClangASTType(ast, ast->DoubleTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002045 else if (bit_size == ast->getTypeSize(ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002046 return ClangASTType(ast, ast->LongDoubleTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002047 else if (bit_size == ast->getTypeSize(ast->HalfTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002048 return ClangASTType(ast, ast->HalfTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002049 }
Greg Clayton57ee3062013-07-11 22:46:58 +00002050 return ClangASTType();
Enrico Granata86027e92012-03-24 01:11:14 +00002051}
2052
2053bool
Greg Claytona2721472011-06-25 00:44:06 +00002054ClangASTContext::GetCompleteDecl (clang::ASTContext *ast,
2055 clang::Decl *decl)
2056{
2057 if (!decl)
2058 return false;
2059
2060 ExternalASTSource *ast_source = ast->getExternalSource();
2061
2062 if (!ast_source)
2063 return false;
2064
2065 if (clang::TagDecl *tag_decl = llvm::dyn_cast<clang::TagDecl>(decl))
2066 {
Greg Clayton219cf312012-03-30 00:51:13 +00002067 if (tag_decl->isCompleteDefinition())
Greg Claytona2721472011-06-25 00:44:06 +00002068 return true;
2069
2070 if (!tag_decl->hasExternalLexicalStorage())
2071 return false;
2072
2073 ast_source->CompleteType(tag_decl);
2074
2075 return !tag_decl->getTypeForDecl()->isIncompleteType();
2076 }
2077 else if (clang::ObjCInterfaceDecl *objc_interface_decl = llvm::dyn_cast<clang::ObjCInterfaceDecl>(decl))
2078 {
Sean Callanan5b26f272012-02-04 08:49:35 +00002079 if (objc_interface_decl->getDefinition())
Greg Claytona2721472011-06-25 00:44:06 +00002080 return true;
2081
2082 if (!objc_interface_decl->hasExternalLexicalStorage())
2083 return false;
2084
2085 ast_source->CompleteType(objc_interface_decl);
2086
Sean Callanan5b26f272012-02-04 08:49:35 +00002087 return !objc_interface_decl->getTypeForDecl()->isIncompleteType();
Greg Claytona2721472011-06-25 00:44:06 +00002088 }
2089 else
2090 {
2091 return false;
2092 }
2093}
2094
Sean Callanan60217122012-04-13 00:10:03 +00002095void
Greg Claytond0029442013-03-27 01:48:02 +00002096ClangASTContext::SetMetadataAsUserID (const void *object,
Jim Ingham379397632012-10-27 02:54:13 +00002097 user_id_t user_id)
2098{
2099 ClangASTMetadata meta_data;
2100 meta_data.SetUserID (user_id);
2101 SetMetadata (object, meta_data);
2102}
2103
2104void
Sean Callanan60217122012-04-13 00:10:03 +00002105ClangASTContext::SetMetadata (clang::ASTContext *ast,
Greg Claytond0029442013-03-27 01:48:02 +00002106 const void *object,
Jim Ingham379397632012-10-27 02:54:13 +00002107 ClangASTMetadata &metadata)
Sean Callanan60217122012-04-13 00:10:03 +00002108{
2109 ClangExternalASTSourceCommon *external_source =
Sean Callananceeb74e2014-12-06 01:03:30 +00002110 ClangExternalASTSourceCommon::Lookup(ast->getExternalSource());
Sean Callanan60217122012-04-13 00:10:03 +00002111
2112 if (external_source)
2113 external_source->SetMetadata(object, metadata);
2114}
2115
Jim Ingham379397632012-10-27 02:54:13 +00002116ClangASTMetadata *
Sean Callanan60217122012-04-13 00:10:03 +00002117ClangASTContext::GetMetadata (clang::ASTContext *ast,
Greg Claytond0029442013-03-27 01:48:02 +00002118 const void *object)
Sean Callanan60217122012-04-13 00:10:03 +00002119{
2120 ClangExternalASTSourceCommon *external_source =
Sean Callananceeb74e2014-12-06 01:03:30 +00002121 ClangExternalASTSourceCommon::Lookup(ast->getExternalSource());
Sean Callanan60217122012-04-13 00:10:03 +00002122
2123 if (external_source && external_source->HasMetadata(object))
2124 return external_source->GetMetadata(object);
2125 else
Ed Masted4612ad2014-04-20 13:17:36 +00002126 return nullptr;
Sean Callanan60217122012-04-13 00:10:03 +00002127}
2128
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002129clang::DeclContext *
2130ClangASTContext::GetAsDeclContext (clang::CXXMethodDecl *cxx_method_decl)
2131{
Sean Callanana87bee82011-08-19 06:19:25 +00002132 return llvm::dyn_cast<clang::DeclContext>(cxx_method_decl);
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002133}
2134
2135clang::DeclContext *
2136ClangASTContext::GetAsDeclContext (clang::ObjCMethodDecl *objc_method_decl)
2137{
Sean Callanana87bee82011-08-19 06:19:25 +00002138 return llvm::dyn_cast<clang::DeclContext>(objc_method_decl);
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002139}
2140
Greg Clayton685c88c2012-07-14 00:53:55 +00002141
2142bool
2143ClangASTContext::GetClassMethodInfoForDeclContext (clang::DeclContext *decl_ctx,
2144 lldb::LanguageType &language,
2145 bool &is_instance_method,
2146 ConstString &language_object_name)
2147{
2148 language_object_name.Clear();
2149 language = eLanguageTypeUnknown;
2150 is_instance_method = false;
2151
2152 if (decl_ctx)
2153 {
2154 if (clang::CXXMethodDecl *method_decl = llvm::dyn_cast<clang::CXXMethodDecl>(decl_ctx))
2155 {
2156 if (method_decl->isStatic())
2157 {
2158 is_instance_method = false;
2159 }
2160 else
2161 {
2162 language_object_name.SetCString("this");
2163 is_instance_method = true;
2164 }
2165 language = eLanguageTypeC_plus_plus;
2166 return true;
2167 }
2168 else if (clang::ObjCMethodDecl *method_decl = llvm::dyn_cast<clang::ObjCMethodDecl>(decl_ctx))
2169 {
2170 // Both static and instance methods have a "self" object in objective C
2171 language_object_name.SetCString("self");
2172 if (method_decl->isInstanceMethod())
2173 {
2174 is_instance_method = true;
2175 }
2176 else
2177 {
2178 is_instance_method = false;
2179 }
2180 language = eLanguageTypeObjC;
2181 return true;
2182 }
Jim Ingham379397632012-10-27 02:54:13 +00002183 else if (clang::FunctionDecl *function_decl = llvm::dyn_cast<clang::FunctionDecl>(decl_ctx))
2184 {
Greg Claytond0029442013-03-27 01:48:02 +00002185 ClangASTMetadata *metadata = GetMetadata (&decl_ctx->getParentASTContext(), function_decl);
Jim Ingham379397632012-10-27 02:54:13 +00002186 if (metadata && metadata->HasObjectPtr())
2187 {
2188 language_object_name.SetCString (metadata->GetObjectPtrName());
2189 language = eLanguageTypeObjC;
2190 is_instance_method = true;
2191 }
2192 return true;
2193 }
Greg Clayton685c88c2012-07-14 00:53:55 +00002194 }
2195 return false;
2196}
2197