blob: 8495e1ea71e1fbfdff48a218bcef483ecadc3598 [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
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000112static void
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000113ParseLangArgs (LangOptions &Opts, InputKind IK, const char* triple)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000114{
115 // FIXME: Cleanup per-file based stuff.
116
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +0000117 // Set some properties which depend solely on the input kind; it would be nice
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000118 // to move these to the language standard, and have the driver resolve the
119 // input kind + language standard.
Greg Clayton94e5d782010-06-13 17:34:29 +0000120 if (IK == IK_Asm) {
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000121 Opts.AsmPreprocessor = 1;
Greg Clayton94e5d782010-06-13 17:34:29 +0000122 } else if (IK == IK_ObjC ||
123 IK == IK_ObjCXX ||
124 IK == IK_PreprocessedObjC ||
125 IK == IK_PreprocessedObjCXX) {
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000126 Opts.ObjC1 = Opts.ObjC2 = 1;
127 }
128
129 LangStandard::Kind LangStd = LangStandard::lang_unspecified;
130
131 if (LangStd == LangStandard::lang_unspecified) {
132 // Based on the base language, pick one.
133 switch (IK) {
Greg Clayton94e5d782010-06-13 17:34:29 +0000134 case IK_None:
135 case IK_AST:
Sean Callananfb0b7582011-03-15 00:17:19 +0000136 case IK_LLVM_IR:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000137 assert (!"Invalid input kind!");
Greg Clayton94e5d782010-06-13 17:34:29 +0000138 case IK_OpenCL:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000139 LangStd = LangStandard::lang_opencl;
140 break;
Sean Callananfb0b7582011-03-15 00:17:19 +0000141 case IK_CUDA:
Artem Belevich52210ae2015-03-19 18:12:26 +0000142 case IK_PreprocessedCuda:
Sean Callananfb0b7582011-03-15 00:17:19 +0000143 LangStd = LangStandard::lang_cuda;
144 break;
Greg Clayton94e5d782010-06-13 17:34:29 +0000145 case IK_Asm:
146 case IK_C:
147 case IK_PreprocessedC:
148 case IK_ObjC:
149 case IK_PreprocessedObjC:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000150 LangStd = LangStandard::lang_gnu99;
151 break;
Greg Clayton94e5d782010-06-13 17:34:29 +0000152 case IK_CXX:
153 case IK_PreprocessedCXX:
154 case IK_ObjCXX:
155 case IK_PreprocessedObjCXX:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000156 LangStd = LangStandard::lang_gnucxx98;
157 break;
158 }
159 }
160
161 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
Filipe Cabecinhase818ca22012-11-12 21:26:32 +0000162 Opts.LineComment = Std.hasLineComments();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000163 Opts.C99 = Std.isC99();
164 Opts.CPlusPlus = Std.isCPlusPlus();
Chandler Carruth38336a12013-01-02 12:55:00 +0000165 Opts.CPlusPlus11 = Std.isCPlusPlus11();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000166 Opts.Digraphs = Std.hasDigraphs();
167 Opts.GNUMode = Std.isGNUMode();
168 Opts.GNUInline = !Std.isC99();
169 Opts.HexFloats = Std.hasHexFloats();
170 Opts.ImplicitInt = Std.hasImplicitInt();
Enrico Granatac921e342013-01-10 02:37:22 +0000171
172 Opts.WChar = true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000173
174 // OpenCL has some additional defaults.
175 if (LangStd == LangStandard::lang_opencl) {
176 Opts.OpenCL = 1;
177 Opts.AltiVec = 1;
178 Opts.CXXOperatorNames = 1;
179 Opts.LaxVectorConversions = 1;
180 }
181
182 // OpenCL and C++ both have bool, true, false keywords.
183 Opts.Bool = Opts.OpenCL || Opts.CPlusPlus;
184
185// if (Opts.CPlusPlus)
186// Opts.CXXOperatorNames = !Args.hasArg(OPT_fno_operator_names);
187//
188// if (Args.hasArg(OPT_fobjc_gc_only))
189// Opts.setGCMode(LangOptions::GCOnly);
190// else if (Args.hasArg(OPT_fobjc_gc))
191// Opts.setGCMode(LangOptions::HybridGC);
192//
193// if (Args.hasArg(OPT_print_ivar_layout))
194// Opts.ObjCGCBitmapPrint = 1;
195//
196// if (Args.hasArg(OPT_faltivec))
197// Opts.AltiVec = 1;
198//
199// if (Args.hasArg(OPT_pthread))
200// Opts.POSIXThreads = 1;
201//
202// llvm::StringRef Vis = getLastArgValue(Args, OPT_fvisibility,
203// "default");
204// if (Vis == "default")
Sean Callanan37f76e52013-02-19 19:16:37 +0000205 Opts.setValueVisibilityMode(DefaultVisibility);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000206// else if (Vis == "hidden")
207// Opts.setVisibilityMode(LangOptions::Hidden);
208// else if (Vis == "protected")
209// Opts.setVisibilityMode(LangOptions::Protected);
210// else
211// Diags.Report(diag::err_drv_invalid_value)
212// << Args.getLastArg(OPT_fvisibility)->getAsString(Args) << Vis;
213
214// Opts.OverflowChecking = Args.hasArg(OPT_ftrapv);
215
216 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
217 // is specified, or -std is set to a conforming mode.
218 Opts.Trigraphs = !Opts.GNUMode;
219// if (Args.hasArg(OPT_trigraphs))
220// Opts.Trigraphs = 1;
221//
222// Opts.DollarIdents = Args.hasFlag(OPT_fdollars_in_identifiers,
223// OPT_fno_dollars_in_identifiers,
224// !Opts.AsmPreprocessor);
225// Opts.PascalStrings = Args.hasArg(OPT_fpascal_strings);
226// Opts.Microsoft = Args.hasArg(OPT_fms_extensions);
227// Opts.WritableStrings = Args.hasArg(OPT_fwritable_strings);
228// if (Args.hasArg(OPT_fno_lax_vector_conversions))
229// Opts.LaxVectorConversions = 0;
230// Opts.Exceptions = Args.hasArg(OPT_fexceptions);
231// Opts.RTTI = !Args.hasArg(OPT_fno_rtti);
232// Opts.Blocks = Args.hasArg(OPT_fblocks);
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000233 Opts.CharIsSigned = ArchSpec(triple).CharIsSignedByDefault();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000234// Opts.ShortWChar = Args.hasArg(OPT_fshort_wchar);
235// Opts.Freestanding = Args.hasArg(OPT_ffreestanding);
236// Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
237// Opts.AssumeSaneOperatorNew = !Args.hasArg(OPT_fno_assume_sane_operator_new);
238// Opts.HeinousExtensions = Args.hasArg(OPT_fheinous_gnu_extensions);
239// Opts.AccessControl = Args.hasArg(OPT_faccess_control);
240// Opts.ElideConstructors = !Args.hasArg(OPT_fno_elide_constructors);
241// Opts.MathErrno = !Args.hasArg(OPT_fno_math_errno);
242// Opts.InstantiationDepth = getLastArgIntValue(Args, OPT_ftemplate_depth, 99,
243// Diags);
244// Opts.NeXTRuntime = !Args.hasArg(OPT_fgnu_runtime);
245// Opts.ObjCConstantStringClass = getLastArgValue(Args,
246// OPT_fconstant_string_class);
247// Opts.ObjCNonFragileABI = Args.hasArg(OPT_fobjc_nonfragile_abi);
248// Opts.CatchUndefined = Args.hasArg(OPT_fcatch_undefined_behavior);
249// Opts.EmitAllDecls = Args.hasArg(OPT_femit_all_decls);
250// Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
251// Opts.Static = Args.hasArg(OPT_static_define);
252 Opts.OptimizeSize = 0;
253
254 // FIXME: Eliminate this dependency.
255// unsigned Opt =
256// Args.hasArg(OPT_Os) ? 2 : getLastArgIntValue(Args, OPT_O, 0, Diags);
257// Opts.Optimize = Opt != 0;
258 unsigned Opt = 0;
259
260 // This is the __NO_INLINE__ define, which just depends on things like the
261 // optimization level and -fno-inline, not actually whether the backend has
262 // inlining enabled.
263 //
264 // FIXME: This is affected by other options (-fno-inline).
Sean Callanan3d654b32012-09-24 22:25:51 +0000265 Opts.NoInlineDefine = !Opt;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000266
267// unsigned SSP = getLastArgIntValue(Args, OPT_stack_protector, 0, Diags);
268// switch (SSP) {
269// default:
270// Diags.Report(diag::err_drv_invalid_value)
271// << Args.getLastArg(OPT_stack_protector)->getAsString(Args) << SSP;
272// break;
273// case 0: Opts.setStackProtectorMode(LangOptions::SSPOff); break;
274// case 1: Opts.setStackProtectorMode(LangOptions::SSPOn); break;
275// case 2: Opts.setStackProtectorMode(LangOptions::SSPReq); break;
276// }
277}
278
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000279
Greg Clayton6beaaa62011-01-17 03:46:26 +0000280ClangASTContext::ClangASTContext (const char *target_triple) :
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000281 m_target_triple(),
Greg Clayton6beaaa62011-01-17 03:46:26 +0000282 m_ast_ap(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000283 m_language_options_ap(),
284 m_source_manager_ap(),
Sean Callanan880e6802011-10-07 23:18:13 +0000285 m_diagnostics_engine_ap(),
Sean Callananc5069ad2012-10-17 22:11:14 +0000286 m_target_options_rp(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000287 m_target_info_ap(),
288 m_identifier_table_ap(),
289 m_selector_table_ap(),
Greg Clayton6beaaa62011-01-17 03:46:26 +0000290 m_builtins_ap(),
Ed Masted4612ad2014-04-20 13:17:36 +0000291 m_callback_tag_decl (nullptr),
292 m_callback_objc_decl (nullptr),
293 m_callback_baton (nullptr),
Greg Clayton57ee3062013-07-11 22:46:58 +0000294 m_pointer_byte_size (0)
Greg Clayton6beaaa62011-01-17 03:46:26 +0000295
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000296{
297 if (target_triple && target_triple[0])
Greg Clayton880cbb02011-07-30 01:26:02 +0000298 SetTargetTriple (target_triple);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000299}
300
301//----------------------------------------------------------------------
302// Destructor
303//----------------------------------------------------------------------
304ClangASTContext::~ClangASTContext()
305{
Enrico Granata5d84a692014-08-19 21:46:37 +0000306 if (m_ast_ap.get())
307 {
Enrico Granata2267ad42014-09-16 17:28:40 +0000308 GetASTMap().Erase(m_ast_ap.get());
Enrico Granata5d84a692014-08-19 21:46:37 +0000309 }
310
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000311 m_builtins_ap.reset();
312 m_selector_table_ap.reset();
313 m_identifier_table_ap.reset();
314 m_target_info_ap.reset();
Sean Callananc5069ad2012-10-17 22:11:14 +0000315 m_target_options_rp.reset();
Sean Callanan880e6802011-10-07 23:18:13 +0000316 m_diagnostics_engine_ap.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000317 m_source_manager_ap.reset();
318 m_language_options_ap.reset();
Greg Clayton6beaaa62011-01-17 03:46:26 +0000319 m_ast_ap.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000320}
321
322
323void
324ClangASTContext::Clear()
325{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000326 m_ast_ap.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000327 m_language_options_ap.reset();
328 m_source_manager_ap.reset();
Sean Callanan880e6802011-10-07 23:18:13 +0000329 m_diagnostics_engine_ap.reset();
Sean Callananc5069ad2012-10-17 22:11:14 +0000330 m_target_options_rp.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000331 m_target_info_ap.reset();
332 m_identifier_table_ap.reset();
333 m_selector_table_ap.reset();
334 m_builtins_ap.reset();
Greg Clayton57ee3062013-07-11 22:46:58 +0000335 m_pointer_byte_size = 0;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000336}
337
338const char *
339ClangASTContext::GetTargetTriple ()
340{
341 return m_target_triple.c_str();
342}
343
344void
345ClangASTContext::SetTargetTriple (const char *target_triple)
346{
347 Clear();
348 m_target_triple.assign(target_triple);
349}
350
Greg Clayton514487e2011-02-15 21:59:32 +0000351void
352ClangASTContext::SetArchitecture (const ArchSpec &arch)
353{
Greg Clayton880cbb02011-07-30 01:26:02 +0000354 SetTargetTriple(arch.GetTriple().str().c_str());
Greg Clayton514487e2011-02-15 21:59:32 +0000355}
356
Greg Clayton6beaaa62011-01-17 03:46:26 +0000357bool
358ClangASTContext::HasExternalSource ()
359{
360 ASTContext *ast = getASTContext();
361 if (ast)
Ed Masted4612ad2014-04-20 13:17:36 +0000362 return ast->getExternalSource () != nullptr;
Greg Clayton6beaaa62011-01-17 03:46:26 +0000363 return false;
364}
365
366void
Todd Fiala955fe6f2014-02-27 17:18:23 +0000367ClangASTContext::SetExternalSource (llvm::IntrusiveRefCntPtr<ExternalASTSource> &ast_source_ap)
Greg Clayton6beaaa62011-01-17 03:46:26 +0000368{
369 ASTContext *ast = getASTContext();
370 if (ast)
371 {
372 ast->setExternalSource (ast_source_ap);
373 ast->getTranslationUnitDecl()->setHasExternalLexicalStorage(true);
374 //ast->getTranslationUnitDecl()->setHasExternalVisibleStorage(true);
375 }
376}
377
378void
379ClangASTContext::RemoveExternalSource ()
380{
381 ASTContext *ast = getASTContext();
382
383 if (ast)
384 {
Todd Fiala955fe6f2014-02-27 17:18:23 +0000385 llvm::IntrusiveRefCntPtr<ExternalASTSource> empty_ast_source_ap;
Greg Clayton6beaaa62011-01-17 03:46:26 +0000386 ast->setExternalSource (empty_ast_source_ap);
387 ast->getTranslationUnitDecl()->setHasExternalLexicalStorage(false);
388 //ast->getTranslationUnitDecl()->setHasExternalVisibleStorage(false);
389 }
390}
391
392
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000393
394ASTContext *
395ClangASTContext::getASTContext()
396{
Ed Masted4612ad2014-04-20 13:17:36 +0000397 if (m_ast_ap.get() == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000398 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000399 m_ast_ap.reset(new ASTContext (*getLanguageOptions(),
400 *getSourceManager(),
Greg Clayton6beaaa62011-01-17 03:46:26 +0000401 *getIdentifierTable(),
402 *getSelectorTable(),
Alp Tokercf55e882014-05-03 15:05:45 +0000403 *getBuiltinContext()));
Sean Callanan6d61b632015-04-09 17:42:48 +0000404
405 m_ast_ap->getDiagnostics().setClient(getDiagnosticConsumer(), false);
406
Alp Tokercf55e882014-05-03 15:05:45 +0000407 m_ast_ap->InitBuiltinTypes(*getTargetInfo());
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000408
Greg Clayton6beaaa62011-01-17 03:46:26 +0000409 if ((m_callback_tag_decl || m_callback_objc_decl) && m_callback_baton)
410 {
411 m_ast_ap->getTranslationUnitDecl()->setHasExternalLexicalStorage();
412 //m_ast_ap->getTranslationUnitDecl()->setHasExternalVisibleStorage();
413 }
414
Enrico Granata2267ad42014-09-16 17:28:40 +0000415 GetASTMap().Insert(m_ast_ap.get(), this);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000416 }
Greg Clayton6beaaa62011-01-17 03:46:26 +0000417 return m_ast_ap.get();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000418}
419
Enrico Granata5d84a692014-08-19 21:46:37 +0000420ClangASTContext*
421ClangASTContext::GetASTContext (clang::ASTContext* ast)
422{
Enrico Granata2267ad42014-09-16 17:28:40 +0000423 ClangASTContext *clang_ast = GetASTMap().Lookup(ast);
Enrico Granata5d84a692014-08-19 21:46:37 +0000424 return clang_ast;
425}
426
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000427Builtin::Context *
428ClangASTContext::getBuiltinContext()
429{
Ed Masted4612ad2014-04-20 13:17:36 +0000430 if (m_builtins_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000431 m_builtins_ap.reset (new Builtin::Context());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000432 return m_builtins_ap.get();
433}
434
435IdentifierTable *
436ClangASTContext::getIdentifierTable()
437{
Ed Masted4612ad2014-04-20 13:17:36 +0000438 if (m_identifier_table_ap.get() == nullptr)
439 m_identifier_table_ap.reset(new IdentifierTable (*ClangASTContext::getLanguageOptions(), nullptr));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000440 return m_identifier_table_ap.get();
441}
442
443LangOptions *
444ClangASTContext::getLanguageOptions()
445{
Ed Masted4612ad2014-04-20 13:17:36 +0000446 if (m_language_options_ap.get() == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000447 {
448 m_language_options_ap.reset(new LangOptions());
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000449 ParseLangArgs(*m_language_options_ap, IK_ObjCXX, GetTargetTriple());
Greg Clayton94e5d782010-06-13 17:34:29 +0000450// InitializeLangOptions(*m_language_options_ap, IK_ObjCXX);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000451 }
452 return m_language_options_ap.get();
453}
454
455SelectorTable *
456ClangASTContext::getSelectorTable()
457{
Ed Masted4612ad2014-04-20 13:17:36 +0000458 if (m_selector_table_ap.get() == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000459 m_selector_table_ap.reset (new SelectorTable());
460 return m_selector_table_ap.get();
461}
462
Sean Callanan79439e82010-11-18 02:56:27 +0000463clang::FileManager *
464ClangASTContext::getFileManager()
465{
Ed Masted4612ad2014-04-20 13:17:36 +0000466 if (m_file_manager_ap.get() == nullptr)
Greg Clayton38a61402010-12-02 23:20:03 +0000467 {
468 clang::FileSystemOptions file_system_options;
469 m_file_manager_ap.reset(new clang::FileManager(file_system_options));
470 }
Sean Callanan79439e82010-11-18 02:56:27 +0000471 return m_file_manager_ap.get();
472}
473
Greg Claytone1a916a2010-07-21 22:12:05 +0000474clang::SourceManager *
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000475ClangASTContext::getSourceManager()
476{
Ed Masted4612ad2014-04-20 13:17:36 +0000477 if (m_source_manager_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000478 m_source_manager_ap.reset(new clang::SourceManager(*getDiagnosticsEngine(), *getFileManager()));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000479 return m_source_manager_ap.get();
480}
481
Sean Callanan880e6802011-10-07 23:18:13 +0000482clang::DiagnosticsEngine *
483ClangASTContext::getDiagnosticsEngine()
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000484{
Ed Masted4612ad2014-04-20 13:17:36 +0000485 if (m_diagnostics_engine_ap.get() == nullptr)
Greg Claytona651b532010-11-19 21:46:54 +0000486 {
487 llvm::IntrusiveRefCntPtr<DiagnosticIDs> diag_id_sp(new DiagnosticIDs());
Sean Callananec8f1ef2012-10-25 01:00:25 +0000488 m_diagnostics_engine_ap.reset(new DiagnosticsEngine(diag_id_sp, new DiagnosticOptions()));
Greg Claytona651b532010-11-19 21:46:54 +0000489 }
Sean Callanan880e6802011-10-07 23:18:13 +0000490 return m_diagnostics_engine_ap.get();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000491}
492
Sean Callanan880e6802011-10-07 23:18:13 +0000493class NullDiagnosticConsumer : public DiagnosticConsumer
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000494{
495public:
Sean Callanan880e6802011-10-07 23:18:13 +0000496 NullDiagnosticConsumer ()
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000497 {
498 m_log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS);
499 }
500
Sean Callanan880e6802011-10-07 23:18:13 +0000501 void HandleDiagnostic (DiagnosticsEngine::Level DiagLevel, const Diagnostic &info)
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000502 {
503 if (m_log)
504 {
Sean Callanan5b26f272012-02-04 08:49:35 +0000505 llvm::SmallVector<char, 32> diag_str(10);
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000506 info.FormatDiagnostic(diag_str);
507 diag_str.push_back('\0');
508 m_log->Printf("Compiler diagnostic: %s\n", diag_str.data());
509 }
510 }
Sean Callanan880e6802011-10-07 23:18:13 +0000511
512 DiagnosticConsumer *clone (DiagnosticsEngine &Diags) const
513 {
514 return new NullDiagnosticConsumer ();
515 }
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000516private:
Greg Clayton5160ce52013-03-27 23:08:40 +0000517 Log * m_log;
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000518};
519
Sean Callanan880e6802011-10-07 23:18:13 +0000520DiagnosticConsumer *
521ClangASTContext::getDiagnosticConsumer()
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000522{
Ed Masted4612ad2014-04-20 13:17:36 +0000523 if (m_diagnostic_consumer_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000524 m_diagnostic_consumer_ap.reset(new NullDiagnosticConsumer);
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000525
Sean Callanan880e6802011-10-07 23:18:13 +0000526 return m_diagnostic_consumer_ap.get();
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000527}
528
Jason Molenda45938b92014-07-08 23:46:39 +0000529std::shared_ptr<TargetOptions> &
530ClangASTContext::getTargetOptions() {
Alp Tokeredc902f2014-07-05 03:06:05 +0000531 if (m_target_options_rp.get() == nullptr && !m_target_triple.empty())
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000532 {
Alp Toker5f838642014-07-06 05:36:57 +0000533 m_target_options_rp = std::make_shared<TargetOptions>();
Alp Tokeredc902f2014-07-05 03:06:05 +0000534 if (m_target_options_rp.get() != nullptr)
Sean Callananc5069ad2012-10-17 22:11:14 +0000535 m_target_options_rp->Triple = m_target_triple;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000536 }
Alp Toker5f838642014-07-06 05:36:57 +0000537 return m_target_options_rp;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000538}
539
540
541TargetInfo *
542ClangASTContext::getTargetInfo()
543{
Greg Clayton70512312012-05-08 01:45:38 +0000544 // target_triple should be something like "x86_64-apple-macosx"
Ed Masted4612ad2014-04-20 13:17:36 +0000545 if (m_target_info_ap.get() == nullptr && !m_target_triple.empty())
Greg Clayton38d880a2012-11-16 21:35:22 +0000546 m_target_info_ap.reset (TargetInfo::CreateTargetInfo(*getDiagnosticsEngine(), getTargetOptions()));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000547 return m_target_info_ap.get();
548}
549
550#pragma mark Basic Types
551
552static inline bool
Greg Clayton6beaaa62011-01-17 03:46:26 +0000553QualTypeMatchesBitSize(const uint64_t bit_size, ASTContext *ast, QualType qual_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000554{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000555 uint64_t qual_type_bit_size = ast->getTypeSize(qual_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000556 if (qual_type_bit_size == bit_size)
557 return true;
558 return false;
559}
Greg Clayton57ee3062013-07-11 22:46:58 +0000560ClangASTType
Greg Claytonc86103d2010-08-05 01:57:25 +0000561ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (Encoding encoding, uint32_t bit_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000562{
Greg Clayton57ee3062013-07-11 22:46:58 +0000563 return ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (getASTContext(), encoding, bit_size);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000564}
565
Greg Clayton57ee3062013-07-11 22:46:58 +0000566ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +0000567ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (ASTContext *ast, Encoding encoding, uint32_t bit_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000568{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000569 if (!ast)
Greg Clayton57ee3062013-07-11 22:46:58 +0000570 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000571
572 switch (encoding)
573 {
Greg Claytonc86103d2010-08-05 01:57:25 +0000574 case eEncodingInvalid:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000575 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidPtrTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000576 return ClangASTType (ast, ast->VoidPtrTy.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000577 break;
578
Greg Claytonc86103d2010-08-05 01:57:25 +0000579 case eEncodingUint:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000580 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000581 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000582 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000583 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000584 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000585 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000586 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000587 return ClangASTType (ast, ast->UnsignedLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000588 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000589 return ClangASTType (ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000590 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000591 return ClangASTType (ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000592 break;
593
Greg Claytonc86103d2010-08-05 01:57:25 +0000594 case eEncodingSint:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000595 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000596 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000597 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000598 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000599 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000600 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000601 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000602 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000603 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000604 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000605 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000606 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000607 break;
608
Greg Claytonc86103d2010-08-05 01:57:25 +0000609 case eEncodingIEEE754:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000610 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000611 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000612 if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000613 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000614 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000615 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000616 break;
617
Greg Claytonc86103d2010-08-05 01:57:25 +0000618 case eEncodingVector:
Johnny Chenc79c93a2012-03-07 01:12:24 +0000619 // Sanity check that bit_size is a multiple of 8's.
620 if (bit_size && !(bit_size & 0x7u))
Greg Clayton57ee3062013-07-11 22:46:58 +0000621 return ClangASTType (ast, ast->getExtVectorType (ast->UnsignedCharTy, bit_size/8).getAsOpaquePtr());
Johnny Chenc79c93a2012-03-07 01:12:24 +0000622 break;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000623 }
624
Greg Clayton57ee3062013-07-11 22:46:58 +0000625 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000626}
627
Greg Clayton57ee3062013-07-11 22:46:58 +0000628
629
630lldb::BasicType
631ClangASTContext::GetBasicTypeEnumeration (const ConstString &name)
632{
633 if (name)
634 {
635 typedef UniqueCStringMap<lldb::BasicType> TypeNameToBasicTypeMap;
636 static TypeNameToBasicTypeMap g_type_map;
637 static std::once_flag g_once_flag;
638 std::call_once(g_once_flag, [](){
639 // "void"
640 g_type_map.Append(ConstString("void").GetCString(), eBasicTypeVoid);
641
642 // "char"
643 g_type_map.Append(ConstString("char").GetCString(), eBasicTypeChar);
644 g_type_map.Append(ConstString("signed char").GetCString(), eBasicTypeSignedChar);
645 g_type_map.Append(ConstString("unsigned char").GetCString(), eBasicTypeUnsignedChar);
646 g_type_map.Append(ConstString("wchar_t").GetCString(), eBasicTypeWChar);
647 g_type_map.Append(ConstString("signed wchar_t").GetCString(), eBasicTypeSignedWChar);
648 g_type_map.Append(ConstString("unsigned wchar_t").GetCString(), eBasicTypeUnsignedWChar);
649 // "short"
650 g_type_map.Append(ConstString("short").GetCString(), eBasicTypeShort);
651 g_type_map.Append(ConstString("short int").GetCString(), eBasicTypeShort);
652 g_type_map.Append(ConstString("unsigned short").GetCString(), eBasicTypeUnsignedShort);
653 g_type_map.Append(ConstString("unsigned short int").GetCString(), eBasicTypeUnsignedShort);
654
655 // "int"
656 g_type_map.Append(ConstString("int").GetCString(), eBasicTypeInt);
657 g_type_map.Append(ConstString("signed int").GetCString(), eBasicTypeInt);
658 g_type_map.Append(ConstString("unsigned int").GetCString(), eBasicTypeUnsignedInt);
659 g_type_map.Append(ConstString("unsigned").GetCString(), eBasicTypeUnsignedInt);
660
661 // "long"
662 g_type_map.Append(ConstString("long").GetCString(), eBasicTypeLong);
663 g_type_map.Append(ConstString("long int").GetCString(), eBasicTypeLong);
664 g_type_map.Append(ConstString("unsigned long").GetCString(), eBasicTypeUnsignedLong);
665 g_type_map.Append(ConstString("unsigned long int").GetCString(), eBasicTypeUnsignedLong);
666
667 // "long long"
668 g_type_map.Append(ConstString("long long").GetCString(), eBasicTypeLongLong);
669 g_type_map.Append(ConstString("long long int").GetCString(), eBasicTypeLongLong);
670 g_type_map.Append(ConstString("unsigned long long").GetCString(), eBasicTypeUnsignedLongLong);
671 g_type_map.Append(ConstString("unsigned long long int").GetCString(), eBasicTypeUnsignedLongLong);
672
673 // "int128"
674 g_type_map.Append(ConstString("__int128_t").GetCString(), eBasicTypeInt128);
675 g_type_map.Append(ConstString("__uint128_t").GetCString(), eBasicTypeUnsignedInt128);
676
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +0000677 // Miscellaneous
Greg Clayton57ee3062013-07-11 22:46:58 +0000678 g_type_map.Append(ConstString("bool").GetCString(), eBasicTypeBool);
679 g_type_map.Append(ConstString("float").GetCString(), eBasicTypeFloat);
680 g_type_map.Append(ConstString("double").GetCString(), eBasicTypeDouble);
681 g_type_map.Append(ConstString("long double").GetCString(), eBasicTypeLongDouble);
682 g_type_map.Append(ConstString("id").GetCString(), eBasicTypeObjCID);
683 g_type_map.Append(ConstString("SEL").GetCString(), eBasicTypeObjCSel);
684 g_type_map.Append(ConstString("nullptr").GetCString(), eBasicTypeNullPtr);
685 g_type_map.Sort();
686 });
687
688 return g_type_map.Find(name.GetCString(), eBasicTypeInvalid);
689 }
690 return eBasicTypeInvalid;
691}
692
693ClangASTType
694ClangASTContext::GetBasicType (ASTContext *ast, const ConstString &name)
695{
696 if (ast)
697 {
698 lldb::BasicType basic_type = ClangASTContext::GetBasicTypeEnumeration (name);
699 return ClangASTContext::GetBasicType (ast, basic_type);
700 }
701 return ClangASTType();
702}
703
704uint32_t
705ClangASTContext::GetPointerByteSize ()
706{
707 if (m_pointer_byte_size == 0)
Enrico Granata1cd5e922015-01-28 00:07:51 +0000708 m_pointer_byte_size = GetBasicType(lldb::eBasicTypeVoid).GetPointerType().GetByteSize(nullptr);
Greg Clayton57ee3062013-07-11 22:46:58 +0000709 return m_pointer_byte_size;
710}
711
712ClangASTType
713ClangASTContext::GetBasicType (lldb::BasicType basic_type)
714{
715 return GetBasicType (getASTContext(), basic_type);
716}
717
718ClangASTType
719ClangASTContext::GetBasicType (ASTContext *ast, lldb::BasicType basic_type)
720{
721 if (ast)
722 {
Ed Masted4612ad2014-04-20 13:17:36 +0000723 clang_type_t clang_type = nullptr;
Greg Clayton57ee3062013-07-11 22:46:58 +0000724
725 switch (basic_type)
726 {
727 case eBasicTypeInvalid:
728 case eBasicTypeOther:
729 break;
730 case eBasicTypeVoid:
731 clang_type = ast->VoidTy.getAsOpaquePtr();
732 break;
733 case eBasicTypeChar:
734 clang_type = ast->CharTy.getAsOpaquePtr();
735 break;
736 case eBasicTypeSignedChar:
737 clang_type = ast->SignedCharTy.getAsOpaquePtr();
738 break;
739 case eBasicTypeUnsignedChar:
740 clang_type = ast->UnsignedCharTy.getAsOpaquePtr();
741 break;
742 case eBasicTypeWChar:
743 clang_type = ast->getWCharType().getAsOpaquePtr();
744 break;
745 case eBasicTypeSignedWChar:
746 clang_type = ast->getSignedWCharType().getAsOpaquePtr();
747 break;
748 case eBasicTypeUnsignedWChar:
749 clang_type = ast->getUnsignedWCharType().getAsOpaquePtr();
750 break;
751 case eBasicTypeChar16:
752 clang_type = ast->Char16Ty.getAsOpaquePtr();
753 break;
754 case eBasicTypeChar32:
755 clang_type = ast->Char32Ty.getAsOpaquePtr();
756 break;
757 case eBasicTypeShort:
758 clang_type = ast->ShortTy.getAsOpaquePtr();
759 break;
760 case eBasicTypeUnsignedShort:
761 clang_type = ast->UnsignedShortTy.getAsOpaquePtr();
762 break;
763 case eBasicTypeInt:
764 clang_type = ast->IntTy.getAsOpaquePtr();
765 break;
766 case eBasicTypeUnsignedInt:
767 clang_type = ast->UnsignedIntTy.getAsOpaquePtr();
768 break;
769 case eBasicTypeLong:
770 clang_type = ast->LongTy.getAsOpaquePtr();
771 break;
772 case eBasicTypeUnsignedLong:
773 clang_type = ast->UnsignedLongTy.getAsOpaquePtr();
774 break;
775 case eBasicTypeLongLong:
776 clang_type = ast->LongLongTy.getAsOpaquePtr();
777 break;
778 case eBasicTypeUnsignedLongLong:
779 clang_type = ast->UnsignedLongLongTy.getAsOpaquePtr();
780 break;
781 case eBasicTypeInt128:
782 clang_type = ast->Int128Ty.getAsOpaquePtr();
783 break;
784 case eBasicTypeUnsignedInt128:
785 clang_type = ast->UnsignedInt128Ty.getAsOpaquePtr();
786 break;
787 case eBasicTypeBool:
788 clang_type = ast->BoolTy.getAsOpaquePtr();
789 break;
790 case eBasicTypeHalf:
791 clang_type = ast->HalfTy.getAsOpaquePtr();
792 break;
793 case eBasicTypeFloat:
794 clang_type = ast->FloatTy.getAsOpaquePtr();
795 break;
796 case eBasicTypeDouble:
797 clang_type = ast->DoubleTy.getAsOpaquePtr();
798 break;
799 case eBasicTypeLongDouble:
800 clang_type = ast->LongDoubleTy.getAsOpaquePtr();
801 break;
802 case eBasicTypeFloatComplex:
803 clang_type = ast->FloatComplexTy.getAsOpaquePtr();
804 break;
805 case eBasicTypeDoubleComplex:
806 clang_type = ast->DoubleComplexTy.getAsOpaquePtr();
807 break;
808 case eBasicTypeLongDoubleComplex:
809 clang_type = ast->LongDoubleComplexTy.getAsOpaquePtr();
810 break;
811 case eBasicTypeObjCID:
812 clang_type = ast->getObjCIdType().getAsOpaquePtr();
813 break;
814 case eBasicTypeObjCClass:
815 clang_type = ast->getObjCClassType().getAsOpaquePtr();
816 break;
817 case eBasicTypeObjCSel:
818 clang_type = ast->getObjCSelType().getAsOpaquePtr();
819 break;
820 case eBasicTypeNullPtr:
821 clang_type = ast->NullPtrTy.getAsOpaquePtr();
822 break;
823 }
824
825 if (clang_type)
826 return ClangASTType (ast, clang_type);
827 }
828 return ClangASTType();
829}
830
831
832ClangASTType
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000833ClangASTContext::GetBuiltinTypeForDWARFEncodingAndBitSize (const char *type_name, uint32_t dw_ate, uint32_t bit_size)
834{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000835 ASTContext *ast = getASTContext();
Sean Callanan38d4df52012-04-03 01:10:10 +0000836
837#define streq(a,b) strcmp(a,b) == 0
Ed Masted4612ad2014-04-20 13:17:36 +0000838 assert (ast != nullptr);
Greg Clayton6beaaa62011-01-17 03:46:26 +0000839 if (ast)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000840 {
841 switch (dw_ate)
842 {
Sean Callanan38d4df52012-04-03 01:10:10 +0000843 default:
844 break;
Greg Clayton605684e2011-10-28 23:06:08 +0000845
Sean Callanan38d4df52012-04-03 01:10:10 +0000846 case DW_ATE_address:
847 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidPtrTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000848 return ClangASTType (ast, ast->VoidPtrTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000849 break;
850
851 case DW_ATE_boolean:
852 if (QualTypeMatchesBitSize (bit_size, ast, ast->BoolTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000853 return ClangASTType (ast, ast->BoolTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000854 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000855 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000856 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000857 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000858 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000859 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000860 break;
861
862 case DW_ATE_lo_user:
863 // This has been seen to mean DW_AT_complex_integer
864 if (type_name)
Greg Clayton605684e2011-10-28 23:06:08 +0000865 {
Sean Callanan38d4df52012-04-03 01:10:10 +0000866 if (::strstr(type_name, "complex"))
867 {
Greg Clayton57ee3062013-07-11 22:46:58 +0000868 ClangASTType complex_int_clang_type = GetBuiltinTypeForDWARFEncodingAndBitSize ("int", DW_ATE_signed, bit_size/2);
869 return ClangASTType (ast, ast->getComplexType (complex_int_clang_type.GetQualType()).getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000870 }
Greg Clayton605684e2011-10-28 23:06:08 +0000871 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000872 break;
873
874 case DW_ATE_complex_float:
875 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000876 return ClangASTType (ast, ast->FloatComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000877 else if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000878 return ClangASTType (ast, ast->DoubleComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000879 else if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000880 return ClangASTType (ast, ast->LongDoubleComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000881 else
Greg Clayton605684e2011-10-28 23:06:08 +0000882 {
Greg Clayton57ee3062013-07-11 22:46:58 +0000883 ClangASTType complex_float_clang_type = GetBuiltinTypeForDWARFEncodingAndBitSize ("float", DW_ATE_float, bit_size/2);
884 return ClangASTType (ast, ast->getComplexType (complex_float_clang_type.GetQualType()).getAsOpaquePtr());
Greg Clayton605684e2011-10-28 23:06:08 +0000885 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000886 break;
887
888 case DW_ATE_float:
Greg Clayton8012cad2014-11-17 19:39:20 +0000889 if (streq(type_name, "float") && QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
890 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
891 if (streq(type_name, "double") && QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
892 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
893 if (streq(type_name, "long double") && QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
894 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
895 // Fall back to not requring a name match
Sean Callanan38d4df52012-04-03 01:10:10 +0000896 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000897 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000898 if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000899 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000900 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000901 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000902 break;
903
904 case DW_ATE_signed:
905 if (type_name)
906 {
907 if (streq(type_name, "wchar_t") &&
Tamas Berghammer3c0d0052015-04-01 09:48:02 +0000908 QualTypeMatchesBitSize (bit_size, ast, ast->WCharTy) &&
909 TargetInfo::isTypeSigned (getTargetInfo()->getWCharType()))
Greg Clayton57ee3062013-07-11 22:46:58 +0000910 return ClangASTType (ast, ast->WCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000911 if (streq(type_name, "void") &&
912 QualTypeMatchesBitSize (bit_size, ast, ast->VoidTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000913 return ClangASTType (ast, ast->VoidTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000914 if (strstr(type_name, "long long") &&
915 QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000916 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000917 if (strstr(type_name, "long") &&
918 QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000919 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000920 if (strstr(type_name, "short") &&
921 QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000922 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000923 if (strstr(type_name, "char"))
924 {
925 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000926 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000927 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000928 return ClangASTType (ast, ast->SignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000929 }
930 if (strstr(type_name, "int"))
931 {
932 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000933 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000934 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000935 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000936 }
937 }
938 // We weren't able to match up a type name, just search by size
939 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000940 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000941 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000942 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000943 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000944 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000945 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000946 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000947 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000948 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000949 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000950 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000951 break;
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000952
Sean Callanan38d4df52012-04-03 01:10:10 +0000953 case DW_ATE_signed_char:
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000954 if (ast->getLangOpts().CharIsSigned && type_name && streq(type_name, "char"))
Sean Callanan38d4df52012-04-03 01:10:10 +0000955 {
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000956 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
957 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000958 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000959 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000960 return ClangASTType (ast, ast->SignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000961 break;
962
963 case DW_ATE_unsigned:
964 if (type_name)
965 {
Tamas Berghammer3c0d0052015-04-01 09:48:02 +0000966 if (streq(type_name, "wchar_t"))
967 {
968 if (QualTypeMatchesBitSize (bit_size, ast, ast->WCharTy))
969 {
970 if (!TargetInfo::isTypeSigned (getTargetInfo()->getWCharType()))
971 return ClangASTType (ast, ast->WCharTy.getAsOpaquePtr());
972 }
973 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000974 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;
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +00001016
Sean Callanan38d4df52012-04-03 01:10:10 +00001017 case DW_ATE_unsigned_char:
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +00001018 if (!ast->getLangOpts().CharIsSigned && type_name && streq(type_name, "char"))
1019 {
1020 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
1021 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
1022 }
Sean Callanan38d4df52012-04-03 01:10:10 +00001023 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001024 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001025 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001026 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001027 break;
1028
1029 case DW_ATE_imaginary_float:
1030 break;
1031
1032 case DW_ATE_UTF:
1033 if (type_name)
1034 {
1035 if (streq(type_name, "char16_t"))
1036 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001037 return ClangASTType (ast, ast->Char16Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001038 }
1039 else if (streq(type_name, "char32_t"))
1040 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001041 return ClangASTType (ast, ast->Char32Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001042 }
1043 }
1044 break;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001045 }
1046 }
1047 // This assert should fire for anything that we don't catch above so we know
1048 // to fix any issues we run into.
Greg Claytondc968d12011-05-17 18:15:05 +00001049 if (type_name)
1050 {
Greg Claytone38a5ed2012-01-05 03:57:59 +00001051 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 +00001052 }
1053 else
1054 {
Greg Claytone38a5ed2012-01-05 03:57:59 +00001055 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 +00001056 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001057 return ClangASTType ();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001058}
1059
Greg Clayton57ee3062013-07-11 22:46:58 +00001060ClangASTType
Sean Callanan77502262011-05-12 23:54:16 +00001061ClangASTContext::GetUnknownAnyType(clang::ASTContext *ast)
1062{
Greg Clayton57ee3062013-07-11 22:46:58 +00001063 if (ast)
1064 return ClangASTType (ast, ast->UnknownAnyTy.getAsOpaquePtr());
1065 return ClangASTType();
Sean Callanan77502262011-05-12 23:54:16 +00001066}
1067
Greg Clayton57ee3062013-07-11 22:46:58 +00001068ClangASTType
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001069ClangASTContext::GetCStringType (bool is_const)
1070{
Greg Clayton57ee3062013-07-11 22:46:58 +00001071 ASTContext *ast = getASTContext();
1072 QualType char_type(ast->CharTy);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001073
1074 if (is_const)
1075 char_type.addConst();
1076
Greg Clayton57ee3062013-07-11 22:46:58 +00001077 return ClangASTType (ast, ast->getPointerType(char_type).getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001078}
1079
Sean Callanan09ab4b72011-11-30 22:11:59 +00001080clang::DeclContext *
1081ClangASTContext::GetTranslationUnitDecl (clang::ASTContext *ast)
1082{
1083 return ast->getTranslationUnitDecl();
1084}
1085
Greg Clayton57ee3062013-07-11 22:46:58 +00001086ClangASTType
Greg Clayton38a61402010-12-02 23:20:03 +00001087ClangASTContext::CopyType (ASTContext *dst_ast,
Greg Clayton57ee3062013-07-11 22:46:58 +00001088 ClangASTType src)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001089{
Sean Callanan79439e82010-11-18 02:56:27 +00001090 FileSystemOptions file_system_options;
Greg Clayton57ee3062013-07-11 22:46:58 +00001091 ASTContext *src_ast = src.GetASTContext();
Greg Clayton38a61402010-12-02 23:20:03 +00001092 FileManager file_manager (file_system_options);
1093 ASTImporter importer(*dst_ast, file_manager,
Sean Callanan2c777c42011-01-18 23:32:05 +00001094 *src_ast, file_manager,
1095 false);
Sean Callanan0617fcb2010-11-09 22:37:10 +00001096
Greg Clayton57ee3062013-07-11 22:46:58 +00001097 QualType dst (importer.Import(src.GetQualType()));
Sean Callanan0617fcb2010-11-09 22:37:10 +00001098
Greg Clayton57ee3062013-07-11 22:46:58 +00001099 return ClangASTType (dst_ast, dst.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001100}
1101
Greg Clayton526e5af2010-11-13 03:52:47 +00001102
1103clang::Decl *
Greg Clayton38a61402010-12-02 23:20:03 +00001104ClangASTContext::CopyDecl (ASTContext *dst_ast,
1105 ASTContext *src_ast,
Greg Clayton526e5af2010-11-13 03:52:47 +00001106 clang::Decl *source_decl)
Sean Callanan7fddd4c2010-12-11 00:08:56 +00001107{
Sean Callanan79439e82010-11-18 02:56:27 +00001108 FileSystemOptions file_system_options;
Greg Clayton38a61402010-12-02 23:20:03 +00001109 FileManager file_manager (file_system_options);
1110 ASTImporter importer(*dst_ast, file_manager,
Sean Callanan2c777c42011-01-18 23:32:05 +00001111 *src_ast, file_manager,
1112 false);
Greg Clayton526e5af2010-11-13 03:52:47 +00001113
1114 return importer.Import(source_decl);
1115}
1116
Sean Callanan23a30272010-07-16 00:00:27 +00001117bool
Greg Clayton57ee3062013-07-11 22:46:58 +00001118ClangASTContext::AreTypesSame (ClangASTType type1,
1119 ClangASTType type2,
Greg Clayton84db9102012-03-26 23:03:23 +00001120 bool ignore_qualifiers)
Sean Callanan4dcca2622010-07-15 22:30:52 +00001121{
Greg Clayton57ee3062013-07-11 22:46:58 +00001122 ASTContext *ast = type1.GetASTContext();
1123 if (ast != type2.GetASTContext())
1124 return false;
1125
1126 if (type1.GetOpaqueQualType() == type2.GetOpaqueQualType())
Greg Clayton55995eb2012-04-06 17:38:55 +00001127 return true;
1128
Greg Clayton57ee3062013-07-11 22:46:58 +00001129 QualType type1_qual = type1.GetQualType();
1130 QualType type2_qual = type2.GetQualType();
Sean Callanan5056ab02012-02-18 02:01:03 +00001131
1132 if (ignore_qualifiers)
1133 {
1134 type1_qual = type1_qual.getUnqualifiedType();
1135 type2_qual = type2_qual.getUnqualifiedType();
1136 }
1137
Greg Clayton57ee3062013-07-11 22:46:58 +00001138 return ast->hasSameType (type1_qual, type2_qual);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001139}
1140
Sean Callanan9998acd2014-12-05 01:21:59 +00001141ClangASTType
1142ClangASTContext::GetTypeForDecl (clang::NamedDecl *decl)
1143{
1144 if (clang::ObjCInterfaceDecl *interface_decl = llvm::dyn_cast<clang::ObjCInterfaceDecl>(decl))
1145 return GetTypeForDecl(interface_decl);
1146 if (clang::TagDecl *tag_decl = llvm::dyn_cast<clang::TagDecl>(decl))
1147 return GetTypeForDecl(tag_decl);
1148 return ClangASTType();
1149}
1150
Greg Clayton6beaaa62011-01-17 03:46:26 +00001151
Greg Clayton57ee3062013-07-11 22:46:58 +00001152ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001153ClangASTContext::GetTypeForDecl (TagDecl *decl)
1154{
1155 // No need to call the getASTContext() accessor (which can create the AST
1156 // if it isn't created yet, because we can't have created a decl in this
1157 // AST if our AST didn't already exist...
Sean Callanan9998acd2014-12-05 01:21:59 +00001158 ASTContext *ast = &decl->getASTContext();
Greg Clayton57ee3062013-07-11 22:46:58 +00001159 if (ast)
1160 return ClangASTType (ast, ast->getTagDeclType(decl).getAsOpaquePtr());
1161 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001162}
1163
Greg Clayton57ee3062013-07-11 22:46:58 +00001164ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001165ClangASTContext::GetTypeForDecl (ObjCInterfaceDecl *decl)
1166{
1167 // No need to call the getASTContext() accessor (which can create the AST
1168 // if it isn't created yet, because we can't have created a decl in this
1169 // AST if our AST didn't already exist...
Sean Callanan9998acd2014-12-05 01:21:59 +00001170 ASTContext *ast = &decl->getASTContext();
Greg Clayton57ee3062013-07-11 22:46:58 +00001171 if (ast)
1172 return ClangASTType (ast, ast->getObjCInterfaceType(decl).getAsOpaquePtr());
1173 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001174}
1175
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001176#pragma mark Structure, Unions, Classes
1177
Greg Clayton57ee3062013-07-11 22:46:58 +00001178ClangASTType
Greg Claytonc4ffd662013-03-08 01:37:30 +00001179ClangASTContext::CreateRecordType (DeclContext *decl_ctx,
1180 AccessType access_type,
1181 const char *name,
1182 int kind,
1183 LanguageType language,
1184 ClangASTMetadata *metadata)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001185{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001186 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001187 assert (ast != nullptr);
Sean Callananad880762012-04-18 01:06:17 +00001188
Ed Masted4612ad2014-04-20 13:17:36 +00001189 if (decl_ctx == nullptr)
Greg Clayton6beaaa62011-01-17 03:46:26 +00001190 decl_ctx = ast->getTranslationUnitDecl();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001191
Greg Clayton9e409562010-07-28 02:04:09 +00001192
Greg Claytone1be9962011-08-24 23:50:00 +00001193 if (language == eLanguageTypeObjC || language == eLanguageTypeObjC_plus_plus)
Greg Clayton9e409562010-07-28 02:04:09 +00001194 {
Greg Claytonaaf99e02010-10-11 02:25:34 +00001195 bool isForwardDecl = true;
Greg Clayton9e409562010-07-28 02:04:09 +00001196 bool isInternal = false;
Sean Callananad880762012-04-18 01:06:17 +00001197 return CreateObjCClass (name, decl_ctx, isForwardDecl, isInternal, metadata);
Greg Clayton9e409562010-07-28 02:04:09 +00001198 }
1199
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001200 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1201 // we will need to update this code. I was told to currently always use
1202 // the CXXRecordDecl class since we often don't know from debug information
1203 // if something is struct or a class, so we default to always use the more
1204 // complete definition just in case.
Sean Callanan11e32d32014-02-18 00:31:38 +00001205
1206 bool is_anonymous = (!name) || (!name[0]);
1207
Greg Claytonf0705c82011-10-22 03:33:13 +00001208 CXXRecordDecl *decl = CXXRecordDecl::Create (*ast,
1209 (TagDecl::TagKind)kind,
1210 decl_ctx,
1211 SourceLocation(),
1212 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001213 is_anonymous ? nullptr : &ast->Idents.get(name));
Sean Callanan11e32d32014-02-18 00:31:38 +00001214
1215 if (is_anonymous)
1216 decl->setAnonymousStructOrUnion(true);
Sean Callanan7282e2a2012-01-13 22:10:18 +00001217
Greg Claytonc4ffd662013-03-08 01:37:30 +00001218 if (decl)
Greg Clayton55561e92011-10-26 03:31:36 +00001219 {
Greg Claytonc4ffd662013-03-08 01:37:30 +00001220 if (metadata)
Greg Claytond0029442013-03-27 01:48:02 +00001221 SetMetadata(ast, decl, *metadata);
Greg Claytonc4ffd662013-03-08 01:37:30 +00001222
Greg Clayton55561e92011-10-26 03:31:36 +00001223 if (access_type != eAccessNone)
1224 decl->setAccess (ConvertAccessTypeToAccessSpecifier (access_type));
Greg Claytonc4ffd662013-03-08 01:37:30 +00001225
1226 if (decl_ctx)
1227 decl_ctx->addDecl (decl);
1228
Greg Clayton57ee3062013-07-11 22:46:58 +00001229 return ClangASTType(ast, ast->getTagDeclType(decl).getAsOpaquePtr());
Greg Clayton55561e92011-10-26 03:31:36 +00001230 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001231 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001232}
1233
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001234static TemplateParameterList *
1235CreateTemplateParameterList (ASTContext *ast,
Sean Callanan3d654b32012-09-24 22:25:51 +00001236 const ClangASTContext::TemplateParameterInfos &template_param_infos,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001237 llvm::SmallVector<NamedDecl *, 8> &template_param_decls)
1238{
1239 const bool parameter_pack = false;
1240 const bool is_typename = false;
1241 const unsigned depth = 0;
1242 const size_t num_template_params = template_param_infos.GetSize();
1243 for (size_t i=0; i<num_template_params; ++i)
1244 {
1245 const char *name = template_param_infos.names[i];
Greg Clayton283b2652013-04-23 22:38:02 +00001246
Ed Masted4612ad2014-04-20 13:17:36 +00001247 IdentifierInfo *identifier_info = nullptr;
Greg Clayton283b2652013-04-23 22:38:02 +00001248 if (name && name[0])
1249 identifier_info = &ast->Idents.get(name);
Sean Callanan3d654b32012-09-24 22:25:51 +00001250 if (template_param_infos.args[i].getKind() == TemplateArgument::Integral)
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001251 {
1252 template_param_decls.push_back (NonTypeTemplateParmDecl::Create (*ast,
1253 ast->getTranslationUnitDecl(), // Is this the right decl context?, SourceLocation StartLoc,
1254 SourceLocation(),
1255 SourceLocation(),
1256 depth,
1257 i,
Greg Clayton283b2652013-04-23 22:38:02 +00001258 identifier_info,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001259 template_param_infos.args[i].getIntegralType(),
1260 parameter_pack,
Ed Masted4612ad2014-04-20 13:17:36 +00001261 nullptr));
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001262
1263 }
1264 else
1265 {
1266 template_param_decls.push_back (TemplateTypeParmDecl::Create (*ast,
1267 ast->getTranslationUnitDecl(), // Is this the right decl context?
1268 SourceLocation(),
1269 SourceLocation(),
1270 depth,
1271 i,
Greg Clayton283b2652013-04-23 22:38:02 +00001272 identifier_info,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001273 is_typename,
1274 parameter_pack));
1275 }
1276 }
1277
1278 TemplateParameterList *template_param_list = TemplateParameterList::Create (*ast,
1279 SourceLocation(),
1280 SourceLocation(),
1281 &template_param_decls.front(),
1282 template_param_decls.size(),
1283 SourceLocation());
1284 return template_param_list;
1285}
1286
1287clang::FunctionTemplateDecl *
1288ClangASTContext::CreateFunctionTemplateDecl (clang::DeclContext *decl_ctx,
1289 clang::FunctionDecl *func_decl,
1290 const char *name,
1291 const TemplateParameterInfos &template_param_infos)
1292{
1293// /// \brief Create a function template node.
1294 ASTContext *ast = getASTContext();
1295
1296 llvm::SmallVector<NamedDecl *, 8> template_param_decls;
1297
1298 TemplateParameterList *template_param_list = CreateTemplateParameterList (ast,
1299 template_param_infos,
1300 template_param_decls);
1301 FunctionTemplateDecl *func_tmpl_decl = FunctionTemplateDecl::Create (*ast,
1302 decl_ctx,
1303 func_decl->getLocation(),
1304 func_decl->getDeclName(),
1305 template_param_list,
1306 func_decl);
1307
1308 for (size_t i=0, template_param_decl_count = template_param_decls.size();
1309 i < template_param_decl_count;
1310 ++i)
1311 {
1312 // TODO: verify which decl context we should put template_param_decls into..
1313 template_param_decls[i]->setDeclContext (func_decl);
1314 }
1315
1316 return func_tmpl_decl;
1317}
1318
1319void
1320ClangASTContext::CreateFunctionTemplateSpecializationInfo (FunctionDecl *func_decl,
1321 clang::FunctionTemplateDecl *func_tmpl_decl,
1322 const TemplateParameterInfos &infos)
1323{
1324 TemplateArgumentList template_args (TemplateArgumentList::OnStack,
1325 infos.args.data(),
1326 infos.args.size());
1327
1328 func_decl->setFunctionTemplateSpecialization (func_tmpl_decl,
1329 &template_args,
Ed Masted4612ad2014-04-20 13:17:36 +00001330 nullptr);
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001331}
1332
1333
Greg Claytonf0705c82011-10-22 03:33:13 +00001334ClassTemplateDecl *
1335ClangASTContext::CreateClassTemplateDecl (DeclContext *decl_ctx,
Greg Clayton55561e92011-10-26 03:31:36 +00001336 lldb::AccessType access_type,
Greg Claytonf0705c82011-10-22 03:33:13 +00001337 const char *class_name,
1338 int kind,
1339 const TemplateParameterInfos &template_param_infos)
1340{
1341 ASTContext *ast = getASTContext();
1342
Ed Masted4612ad2014-04-20 13:17:36 +00001343 ClassTemplateDecl *class_template_decl = nullptr;
1344 if (decl_ctx == nullptr)
Greg Claytonf0705c82011-10-22 03:33:13 +00001345 decl_ctx = ast->getTranslationUnitDecl();
1346
1347 IdentifierInfo &identifier_info = ast->Idents.get(class_name);
1348 DeclarationName decl_name (&identifier_info);
1349
1350 clang::DeclContext::lookup_result result = decl_ctx->lookup(decl_name);
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001351
1352 for (NamedDecl *decl : result)
Greg Claytonf0705c82011-10-22 03:33:13 +00001353 {
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001354 class_template_decl = dyn_cast<clang::ClassTemplateDecl>(decl);
Greg Claytonf0705c82011-10-22 03:33:13 +00001355 if (class_template_decl)
1356 return class_template_decl;
1357 }
1358
1359 llvm::SmallVector<NamedDecl *, 8> template_param_decls;
Greg Claytonf0705c82011-10-22 03:33:13 +00001360
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001361 TemplateParameterList *template_param_list = CreateTemplateParameterList (ast,
1362 template_param_infos,
1363 template_param_decls);
Greg Claytonf0705c82011-10-22 03:33:13 +00001364
1365 CXXRecordDecl *template_cxx_decl = CXXRecordDecl::Create (*ast,
1366 (TagDecl::TagKind)kind,
1367 decl_ctx, // What decl context do we use here? TU? The actual decl context?
1368 SourceLocation(),
1369 SourceLocation(),
1370 &identifier_info);
Greg Claytone04741d2011-12-02 02:09:28 +00001371
1372 for (size_t i=0, template_param_decl_count = template_param_decls.size();
1373 i < template_param_decl_count;
1374 ++i)
1375 {
1376 template_param_decls[i]->setDeclContext (template_cxx_decl);
1377 }
1378
Sean Callananb5c79622011-11-19 01:35:08 +00001379 // With templated classes, we say that a class is templated with
1380 // specializations, but that the bare class has no functions.
Sean Callananfa4fab72013-02-01 06:55:48 +00001381 //template_cxx_decl->startDefinition();
1382 //template_cxx_decl->completeDefinition();
Sean Callananb5c79622011-11-19 01:35:08 +00001383
Greg Claytonf0705c82011-10-22 03:33:13 +00001384 class_template_decl = ClassTemplateDecl::Create (*ast,
1385 decl_ctx, // What decl context do we use here? TU? The actual decl context?
1386 SourceLocation(),
1387 decl_name,
1388 template_param_list,
1389 template_cxx_decl,
Ed Masted4612ad2014-04-20 13:17:36 +00001390 nullptr);
Greg Claytonf0705c82011-10-22 03:33:13 +00001391
1392 if (class_template_decl)
Sean Callanan5e9e1992011-10-26 01:06:27 +00001393 {
Greg Clayton55561e92011-10-26 03:31:36 +00001394 if (access_type != eAccessNone)
1395 class_template_decl->setAccess (ConvertAccessTypeToAccessSpecifier (access_type));
Sean Callanan5b26f272012-02-04 08:49:35 +00001396
1397 //if (TagDecl *ctx_tag_decl = dyn_cast<TagDecl>(decl_ctx))
1398 // CompleteTagDeclarationDefinition(GetTypeForDecl(ctx_tag_decl));
1399
Greg Claytonf0705c82011-10-22 03:33:13 +00001400 decl_ctx->addDecl (class_template_decl);
Sean Callanan5e9e1992011-10-26 01:06:27 +00001401
1402#ifdef LLDB_CONFIGURATION_DEBUG
1403 VerifyDecl(class_template_decl);
1404#endif
1405 }
Greg Claytonf0705c82011-10-22 03:33:13 +00001406
1407 return class_template_decl;
1408}
1409
1410
1411ClassTemplateSpecializationDecl *
1412ClangASTContext::CreateClassTemplateSpecializationDecl (DeclContext *decl_ctx,
1413 ClassTemplateDecl *class_template_decl,
1414 int kind,
1415 const TemplateParameterInfos &template_param_infos)
1416{
1417 ASTContext *ast = getASTContext();
1418 ClassTemplateSpecializationDecl *class_template_specialization_decl = ClassTemplateSpecializationDecl::Create (*ast,
1419 (TagDecl::TagKind)kind,
1420 decl_ctx,
1421 SourceLocation(),
1422 SourceLocation(),
1423 class_template_decl,
1424 &template_param_infos.args.front(),
1425 template_param_infos.args.size(),
Ed Masted4612ad2014-04-20 13:17:36 +00001426 nullptr);
Greg Claytonf0705c82011-10-22 03:33:13 +00001427
Sean Callananfa4fab72013-02-01 06:55:48 +00001428 class_template_specialization_decl->setSpecializationKind(TSK_ExplicitSpecialization);
1429
Greg Claytonf0705c82011-10-22 03:33:13 +00001430 return class_template_specialization_decl;
1431}
1432
Greg Clayton57ee3062013-07-11 22:46:58 +00001433ClangASTType
Greg Claytonf0705c82011-10-22 03:33:13 +00001434ClangASTContext::CreateClassTemplateSpecializationType (ClassTemplateSpecializationDecl *class_template_specialization_decl)
1435{
1436 if (class_template_specialization_decl)
1437 {
1438 ASTContext *ast = getASTContext();
1439 if (ast)
Greg Clayton57ee3062013-07-11 22:46:58 +00001440 return ClangASTType(ast, ast->getTagDeclType(class_template_specialization_decl).getAsOpaquePtr());
Greg Claytonf0705c82011-10-22 03:33:13 +00001441 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001442 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001443}
1444
Greg Clayton090d0982011-06-19 03:43:27 +00001445static inline bool
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001446check_op_param (uint32_t op_kind, bool unary, bool binary, uint32_t num_params)
Greg Clayton090d0982011-06-19 03:43:27 +00001447{
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001448 // Special-case call since it can take any number of operands
1449 if(op_kind == OO_Call)
1450 return true;
1451
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +00001452 // The parameter count doesn't include "this"
Greg Clayton090d0982011-06-19 03:43:27 +00001453 if (num_params == 0)
1454 return unary;
1455 if (num_params == 1)
1456 return binary;
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001457 else
Greg Clayton090d0982011-06-19 03:43:27 +00001458 return false;
1459}
Daniel Dunbardacdfb52011-10-31 22:50:57 +00001460
Greg Clayton090d0982011-06-19 03:43:27 +00001461bool
1462ClangASTContext::CheckOverloadedOperatorKindParameterCount (uint32_t op_kind, uint32_t num_params)
1463{
Sean Callanan5b26f272012-02-04 08:49:35 +00001464 switch (op_kind)
1465 {
1466 default:
1467 break;
1468 // C++ standard allows any number of arguments to new/delete
1469 case OO_New:
1470 case OO_Array_New:
1471 case OO_Delete:
1472 case OO_Array_Delete:
1473 return true;
1474 }
1475
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001476#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 +00001477 switch (op_kind)
1478 {
1479#include "clang/Basic/OperatorKinds.def"
1480 default: break;
1481 }
1482 return false;
1483}
1484
Greg Clayton57ee3062013-07-11 22:46:58 +00001485clang::AccessSpecifier
1486ClangASTContext::UnifyAccessSpecifiers (clang::AccessSpecifier lhs, clang::AccessSpecifier rhs)
Sean Callanane8c0cfb2012-03-02 01:03:45 +00001487{
1488 clang::AccessSpecifier ret = lhs;
1489
1490 // Make the access equal to the stricter of the field and the nested field's access
1491 switch (ret)
1492 {
1493 case clang::AS_none:
1494 break;
1495 case clang::AS_private:
1496 break;
1497 case clang::AS_protected:
1498 if (rhs == AS_private)
1499 ret = AS_private;
1500 break;
1501 case clang::AS_public:
1502 ret = rhs;
1503 break;
1504 }
1505
1506 return ret;
1507}
1508
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001509bool
1510ClangASTContext::FieldIsBitfield (FieldDecl* field, uint32_t& bitfield_bit_size)
1511{
1512 return FieldIsBitfield(getASTContext(), field, bitfield_bit_size);
1513}
1514
1515bool
1516ClangASTContext::FieldIsBitfield
1517(
Greg Clayton6beaaa62011-01-17 03:46:26 +00001518 ASTContext *ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001519 FieldDecl* field,
1520 uint32_t& bitfield_bit_size
1521)
1522{
Ed Masted4612ad2014-04-20 13:17:36 +00001523 if (ast == nullptr || field == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001524 return false;
1525
1526 if (field->isBitField())
1527 {
1528 Expr* bit_width_expr = field->getBitWidth();
1529 if (bit_width_expr)
1530 {
1531 llvm::APSInt bit_width_apsint;
Greg Clayton6beaaa62011-01-17 03:46:26 +00001532 if (bit_width_expr->isIntegerConstantExpr(bit_width_apsint, *ast))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001533 {
1534 bitfield_bit_size = bit_width_apsint.getLimitedValue(UINT32_MAX);
1535 return true;
1536 }
1537 }
1538 }
1539 return false;
1540}
1541
1542bool
1543ClangASTContext::RecordHasFields (const RecordDecl *record_decl)
1544{
Ed Masted4612ad2014-04-20 13:17:36 +00001545 if (record_decl == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001546 return false;
1547
1548 if (!record_decl->field_empty())
1549 return true;
1550
1551 // No fields, lets check this is a CXX record and check the base classes
1552 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1553 if (cxx_record_decl)
1554 {
1555 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1556 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1557 base_class != base_class_end;
1558 ++base_class)
1559 {
1560 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1561 if (RecordHasFields(base_class_decl))
1562 return true;
1563 }
1564 }
1565 return false;
1566}
1567
Greg Clayton8cf05932010-07-22 18:30:50 +00001568#pragma mark Objective C Classes
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001569
Greg Clayton57ee3062013-07-11 22:46:58 +00001570ClangASTType
Sean Callananad880762012-04-18 01:06:17 +00001571ClangASTContext::CreateObjCClass
Greg Clayton8cf05932010-07-22 18:30:50 +00001572(
1573 const char *name,
1574 DeclContext *decl_ctx,
1575 bool isForwardDecl,
Sean Callananad880762012-04-18 01:06:17 +00001576 bool isInternal,
Jim Ingham379397632012-10-27 02:54:13 +00001577 ClangASTMetadata *metadata
Greg Clayton8cf05932010-07-22 18:30:50 +00001578)
1579{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001580 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001581 assert (ast != nullptr);
Greg Clayton8cf05932010-07-22 18:30:50 +00001582 assert (name && name[0]);
Ed Masted4612ad2014-04-20 13:17:36 +00001583 if (decl_ctx == nullptr)
Greg Clayton6beaaa62011-01-17 03:46:26 +00001584 decl_ctx = ast->getTranslationUnitDecl();
Greg Clayton8cf05932010-07-22 18:30:50 +00001585
Greg Clayton6beaaa62011-01-17 03:46:26 +00001586 ObjCInterfaceDecl *decl = ObjCInterfaceDecl::Create (*ast,
Greg Clayton8cf05932010-07-22 18:30:50 +00001587 decl_ctx,
1588 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001589 &ast->Idents.get(name),
Ed Masted4612ad2014-04-20 13:17:36 +00001590 nullptr,
Greg Clayton8cf05932010-07-22 18:30:50 +00001591 SourceLocation(),
Sean Callanan5b26f272012-02-04 08:49:35 +00001592 /*isForwardDecl,*/
Greg Clayton8cf05932010-07-22 18:30:50 +00001593 isInternal);
Greg Clayton9e409562010-07-28 02:04:09 +00001594
Jim Ingham379397632012-10-27 02:54:13 +00001595 if (decl && metadata)
Greg Claytond0029442013-03-27 01:48:02 +00001596 SetMetadata(ast, decl, *metadata);
Sean Callananad880762012-04-18 01:06:17 +00001597
Greg Clayton57ee3062013-07-11 22:46:58 +00001598 return ClangASTType (ast, ast->getObjCInterfaceType(decl));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001599}
1600
1601static inline bool
1602BaseSpecifierIsEmpty (const CXXBaseSpecifier *b)
1603{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001604 return ClangASTContext::RecordHasFields(b->getType()->getAsCXXRecordDecl()) == false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001605}
1606
Greg Clayton57ee3062013-07-11 22:46:58 +00001607uint32_t
1608ClangASTContext::GetNumBaseClasses (const CXXRecordDecl *cxx_record_decl, bool omit_empty_base_classes)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001609{
1610 uint32_t num_bases = 0;
1611 if (cxx_record_decl)
1612 {
1613 if (omit_empty_base_classes)
1614 {
1615 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1616 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1617 base_class != base_class_end;
1618 ++base_class)
1619 {
1620 // Skip empty base classes
1621 if (omit_empty_base_classes)
1622 {
1623 if (BaseSpecifierIsEmpty (base_class))
1624 continue;
1625 }
1626 ++num_bases;
1627 }
1628 }
1629 else
1630 num_bases = cxx_record_decl->getNumBases();
1631 }
1632 return num_bases;
1633}
1634
1635
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001636#pragma mark Namespace Declarations
1637
1638NamespaceDecl *
Greg Clayton030a2042011-10-14 21:34:45 +00001639ClangASTContext::GetUniqueNamespaceDeclaration (const char *name, DeclContext *decl_ctx)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001640{
Ed Masted4612ad2014-04-20 13:17:36 +00001641 NamespaceDecl *namespace_decl = nullptr;
Greg Clayton9d3d6882011-10-31 23:51:19 +00001642 ASTContext *ast = getASTContext();
1643 TranslationUnitDecl *translation_unit_decl = ast->getTranslationUnitDecl ();
Ed Masted4612ad2014-04-20 13:17:36 +00001644 if (decl_ctx == nullptr)
Greg Clayton9d3d6882011-10-31 23:51:19 +00001645 decl_ctx = translation_unit_decl;
1646
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001647 if (name)
1648 {
Greg Clayton030a2042011-10-14 21:34:45 +00001649 IdentifierInfo &identifier_info = ast->Idents.get(name);
1650 DeclarationName decl_name (&identifier_info);
1651 clang::DeclContext::lookup_result result = decl_ctx->lookup(decl_name);
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001652 for (NamedDecl *decl : result)
Greg Clayton030a2042011-10-14 21:34:45 +00001653 {
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001654 namespace_decl = dyn_cast<clang::NamespaceDecl>(decl);
Greg Clayton030a2042011-10-14 21:34:45 +00001655 if (namespace_decl)
1656 return namespace_decl;
1657 }
1658
Sean Callanan5b26f272012-02-04 08:49:35 +00001659 namespace_decl = NamespaceDecl::Create(*ast,
1660 decl_ctx,
1661 false,
1662 SourceLocation(),
1663 SourceLocation(),
1664 &identifier_info,
Ed Masted4612ad2014-04-20 13:17:36 +00001665 nullptr);
Greg Clayton030a2042011-10-14 21:34:45 +00001666
Greg Clayton9d3d6882011-10-31 23:51:19 +00001667 decl_ctx->addDecl (namespace_decl);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001668 }
Greg Clayton9d3d6882011-10-31 23:51:19 +00001669 else
1670 {
1671 if (decl_ctx == translation_unit_decl)
1672 {
1673 namespace_decl = translation_unit_decl->getAnonymousNamespace();
1674 if (namespace_decl)
1675 return namespace_decl;
1676
Sean Callanan5b26f272012-02-04 08:49:35 +00001677 namespace_decl = NamespaceDecl::Create(*ast,
1678 decl_ctx,
1679 false,
1680 SourceLocation(),
1681 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001682 nullptr,
1683 nullptr);
Greg Clayton9d3d6882011-10-31 23:51:19 +00001684 translation_unit_decl->setAnonymousNamespace (namespace_decl);
1685 translation_unit_decl->addDecl (namespace_decl);
1686 assert (namespace_decl == translation_unit_decl->getAnonymousNamespace());
1687 }
1688 else
1689 {
1690 NamespaceDecl *parent_namespace_decl = cast<NamespaceDecl>(decl_ctx);
1691 if (parent_namespace_decl)
1692 {
1693 namespace_decl = parent_namespace_decl->getAnonymousNamespace();
1694 if (namespace_decl)
1695 return namespace_decl;
Sean Callanan5b26f272012-02-04 08:49:35 +00001696 namespace_decl = NamespaceDecl::Create(*ast,
1697 decl_ctx,
1698 false,
1699 SourceLocation(),
1700 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001701 nullptr,
1702 nullptr);
Greg Clayton9d3d6882011-10-31 23:51:19 +00001703 parent_namespace_decl->setAnonymousNamespace (namespace_decl);
1704 parent_namespace_decl->addDecl (namespace_decl);
1705 assert (namespace_decl == parent_namespace_decl->getAnonymousNamespace());
1706 }
1707 else
1708 {
1709 // BAD!!!
1710 }
1711 }
1712
1713
1714 if (namespace_decl)
1715 {
1716 // If we make it here, we are creating the anonymous namespace decl
1717 // for the first time, so we need to do the using directive magic
1718 // like SEMA does
1719 UsingDirectiveDecl* using_directive_decl = UsingDirectiveDecl::Create (*ast,
1720 decl_ctx,
1721 SourceLocation(),
1722 SourceLocation(),
1723 NestedNameSpecifierLoc(),
1724 SourceLocation(),
1725 namespace_decl,
1726 decl_ctx);
1727 using_directive_decl->setImplicit();
1728 decl_ctx->addDecl(using_directive_decl);
1729 }
1730 }
1731#ifdef LLDB_CONFIGURATION_DEBUG
1732 VerifyDecl(namespace_decl);
1733#endif
Greg Clayton030a2042011-10-14 21:34:45 +00001734 return namespace_decl;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001735}
1736
1737
1738#pragma mark Function Types
1739
1740FunctionDecl *
Greg Clayton57ee3062013-07-11 22:46:58 +00001741ClangASTContext::CreateFunctionDeclaration (DeclContext *decl_ctx,
1742 const char *name,
1743 const ClangASTType &function_clang_type,
1744 int storage,
1745 bool is_inline)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001746{
Ed Masted4612ad2014-04-20 13:17:36 +00001747 FunctionDecl *func_decl = nullptr;
Greg Clayton147e1fa2011-10-14 22:47:18 +00001748 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001749 if (decl_ctx == nullptr)
Greg Clayton147e1fa2011-10-14 22:47:18 +00001750 decl_ctx = ast->getTranslationUnitDecl();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001751
Greg Clayton0d551042013-06-28 21:08:47 +00001752
1753 const bool hasWrittenPrototype = true;
1754 const bool isConstexprSpecified = false;
1755
Greg Clayton147e1fa2011-10-14 22:47:18 +00001756 if (name && name[0])
1757 {
1758 func_decl = FunctionDecl::Create (*ast,
1759 decl_ctx,
1760 SourceLocation(),
1761 SourceLocation(),
1762 DeclarationName (&ast->Idents.get(name)),
Greg Clayton57ee3062013-07-11 22:46:58 +00001763 function_clang_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001764 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001765 (clang::StorageClass)storage,
Greg Clayton0d551042013-06-28 21:08:47 +00001766 is_inline,
1767 hasWrittenPrototype,
1768 isConstexprSpecified);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001769 }
Greg Clayton147e1fa2011-10-14 22:47:18 +00001770 else
1771 {
1772 func_decl = FunctionDecl::Create (*ast,
1773 decl_ctx,
1774 SourceLocation(),
1775 SourceLocation(),
1776 DeclarationName (),
Greg Clayton57ee3062013-07-11 22:46:58 +00001777 function_clang_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001778 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001779 (clang::StorageClass)storage,
Greg Clayton0d551042013-06-28 21:08:47 +00001780 is_inline,
1781 hasWrittenPrototype,
1782 isConstexprSpecified);
Greg Clayton147e1fa2011-10-14 22:47:18 +00001783 }
1784 if (func_decl)
1785 decl_ctx->addDecl (func_decl);
Sean Callanan5e9e1992011-10-26 01:06:27 +00001786
1787#ifdef LLDB_CONFIGURATION_DEBUG
1788 VerifyDecl(func_decl);
1789#endif
1790
Greg Clayton147e1fa2011-10-14 22:47:18 +00001791 return func_decl;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001792}
1793
Greg Clayton57ee3062013-07-11 22:46:58 +00001794ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001795ClangASTContext::CreateFunctionType (ASTContext *ast,
Greg Clayton57ee3062013-07-11 22:46:58 +00001796 const ClangASTType& result_type,
1797 const ClangASTType *args,
Sean Callananc81256a2010-09-16 20:40:25 +00001798 unsigned num_args,
1799 bool is_variadic,
1800 unsigned type_quals)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001801{
Ed Masted4612ad2014-04-20 13:17:36 +00001802 assert (ast != nullptr);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001803 std::vector<QualType> qual_type_args;
1804 for (unsigned i=0; i<num_args; ++i)
Greg Clayton57ee3062013-07-11 22:46:58 +00001805 qual_type_args.push_back (args[i].GetQualType());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001806
1807 // TODO: Detect calling convention in DWARF?
Sean Callanan2c777c42011-01-18 23:32:05 +00001808 FunctionProtoType::ExtProtoInfo proto_info;
1809 proto_info.Variadic = is_variadic;
Sylvestre Ledru186ca7d2014-08-01 12:19:15 +00001810 proto_info.ExceptionSpec = EST_None;
Sean Callanan2c777c42011-01-18 23:32:05 +00001811 proto_info.TypeQuals = type_quals;
Sean Callananfb0b7582011-03-15 00:17:19 +00001812 proto_info.RefQualifier = RQ_None;
Sylvestre Ledru186ca7d2014-08-01 12:19:15 +00001813
Greg Clayton57ee3062013-07-11 22:46:58 +00001814 return ClangASTType (ast, ast->getFunctionType (result_type.GetQualType(),
1815 qual_type_args,
1816 proto_info).getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001817}
1818
1819ParmVarDecl *
Greg Clayton57ee3062013-07-11 22:46:58 +00001820ClangASTContext::CreateParameterDeclaration (const char *name, const ClangASTType &param_type, int storage)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001821{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001822 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001823 assert (ast != nullptr);
Greg Clayton6beaaa62011-01-17 03:46:26 +00001824 return ParmVarDecl::Create(*ast,
1825 ast->getTranslationUnitDecl(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001826 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00001827 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001828 name && name[0] ? &ast->Idents.get(name) : nullptr,
Greg Clayton57ee3062013-07-11 22:46:58 +00001829 param_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001830 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001831 (clang::StorageClass)storage,
Ed Masted4612ad2014-04-20 13:17:36 +00001832 nullptr);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001833}
1834
1835void
1836ClangASTContext::SetFunctionParameters (FunctionDecl *function_decl, ParmVarDecl **params, unsigned num_params)
1837{
1838 if (function_decl)
Sean Callanan880e6802011-10-07 23:18:13 +00001839 function_decl->setParams (ArrayRef<ParmVarDecl*>(params, num_params));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001840}
1841
1842
1843#pragma mark Array Types
1844
Greg Clayton57ee3062013-07-11 22:46:58 +00001845ClangASTType
1846ClangASTContext::CreateArrayType (const ClangASTType &element_type,
Greg Clayton1c8ef472013-04-05 23:27:21 +00001847 size_t element_count,
1848 bool is_vector)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001849{
Greg Clayton57ee3062013-07-11 22:46:58 +00001850 if (element_type.IsValid())
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001851 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001852 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001853 assert (ast != nullptr);
Greg Clayton4ef877f2012-12-06 02:33:54 +00001854
Greg Clayton1c8ef472013-04-05 23:27:21 +00001855 if (is_vector)
1856 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001857 return ClangASTType (ast, ast->getExtVectorType(element_type.GetQualType(), element_count).getAsOpaquePtr());
Greg Clayton4ef877f2012-12-06 02:33:54 +00001858 }
1859 else
1860 {
Greg Clayton1c8ef472013-04-05 23:27:21 +00001861
1862 llvm::APInt ap_element_count (64, element_count);
1863 if (element_count == 0)
1864 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001865 return ClangASTType (ast, ast->getIncompleteArrayType (element_type.GetQualType(),
1866 ArrayType::Normal,
1867 0).getAsOpaquePtr());
Greg Clayton1c8ef472013-04-05 23:27:21 +00001868 }
1869 else
1870 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001871 return ClangASTType (ast, ast->getConstantArrayType (element_type.GetQualType(),
1872 ap_element_count,
1873 ArrayType::Normal,
1874 0).getAsOpaquePtr());
Greg Clayton1c8ef472013-04-05 23:27:21 +00001875 }
Greg Clayton4ef877f2012-12-06 02:33:54 +00001876 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001877 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001878 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001879}
1880
Enrico Granata76b08d52014-10-29 23:08:02 +00001881ClangASTType
1882ClangASTContext::GetOrCreateStructForIdentifier (const ConstString &type_name,
Enrico Granataa449e862014-10-30 00:53:28 +00001883 const std::initializer_list< std::pair < const char *, ClangASTType > >& type_fields,
1884 bool packed)
Enrico Granata76b08d52014-10-29 23:08:02 +00001885{
1886 ClangASTType type;
1887 if ((type = GetTypeForIdentifier<clang::CXXRecordDecl>(type_name)).IsValid())
1888 return type;
1889 type = CreateRecordType(nullptr, lldb::eAccessPublic, type_name.GetCString(), clang::TTK_Struct, lldb::eLanguageTypeC);
1890 type.StartTagDeclarationDefinition();
1891 for (const auto& field : type_fields)
1892 type.AddFieldToRecordType(field.first, field.second, lldb::eAccessPublic, 0);
Enrico Granataa449e862014-10-30 00:53:28 +00001893 if (packed)
1894 type.SetIsPacked();
Enrico Granata76b08d52014-10-29 23:08:02 +00001895 type.CompleteTagDeclarationDefinition();
1896 return type;
1897}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001898
1899#pragma mark Enumeration Types
1900
Greg Clayton57ee3062013-07-11 22:46:58 +00001901ClangASTType
Greg Claytonca512b32011-01-14 04:54:56 +00001902ClangASTContext::CreateEnumerationType
1903(
1904 const char *name,
1905 DeclContext *decl_ctx,
1906 const Declaration &decl,
Greg Clayton57ee3062013-07-11 22:46:58 +00001907 const ClangASTType &integer_clang_type
Greg Claytonca512b32011-01-14 04:54:56 +00001908)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001909{
1910 // TODO: Do something intelligent with the Declaration object passed in
1911 // like maybe filling in the SourceLocation with it...
Greg Clayton6beaaa62011-01-17 03:46:26 +00001912 ASTContext *ast = getASTContext();
Greg Claytone02b8502010-10-12 04:29:14 +00001913
1914 // TODO: ask about these...
1915// const bool IsScoped = false;
1916// const bool IsFixed = false;
1917
Greg Clayton6beaaa62011-01-17 03:46:26 +00001918 EnumDecl *enum_decl = EnumDecl::Create (*ast,
Greg Claytonca512b32011-01-14 04:54:56 +00001919 decl_ctx,
Greg Claytone02b8502010-10-12 04:29:14 +00001920 SourceLocation(),
Greg Claytone02b8502010-10-12 04:29:14 +00001921 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001922 name && name[0] ? &ast->Idents.get(name) : nullptr,
1923 nullptr,
Sean Callanan48114472010-12-13 01:26:27 +00001924 false, // IsScoped
1925 false, // IsScopedUsingClassTag
1926 false); // IsFixed
Sean Callanan2652ad22011-01-18 01:03:44 +00001927
1928
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001929 if (enum_decl)
Greg Clayton83ff3892010-09-12 23:17:56 +00001930 {
1931 // TODO: check if we should be setting the promotion type too?
Greg Clayton57ee3062013-07-11 22:46:58 +00001932 enum_decl->setIntegerType(integer_clang_type.GetQualType());
Sean Callanan2652ad22011-01-18 01:03:44 +00001933
1934 enum_decl->setAccess(AS_public); // TODO respect what's in the debug info
1935
Greg Clayton57ee3062013-07-11 22:46:58 +00001936 return ClangASTType (ast, ast->getTagDeclType(enum_decl).getAsOpaquePtr());
Greg Clayton83ff3892010-09-12 23:17:56 +00001937 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001938 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001939}
1940
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001941// Disable this for now since I can't seem to get a nicely formatted float
1942// out of the APFloat class without just getting the float, double or quad
1943// and then using a formatted print on it which defeats the purpose. We ideally
1944// would like to get perfect string values for any kind of float semantics
1945// so we can support remote targets. The code below also requires a patch to
1946// llvm::APInt.
1947//bool
Greg Clayton6beaaa62011-01-17 03:46:26 +00001948//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 +00001949//{
1950// uint32_t count = 0;
1951// bool is_complex = false;
1952// if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
1953// {
1954// unsigned num_bytes_per_float = byte_size / count;
1955// unsigned num_bits_per_float = num_bytes_per_float * 8;
1956//
1957// float_str.clear();
1958// uint32_t i;
1959// for (i=0; i<count; i++)
1960// {
1961// APInt ap_int(num_bits_per_float, bytes + i * num_bytes_per_float, (APInt::ByteOrder)apint_byte_order);
1962// bool is_ieee = false;
1963// APFloat ap_float(ap_int, is_ieee);
1964// char s[1024];
1965// unsigned int hex_digits = 0;
1966// bool upper_case = false;
1967//
1968// if (ap_float.convertToHexString(s, hex_digits, upper_case, APFloat::rmNearestTiesToEven) > 0)
1969// {
1970// if (i > 0)
1971// float_str.append(", ");
1972// float_str.append(s);
1973// if (i == 1 && is_complex)
1974// float_str.append(1, 'i');
1975// }
1976// }
1977// return !float_str.empty();
1978// }
1979// return false;
1980//}
1981
Enrico Granatae8bf7492014-08-15 23:00:02 +00001982ClangASTType
1983ClangASTContext::GetIntTypeFromBitSize (clang::ASTContext *ast,
1984 size_t bit_size, bool is_signed)
1985{
1986 if (ast)
1987 {
1988 if (is_signed)
1989 {
1990 if (bit_size == ast->getTypeSize(ast->SignedCharTy))
1991 return ClangASTType(ast, ast->SignedCharTy.getAsOpaquePtr());
1992
1993 if (bit_size == ast->getTypeSize(ast->ShortTy))
1994 return ClangASTType(ast, ast->ShortTy.getAsOpaquePtr());
1995
1996 if (bit_size == ast->getTypeSize(ast->IntTy))
1997 return ClangASTType(ast, ast->IntTy.getAsOpaquePtr());
1998
1999 if (bit_size == ast->getTypeSize(ast->LongTy))
2000 return ClangASTType(ast, ast->LongTy.getAsOpaquePtr());
2001
2002 if (bit_size == ast->getTypeSize(ast->LongLongTy))
2003 return ClangASTType(ast, ast->LongLongTy.getAsOpaquePtr());
2004
2005 if (bit_size == ast->getTypeSize(ast->Int128Ty))
2006 return ClangASTType(ast, ast->Int128Ty.getAsOpaquePtr());
2007 }
2008 else
2009 {
2010 if (bit_size == ast->getTypeSize(ast->UnsignedCharTy))
2011 return ClangASTType(ast, ast->UnsignedCharTy.getAsOpaquePtr());
2012
2013 if (bit_size == ast->getTypeSize(ast->UnsignedShortTy))
2014 return ClangASTType(ast, ast->UnsignedShortTy.getAsOpaquePtr());
2015
2016 if (bit_size == ast->getTypeSize(ast->UnsignedIntTy))
2017 return ClangASTType(ast, ast->UnsignedIntTy.getAsOpaquePtr());
2018
2019 if (bit_size == ast->getTypeSize(ast->UnsignedLongTy))
2020 return ClangASTType(ast, ast->UnsignedLongTy.getAsOpaquePtr());
2021
2022 if (bit_size == ast->getTypeSize(ast->UnsignedLongLongTy))
2023 return ClangASTType(ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
2024
2025 if (bit_size == ast->getTypeSize(ast->UnsignedInt128Ty))
2026 return ClangASTType(ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
2027 }
2028 }
2029 return ClangASTType();
2030}
2031
2032ClangASTType
2033ClangASTContext::GetPointerSizedIntType (clang::ASTContext *ast, bool is_signed)
2034{
2035 if (ast)
2036 return GetIntTypeFromBitSize(ast, ast->getTypeSize(ast->VoidPtrTy), is_signed);
2037 return ClangASTType();
2038}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002039
Greg Clayton57ee3062013-07-11 22:46:58 +00002040ClangASTType
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002041ClangASTContext::GetFloatTypeFromBitSize (clang::ASTContext *ast,
2042 size_t bit_size)
2043{
2044 if (ast)
2045 {
2046 if (bit_size == ast->getTypeSize(ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002047 return ClangASTType(ast, ast->FloatTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002048 else if (bit_size == ast->getTypeSize(ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002049 return ClangASTType(ast, ast->DoubleTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002050 else if (bit_size == ast->getTypeSize(ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002051 return ClangASTType(ast, ast->LongDoubleTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002052 else if (bit_size == ast->getTypeSize(ast->HalfTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002053 return ClangASTType(ast, ast->HalfTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002054 }
Greg Clayton57ee3062013-07-11 22:46:58 +00002055 return ClangASTType();
Enrico Granata86027e92012-03-24 01:11:14 +00002056}
2057
2058bool
Greg Claytona2721472011-06-25 00:44:06 +00002059ClangASTContext::GetCompleteDecl (clang::ASTContext *ast,
2060 clang::Decl *decl)
2061{
2062 if (!decl)
2063 return false;
2064
2065 ExternalASTSource *ast_source = ast->getExternalSource();
2066
2067 if (!ast_source)
2068 return false;
2069
2070 if (clang::TagDecl *tag_decl = llvm::dyn_cast<clang::TagDecl>(decl))
2071 {
Greg Clayton219cf312012-03-30 00:51:13 +00002072 if (tag_decl->isCompleteDefinition())
Greg Claytona2721472011-06-25 00:44:06 +00002073 return true;
2074
2075 if (!tag_decl->hasExternalLexicalStorage())
2076 return false;
2077
2078 ast_source->CompleteType(tag_decl);
2079
2080 return !tag_decl->getTypeForDecl()->isIncompleteType();
2081 }
2082 else if (clang::ObjCInterfaceDecl *objc_interface_decl = llvm::dyn_cast<clang::ObjCInterfaceDecl>(decl))
2083 {
Sean Callanan5b26f272012-02-04 08:49:35 +00002084 if (objc_interface_decl->getDefinition())
Greg Claytona2721472011-06-25 00:44:06 +00002085 return true;
2086
2087 if (!objc_interface_decl->hasExternalLexicalStorage())
2088 return false;
2089
2090 ast_source->CompleteType(objc_interface_decl);
2091
Sean Callanan5b26f272012-02-04 08:49:35 +00002092 return !objc_interface_decl->getTypeForDecl()->isIncompleteType();
Greg Claytona2721472011-06-25 00:44:06 +00002093 }
2094 else
2095 {
2096 return false;
2097 }
2098}
2099
Sean Callanan60217122012-04-13 00:10:03 +00002100void
Greg Claytond0029442013-03-27 01:48:02 +00002101ClangASTContext::SetMetadataAsUserID (const void *object,
Jim Ingham379397632012-10-27 02:54:13 +00002102 user_id_t user_id)
2103{
2104 ClangASTMetadata meta_data;
2105 meta_data.SetUserID (user_id);
2106 SetMetadata (object, meta_data);
2107}
2108
2109void
Sean Callanan60217122012-04-13 00:10:03 +00002110ClangASTContext::SetMetadata (clang::ASTContext *ast,
Greg Claytond0029442013-03-27 01:48:02 +00002111 const void *object,
Jim Ingham379397632012-10-27 02:54:13 +00002112 ClangASTMetadata &metadata)
Sean Callanan60217122012-04-13 00:10:03 +00002113{
2114 ClangExternalASTSourceCommon *external_source =
Sean Callananceeb74e2014-12-06 01:03:30 +00002115 ClangExternalASTSourceCommon::Lookup(ast->getExternalSource());
Sean Callanan60217122012-04-13 00:10:03 +00002116
2117 if (external_source)
2118 external_source->SetMetadata(object, metadata);
2119}
2120
Jim Ingham379397632012-10-27 02:54:13 +00002121ClangASTMetadata *
Sean Callanan60217122012-04-13 00:10:03 +00002122ClangASTContext::GetMetadata (clang::ASTContext *ast,
Greg Claytond0029442013-03-27 01:48:02 +00002123 const void *object)
Sean Callanan60217122012-04-13 00:10:03 +00002124{
2125 ClangExternalASTSourceCommon *external_source =
Sean Callananceeb74e2014-12-06 01:03:30 +00002126 ClangExternalASTSourceCommon::Lookup(ast->getExternalSource());
Sean Callanan60217122012-04-13 00:10:03 +00002127
2128 if (external_source && external_source->HasMetadata(object))
2129 return external_source->GetMetadata(object);
2130 else
Ed Masted4612ad2014-04-20 13:17:36 +00002131 return nullptr;
Sean Callanan60217122012-04-13 00:10:03 +00002132}
2133
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002134clang::DeclContext *
2135ClangASTContext::GetAsDeclContext (clang::CXXMethodDecl *cxx_method_decl)
2136{
Sean Callanana87bee82011-08-19 06:19:25 +00002137 return llvm::dyn_cast<clang::DeclContext>(cxx_method_decl);
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002138}
2139
2140clang::DeclContext *
2141ClangASTContext::GetAsDeclContext (clang::ObjCMethodDecl *objc_method_decl)
2142{
Sean Callanana87bee82011-08-19 06:19:25 +00002143 return llvm::dyn_cast<clang::DeclContext>(objc_method_decl);
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002144}
2145
Greg Clayton685c88c2012-07-14 00:53:55 +00002146
2147bool
2148ClangASTContext::GetClassMethodInfoForDeclContext (clang::DeclContext *decl_ctx,
2149 lldb::LanguageType &language,
2150 bool &is_instance_method,
2151 ConstString &language_object_name)
2152{
2153 language_object_name.Clear();
2154 language = eLanguageTypeUnknown;
2155 is_instance_method = false;
2156
2157 if (decl_ctx)
2158 {
2159 if (clang::CXXMethodDecl *method_decl = llvm::dyn_cast<clang::CXXMethodDecl>(decl_ctx))
2160 {
2161 if (method_decl->isStatic())
2162 {
2163 is_instance_method = false;
2164 }
2165 else
2166 {
2167 language_object_name.SetCString("this");
2168 is_instance_method = true;
2169 }
2170 language = eLanguageTypeC_plus_plus;
2171 return true;
2172 }
2173 else if (clang::ObjCMethodDecl *method_decl = llvm::dyn_cast<clang::ObjCMethodDecl>(decl_ctx))
2174 {
2175 // Both static and instance methods have a "self" object in objective C
2176 language_object_name.SetCString("self");
2177 if (method_decl->isInstanceMethod())
2178 {
2179 is_instance_method = true;
2180 }
2181 else
2182 {
2183 is_instance_method = false;
2184 }
2185 language = eLanguageTypeObjC;
2186 return true;
2187 }
Jim Ingham379397632012-10-27 02:54:13 +00002188 else if (clang::FunctionDecl *function_decl = llvm::dyn_cast<clang::FunctionDecl>(decl_ctx))
2189 {
Greg Claytond0029442013-03-27 01:48:02 +00002190 ClangASTMetadata *metadata = GetMetadata (&decl_ctx->getParentASTContext(), function_decl);
Jim Ingham379397632012-10-27 02:54:13 +00002191 if (metadata && metadata->HasObjectPtr())
2192 {
2193 language_object_name.SetCString (metadata->GetObjectPtrName());
2194 language = eLanguageTypeObjC;
2195 is_instance_method = true;
2196 }
2197 return true;
2198 }
Greg Clayton685c88c2012-07-14 00:53:55 +00002199 }
2200 return false;
2201}
2202