blob: c7eef43f00964c701b81f02b832e6d8b1b3f36be [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()));
404 m_ast_ap->InitBuiltinTypes(*getTargetInfo());
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000405
Greg Clayton6beaaa62011-01-17 03:46:26 +0000406 if ((m_callback_tag_decl || m_callback_objc_decl) && m_callback_baton)
407 {
408 m_ast_ap->getTranslationUnitDecl()->setHasExternalLexicalStorage();
409 //m_ast_ap->getTranslationUnitDecl()->setHasExternalVisibleStorage();
410 }
411
Sean Callanan880e6802011-10-07 23:18:13 +0000412 m_ast_ap->getDiagnostics().setClient(getDiagnosticConsumer(), false);
Enrico Granata5d84a692014-08-19 21:46:37 +0000413
Enrico Granata2267ad42014-09-16 17:28:40 +0000414 GetASTMap().Insert(m_ast_ap.get(), this);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000415 }
Greg Clayton6beaaa62011-01-17 03:46:26 +0000416 return m_ast_ap.get();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000417}
418
Enrico Granata5d84a692014-08-19 21:46:37 +0000419ClangASTContext*
420ClangASTContext::GetASTContext (clang::ASTContext* ast)
421{
Enrico Granata2267ad42014-09-16 17:28:40 +0000422 ClangASTContext *clang_ast = GetASTMap().Lookup(ast);
Enrico Granata5d84a692014-08-19 21:46:37 +0000423 return clang_ast;
424}
425
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000426Builtin::Context *
427ClangASTContext::getBuiltinContext()
428{
Ed Masted4612ad2014-04-20 13:17:36 +0000429 if (m_builtins_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000430 m_builtins_ap.reset (new Builtin::Context());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000431 return m_builtins_ap.get();
432}
433
434IdentifierTable *
435ClangASTContext::getIdentifierTable()
436{
Ed Masted4612ad2014-04-20 13:17:36 +0000437 if (m_identifier_table_ap.get() == nullptr)
438 m_identifier_table_ap.reset(new IdentifierTable (*ClangASTContext::getLanguageOptions(), nullptr));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000439 return m_identifier_table_ap.get();
440}
441
442LangOptions *
443ClangASTContext::getLanguageOptions()
444{
Ed Masted4612ad2014-04-20 13:17:36 +0000445 if (m_language_options_ap.get() == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000446 {
447 m_language_options_ap.reset(new LangOptions());
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000448 ParseLangArgs(*m_language_options_ap, IK_ObjCXX, GetTargetTriple());
Greg Clayton94e5d782010-06-13 17:34:29 +0000449// InitializeLangOptions(*m_language_options_ap, IK_ObjCXX);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000450 }
451 return m_language_options_ap.get();
452}
453
454SelectorTable *
455ClangASTContext::getSelectorTable()
456{
Ed Masted4612ad2014-04-20 13:17:36 +0000457 if (m_selector_table_ap.get() == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000458 m_selector_table_ap.reset (new SelectorTable());
459 return m_selector_table_ap.get();
460}
461
Sean Callanan79439e82010-11-18 02:56:27 +0000462clang::FileManager *
463ClangASTContext::getFileManager()
464{
Ed Masted4612ad2014-04-20 13:17:36 +0000465 if (m_file_manager_ap.get() == nullptr)
Greg Clayton38a61402010-12-02 23:20:03 +0000466 {
467 clang::FileSystemOptions file_system_options;
468 m_file_manager_ap.reset(new clang::FileManager(file_system_options));
469 }
Sean Callanan79439e82010-11-18 02:56:27 +0000470 return m_file_manager_ap.get();
471}
472
Greg Claytone1a916a2010-07-21 22:12:05 +0000473clang::SourceManager *
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000474ClangASTContext::getSourceManager()
475{
Ed Masted4612ad2014-04-20 13:17:36 +0000476 if (m_source_manager_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000477 m_source_manager_ap.reset(new clang::SourceManager(*getDiagnosticsEngine(), *getFileManager()));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000478 return m_source_manager_ap.get();
479}
480
Sean Callanan880e6802011-10-07 23:18:13 +0000481clang::DiagnosticsEngine *
482ClangASTContext::getDiagnosticsEngine()
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000483{
Ed Masted4612ad2014-04-20 13:17:36 +0000484 if (m_diagnostics_engine_ap.get() == nullptr)
Greg Claytona651b532010-11-19 21:46:54 +0000485 {
486 llvm::IntrusiveRefCntPtr<DiagnosticIDs> diag_id_sp(new DiagnosticIDs());
Sean Callananec8f1ef2012-10-25 01:00:25 +0000487 m_diagnostics_engine_ap.reset(new DiagnosticsEngine(diag_id_sp, new DiagnosticOptions()));
Greg Claytona651b532010-11-19 21:46:54 +0000488 }
Sean Callanan880e6802011-10-07 23:18:13 +0000489 return m_diagnostics_engine_ap.get();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000490}
491
Sean Callanan880e6802011-10-07 23:18:13 +0000492class NullDiagnosticConsumer : public DiagnosticConsumer
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000493{
494public:
Sean Callanan880e6802011-10-07 23:18:13 +0000495 NullDiagnosticConsumer ()
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000496 {
497 m_log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS);
498 }
499
Sean Callanan880e6802011-10-07 23:18:13 +0000500 void HandleDiagnostic (DiagnosticsEngine::Level DiagLevel, const Diagnostic &info)
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000501 {
502 if (m_log)
503 {
Sean Callanan5b26f272012-02-04 08:49:35 +0000504 llvm::SmallVector<char, 32> diag_str(10);
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000505 info.FormatDiagnostic(diag_str);
506 diag_str.push_back('\0');
507 m_log->Printf("Compiler diagnostic: %s\n", diag_str.data());
508 }
509 }
Sean Callanan880e6802011-10-07 23:18:13 +0000510
511 DiagnosticConsumer *clone (DiagnosticsEngine &Diags) const
512 {
513 return new NullDiagnosticConsumer ();
514 }
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000515private:
Greg Clayton5160ce52013-03-27 23:08:40 +0000516 Log * m_log;
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000517};
518
Sean Callanan880e6802011-10-07 23:18:13 +0000519DiagnosticConsumer *
520ClangASTContext::getDiagnosticConsumer()
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000521{
Ed Masted4612ad2014-04-20 13:17:36 +0000522 if (m_diagnostic_consumer_ap.get() == nullptr)
Sean Callanan880e6802011-10-07 23:18:13 +0000523 m_diagnostic_consumer_ap.reset(new NullDiagnosticConsumer);
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000524
Sean Callanan880e6802011-10-07 23:18:13 +0000525 return m_diagnostic_consumer_ap.get();
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000526}
527
Jason Molenda45938b92014-07-08 23:46:39 +0000528std::shared_ptr<TargetOptions> &
529ClangASTContext::getTargetOptions() {
Alp Tokeredc902f2014-07-05 03:06:05 +0000530 if (m_target_options_rp.get() == nullptr && !m_target_triple.empty())
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000531 {
Alp Toker5f838642014-07-06 05:36:57 +0000532 m_target_options_rp = std::make_shared<TargetOptions>();
Alp Tokeredc902f2014-07-05 03:06:05 +0000533 if (m_target_options_rp.get() != nullptr)
Sean Callananc5069ad2012-10-17 22:11:14 +0000534 m_target_options_rp->Triple = m_target_triple;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000535 }
Alp Toker5f838642014-07-06 05:36:57 +0000536 return m_target_options_rp;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000537}
538
539
540TargetInfo *
541ClangASTContext::getTargetInfo()
542{
Greg Clayton70512312012-05-08 01:45:38 +0000543 // target_triple should be something like "x86_64-apple-macosx"
Ed Masted4612ad2014-04-20 13:17:36 +0000544 if (m_target_info_ap.get() == nullptr && !m_target_triple.empty())
Greg Clayton38d880a2012-11-16 21:35:22 +0000545 m_target_info_ap.reset (TargetInfo::CreateTargetInfo(*getDiagnosticsEngine(), getTargetOptions()));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000546 return m_target_info_ap.get();
547}
548
549#pragma mark Basic Types
550
551static inline bool
Greg Clayton6beaaa62011-01-17 03:46:26 +0000552QualTypeMatchesBitSize(const uint64_t bit_size, ASTContext *ast, QualType qual_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000553{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000554 uint64_t qual_type_bit_size = ast->getTypeSize(qual_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000555 if (qual_type_bit_size == bit_size)
556 return true;
557 return false;
558}
Greg Clayton57ee3062013-07-11 22:46:58 +0000559ClangASTType
Greg Claytonc86103d2010-08-05 01:57:25 +0000560ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (Encoding encoding, uint32_t bit_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000561{
Greg Clayton57ee3062013-07-11 22:46:58 +0000562 return ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (getASTContext(), encoding, bit_size);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000563}
564
Greg Clayton57ee3062013-07-11 22:46:58 +0000565ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +0000566ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (ASTContext *ast, Encoding encoding, uint32_t bit_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000567{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000568 if (!ast)
Greg Clayton57ee3062013-07-11 22:46:58 +0000569 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000570
571 switch (encoding)
572 {
Greg Claytonc86103d2010-08-05 01:57:25 +0000573 case eEncodingInvalid:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000574 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidPtrTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000575 return ClangASTType (ast, ast->VoidPtrTy.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000576 break;
577
Greg Claytonc86103d2010-08-05 01:57:25 +0000578 case eEncodingUint:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000579 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000580 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000581 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000582 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000583 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000584 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000585 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000586 return ClangASTType (ast, ast->UnsignedLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000587 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000588 return ClangASTType (ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000589 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000590 return ClangASTType (ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000591 break;
592
Greg Claytonc86103d2010-08-05 01:57:25 +0000593 case eEncodingSint:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000594 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000595 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000596 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000597 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000598 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000599 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000600 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000601 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000602 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000603 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000604 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000605 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000606 break;
607
Greg Claytonc86103d2010-08-05 01:57:25 +0000608 case eEncodingIEEE754:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000609 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000610 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000611 if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000612 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +0000613 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000614 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000615 break;
616
Greg Claytonc86103d2010-08-05 01:57:25 +0000617 case eEncodingVector:
Johnny Chenc79c93a2012-03-07 01:12:24 +0000618 // Sanity check that bit_size is a multiple of 8's.
619 if (bit_size && !(bit_size & 0x7u))
Greg Clayton57ee3062013-07-11 22:46:58 +0000620 return ClangASTType (ast, ast->getExtVectorType (ast->UnsignedCharTy, bit_size/8).getAsOpaquePtr());
Johnny Chenc79c93a2012-03-07 01:12:24 +0000621 break;
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000622 }
623
Greg Clayton57ee3062013-07-11 22:46:58 +0000624 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000625}
626
Greg Clayton57ee3062013-07-11 22:46:58 +0000627
628
629lldb::BasicType
630ClangASTContext::GetBasicTypeEnumeration (const ConstString &name)
631{
632 if (name)
633 {
634 typedef UniqueCStringMap<lldb::BasicType> TypeNameToBasicTypeMap;
635 static TypeNameToBasicTypeMap g_type_map;
636 static std::once_flag g_once_flag;
637 std::call_once(g_once_flag, [](){
638 // "void"
639 g_type_map.Append(ConstString("void").GetCString(), eBasicTypeVoid);
640
641 // "char"
642 g_type_map.Append(ConstString("char").GetCString(), eBasicTypeChar);
643 g_type_map.Append(ConstString("signed char").GetCString(), eBasicTypeSignedChar);
644 g_type_map.Append(ConstString("unsigned char").GetCString(), eBasicTypeUnsignedChar);
645 g_type_map.Append(ConstString("wchar_t").GetCString(), eBasicTypeWChar);
646 g_type_map.Append(ConstString("signed wchar_t").GetCString(), eBasicTypeSignedWChar);
647 g_type_map.Append(ConstString("unsigned wchar_t").GetCString(), eBasicTypeUnsignedWChar);
648 // "short"
649 g_type_map.Append(ConstString("short").GetCString(), eBasicTypeShort);
650 g_type_map.Append(ConstString("short int").GetCString(), eBasicTypeShort);
651 g_type_map.Append(ConstString("unsigned short").GetCString(), eBasicTypeUnsignedShort);
652 g_type_map.Append(ConstString("unsigned short int").GetCString(), eBasicTypeUnsignedShort);
653
654 // "int"
655 g_type_map.Append(ConstString("int").GetCString(), eBasicTypeInt);
656 g_type_map.Append(ConstString("signed int").GetCString(), eBasicTypeInt);
657 g_type_map.Append(ConstString("unsigned int").GetCString(), eBasicTypeUnsignedInt);
658 g_type_map.Append(ConstString("unsigned").GetCString(), eBasicTypeUnsignedInt);
659
660 // "long"
661 g_type_map.Append(ConstString("long").GetCString(), eBasicTypeLong);
662 g_type_map.Append(ConstString("long int").GetCString(), eBasicTypeLong);
663 g_type_map.Append(ConstString("unsigned long").GetCString(), eBasicTypeUnsignedLong);
664 g_type_map.Append(ConstString("unsigned long int").GetCString(), eBasicTypeUnsignedLong);
665
666 // "long long"
667 g_type_map.Append(ConstString("long long").GetCString(), eBasicTypeLongLong);
668 g_type_map.Append(ConstString("long long int").GetCString(), eBasicTypeLongLong);
669 g_type_map.Append(ConstString("unsigned long long").GetCString(), eBasicTypeUnsignedLongLong);
670 g_type_map.Append(ConstString("unsigned long long int").GetCString(), eBasicTypeUnsignedLongLong);
671
672 // "int128"
673 g_type_map.Append(ConstString("__int128_t").GetCString(), eBasicTypeInt128);
674 g_type_map.Append(ConstString("__uint128_t").GetCString(), eBasicTypeUnsignedInt128);
675
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +0000676 // Miscellaneous
Greg Clayton57ee3062013-07-11 22:46:58 +0000677 g_type_map.Append(ConstString("bool").GetCString(), eBasicTypeBool);
678 g_type_map.Append(ConstString("float").GetCString(), eBasicTypeFloat);
679 g_type_map.Append(ConstString("double").GetCString(), eBasicTypeDouble);
680 g_type_map.Append(ConstString("long double").GetCString(), eBasicTypeLongDouble);
681 g_type_map.Append(ConstString("id").GetCString(), eBasicTypeObjCID);
682 g_type_map.Append(ConstString("SEL").GetCString(), eBasicTypeObjCSel);
683 g_type_map.Append(ConstString("nullptr").GetCString(), eBasicTypeNullPtr);
684 g_type_map.Sort();
685 });
686
687 return g_type_map.Find(name.GetCString(), eBasicTypeInvalid);
688 }
689 return eBasicTypeInvalid;
690}
691
692ClangASTType
693ClangASTContext::GetBasicType (ASTContext *ast, const ConstString &name)
694{
695 if (ast)
696 {
697 lldb::BasicType basic_type = ClangASTContext::GetBasicTypeEnumeration (name);
698 return ClangASTContext::GetBasicType (ast, basic_type);
699 }
700 return ClangASTType();
701}
702
703uint32_t
704ClangASTContext::GetPointerByteSize ()
705{
706 if (m_pointer_byte_size == 0)
Enrico Granata1cd5e922015-01-28 00:07:51 +0000707 m_pointer_byte_size = GetBasicType(lldb::eBasicTypeVoid).GetPointerType().GetByteSize(nullptr);
Greg Clayton57ee3062013-07-11 22:46:58 +0000708 return m_pointer_byte_size;
709}
710
711ClangASTType
712ClangASTContext::GetBasicType (lldb::BasicType basic_type)
713{
714 return GetBasicType (getASTContext(), basic_type);
715}
716
717ClangASTType
718ClangASTContext::GetBasicType (ASTContext *ast, lldb::BasicType basic_type)
719{
720 if (ast)
721 {
Ed Masted4612ad2014-04-20 13:17:36 +0000722 clang_type_t clang_type = nullptr;
Greg Clayton57ee3062013-07-11 22:46:58 +0000723
724 switch (basic_type)
725 {
726 case eBasicTypeInvalid:
727 case eBasicTypeOther:
728 break;
729 case eBasicTypeVoid:
730 clang_type = ast->VoidTy.getAsOpaquePtr();
731 break;
732 case eBasicTypeChar:
733 clang_type = ast->CharTy.getAsOpaquePtr();
734 break;
735 case eBasicTypeSignedChar:
736 clang_type = ast->SignedCharTy.getAsOpaquePtr();
737 break;
738 case eBasicTypeUnsignedChar:
739 clang_type = ast->UnsignedCharTy.getAsOpaquePtr();
740 break;
741 case eBasicTypeWChar:
742 clang_type = ast->getWCharType().getAsOpaquePtr();
743 break;
744 case eBasicTypeSignedWChar:
745 clang_type = ast->getSignedWCharType().getAsOpaquePtr();
746 break;
747 case eBasicTypeUnsignedWChar:
748 clang_type = ast->getUnsignedWCharType().getAsOpaquePtr();
749 break;
750 case eBasicTypeChar16:
751 clang_type = ast->Char16Ty.getAsOpaquePtr();
752 break;
753 case eBasicTypeChar32:
754 clang_type = ast->Char32Ty.getAsOpaquePtr();
755 break;
756 case eBasicTypeShort:
757 clang_type = ast->ShortTy.getAsOpaquePtr();
758 break;
759 case eBasicTypeUnsignedShort:
760 clang_type = ast->UnsignedShortTy.getAsOpaquePtr();
761 break;
762 case eBasicTypeInt:
763 clang_type = ast->IntTy.getAsOpaquePtr();
764 break;
765 case eBasicTypeUnsignedInt:
766 clang_type = ast->UnsignedIntTy.getAsOpaquePtr();
767 break;
768 case eBasicTypeLong:
769 clang_type = ast->LongTy.getAsOpaquePtr();
770 break;
771 case eBasicTypeUnsignedLong:
772 clang_type = ast->UnsignedLongTy.getAsOpaquePtr();
773 break;
774 case eBasicTypeLongLong:
775 clang_type = ast->LongLongTy.getAsOpaquePtr();
776 break;
777 case eBasicTypeUnsignedLongLong:
778 clang_type = ast->UnsignedLongLongTy.getAsOpaquePtr();
779 break;
780 case eBasicTypeInt128:
781 clang_type = ast->Int128Ty.getAsOpaquePtr();
782 break;
783 case eBasicTypeUnsignedInt128:
784 clang_type = ast->UnsignedInt128Ty.getAsOpaquePtr();
785 break;
786 case eBasicTypeBool:
787 clang_type = ast->BoolTy.getAsOpaquePtr();
788 break;
789 case eBasicTypeHalf:
790 clang_type = ast->HalfTy.getAsOpaquePtr();
791 break;
792 case eBasicTypeFloat:
793 clang_type = ast->FloatTy.getAsOpaquePtr();
794 break;
795 case eBasicTypeDouble:
796 clang_type = ast->DoubleTy.getAsOpaquePtr();
797 break;
798 case eBasicTypeLongDouble:
799 clang_type = ast->LongDoubleTy.getAsOpaquePtr();
800 break;
801 case eBasicTypeFloatComplex:
802 clang_type = ast->FloatComplexTy.getAsOpaquePtr();
803 break;
804 case eBasicTypeDoubleComplex:
805 clang_type = ast->DoubleComplexTy.getAsOpaquePtr();
806 break;
807 case eBasicTypeLongDoubleComplex:
808 clang_type = ast->LongDoubleComplexTy.getAsOpaquePtr();
809 break;
810 case eBasicTypeObjCID:
811 clang_type = ast->getObjCIdType().getAsOpaquePtr();
812 break;
813 case eBasicTypeObjCClass:
814 clang_type = ast->getObjCClassType().getAsOpaquePtr();
815 break;
816 case eBasicTypeObjCSel:
817 clang_type = ast->getObjCSelType().getAsOpaquePtr();
818 break;
819 case eBasicTypeNullPtr:
820 clang_type = ast->NullPtrTy.getAsOpaquePtr();
821 break;
822 }
823
824 if (clang_type)
825 return ClangASTType (ast, clang_type);
826 }
827 return ClangASTType();
828}
829
830
831ClangASTType
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000832ClangASTContext::GetBuiltinTypeForDWARFEncodingAndBitSize (const char *type_name, uint32_t dw_ate, uint32_t bit_size)
833{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000834 ASTContext *ast = getASTContext();
Sean Callanan38d4df52012-04-03 01:10:10 +0000835
836#define streq(a,b) strcmp(a,b) == 0
Ed Masted4612ad2014-04-20 13:17:36 +0000837 assert (ast != nullptr);
Greg Clayton6beaaa62011-01-17 03:46:26 +0000838 if (ast)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000839 {
840 switch (dw_ate)
841 {
Sean Callanan38d4df52012-04-03 01:10:10 +0000842 default:
843 break;
Greg Clayton605684e2011-10-28 23:06:08 +0000844
Sean Callanan38d4df52012-04-03 01:10:10 +0000845 case DW_ATE_address:
846 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidPtrTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000847 return ClangASTType (ast, ast->VoidPtrTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000848 break;
849
850 case DW_ATE_boolean:
851 if (QualTypeMatchesBitSize (bit_size, ast, ast->BoolTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000852 return ClangASTType (ast, ast->BoolTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000853 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000854 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000855 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000856 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000857 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000858 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000859 break;
860
861 case DW_ATE_lo_user:
862 // This has been seen to mean DW_AT_complex_integer
863 if (type_name)
Greg Clayton605684e2011-10-28 23:06:08 +0000864 {
Sean Callanan38d4df52012-04-03 01:10:10 +0000865 if (::strstr(type_name, "complex"))
866 {
Greg Clayton57ee3062013-07-11 22:46:58 +0000867 ClangASTType complex_int_clang_type = GetBuiltinTypeForDWARFEncodingAndBitSize ("int", DW_ATE_signed, bit_size/2);
868 return ClangASTType (ast, ast->getComplexType (complex_int_clang_type.GetQualType()).getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000869 }
Greg Clayton605684e2011-10-28 23:06:08 +0000870 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000871 break;
872
873 case DW_ATE_complex_float:
874 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000875 return ClangASTType (ast, ast->FloatComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000876 else if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000877 return ClangASTType (ast, ast->DoubleComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000878 else if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleComplexTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000879 return ClangASTType (ast, ast->LongDoubleComplexTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000880 else
Greg Clayton605684e2011-10-28 23:06:08 +0000881 {
Greg Clayton57ee3062013-07-11 22:46:58 +0000882 ClangASTType complex_float_clang_type = GetBuiltinTypeForDWARFEncodingAndBitSize ("float", DW_ATE_float, bit_size/2);
883 return ClangASTType (ast, ast->getComplexType (complex_float_clang_type.GetQualType()).getAsOpaquePtr());
Greg Clayton605684e2011-10-28 23:06:08 +0000884 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000885 break;
886
887 case DW_ATE_float:
Greg Clayton8012cad2014-11-17 19:39:20 +0000888 if (streq(type_name, "float") && QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
889 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
890 if (streq(type_name, "double") && QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
891 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
892 if (streq(type_name, "long double") && QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
893 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
894 // Fall back to not requring a name match
Sean Callanan38d4df52012-04-03 01:10:10 +0000895 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000896 return ClangASTType (ast, ast->FloatTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000897 if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000898 return ClangASTType (ast, ast->DoubleTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000899 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000900 return ClangASTType (ast, ast->LongDoubleTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000901 break;
902
903 case DW_ATE_signed:
904 if (type_name)
905 {
906 if (streq(type_name, "wchar_t") &&
Tamas Berghammer3c0d0052015-04-01 09:48:02 +0000907 QualTypeMatchesBitSize (bit_size, ast, ast->WCharTy) &&
908 TargetInfo::isTypeSigned (getTargetInfo()->getWCharType()))
Greg Clayton57ee3062013-07-11 22:46:58 +0000909 return ClangASTType (ast, ast->WCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000910 if (streq(type_name, "void") &&
911 QualTypeMatchesBitSize (bit_size, ast, ast->VoidTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000912 return ClangASTType (ast, ast->VoidTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000913 if (strstr(type_name, "long long") &&
914 QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000915 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000916 if (strstr(type_name, "long") &&
917 QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000918 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000919 if (strstr(type_name, "short") &&
920 QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000921 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000922 if (strstr(type_name, "char"))
923 {
924 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000925 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000926 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000927 return ClangASTType (ast, ast->SignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000928 }
929 if (strstr(type_name, "int"))
930 {
931 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000932 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000933 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000934 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000935 }
936 }
937 // We weren't able to match up a type name, just search by size
938 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000939 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000940 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000941 return ClangASTType (ast, ast->ShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000942 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000943 return ClangASTType (ast, ast->IntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000944 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000945 return ClangASTType (ast, ast->LongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000946 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000947 return ClangASTType (ast, ast->LongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000948 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000949 return ClangASTType (ast, ast->Int128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000950 break;
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000951
Sean Callanan38d4df52012-04-03 01:10:10 +0000952 case DW_ATE_signed_char:
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000953 if (ast->getLangOpts().CharIsSigned && type_name && streq(type_name, "char"))
Sean Callanan38d4df52012-04-03 01:10:10 +0000954 {
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +0000955 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
956 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000957 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000958 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000959 return ClangASTType (ast, ast->SignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000960 break;
961
962 case DW_ATE_unsigned:
963 if (type_name)
964 {
Tamas Berghammer3c0d0052015-04-01 09:48:02 +0000965 if (streq(type_name, "wchar_t"))
966 {
967 if (QualTypeMatchesBitSize (bit_size, ast, ast->WCharTy))
968 {
969 if (!TargetInfo::isTypeSigned (getTargetInfo()->getWCharType()))
970 return ClangASTType (ast, ast->WCharTy.getAsOpaquePtr());
971 }
972 }
Sean Callanan38d4df52012-04-03 01:10:10 +0000973 if (strstr(type_name, "long long"))
974 {
975 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000976 return ClangASTType (ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000977 }
978 else if (strstr(type_name, "long"))
979 {
980 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000981 return ClangASTType (ast, ast->UnsignedLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000982 }
983 else if (strstr(type_name, "short"))
984 {
985 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000986 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000987 }
988 else if (strstr(type_name, "char"))
989 {
990 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000991 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000992 }
993 else if (strstr(type_name, "int"))
994 {
995 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +0000996 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000997 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +0000998 return ClangASTType (ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +0000999 }
1000 }
1001 // We weren't able to match up a type name, just search by size
1002 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001003 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001004 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001005 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001006 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001007 return ClangASTType (ast, ast->UnsignedIntTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001008 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001009 return ClangASTType (ast, ast->UnsignedLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001010 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001011 return ClangASTType (ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001012 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
Greg Clayton57ee3062013-07-11 22:46:58 +00001013 return ClangASTType (ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001014 break;
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +00001015
Sean Callanan38d4df52012-04-03 01:10:10 +00001016 case DW_ATE_unsigned_char:
Tamas Berghammerdccbfaf2015-03-31 10:21:50 +00001017 if (!ast->getLangOpts().CharIsSigned && type_name && streq(type_name, "char"))
1018 {
1019 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
1020 return ClangASTType (ast, ast->CharTy.getAsOpaquePtr());
1021 }
Sean Callanan38d4df52012-04-03 01:10:10 +00001022 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001023 return ClangASTType (ast, ast->UnsignedCharTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001024 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00001025 return ClangASTType (ast, ast->UnsignedShortTy.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001026 break;
1027
1028 case DW_ATE_imaginary_float:
1029 break;
1030
1031 case DW_ATE_UTF:
1032 if (type_name)
1033 {
1034 if (streq(type_name, "char16_t"))
1035 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001036 return ClangASTType (ast, ast->Char16Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001037 }
1038 else if (streq(type_name, "char32_t"))
1039 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001040 return ClangASTType (ast, ast->Char32Ty.getAsOpaquePtr());
Sean Callanan38d4df52012-04-03 01:10:10 +00001041 }
1042 }
1043 break;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001044 }
1045 }
1046 // This assert should fire for anything that we don't catch above so we know
1047 // to fix any issues we run into.
Greg Claytondc968d12011-05-17 18:15:05 +00001048 if (type_name)
1049 {
Greg Claytone38a5ed2012-01-05 03:57:59 +00001050 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 +00001051 }
1052 else
1053 {
Greg Claytone38a5ed2012-01-05 03:57:59 +00001054 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 +00001055 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001056 return ClangASTType ();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001057}
1058
Greg Clayton57ee3062013-07-11 22:46:58 +00001059ClangASTType
Sean Callanan77502262011-05-12 23:54:16 +00001060ClangASTContext::GetUnknownAnyType(clang::ASTContext *ast)
1061{
Greg Clayton57ee3062013-07-11 22:46:58 +00001062 if (ast)
1063 return ClangASTType (ast, ast->UnknownAnyTy.getAsOpaquePtr());
1064 return ClangASTType();
Sean Callanan77502262011-05-12 23:54:16 +00001065}
1066
Greg Clayton57ee3062013-07-11 22:46:58 +00001067ClangASTType
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001068ClangASTContext::GetCStringType (bool is_const)
1069{
Greg Clayton57ee3062013-07-11 22:46:58 +00001070 ASTContext *ast = getASTContext();
1071 QualType char_type(ast->CharTy);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001072
1073 if (is_const)
1074 char_type.addConst();
1075
Greg Clayton57ee3062013-07-11 22:46:58 +00001076 return ClangASTType (ast, ast->getPointerType(char_type).getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001077}
1078
Sean Callanan09ab4b72011-11-30 22:11:59 +00001079clang::DeclContext *
1080ClangASTContext::GetTranslationUnitDecl (clang::ASTContext *ast)
1081{
1082 return ast->getTranslationUnitDecl();
1083}
1084
Greg Clayton57ee3062013-07-11 22:46:58 +00001085ClangASTType
Greg Clayton38a61402010-12-02 23:20:03 +00001086ClangASTContext::CopyType (ASTContext *dst_ast,
Greg Clayton57ee3062013-07-11 22:46:58 +00001087 ClangASTType src)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001088{
Sean Callanan79439e82010-11-18 02:56:27 +00001089 FileSystemOptions file_system_options;
Greg Clayton57ee3062013-07-11 22:46:58 +00001090 ASTContext *src_ast = src.GetASTContext();
Greg Clayton38a61402010-12-02 23:20:03 +00001091 FileManager file_manager (file_system_options);
1092 ASTImporter importer(*dst_ast, file_manager,
Sean Callanan2c777c42011-01-18 23:32:05 +00001093 *src_ast, file_manager,
1094 false);
Sean Callanan0617fcb2010-11-09 22:37:10 +00001095
Greg Clayton57ee3062013-07-11 22:46:58 +00001096 QualType dst (importer.Import(src.GetQualType()));
Sean Callanan0617fcb2010-11-09 22:37:10 +00001097
Greg Clayton57ee3062013-07-11 22:46:58 +00001098 return ClangASTType (dst_ast, dst.getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001099}
1100
Greg Clayton526e5af2010-11-13 03:52:47 +00001101
1102clang::Decl *
Greg Clayton38a61402010-12-02 23:20:03 +00001103ClangASTContext::CopyDecl (ASTContext *dst_ast,
1104 ASTContext *src_ast,
Greg Clayton526e5af2010-11-13 03:52:47 +00001105 clang::Decl *source_decl)
Sean Callanan7fddd4c2010-12-11 00:08:56 +00001106{
Sean Callanan79439e82010-11-18 02:56:27 +00001107 FileSystemOptions file_system_options;
Greg Clayton38a61402010-12-02 23:20:03 +00001108 FileManager file_manager (file_system_options);
1109 ASTImporter importer(*dst_ast, file_manager,
Sean Callanan2c777c42011-01-18 23:32:05 +00001110 *src_ast, file_manager,
1111 false);
Greg Clayton526e5af2010-11-13 03:52:47 +00001112
1113 return importer.Import(source_decl);
1114}
1115
Sean Callanan23a30272010-07-16 00:00:27 +00001116bool
Greg Clayton57ee3062013-07-11 22:46:58 +00001117ClangASTContext::AreTypesSame (ClangASTType type1,
1118 ClangASTType type2,
Greg Clayton84db9102012-03-26 23:03:23 +00001119 bool ignore_qualifiers)
Sean Callanan4dcca2622010-07-15 22:30:52 +00001120{
Greg Clayton57ee3062013-07-11 22:46:58 +00001121 ASTContext *ast = type1.GetASTContext();
1122 if (ast != type2.GetASTContext())
1123 return false;
1124
1125 if (type1.GetOpaqueQualType() == type2.GetOpaqueQualType())
Greg Clayton55995eb2012-04-06 17:38:55 +00001126 return true;
1127
Greg Clayton57ee3062013-07-11 22:46:58 +00001128 QualType type1_qual = type1.GetQualType();
1129 QualType type2_qual = type2.GetQualType();
Sean Callanan5056ab02012-02-18 02:01:03 +00001130
1131 if (ignore_qualifiers)
1132 {
1133 type1_qual = type1_qual.getUnqualifiedType();
1134 type2_qual = type2_qual.getUnqualifiedType();
1135 }
1136
Greg Clayton57ee3062013-07-11 22:46:58 +00001137 return ast->hasSameType (type1_qual, type2_qual);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001138}
1139
Sean Callanan9998acd2014-12-05 01:21:59 +00001140ClangASTType
1141ClangASTContext::GetTypeForDecl (clang::NamedDecl *decl)
1142{
1143 if (clang::ObjCInterfaceDecl *interface_decl = llvm::dyn_cast<clang::ObjCInterfaceDecl>(decl))
1144 return GetTypeForDecl(interface_decl);
1145 if (clang::TagDecl *tag_decl = llvm::dyn_cast<clang::TagDecl>(decl))
1146 return GetTypeForDecl(tag_decl);
1147 return ClangASTType();
1148}
1149
Greg Clayton6beaaa62011-01-17 03:46:26 +00001150
Greg Clayton57ee3062013-07-11 22:46:58 +00001151ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001152ClangASTContext::GetTypeForDecl (TagDecl *decl)
1153{
1154 // No need to call the getASTContext() accessor (which can create the AST
1155 // if it isn't created yet, because we can't have created a decl in this
1156 // AST if our AST didn't already exist...
Sean Callanan9998acd2014-12-05 01:21:59 +00001157 ASTContext *ast = &decl->getASTContext();
Greg Clayton57ee3062013-07-11 22:46:58 +00001158 if (ast)
1159 return ClangASTType (ast, ast->getTagDeclType(decl).getAsOpaquePtr());
1160 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001161}
1162
Greg Clayton57ee3062013-07-11 22:46:58 +00001163ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001164ClangASTContext::GetTypeForDecl (ObjCInterfaceDecl *decl)
1165{
1166 // No need to call the getASTContext() accessor (which can create the AST
1167 // if it isn't created yet, because we can't have created a decl in this
1168 // AST if our AST didn't already exist...
Sean Callanan9998acd2014-12-05 01:21:59 +00001169 ASTContext *ast = &decl->getASTContext();
Greg Clayton57ee3062013-07-11 22:46:58 +00001170 if (ast)
1171 return ClangASTType (ast, ast->getObjCInterfaceType(decl).getAsOpaquePtr());
1172 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001173}
1174
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001175#pragma mark Structure, Unions, Classes
1176
Greg Clayton57ee3062013-07-11 22:46:58 +00001177ClangASTType
Greg Claytonc4ffd662013-03-08 01:37:30 +00001178ClangASTContext::CreateRecordType (DeclContext *decl_ctx,
1179 AccessType access_type,
1180 const char *name,
1181 int kind,
1182 LanguageType language,
1183 ClangASTMetadata *metadata)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001184{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001185 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001186 assert (ast != nullptr);
Sean Callananad880762012-04-18 01:06:17 +00001187
Ed Masted4612ad2014-04-20 13:17:36 +00001188 if (decl_ctx == nullptr)
Greg Clayton6beaaa62011-01-17 03:46:26 +00001189 decl_ctx = ast->getTranslationUnitDecl();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001190
Greg Clayton9e409562010-07-28 02:04:09 +00001191
Greg Claytone1be9962011-08-24 23:50:00 +00001192 if (language == eLanguageTypeObjC || language == eLanguageTypeObjC_plus_plus)
Greg Clayton9e409562010-07-28 02:04:09 +00001193 {
Greg Claytonaaf99e02010-10-11 02:25:34 +00001194 bool isForwardDecl = true;
Greg Clayton9e409562010-07-28 02:04:09 +00001195 bool isInternal = false;
Sean Callananad880762012-04-18 01:06:17 +00001196 return CreateObjCClass (name, decl_ctx, isForwardDecl, isInternal, metadata);
Greg Clayton9e409562010-07-28 02:04:09 +00001197 }
1198
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001199 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1200 // we will need to update this code. I was told to currently always use
1201 // the CXXRecordDecl class since we often don't know from debug information
1202 // if something is struct or a class, so we default to always use the more
1203 // complete definition just in case.
Sean Callanan11e32d32014-02-18 00:31:38 +00001204
1205 bool is_anonymous = (!name) || (!name[0]);
1206
Greg Claytonf0705c82011-10-22 03:33:13 +00001207 CXXRecordDecl *decl = CXXRecordDecl::Create (*ast,
1208 (TagDecl::TagKind)kind,
1209 decl_ctx,
1210 SourceLocation(),
1211 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001212 is_anonymous ? nullptr : &ast->Idents.get(name));
Sean Callanan11e32d32014-02-18 00:31:38 +00001213
1214 if (is_anonymous)
1215 decl->setAnonymousStructOrUnion(true);
Sean Callanan7282e2a2012-01-13 22:10:18 +00001216
Greg Claytonc4ffd662013-03-08 01:37:30 +00001217 if (decl)
Greg Clayton55561e92011-10-26 03:31:36 +00001218 {
Greg Claytonc4ffd662013-03-08 01:37:30 +00001219 if (metadata)
Greg Claytond0029442013-03-27 01:48:02 +00001220 SetMetadata(ast, decl, *metadata);
Greg Claytonc4ffd662013-03-08 01:37:30 +00001221
Greg Clayton55561e92011-10-26 03:31:36 +00001222 if (access_type != eAccessNone)
1223 decl->setAccess (ConvertAccessTypeToAccessSpecifier (access_type));
Greg Claytonc4ffd662013-03-08 01:37:30 +00001224
1225 if (decl_ctx)
1226 decl_ctx->addDecl (decl);
1227
Greg Clayton57ee3062013-07-11 22:46:58 +00001228 return ClangASTType(ast, ast->getTagDeclType(decl).getAsOpaquePtr());
Greg Clayton55561e92011-10-26 03:31:36 +00001229 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001230 return ClangASTType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00001231}
1232
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001233static TemplateParameterList *
1234CreateTemplateParameterList (ASTContext *ast,
Sean Callanan3d654b32012-09-24 22:25:51 +00001235 const ClangASTContext::TemplateParameterInfos &template_param_infos,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001236 llvm::SmallVector<NamedDecl *, 8> &template_param_decls)
1237{
1238 const bool parameter_pack = false;
1239 const bool is_typename = false;
1240 const unsigned depth = 0;
1241 const size_t num_template_params = template_param_infos.GetSize();
1242 for (size_t i=0; i<num_template_params; ++i)
1243 {
1244 const char *name = template_param_infos.names[i];
Greg Clayton283b2652013-04-23 22:38:02 +00001245
Ed Masted4612ad2014-04-20 13:17:36 +00001246 IdentifierInfo *identifier_info = nullptr;
Greg Clayton283b2652013-04-23 22:38:02 +00001247 if (name && name[0])
1248 identifier_info = &ast->Idents.get(name);
Sean Callanan3d654b32012-09-24 22:25:51 +00001249 if (template_param_infos.args[i].getKind() == TemplateArgument::Integral)
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001250 {
1251 template_param_decls.push_back (NonTypeTemplateParmDecl::Create (*ast,
1252 ast->getTranslationUnitDecl(), // Is this the right decl context?, SourceLocation StartLoc,
1253 SourceLocation(),
1254 SourceLocation(),
1255 depth,
1256 i,
Greg Clayton283b2652013-04-23 22:38:02 +00001257 identifier_info,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001258 template_param_infos.args[i].getIntegralType(),
1259 parameter_pack,
Ed Masted4612ad2014-04-20 13:17:36 +00001260 nullptr));
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001261
1262 }
1263 else
1264 {
1265 template_param_decls.push_back (TemplateTypeParmDecl::Create (*ast,
1266 ast->getTranslationUnitDecl(), // Is this the right decl context?
1267 SourceLocation(),
1268 SourceLocation(),
1269 depth,
1270 i,
Greg Clayton283b2652013-04-23 22:38:02 +00001271 identifier_info,
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001272 is_typename,
1273 parameter_pack));
1274 }
1275 }
1276
1277 TemplateParameterList *template_param_list = TemplateParameterList::Create (*ast,
1278 SourceLocation(),
1279 SourceLocation(),
1280 &template_param_decls.front(),
1281 template_param_decls.size(),
1282 SourceLocation());
1283 return template_param_list;
1284}
1285
1286clang::FunctionTemplateDecl *
1287ClangASTContext::CreateFunctionTemplateDecl (clang::DeclContext *decl_ctx,
1288 clang::FunctionDecl *func_decl,
1289 const char *name,
1290 const TemplateParameterInfos &template_param_infos)
1291{
1292// /// \brief Create a function template node.
1293 ASTContext *ast = getASTContext();
1294
1295 llvm::SmallVector<NamedDecl *, 8> template_param_decls;
1296
1297 TemplateParameterList *template_param_list = CreateTemplateParameterList (ast,
1298 template_param_infos,
1299 template_param_decls);
1300 FunctionTemplateDecl *func_tmpl_decl = FunctionTemplateDecl::Create (*ast,
1301 decl_ctx,
1302 func_decl->getLocation(),
1303 func_decl->getDeclName(),
1304 template_param_list,
1305 func_decl);
1306
1307 for (size_t i=0, template_param_decl_count = template_param_decls.size();
1308 i < template_param_decl_count;
1309 ++i)
1310 {
1311 // TODO: verify which decl context we should put template_param_decls into..
1312 template_param_decls[i]->setDeclContext (func_decl);
1313 }
1314
1315 return func_tmpl_decl;
1316}
1317
1318void
1319ClangASTContext::CreateFunctionTemplateSpecializationInfo (FunctionDecl *func_decl,
1320 clang::FunctionTemplateDecl *func_tmpl_decl,
1321 const TemplateParameterInfos &infos)
1322{
1323 TemplateArgumentList template_args (TemplateArgumentList::OnStack,
1324 infos.args.data(),
1325 infos.args.size());
1326
1327 func_decl->setFunctionTemplateSpecialization (func_tmpl_decl,
1328 &template_args,
Ed Masted4612ad2014-04-20 13:17:36 +00001329 nullptr);
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001330}
1331
1332
Greg Claytonf0705c82011-10-22 03:33:13 +00001333ClassTemplateDecl *
1334ClangASTContext::CreateClassTemplateDecl (DeclContext *decl_ctx,
Greg Clayton55561e92011-10-26 03:31:36 +00001335 lldb::AccessType access_type,
Greg Claytonf0705c82011-10-22 03:33:13 +00001336 const char *class_name,
1337 int kind,
1338 const TemplateParameterInfos &template_param_infos)
1339{
1340 ASTContext *ast = getASTContext();
1341
Ed Masted4612ad2014-04-20 13:17:36 +00001342 ClassTemplateDecl *class_template_decl = nullptr;
1343 if (decl_ctx == nullptr)
Greg Claytonf0705c82011-10-22 03:33:13 +00001344 decl_ctx = ast->getTranslationUnitDecl();
1345
1346 IdentifierInfo &identifier_info = ast->Idents.get(class_name);
1347 DeclarationName decl_name (&identifier_info);
1348
1349 clang::DeclContext::lookup_result result = decl_ctx->lookup(decl_name);
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001350
1351 for (NamedDecl *decl : result)
Greg Claytonf0705c82011-10-22 03:33:13 +00001352 {
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001353 class_template_decl = dyn_cast<clang::ClassTemplateDecl>(decl);
Greg Claytonf0705c82011-10-22 03:33:13 +00001354 if (class_template_decl)
1355 return class_template_decl;
1356 }
1357
1358 llvm::SmallVector<NamedDecl *, 8> template_param_decls;
Greg Claytonf0705c82011-10-22 03:33:13 +00001359
Greg Clayton3c2e3ae2012-02-06 06:42:51 +00001360 TemplateParameterList *template_param_list = CreateTemplateParameterList (ast,
1361 template_param_infos,
1362 template_param_decls);
Greg Claytonf0705c82011-10-22 03:33:13 +00001363
1364 CXXRecordDecl *template_cxx_decl = CXXRecordDecl::Create (*ast,
1365 (TagDecl::TagKind)kind,
1366 decl_ctx, // What decl context do we use here? TU? The actual decl context?
1367 SourceLocation(),
1368 SourceLocation(),
1369 &identifier_info);
Greg Claytone04741d2011-12-02 02:09:28 +00001370
1371 for (size_t i=0, template_param_decl_count = template_param_decls.size();
1372 i < template_param_decl_count;
1373 ++i)
1374 {
1375 template_param_decls[i]->setDeclContext (template_cxx_decl);
1376 }
1377
Sean Callananb5c79622011-11-19 01:35:08 +00001378 // With templated classes, we say that a class is templated with
1379 // specializations, but that the bare class has no functions.
Sean Callananfa4fab72013-02-01 06:55:48 +00001380 //template_cxx_decl->startDefinition();
1381 //template_cxx_decl->completeDefinition();
Sean Callananb5c79622011-11-19 01:35:08 +00001382
Greg Claytonf0705c82011-10-22 03:33:13 +00001383 class_template_decl = ClassTemplateDecl::Create (*ast,
1384 decl_ctx, // What decl context do we use here? TU? The actual decl context?
1385 SourceLocation(),
1386 decl_name,
1387 template_param_list,
1388 template_cxx_decl,
Ed Masted4612ad2014-04-20 13:17:36 +00001389 nullptr);
Greg Claytonf0705c82011-10-22 03:33:13 +00001390
1391 if (class_template_decl)
Sean Callanan5e9e1992011-10-26 01:06:27 +00001392 {
Greg Clayton55561e92011-10-26 03:31:36 +00001393 if (access_type != eAccessNone)
1394 class_template_decl->setAccess (ConvertAccessTypeToAccessSpecifier (access_type));
Sean Callanan5b26f272012-02-04 08:49:35 +00001395
1396 //if (TagDecl *ctx_tag_decl = dyn_cast<TagDecl>(decl_ctx))
1397 // CompleteTagDeclarationDefinition(GetTypeForDecl(ctx_tag_decl));
1398
Greg Claytonf0705c82011-10-22 03:33:13 +00001399 decl_ctx->addDecl (class_template_decl);
Sean Callanan5e9e1992011-10-26 01:06:27 +00001400
1401#ifdef LLDB_CONFIGURATION_DEBUG
1402 VerifyDecl(class_template_decl);
1403#endif
1404 }
Greg Claytonf0705c82011-10-22 03:33:13 +00001405
1406 return class_template_decl;
1407}
1408
1409
1410ClassTemplateSpecializationDecl *
1411ClangASTContext::CreateClassTemplateSpecializationDecl (DeclContext *decl_ctx,
1412 ClassTemplateDecl *class_template_decl,
1413 int kind,
1414 const TemplateParameterInfos &template_param_infos)
1415{
1416 ASTContext *ast = getASTContext();
1417 ClassTemplateSpecializationDecl *class_template_specialization_decl = ClassTemplateSpecializationDecl::Create (*ast,
1418 (TagDecl::TagKind)kind,
1419 decl_ctx,
1420 SourceLocation(),
1421 SourceLocation(),
1422 class_template_decl,
1423 &template_param_infos.args.front(),
1424 template_param_infos.args.size(),
Ed Masted4612ad2014-04-20 13:17:36 +00001425 nullptr);
Greg Claytonf0705c82011-10-22 03:33:13 +00001426
Sean Callananfa4fab72013-02-01 06:55:48 +00001427 class_template_specialization_decl->setSpecializationKind(TSK_ExplicitSpecialization);
1428
Greg Claytonf0705c82011-10-22 03:33:13 +00001429 return class_template_specialization_decl;
1430}
1431
Greg Clayton57ee3062013-07-11 22:46:58 +00001432ClangASTType
Greg Claytonf0705c82011-10-22 03:33:13 +00001433ClangASTContext::CreateClassTemplateSpecializationType (ClassTemplateSpecializationDecl *class_template_specialization_decl)
1434{
1435 if (class_template_specialization_decl)
1436 {
1437 ASTContext *ast = getASTContext();
1438 if (ast)
Greg Clayton57ee3062013-07-11 22:46:58 +00001439 return ClangASTType(ast, ast->getTagDeclType(class_template_specialization_decl).getAsOpaquePtr());
Greg Claytonf0705c82011-10-22 03:33:13 +00001440 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001441 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001442}
1443
Greg Clayton090d0982011-06-19 03:43:27 +00001444static inline bool
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001445check_op_param (uint32_t op_kind, bool unary, bool binary, uint32_t num_params)
Greg Clayton090d0982011-06-19 03:43:27 +00001446{
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001447 // Special-case call since it can take any number of operands
1448 if(op_kind == OO_Call)
1449 return true;
1450
Bruce Mitchenerd93c4a32014-07-01 21:22:11 +00001451 // The parameter count doesn't include "this"
Greg Clayton090d0982011-06-19 03:43:27 +00001452 if (num_params == 0)
1453 return unary;
1454 if (num_params == 1)
1455 return binary;
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001456 else
Greg Clayton090d0982011-06-19 03:43:27 +00001457 return false;
1458}
Daniel Dunbardacdfb52011-10-31 22:50:57 +00001459
Greg Clayton090d0982011-06-19 03:43:27 +00001460bool
1461ClangASTContext::CheckOverloadedOperatorKindParameterCount (uint32_t op_kind, uint32_t num_params)
1462{
Sean Callanan5b26f272012-02-04 08:49:35 +00001463 switch (op_kind)
1464 {
1465 default:
1466 break;
1467 // C++ standard allows any number of arguments to new/delete
1468 case OO_New:
1469 case OO_Array_New:
1470 case OO_Delete:
1471 case OO_Array_Delete:
1472 return true;
1473 }
1474
Sean Callanan6d9f5db2011-10-15 01:15:07 +00001475#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 +00001476 switch (op_kind)
1477 {
1478#include "clang/Basic/OperatorKinds.def"
1479 default: break;
1480 }
1481 return false;
1482}
1483
Greg Clayton57ee3062013-07-11 22:46:58 +00001484clang::AccessSpecifier
1485ClangASTContext::UnifyAccessSpecifiers (clang::AccessSpecifier lhs, clang::AccessSpecifier rhs)
Sean Callanane8c0cfb2012-03-02 01:03:45 +00001486{
1487 clang::AccessSpecifier ret = lhs;
1488
1489 // Make the access equal to the stricter of the field and the nested field's access
1490 switch (ret)
1491 {
1492 case clang::AS_none:
1493 break;
1494 case clang::AS_private:
1495 break;
1496 case clang::AS_protected:
1497 if (rhs == AS_private)
1498 ret = AS_private;
1499 break;
1500 case clang::AS_public:
1501 ret = rhs;
1502 break;
1503 }
1504
1505 return ret;
1506}
1507
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001508bool
1509ClangASTContext::FieldIsBitfield (FieldDecl* field, uint32_t& bitfield_bit_size)
1510{
1511 return FieldIsBitfield(getASTContext(), field, bitfield_bit_size);
1512}
1513
1514bool
1515ClangASTContext::FieldIsBitfield
1516(
Greg Clayton6beaaa62011-01-17 03:46:26 +00001517 ASTContext *ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001518 FieldDecl* field,
1519 uint32_t& bitfield_bit_size
1520)
1521{
Ed Masted4612ad2014-04-20 13:17:36 +00001522 if (ast == nullptr || field == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001523 return false;
1524
1525 if (field->isBitField())
1526 {
1527 Expr* bit_width_expr = field->getBitWidth();
1528 if (bit_width_expr)
1529 {
1530 llvm::APSInt bit_width_apsint;
Greg Clayton6beaaa62011-01-17 03:46:26 +00001531 if (bit_width_expr->isIntegerConstantExpr(bit_width_apsint, *ast))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001532 {
1533 bitfield_bit_size = bit_width_apsint.getLimitedValue(UINT32_MAX);
1534 return true;
1535 }
1536 }
1537 }
1538 return false;
1539}
1540
1541bool
1542ClangASTContext::RecordHasFields (const RecordDecl *record_decl)
1543{
Ed Masted4612ad2014-04-20 13:17:36 +00001544 if (record_decl == nullptr)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001545 return false;
1546
1547 if (!record_decl->field_empty())
1548 return true;
1549
1550 // No fields, lets check this is a CXX record and check the base classes
1551 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1552 if (cxx_record_decl)
1553 {
1554 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1555 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1556 base_class != base_class_end;
1557 ++base_class)
1558 {
1559 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1560 if (RecordHasFields(base_class_decl))
1561 return true;
1562 }
1563 }
1564 return false;
1565}
1566
Greg Clayton8cf05932010-07-22 18:30:50 +00001567#pragma mark Objective C Classes
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001568
Greg Clayton57ee3062013-07-11 22:46:58 +00001569ClangASTType
Sean Callananad880762012-04-18 01:06:17 +00001570ClangASTContext::CreateObjCClass
Greg Clayton8cf05932010-07-22 18:30:50 +00001571(
1572 const char *name,
1573 DeclContext *decl_ctx,
1574 bool isForwardDecl,
Sean Callananad880762012-04-18 01:06:17 +00001575 bool isInternal,
Jim Ingham379397632012-10-27 02:54:13 +00001576 ClangASTMetadata *metadata
Greg Clayton8cf05932010-07-22 18:30:50 +00001577)
1578{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001579 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001580 assert (ast != nullptr);
Greg Clayton8cf05932010-07-22 18:30:50 +00001581 assert (name && name[0]);
Ed Masted4612ad2014-04-20 13:17:36 +00001582 if (decl_ctx == nullptr)
Greg Clayton6beaaa62011-01-17 03:46:26 +00001583 decl_ctx = ast->getTranslationUnitDecl();
Greg Clayton8cf05932010-07-22 18:30:50 +00001584
Greg Clayton6beaaa62011-01-17 03:46:26 +00001585 ObjCInterfaceDecl *decl = ObjCInterfaceDecl::Create (*ast,
Greg Clayton8cf05932010-07-22 18:30:50 +00001586 decl_ctx,
1587 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001588 &ast->Idents.get(name),
Ed Masted4612ad2014-04-20 13:17:36 +00001589 nullptr,
Greg Clayton8cf05932010-07-22 18:30:50 +00001590 SourceLocation(),
Sean Callanan5b26f272012-02-04 08:49:35 +00001591 /*isForwardDecl,*/
Greg Clayton8cf05932010-07-22 18:30:50 +00001592 isInternal);
Greg Clayton9e409562010-07-28 02:04:09 +00001593
Jim Ingham379397632012-10-27 02:54:13 +00001594 if (decl && metadata)
Greg Claytond0029442013-03-27 01:48:02 +00001595 SetMetadata(ast, decl, *metadata);
Sean Callananad880762012-04-18 01:06:17 +00001596
Greg Clayton57ee3062013-07-11 22:46:58 +00001597 return ClangASTType (ast, ast->getObjCInterfaceType(decl));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001598}
1599
1600static inline bool
1601BaseSpecifierIsEmpty (const CXXBaseSpecifier *b)
1602{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001603 return ClangASTContext::RecordHasFields(b->getType()->getAsCXXRecordDecl()) == false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001604}
1605
Greg Clayton57ee3062013-07-11 22:46:58 +00001606uint32_t
1607ClangASTContext::GetNumBaseClasses (const CXXRecordDecl *cxx_record_decl, bool omit_empty_base_classes)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001608{
1609 uint32_t num_bases = 0;
1610 if (cxx_record_decl)
1611 {
1612 if (omit_empty_base_classes)
1613 {
1614 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1615 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1616 base_class != base_class_end;
1617 ++base_class)
1618 {
1619 // Skip empty base classes
1620 if (omit_empty_base_classes)
1621 {
1622 if (BaseSpecifierIsEmpty (base_class))
1623 continue;
1624 }
1625 ++num_bases;
1626 }
1627 }
1628 else
1629 num_bases = cxx_record_decl->getNumBases();
1630 }
1631 return num_bases;
1632}
1633
1634
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001635#pragma mark Namespace Declarations
1636
1637NamespaceDecl *
Greg Clayton030a2042011-10-14 21:34:45 +00001638ClangASTContext::GetUniqueNamespaceDeclaration (const char *name, DeclContext *decl_ctx)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001639{
Ed Masted4612ad2014-04-20 13:17:36 +00001640 NamespaceDecl *namespace_decl = nullptr;
Greg Clayton9d3d6882011-10-31 23:51:19 +00001641 ASTContext *ast = getASTContext();
1642 TranslationUnitDecl *translation_unit_decl = ast->getTranslationUnitDecl ();
Ed Masted4612ad2014-04-20 13:17:36 +00001643 if (decl_ctx == nullptr)
Greg Clayton9d3d6882011-10-31 23:51:19 +00001644 decl_ctx = translation_unit_decl;
1645
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001646 if (name)
1647 {
Greg Clayton030a2042011-10-14 21:34:45 +00001648 IdentifierInfo &identifier_info = ast->Idents.get(name);
1649 DeclarationName decl_name (&identifier_info);
1650 clang::DeclContext::lookup_result result = decl_ctx->lookup(decl_name);
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001651 for (NamedDecl *decl : result)
Greg Clayton030a2042011-10-14 21:34:45 +00001652 {
Sean Callanan5deaa4c2012-12-21 21:34:42 +00001653 namespace_decl = dyn_cast<clang::NamespaceDecl>(decl);
Greg Clayton030a2042011-10-14 21:34:45 +00001654 if (namespace_decl)
1655 return namespace_decl;
1656 }
1657
Sean Callanan5b26f272012-02-04 08:49:35 +00001658 namespace_decl = NamespaceDecl::Create(*ast,
1659 decl_ctx,
1660 false,
1661 SourceLocation(),
1662 SourceLocation(),
1663 &identifier_info,
Ed Masted4612ad2014-04-20 13:17:36 +00001664 nullptr);
Greg Clayton030a2042011-10-14 21:34:45 +00001665
Greg Clayton9d3d6882011-10-31 23:51:19 +00001666 decl_ctx->addDecl (namespace_decl);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001667 }
Greg Clayton9d3d6882011-10-31 23:51:19 +00001668 else
1669 {
1670 if (decl_ctx == translation_unit_decl)
1671 {
1672 namespace_decl = translation_unit_decl->getAnonymousNamespace();
1673 if (namespace_decl)
1674 return namespace_decl;
1675
Sean Callanan5b26f272012-02-04 08:49:35 +00001676 namespace_decl = NamespaceDecl::Create(*ast,
1677 decl_ctx,
1678 false,
1679 SourceLocation(),
1680 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001681 nullptr,
1682 nullptr);
Greg Clayton9d3d6882011-10-31 23:51:19 +00001683 translation_unit_decl->setAnonymousNamespace (namespace_decl);
1684 translation_unit_decl->addDecl (namespace_decl);
1685 assert (namespace_decl == translation_unit_decl->getAnonymousNamespace());
1686 }
1687 else
1688 {
1689 NamespaceDecl *parent_namespace_decl = cast<NamespaceDecl>(decl_ctx);
1690 if (parent_namespace_decl)
1691 {
1692 namespace_decl = parent_namespace_decl->getAnonymousNamespace();
1693 if (namespace_decl)
1694 return namespace_decl;
Sean Callanan5b26f272012-02-04 08:49:35 +00001695 namespace_decl = NamespaceDecl::Create(*ast,
1696 decl_ctx,
1697 false,
1698 SourceLocation(),
1699 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001700 nullptr,
1701 nullptr);
Greg Clayton9d3d6882011-10-31 23:51:19 +00001702 parent_namespace_decl->setAnonymousNamespace (namespace_decl);
1703 parent_namespace_decl->addDecl (namespace_decl);
1704 assert (namespace_decl == parent_namespace_decl->getAnonymousNamespace());
1705 }
1706 else
1707 {
1708 // BAD!!!
1709 }
1710 }
1711
1712
1713 if (namespace_decl)
1714 {
1715 // If we make it here, we are creating the anonymous namespace decl
1716 // for the first time, so we need to do the using directive magic
1717 // like SEMA does
1718 UsingDirectiveDecl* using_directive_decl = UsingDirectiveDecl::Create (*ast,
1719 decl_ctx,
1720 SourceLocation(),
1721 SourceLocation(),
1722 NestedNameSpecifierLoc(),
1723 SourceLocation(),
1724 namespace_decl,
1725 decl_ctx);
1726 using_directive_decl->setImplicit();
1727 decl_ctx->addDecl(using_directive_decl);
1728 }
1729 }
1730#ifdef LLDB_CONFIGURATION_DEBUG
1731 VerifyDecl(namespace_decl);
1732#endif
Greg Clayton030a2042011-10-14 21:34:45 +00001733 return namespace_decl;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001734}
1735
1736
1737#pragma mark Function Types
1738
1739FunctionDecl *
Greg Clayton57ee3062013-07-11 22:46:58 +00001740ClangASTContext::CreateFunctionDeclaration (DeclContext *decl_ctx,
1741 const char *name,
1742 const ClangASTType &function_clang_type,
1743 int storage,
1744 bool is_inline)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001745{
Ed Masted4612ad2014-04-20 13:17:36 +00001746 FunctionDecl *func_decl = nullptr;
Greg Clayton147e1fa2011-10-14 22:47:18 +00001747 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001748 if (decl_ctx == nullptr)
Greg Clayton147e1fa2011-10-14 22:47:18 +00001749 decl_ctx = ast->getTranslationUnitDecl();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001750
Greg Clayton0d551042013-06-28 21:08:47 +00001751
1752 const bool hasWrittenPrototype = true;
1753 const bool isConstexprSpecified = false;
1754
Greg Clayton147e1fa2011-10-14 22:47:18 +00001755 if (name && name[0])
1756 {
1757 func_decl = FunctionDecl::Create (*ast,
1758 decl_ctx,
1759 SourceLocation(),
1760 SourceLocation(),
1761 DeclarationName (&ast->Idents.get(name)),
Greg Clayton57ee3062013-07-11 22:46:58 +00001762 function_clang_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001763 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001764 (clang::StorageClass)storage,
Greg Clayton0d551042013-06-28 21:08:47 +00001765 is_inline,
1766 hasWrittenPrototype,
1767 isConstexprSpecified);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001768 }
Greg Clayton147e1fa2011-10-14 22:47:18 +00001769 else
1770 {
1771 func_decl = FunctionDecl::Create (*ast,
1772 decl_ctx,
1773 SourceLocation(),
1774 SourceLocation(),
1775 DeclarationName (),
Greg Clayton57ee3062013-07-11 22:46:58 +00001776 function_clang_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001777 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001778 (clang::StorageClass)storage,
Greg Clayton0d551042013-06-28 21:08:47 +00001779 is_inline,
1780 hasWrittenPrototype,
1781 isConstexprSpecified);
Greg Clayton147e1fa2011-10-14 22:47:18 +00001782 }
1783 if (func_decl)
1784 decl_ctx->addDecl (func_decl);
Sean Callanan5e9e1992011-10-26 01:06:27 +00001785
1786#ifdef LLDB_CONFIGURATION_DEBUG
1787 VerifyDecl(func_decl);
1788#endif
1789
Greg Clayton147e1fa2011-10-14 22:47:18 +00001790 return func_decl;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001791}
1792
Greg Clayton57ee3062013-07-11 22:46:58 +00001793ClangASTType
Greg Clayton6beaaa62011-01-17 03:46:26 +00001794ClangASTContext::CreateFunctionType (ASTContext *ast,
Greg Clayton57ee3062013-07-11 22:46:58 +00001795 const ClangASTType& result_type,
1796 const ClangASTType *args,
Sean Callananc81256a2010-09-16 20:40:25 +00001797 unsigned num_args,
1798 bool is_variadic,
1799 unsigned type_quals)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001800{
Ed Masted4612ad2014-04-20 13:17:36 +00001801 assert (ast != nullptr);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001802 std::vector<QualType> qual_type_args;
1803 for (unsigned i=0; i<num_args; ++i)
Greg Clayton57ee3062013-07-11 22:46:58 +00001804 qual_type_args.push_back (args[i].GetQualType());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001805
1806 // TODO: Detect calling convention in DWARF?
Sean Callanan2c777c42011-01-18 23:32:05 +00001807 FunctionProtoType::ExtProtoInfo proto_info;
1808 proto_info.Variadic = is_variadic;
Sylvestre Ledru186ca7d2014-08-01 12:19:15 +00001809 proto_info.ExceptionSpec = EST_None;
Sean Callanan2c777c42011-01-18 23:32:05 +00001810 proto_info.TypeQuals = type_quals;
Sean Callananfb0b7582011-03-15 00:17:19 +00001811 proto_info.RefQualifier = RQ_None;
Sylvestre Ledru186ca7d2014-08-01 12:19:15 +00001812
Greg Clayton57ee3062013-07-11 22:46:58 +00001813 return ClangASTType (ast, ast->getFunctionType (result_type.GetQualType(),
1814 qual_type_args,
1815 proto_info).getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001816}
1817
1818ParmVarDecl *
Greg Clayton57ee3062013-07-11 22:46:58 +00001819ClangASTContext::CreateParameterDeclaration (const char *name, const ClangASTType &param_type, int storage)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001820{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001821 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001822 assert (ast != nullptr);
Greg Clayton6beaaa62011-01-17 03:46:26 +00001823 return ParmVarDecl::Create(*ast,
1824 ast->getTranslationUnitDecl(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001825 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00001826 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001827 name && name[0] ? &ast->Idents.get(name) : nullptr,
Greg Clayton57ee3062013-07-11 22:46:58 +00001828 param_type.GetQualType(),
Ed Masted4612ad2014-04-20 13:17:36 +00001829 nullptr,
Shawn Best3ab672d2014-10-31 23:20:13 +00001830 (clang::StorageClass)storage,
Ed Masted4612ad2014-04-20 13:17:36 +00001831 nullptr);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001832}
1833
1834void
1835ClangASTContext::SetFunctionParameters (FunctionDecl *function_decl, ParmVarDecl **params, unsigned num_params)
1836{
1837 if (function_decl)
Sean Callanan880e6802011-10-07 23:18:13 +00001838 function_decl->setParams (ArrayRef<ParmVarDecl*>(params, num_params));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001839}
1840
1841
1842#pragma mark Array Types
1843
Greg Clayton57ee3062013-07-11 22:46:58 +00001844ClangASTType
1845ClangASTContext::CreateArrayType (const ClangASTType &element_type,
Greg Clayton1c8ef472013-04-05 23:27:21 +00001846 size_t element_count,
1847 bool is_vector)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001848{
Greg Clayton57ee3062013-07-11 22:46:58 +00001849 if (element_type.IsValid())
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001850 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001851 ASTContext *ast = getASTContext();
Ed Masted4612ad2014-04-20 13:17:36 +00001852 assert (ast != nullptr);
Greg Clayton4ef877f2012-12-06 02:33:54 +00001853
Greg Clayton1c8ef472013-04-05 23:27:21 +00001854 if (is_vector)
1855 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001856 return ClangASTType (ast, ast->getExtVectorType(element_type.GetQualType(), element_count).getAsOpaquePtr());
Greg Clayton4ef877f2012-12-06 02:33:54 +00001857 }
1858 else
1859 {
Greg Clayton1c8ef472013-04-05 23:27:21 +00001860
1861 llvm::APInt ap_element_count (64, element_count);
1862 if (element_count == 0)
1863 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001864 return ClangASTType (ast, ast->getIncompleteArrayType (element_type.GetQualType(),
1865 ArrayType::Normal,
1866 0).getAsOpaquePtr());
Greg Clayton1c8ef472013-04-05 23:27:21 +00001867 }
1868 else
1869 {
Greg Clayton57ee3062013-07-11 22:46:58 +00001870 return ClangASTType (ast, ast->getConstantArrayType (element_type.GetQualType(),
1871 ap_element_count,
1872 ArrayType::Normal,
1873 0).getAsOpaquePtr());
Greg Clayton1c8ef472013-04-05 23:27:21 +00001874 }
Greg Clayton4ef877f2012-12-06 02:33:54 +00001875 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001876 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001877 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001878}
1879
Enrico Granata76b08d52014-10-29 23:08:02 +00001880ClangASTType
1881ClangASTContext::GetOrCreateStructForIdentifier (const ConstString &type_name,
Enrico Granataa449e862014-10-30 00:53:28 +00001882 const std::initializer_list< std::pair < const char *, ClangASTType > >& type_fields,
1883 bool packed)
Enrico Granata76b08d52014-10-29 23:08:02 +00001884{
1885 ClangASTType type;
1886 if ((type = GetTypeForIdentifier<clang::CXXRecordDecl>(type_name)).IsValid())
1887 return type;
1888 type = CreateRecordType(nullptr, lldb::eAccessPublic, type_name.GetCString(), clang::TTK_Struct, lldb::eLanguageTypeC);
1889 type.StartTagDeclarationDefinition();
1890 for (const auto& field : type_fields)
1891 type.AddFieldToRecordType(field.first, field.second, lldb::eAccessPublic, 0);
Enrico Granataa449e862014-10-30 00:53:28 +00001892 if (packed)
1893 type.SetIsPacked();
Enrico Granata76b08d52014-10-29 23:08:02 +00001894 type.CompleteTagDeclarationDefinition();
1895 return type;
1896}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001897
1898#pragma mark Enumeration Types
1899
Greg Clayton57ee3062013-07-11 22:46:58 +00001900ClangASTType
Greg Claytonca512b32011-01-14 04:54:56 +00001901ClangASTContext::CreateEnumerationType
1902(
1903 const char *name,
1904 DeclContext *decl_ctx,
1905 const Declaration &decl,
Greg Clayton57ee3062013-07-11 22:46:58 +00001906 const ClangASTType &integer_clang_type
Greg Claytonca512b32011-01-14 04:54:56 +00001907)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001908{
1909 // TODO: Do something intelligent with the Declaration object passed in
1910 // like maybe filling in the SourceLocation with it...
Greg Clayton6beaaa62011-01-17 03:46:26 +00001911 ASTContext *ast = getASTContext();
Greg Claytone02b8502010-10-12 04:29:14 +00001912
1913 // TODO: ask about these...
1914// const bool IsScoped = false;
1915// const bool IsFixed = false;
1916
Greg Clayton6beaaa62011-01-17 03:46:26 +00001917 EnumDecl *enum_decl = EnumDecl::Create (*ast,
Greg Claytonca512b32011-01-14 04:54:56 +00001918 decl_ctx,
Greg Claytone02b8502010-10-12 04:29:14 +00001919 SourceLocation(),
Greg Claytone02b8502010-10-12 04:29:14 +00001920 SourceLocation(),
Ed Masted4612ad2014-04-20 13:17:36 +00001921 name && name[0] ? &ast->Idents.get(name) : nullptr,
1922 nullptr,
Sean Callanan48114472010-12-13 01:26:27 +00001923 false, // IsScoped
1924 false, // IsScopedUsingClassTag
1925 false); // IsFixed
Sean Callanan2652ad22011-01-18 01:03:44 +00001926
1927
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001928 if (enum_decl)
Greg Clayton83ff3892010-09-12 23:17:56 +00001929 {
1930 // TODO: check if we should be setting the promotion type too?
Greg Clayton57ee3062013-07-11 22:46:58 +00001931 enum_decl->setIntegerType(integer_clang_type.GetQualType());
Sean Callanan2652ad22011-01-18 01:03:44 +00001932
1933 enum_decl->setAccess(AS_public); // TODO respect what's in the debug info
1934
Greg Clayton57ee3062013-07-11 22:46:58 +00001935 return ClangASTType (ast, ast->getTagDeclType(enum_decl).getAsOpaquePtr());
Greg Clayton83ff3892010-09-12 23:17:56 +00001936 }
Greg Clayton57ee3062013-07-11 22:46:58 +00001937 return ClangASTType();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001938}
1939
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001940// Disable this for now since I can't seem to get a nicely formatted float
1941// out of the APFloat class without just getting the float, double or quad
1942// and then using a formatted print on it which defeats the purpose. We ideally
1943// would like to get perfect string values for any kind of float semantics
1944// so we can support remote targets. The code below also requires a patch to
1945// llvm::APInt.
1946//bool
Greg Clayton6beaaa62011-01-17 03:46:26 +00001947//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 +00001948//{
1949// uint32_t count = 0;
1950// bool is_complex = false;
1951// if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
1952// {
1953// unsigned num_bytes_per_float = byte_size / count;
1954// unsigned num_bits_per_float = num_bytes_per_float * 8;
1955//
1956// float_str.clear();
1957// uint32_t i;
1958// for (i=0; i<count; i++)
1959// {
1960// APInt ap_int(num_bits_per_float, bytes + i * num_bytes_per_float, (APInt::ByteOrder)apint_byte_order);
1961// bool is_ieee = false;
1962// APFloat ap_float(ap_int, is_ieee);
1963// char s[1024];
1964// unsigned int hex_digits = 0;
1965// bool upper_case = false;
1966//
1967// if (ap_float.convertToHexString(s, hex_digits, upper_case, APFloat::rmNearestTiesToEven) > 0)
1968// {
1969// if (i > 0)
1970// float_str.append(", ");
1971// float_str.append(s);
1972// if (i == 1 && is_complex)
1973// float_str.append(1, 'i');
1974// }
1975// }
1976// return !float_str.empty();
1977// }
1978// return false;
1979//}
1980
Enrico Granatae8bf7492014-08-15 23:00:02 +00001981ClangASTType
1982ClangASTContext::GetIntTypeFromBitSize (clang::ASTContext *ast,
1983 size_t bit_size, bool is_signed)
1984{
1985 if (ast)
1986 {
1987 if (is_signed)
1988 {
1989 if (bit_size == ast->getTypeSize(ast->SignedCharTy))
1990 return ClangASTType(ast, ast->SignedCharTy.getAsOpaquePtr());
1991
1992 if (bit_size == ast->getTypeSize(ast->ShortTy))
1993 return ClangASTType(ast, ast->ShortTy.getAsOpaquePtr());
1994
1995 if (bit_size == ast->getTypeSize(ast->IntTy))
1996 return ClangASTType(ast, ast->IntTy.getAsOpaquePtr());
1997
1998 if (bit_size == ast->getTypeSize(ast->LongTy))
1999 return ClangASTType(ast, ast->LongTy.getAsOpaquePtr());
2000
2001 if (bit_size == ast->getTypeSize(ast->LongLongTy))
2002 return ClangASTType(ast, ast->LongLongTy.getAsOpaquePtr());
2003
2004 if (bit_size == ast->getTypeSize(ast->Int128Ty))
2005 return ClangASTType(ast, ast->Int128Ty.getAsOpaquePtr());
2006 }
2007 else
2008 {
2009 if (bit_size == ast->getTypeSize(ast->UnsignedCharTy))
2010 return ClangASTType(ast, ast->UnsignedCharTy.getAsOpaquePtr());
2011
2012 if (bit_size == ast->getTypeSize(ast->UnsignedShortTy))
2013 return ClangASTType(ast, ast->UnsignedShortTy.getAsOpaquePtr());
2014
2015 if (bit_size == ast->getTypeSize(ast->UnsignedIntTy))
2016 return ClangASTType(ast, ast->UnsignedIntTy.getAsOpaquePtr());
2017
2018 if (bit_size == ast->getTypeSize(ast->UnsignedLongTy))
2019 return ClangASTType(ast, ast->UnsignedLongTy.getAsOpaquePtr());
2020
2021 if (bit_size == ast->getTypeSize(ast->UnsignedLongLongTy))
2022 return ClangASTType(ast, ast->UnsignedLongLongTy.getAsOpaquePtr());
2023
2024 if (bit_size == ast->getTypeSize(ast->UnsignedInt128Ty))
2025 return ClangASTType(ast, ast->UnsignedInt128Ty.getAsOpaquePtr());
2026 }
2027 }
2028 return ClangASTType();
2029}
2030
2031ClangASTType
2032ClangASTContext::GetPointerSizedIntType (clang::ASTContext *ast, bool is_signed)
2033{
2034 if (ast)
2035 return GetIntTypeFromBitSize(ast, ast->getTypeSize(ast->VoidPtrTy), is_signed);
2036 return ClangASTType();
2037}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002038
Greg Clayton57ee3062013-07-11 22:46:58 +00002039ClangASTType
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002040ClangASTContext::GetFloatTypeFromBitSize (clang::ASTContext *ast,
2041 size_t bit_size)
2042{
2043 if (ast)
2044 {
2045 if (bit_size == ast->getTypeSize(ast->FloatTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002046 return ClangASTType(ast, ast->FloatTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002047 else if (bit_size == ast->getTypeSize(ast->DoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002048 return ClangASTType(ast, ast->DoubleTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002049 else if (bit_size == ast->getTypeSize(ast->LongDoubleTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002050 return ClangASTType(ast, ast->LongDoubleTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002051 else if (bit_size == ast->getTypeSize(ast->HalfTy))
Greg Clayton57ee3062013-07-11 22:46:58 +00002052 return ClangASTType(ast, ast->HalfTy.getAsOpaquePtr());
Greg Claytonbc8fc0f2013-06-11 21:56:55 +00002053 }
Greg Clayton57ee3062013-07-11 22:46:58 +00002054 return ClangASTType();
Enrico Granata86027e92012-03-24 01:11:14 +00002055}
2056
2057bool
Greg Claytona2721472011-06-25 00:44:06 +00002058ClangASTContext::GetCompleteDecl (clang::ASTContext *ast,
2059 clang::Decl *decl)
2060{
2061 if (!decl)
2062 return false;
2063
2064 ExternalASTSource *ast_source = ast->getExternalSource();
2065
2066 if (!ast_source)
2067 return false;
2068
2069 if (clang::TagDecl *tag_decl = llvm::dyn_cast<clang::TagDecl>(decl))
2070 {
Greg Clayton219cf312012-03-30 00:51:13 +00002071 if (tag_decl->isCompleteDefinition())
Greg Claytona2721472011-06-25 00:44:06 +00002072 return true;
2073
2074 if (!tag_decl->hasExternalLexicalStorage())
2075 return false;
2076
2077 ast_source->CompleteType(tag_decl);
2078
2079 return !tag_decl->getTypeForDecl()->isIncompleteType();
2080 }
2081 else if (clang::ObjCInterfaceDecl *objc_interface_decl = llvm::dyn_cast<clang::ObjCInterfaceDecl>(decl))
2082 {
Sean Callanan5b26f272012-02-04 08:49:35 +00002083 if (objc_interface_decl->getDefinition())
Greg Claytona2721472011-06-25 00:44:06 +00002084 return true;
2085
2086 if (!objc_interface_decl->hasExternalLexicalStorage())
2087 return false;
2088
2089 ast_source->CompleteType(objc_interface_decl);
2090
Sean Callanan5b26f272012-02-04 08:49:35 +00002091 return !objc_interface_decl->getTypeForDecl()->isIncompleteType();
Greg Claytona2721472011-06-25 00:44:06 +00002092 }
2093 else
2094 {
2095 return false;
2096 }
2097}
2098
Sean Callanan60217122012-04-13 00:10:03 +00002099void
Greg Claytond0029442013-03-27 01:48:02 +00002100ClangASTContext::SetMetadataAsUserID (const void *object,
Jim Ingham379397632012-10-27 02:54:13 +00002101 user_id_t user_id)
2102{
2103 ClangASTMetadata meta_data;
2104 meta_data.SetUserID (user_id);
2105 SetMetadata (object, meta_data);
2106}
2107
2108void
Sean Callanan60217122012-04-13 00:10:03 +00002109ClangASTContext::SetMetadata (clang::ASTContext *ast,
Greg Claytond0029442013-03-27 01:48:02 +00002110 const void *object,
Jim Ingham379397632012-10-27 02:54:13 +00002111 ClangASTMetadata &metadata)
Sean Callanan60217122012-04-13 00:10:03 +00002112{
2113 ClangExternalASTSourceCommon *external_source =
Sean Callananceeb74e2014-12-06 01:03:30 +00002114 ClangExternalASTSourceCommon::Lookup(ast->getExternalSource());
Sean Callanan60217122012-04-13 00:10:03 +00002115
2116 if (external_source)
2117 external_source->SetMetadata(object, metadata);
2118}
2119
Jim Ingham379397632012-10-27 02:54:13 +00002120ClangASTMetadata *
Sean Callanan60217122012-04-13 00:10:03 +00002121ClangASTContext::GetMetadata (clang::ASTContext *ast,
Greg Claytond0029442013-03-27 01:48:02 +00002122 const void *object)
Sean Callanan60217122012-04-13 00:10:03 +00002123{
2124 ClangExternalASTSourceCommon *external_source =
Sean Callananceeb74e2014-12-06 01:03:30 +00002125 ClangExternalASTSourceCommon::Lookup(ast->getExternalSource());
Sean Callanan60217122012-04-13 00:10:03 +00002126
2127 if (external_source && external_source->HasMetadata(object))
2128 return external_source->GetMetadata(object);
2129 else
Ed Masted4612ad2014-04-20 13:17:36 +00002130 return nullptr;
Sean Callanan60217122012-04-13 00:10:03 +00002131}
2132
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002133clang::DeclContext *
2134ClangASTContext::GetAsDeclContext (clang::CXXMethodDecl *cxx_method_decl)
2135{
Sean Callanana87bee82011-08-19 06:19:25 +00002136 return llvm::dyn_cast<clang::DeclContext>(cxx_method_decl);
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002137}
2138
2139clang::DeclContext *
2140ClangASTContext::GetAsDeclContext (clang::ObjCMethodDecl *objc_method_decl)
2141{
Sean Callanana87bee82011-08-19 06:19:25 +00002142 return llvm::dyn_cast<clang::DeclContext>(objc_method_decl);
Greg Clayton2c5f0e92011-08-04 21:02:57 +00002143}
2144
Greg Clayton685c88c2012-07-14 00:53:55 +00002145
2146bool
2147ClangASTContext::GetClassMethodInfoForDeclContext (clang::DeclContext *decl_ctx,
2148 lldb::LanguageType &language,
2149 bool &is_instance_method,
2150 ConstString &language_object_name)
2151{
2152 language_object_name.Clear();
2153 language = eLanguageTypeUnknown;
2154 is_instance_method = false;
2155
2156 if (decl_ctx)
2157 {
2158 if (clang::CXXMethodDecl *method_decl = llvm::dyn_cast<clang::CXXMethodDecl>(decl_ctx))
2159 {
2160 if (method_decl->isStatic())
2161 {
2162 is_instance_method = false;
2163 }
2164 else
2165 {
2166 language_object_name.SetCString("this");
2167 is_instance_method = true;
2168 }
2169 language = eLanguageTypeC_plus_plus;
2170 return true;
2171 }
2172 else if (clang::ObjCMethodDecl *method_decl = llvm::dyn_cast<clang::ObjCMethodDecl>(decl_ctx))
2173 {
2174 // Both static and instance methods have a "self" object in objective C
2175 language_object_name.SetCString("self");
2176 if (method_decl->isInstanceMethod())
2177 {
2178 is_instance_method = true;
2179 }
2180 else
2181 {
2182 is_instance_method = false;
2183 }
2184 language = eLanguageTypeObjC;
2185 return true;
2186 }
Jim Ingham379397632012-10-27 02:54:13 +00002187 else if (clang::FunctionDecl *function_decl = llvm::dyn_cast<clang::FunctionDecl>(decl_ctx))
2188 {
Greg Claytond0029442013-03-27 01:48:02 +00002189 ClangASTMetadata *metadata = GetMetadata (&decl_ctx->getParentASTContext(), function_decl);
Jim Ingham379397632012-10-27 02:54:13 +00002190 if (metadata && metadata->HasObjectPtr())
2191 {
2192 language_object_name.SetCString (metadata->GetObjectPtrName());
2193 language = eLanguageTypeObjC;
2194 is_instance_method = true;
2195 }
2196 return true;
2197 }
Greg Clayton685c88c2012-07-14 00:53:55 +00002198 }
2199 return false;
2200}
2201