blob: fb55a51344fb30e346f25ebb54d8ae1b5305d326 [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
14#include <string>
15
16// Other libraries and framework includes
Greg Clayton6beaaa62011-01-17 03:46:26 +000017
18// Clang headers like to use NDEBUG inside of them to enable/disable debug
19// releated features using "#ifndef NDEBUG" preprocessor blocks to do one thing
20// or another. This is bad because it means that if clang was built in release
21// mode, it assumes that you are building in release mode which is not always
22// the case. You can end up with functions that are defined as empty in header
23// files when NDEBUG is not defined, and this can cause link errors with the
24// clang .a files that you have since you might be missing functions in the .a
25// file. So we have to define NDEBUG when including clang headers to avoid any
26// mismatches. This is covered by rdar://problem/8691220
27
28#ifndef NDEBUG
29#define LLDB_DEFINED_NDEBUG_FOR_CLANG
Sean Callanan246549c2010-07-08 18:16:16 +000030#define NDEBUG
Greg Clayton6beaaa62011-01-17 03:46:26 +000031// Need to include assert.h so it is as clang would expect it to be (disabled)
32#include <assert.h>
33#endif
34
Chris Lattner30fdc8d2010-06-08 16:52:24 +000035#include "clang/AST/ASTContext.h"
36#include "clang/AST/ASTImporter.h"
37#include "clang/AST/CXXInheritance.h"
Greg Clayton8cf05932010-07-22 18:30:50 +000038#include "clang/AST/DeclObjC.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000039#include "clang/AST/RecordLayout.h"
40#include "clang/AST/Type.h"
41#include "clang/Basic/Builtins.h"
42#include "clang/Basic/FileManager.h"
Sean Callanan79439e82010-11-18 02:56:27 +000043#include "clang/Basic/FileSystemOptions.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000044#include "clang/Basic/SourceManager.h"
45#include "clang/Basic/TargetInfo.h"
46#include "clang/Basic/TargetOptions.h"
47#include "clang/Frontend/FrontendOptions.h"
48#include "clang/Frontend/LangStandard.h"
Greg Clayton6beaaa62011-01-17 03:46:26 +000049
50#ifdef LLDB_DEFINED_NDEBUG_FOR_CLANG
Sean Callanan246549c2010-07-08 18:16:16 +000051#undef NDEBUG
Greg Clayton6beaaa62011-01-17 03:46:26 +000052#undef LLDB_DEFINED_NDEBUG_FOR_CLANG
53// Need to re-include assert.h so it is as _we_ would expect it to be (enabled)
54#include <assert.h>
55#endif
Chris Lattner30fdc8d2010-06-08 16:52:24 +000056
Greg Clayton514487e2011-02-15 21:59:32 +000057#include "lldb/Core/ArchSpec.h"
Chris Lattner30fdc8d2010-06-08 16:52:24 +000058#include "lldb/Core/dwarf.h"
Greg Clayton73b472d2010-10-27 03:32:59 +000059#include "lldb/Core/Flags.h"
Sean Callananfb8b7092010-10-28 18:19:36 +000060#include "lldb/Core/Log.h"
Jim Inghamd555bac2011-06-24 22:03:24 +000061#include "lldb/Target/ExecutionContext.h"
62#include "lldb/Target/Process.h"
63#include "lldb/Target/ObjCLanguageRuntime.h"
64
Chris Lattner30fdc8d2010-06-08 16:52:24 +000065
Eli Friedman932197d2010-06-13 19:06:42 +000066#include <stdio.h>
67
Greg Claytonc86103d2010-08-05 01:57:25 +000068using namespace lldb;
Chris Lattner30fdc8d2010-06-08 16:52:24 +000069using namespace lldb_private;
70using namespace llvm;
71using namespace clang;
72
Greg Clayton6beaaa62011-01-17 03:46:26 +000073
74static bool
75GetCompleteQualType (clang::ASTContext *ast, clang::QualType qual_type)
76{
77 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
78 switch (type_class)
79 {
80 case clang::Type::Record:
81 case clang::Type::Enum:
82 {
Sean Callanan78e37602011-01-27 04:42:51 +000083 const clang::TagType *tag_type = dyn_cast<clang::TagType>(qual_type.getTypePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +000084 if (tag_type)
85 {
86 clang::TagDecl *tag_decl = tag_type->getDecl();
87 if (tag_decl)
88 {
89 if (tag_decl->getDefinition())
90 return true;
91
92 if (tag_decl->hasExternalLexicalStorage())
93 {
Greg Clayton007d5be2011-05-30 00:49:24 +000094 if (ast)
Greg Clayton6beaaa62011-01-17 03:46:26 +000095 {
Greg Clayton007d5be2011-05-30 00:49:24 +000096 ExternalASTSource *external_ast_source = ast->getExternalSource();
97 if (external_ast_source)
98 {
99 external_ast_source->CompleteType(tag_decl);
100 return !tag_type->isIncompleteType();
101 }
Greg Clayton6beaaa62011-01-17 03:46:26 +0000102 }
103 }
104 return false;
105 }
106 }
107
108 }
109 break;
110
111 case clang::Type::ObjCObject:
112 case clang::Type::ObjCInterface:
113 {
Sean Callanan78e37602011-01-27 04:42:51 +0000114 const clang::ObjCObjectType *objc_class_type = dyn_cast<clang::ObjCObjectType>(qual_type);
Greg Clayton6beaaa62011-01-17 03:46:26 +0000115 if (objc_class_type)
116 {
117 clang::ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
118 // We currently can't complete objective C types through the newly added ASTContext
119 // because it only supports TagDecl objects right now...
120 bool is_forward_decl = class_interface_decl->isForwardDecl();
121 if (is_forward_decl && class_interface_decl->hasExternalLexicalStorage())
122 {
Greg Clayton007d5be2011-05-30 00:49:24 +0000123 if (ast)
Greg Clayton6beaaa62011-01-17 03:46:26 +0000124 {
Greg Clayton007d5be2011-05-30 00:49:24 +0000125 ExternalASTSource *external_ast_source = ast->getExternalSource();
126 if (external_ast_source)
127 {
128 external_ast_source->CompleteType (class_interface_decl);
129 is_forward_decl = class_interface_decl->isForwardDecl();
130 }
Greg Clayton6beaaa62011-01-17 03:46:26 +0000131 }
Greg Claytonc432c192011-01-20 04:18:48 +0000132 return is_forward_decl == false;
Greg Clayton6beaaa62011-01-17 03:46:26 +0000133 }
Greg Claytonc432c192011-01-20 04:18:48 +0000134 return true;
Greg Clayton6beaaa62011-01-17 03:46:26 +0000135 }
136 }
137 break;
138
139 case clang::Type::Typedef:
140 return GetCompleteQualType (ast, cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType());
141
142 default:
143 break;
144 }
145
146 return true;
147}
148
149
Greg Clayton8cf05932010-07-22 18:30:50 +0000150static AccessSpecifier
Greg Claytonc86103d2010-08-05 01:57:25 +0000151ConvertAccessTypeToAccessSpecifier (AccessType access)
Greg Clayton8cf05932010-07-22 18:30:50 +0000152{
153 switch (access)
154 {
Greg Claytonc86103d2010-08-05 01:57:25 +0000155 default: break;
156 case eAccessNone: return AS_none;
157 case eAccessPublic: return AS_public;
158 case eAccessPrivate: return AS_private;
159 case eAccessProtected: return AS_protected;
Greg Clayton8cf05932010-07-22 18:30:50 +0000160 }
161 return AS_none;
162}
163
164static ObjCIvarDecl::AccessControl
Greg Claytonc86103d2010-08-05 01:57:25 +0000165ConvertAccessTypeToObjCIvarAccessControl (AccessType access)
Greg Clayton8cf05932010-07-22 18:30:50 +0000166{
167 switch (access)
168 {
Greg Claytonc86103d2010-08-05 01:57:25 +0000169 default: break;
170 case eAccessNone: return ObjCIvarDecl::None;
171 case eAccessPublic: return ObjCIvarDecl::Public;
172 case eAccessPrivate: return ObjCIvarDecl::Private;
173 case eAccessProtected: return ObjCIvarDecl::Protected;
174 case eAccessPackage: return ObjCIvarDecl::Package;
Greg Clayton8cf05932010-07-22 18:30:50 +0000175 }
176 return ObjCIvarDecl::None;
177}
178
179
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000180static void
181ParseLangArgs
182(
183 LangOptions &Opts,
Greg Clayton94e5d782010-06-13 17:34:29 +0000184 InputKind IK
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000185)
186{
187 // FIXME: Cleanup per-file based stuff.
188
189 // Set some properties which depend soley on the input kind; it would be nice
190 // to move these to the language standard, and have the driver resolve the
191 // input kind + language standard.
Greg Clayton94e5d782010-06-13 17:34:29 +0000192 if (IK == IK_Asm) {
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000193 Opts.AsmPreprocessor = 1;
Greg Clayton94e5d782010-06-13 17:34:29 +0000194 } else if (IK == IK_ObjC ||
195 IK == IK_ObjCXX ||
196 IK == IK_PreprocessedObjC ||
197 IK == IK_PreprocessedObjCXX) {
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000198 Opts.ObjC1 = Opts.ObjC2 = 1;
199 }
200
201 LangStandard::Kind LangStd = LangStandard::lang_unspecified;
202
203 if (LangStd == LangStandard::lang_unspecified) {
204 // Based on the base language, pick one.
205 switch (IK) {
Greg Clayton94e5d782010-06-13 17:34:29 +0000206 case IK_None:
207 case IK_AST:
Sean Callananfb0b7582011-03-15 00:17:19 +0000208 case IK_LLVM_IR:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000209 assert (!"Invalid input kind!");
Greg Clayton94e5d782010-06-13 17:34:29 +0000210 case IK_OpenCL:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000211 LangStd = LangStandard::lang_opencl;
212 break;
Sean Callananfb0b7582011-03-15 00:17:19 +0000213 case IK_CUDA:
214 LangStd = LangStandard::lang_cuda;
215 break;
Greg Clayton94e5d782010-06-13 17:34:29 +0000216 case IK_Asm:
217 case IK_C:
218 case IK_PreprocessedC:
219 case IK_ObjC:
220 case IK_PreprocessedObjC:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000221 LangStd = LangStandard::lang_gnu99;
222 break;
Greg Clayton94e5d782010-06-13 17:34:29 +0000223 case IK_CXX:
224 case IK_PreprocessedCXX:
225 case IK_ObjCXX:
226 case IK_PreprocessedObjCXX:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000227 LangStd = LangStandard::lang_gnucxx98;
228 break;
229 }
230 }
231
232 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
233 Opts.BCPLComment = Std.hasBCPLComments();
234 Opts.C99 = Std.isC99();
235 Opts.CPlusPlus = Std.isCPlusPlus();
236 Opts.CPlusPlus0x = Std.isCPlusPlus0x();
237 Opts.Digraphs = Std.hasDigraphs();
238 Opts.GNUMode = Std.isGNUMode();
239 Opts.GNUInline = !Std.isC99();
240 Opts.HexFloats = Std.hasHexFloats();
241 Opts.ImplicitInt = Std.hasImplicitInt();
242
243 // OpenCL has some additional defaults.
244 if (LangStd == LangStandard::lang_opencl) {
245 Opts.OpenCL = 1;
246 Opts.AltiVec = 1;
247 Opts.CXXOperatorNames = 1;
248 Opts.LaxVectorConversions = 1;
249 }
250
251 // OpenCL and C++ both have bool, true, false keywords.
252 Opts.Bool = Opts.OpenCL || Opts.CPlusPlus;
253
254// if (Opts.CPlusPlus)
255// Opts.CXXOperatorNames = !Args.hasArg(OPT_fno_operator_names);
256//
257// if (Args.hasArg(OPT_fobjc_gc_only))
258// Opts.setGCMode(LangOptions::GCOnly);
259// else if (Args.hasArg(OPT_fobjc_gc))
260// Opts.setGCMode(LangOptions::HybridGC);
261//
262// if (Args.hasArg(OPT_print_ivar_layout))
263// Opts.ObjCGCBitmapPrint = 1;
264//
265// if (Args.hasArg(OPT_faltivec))
266// Opts.AltiVec = 1;
267//
268// if (Args.hasArg(OPT_pthread))
269// Opts.POSIXThreads = 1;
270//
271// llvm::StringRef Vis = getLastArgValue(Args, OPT_fvisibility,
272// "default");
273// if (Vis == "default")
Sean Callanan31e851c2010-10-29 18:38:40 +0000274 Opts.setVisibilityMode(DefaultVisibility);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000275// else if (Vis == "hidden")
276// Opts.setVisibilityMode(LangOptions::Hidden);
277// else if (Vis == "protected")
278// Opts.setVisibilityMode(LangOptions::Protected);
279// else
280// Diags.Report(diag::err_drv_invalid_value)
281// << Args.getLastArg(OPT_fvisibility)->getAsString(Args) << Vis;
282
283// Opts.OverflowChecking = Args.hasArg(OPT_ftrapv);
284
285 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
286 // is specified, or -std is set to a conforming mode.
287 Opts.Trigraphs = !Opts.GNUMode;
288// if (Args.hasArg(OPT_trigraphs))
289// Opts.Trigraphs = 1;
290//
291// Opts.DollarIdents = Args.hasFlag(OPT_fdollars_in_identifiers,
292// OPT_fno_dollars_in_identifiers,
293// !Opts.AsmPreprocessor);
294// Opts.PascalStrings = Args.hasArg(OPT_fpascal_strings);
295// Opts.Microsoft = Args.hasArg(OPT_fms_extensions);
296// Opts.WritableStrings = Args.hasArg(OPT_fwritable_strings);
297// if (Args.hasArg(OPT_fno_lax_vector_conversions))
298// Opts.LaxVectorConversions = 0;
299// Opts.Exceptions = Args.hasArg(OPT_fexceptions);
300// Opts.RTTI = !Args.hasArg(OPT_fno_rtti);
301// Opts.Blocks = Args.hasArg(OPT_fblocks);
302// Opts.CharIsSigned = !Args.hasArg(OPT_fno_signed_char);
303// Opts.ShortWChar = Args.hasArg(OPT_fshort_wchar);
304// Opts.Freestanding = Args.hasArg(OPT_ffreestanding);
305// Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
306// Opts.AssumeSaneOperatorNew = !Args.hasArg(OPT_fno_assume_sane_operator_new);
307// Opts.HeinousExtensions = Args.hasArg(OPT_fheinous_gnu_extensions);
308// Opts.AccessControl = Args.hasArg(OPT_faccess_control);
309// Opts.ElideConstructors = !Args.hasArg(OPT_fno_elide_constructors);
310// Opts.MathErrno = !Args.hasArg(OPT_fno_math_errno);
311// Opts.InstantiationDepth = getLastArgIntValue(Args, OPT_ftemplate_depth, 99,
312// Diags);
313// Opts.NeXTRuntime = !Args.hasArg(OPT_fgnu_runtime);
314// Opts.ObjCConstantStringClass = getLastArgValue(Args,
315// OPT_fconstant_string_class);
316// Opts.ObjCNonFragileABI = Args.hasArg(OPT_fobjc_nonfragile_abi);
317// Opts.CatchUndefined = Args.hasArg(OPT_fcatch_undefined_behavior);
318// Opts.EmitAllDecls = Args.hasArg(OPT_femit_all_decls);
319// Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
320// Opts.Static = Args.hasArg(OPT_static_define);
321 Opts.OptimizeSize = 0;
322
323 // FIXME: Eliminate this dependency.
324// unsigned Opt =
325// Args.hasArg(OPT_Os) ? 2 : getLastArgIntValue(Args, OPT_O, 0, Diags);
326// Opts.Optimize = Opt != 0;
327 unsigned Opt = 0;
328
329 // This is the __NO_INLINE__ define, which just depends on things like the
330 // optimization level and -fno-inline, not actually whether the backend has
331 // inlining enabled.
332 //
333 // FIXME: This is affected by other options (-fno-inline).
334 Opts.NoInline = !Opt;
335
336// unsigned SSP = getLastArgIntValue(Args, OPT_stack_protector, 0, Diags);
337// switch (SSP) {
338// default:
339// Diags.Report(diag::err_drv_invalid_value)
340// << Args.getLastArg(OPT_stack_protector)->getAsString(Args) << SSP;
341// break;
342// case 0: Opts.setStackProtectorMode(LangOptions::SSPOff); break;
343// case 1: Opts.setStackProtectorMode(LangOptions::SSPOn); break;
344// case 2: Opts.setStackProtectorMode(LangOptions::SSPReq); break;
345// }
346}
347
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000348
Greg Clayton6beaaa62011-01-17 03:46:26 +0000349ClangASTContext::ClangASTContext (const char *target_triple) :
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000350 m_target_triple(),
Greg Clayton6beaaa62011-01-17 03:46:26 +0000351 m_ast_ap(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000352 m_language_options_ap(),
353 m_source_manager_ap(),
354 m_diagnostic_ap(),
355 m_target_options_ap(),
356 m_target_info_ap(),
357 m_identifier_table_ap(),
358 m_selector_table_ap(),
Greg Clayton6beaaa62011-01-17 03:46:26 +0000359 m_builtins_ap(),
360 m_callback_tag_decl (NULL),
361 m_callback_objc_decl (NULL),
362 m_callback_baton (NULL)
363
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000364{
365 if (target_triple && target_triple[0])
366 m_target_triple.assign (target_triple);
367}
368
369//----------------------------------------------------------------------
370// Destructor
371//----------------------------------------------------------------------
372ClangASTContext::~ClangASTContext()
373{
374 m_builtins_ap.reset();
375 m_selector_table_ap.reset();
376 m_identifier_table_ap.reset();
377 m_target_info_ap.reset();
378 m_target_options_ap.reset();
379 m_diagnostic_ap.reset();
380 m_source_manager_ap.reset();
381 m_language_options_ap.reset();
Greg Clayton6beaaa62011-01-17 03:46:26 +0000382 m_ast_ap.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000383}
384
385
386void
387ClangASTContext::Clear()
388{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000389 m_ast_ap.reset();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000390 m_language_options_ap.reset();
391 m_source_manager_ap.reset();
392 m_diagnostic_ap.reset();
393 m_target_options_ap.reset();
394 m_target_info_ap.reset();
395 m_identifier_table_ap.reset();
396 m_selector_table_ap.reset();
397 m_builtins_ap.reset();
398}
399
400const char *
401ClangASTContext::GetTargetTriple ()
402{
403 return m_target_triple.c_str();
404}
405
406void
407ClangASTContext::SetTargetTriple (const char *target_triple)
408{
409 Clear();
410 m_target_triple.assign(target_triple);
411}
412
Greg Clayton514487e2011-02-15 21:59:32 +0000413void
414ClangASTContext::SetArchitecture (const ArchSpec &arch)
415{
416 Clear();
417 m_target_triple.assign(arch.GetTriple().str());
418}
419
Greg Clayton6beaaa62011-01-17 03:46:26 +0000420bool
421ClangASTContext::HasExternalSource ()
422{
423 ASTContext *ast = getASTContext();
424 if (ast)
425 return ast->getExternalSource () != NULL;
426 return false;
427}
428
429void
430ClangASTContext::SetExternalSource (llvm::OwningPtr<ExternalASTSource> &ast_source_ap)
431{
432 ASTContext *ast = getASTContext();
433 if (ast)
434 {
435 ast->setExternalSource (ast_source_ap);
436 ast->getTranslationUnitDecl()->setHasExternalLexicalStorage(true);
437 //ast->getTranslationUnitDecl()->setHasExternalVisibleStorage(true);
438 }
439}
440
441void
442ClangASTContext::RemoveExternalSource ()
443{
444 ASTContext *ast = getASTContext();
445
446 if (ast)
447 {
448 llvm::OwningPtr<ExternalASTSource> empty_ast_source_ap;
449 ast->setExternalSource (empty_ast_source_ap);
450 ast->getTranslationUnitDecl()->setHasExternalLexicalStorage(false);
451 //ast->getTranslationUnitDecl()->setHasExternalVisibleStorage(false);
452 }
453}
454
455
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000456
457ASTContext *
458ClangASTContext::getASTContext()
459{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000460 if (m_ast_ap.get() == NULL)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000461 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000462 m_ast_ap.reset(new ASTContext (*getLanguageOptions(),
463 *getSourceManager(),
464 *getTargetInfo(),
465 *getIdentifierTable(),
466 *getSelectorTable(),
467 *getBuiltinContext(),
468 0));
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000469
Greg Clayton6beaaa62011-01-17 03:46:26 +0000470 if ((m_callback_tag_decl || m_callback_objc_decl) && m_callback_baton)
471 {
472 m_ast_ap->getTranslationUnitDecl()->setHasExternalLexicalStorage();
473 //m_ast_ap->getTranslationUnitDecl()->setHasExternalVisibleStorage();
474 }
475
476 m_ast_ap->getDiagnostics().setClient(getDiagnosticClient(), false);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000477 }
Greg Clayton6beaaa62011-01-17 03:46:26 +0000478 return m_ast_ap.get();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000479}
480
481Builtin::Context *
482ClangASTContext::getBuiltinContext()
483{
484 if (m_builtins_ap.get() == NULL)
485 m_builtins_ap.reset (new Builtin::Context(*getTargetInfo()));
486 return m_builtins_ap.get();
487}
488
489IdentifierTable *
490ClangASTContext::getIdentifierTable()
491{
492 if (m_identifier_table_ap.get() == NULL)
493 m_identifier_table_ap.reset(new IdentifierTable (*ClangASTContext::getLanguageOptions(), NULL));
494 return m_identifier_table_ap.get();
495}
496
497LangOptions *
498ClangASTContext::getLanguageOptions()
499{
500 if (m_language_options_ap.get() == NULL)
501 {
502 m_language_options_ap.reset(new LangOptions());
Greg Clayton94e5d782010-06-13 17:34:29 +0000503 ParseLangArgs(*m_language_options_ap, IK_ObjCXX);
504// InitializeLangOptions(*m_language_options_ap, IK_ObjCXX);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000505 }
506 return m_language_options_ap.get();
507}
508
509SelectorTable *
510ClangASTContext::getSelectorTable()
511{
512 if (m_selector_table_ap.get() == NULL)
513 m_selector_table_ap.reset (new SelectorTable());
514 return m_selector_table_ap.get();
515}
516
Sean Callanan79439e82010-11-18 02:56:27 +0000517clang::FileManager *
518ClangASTContext::getFileManager()
519{
520 if (m_file_manager_ap.get() == NULL)
Greg Clayton38a61402010-12-02 23:20:03 +0000521 {
522 clang::FileSystemOptions file_system_options;
523 m_file_manager_ap.reset(new clang::FileManager(file_system_options));
524 }
Sean Callanan79439e82010-11-18 02:56:27 +0000525 return m_file_manager_ap.get();
526}
527
Greg Claytone1a916a2010-07-21 22:12:05 +0000528clang::SourceManager *
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000529ClangASTContext::getSourceManager()
530{
531 if (m_source_manager_ap.get() == NULL)
Greg Clayton38a61402010-12-02 23:20:03 +0000532 m_source_manager_ap.reset(new clang::SourceManager(*getDiagnostic(), *getFileManager()));
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000533 return m_source_manager_ap.get();
534}
535
536Diagnostic *
537ClangASTContext::getDiagnostic()
538{
539 if (m_diagnostic_ap.get() == NULL)
Greg Claytona651b532010-11-19 21:46:54 +0000540 {
541 llvm::IntrusiveRefCntPtr<DiagnosticIDs> diag_id_sp(new DiagnosticIDs());
542 m_diagnostic_ap.reset(new Diagnostic(diag_id_sp));
543 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000544 return m_diagnostic_ap.get();
545}
546
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000547class NullDiagnosticClient : public DiagnosticClient
548{
549public:
550 NullDiagnosticClient ()
551 {
552 m_log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS);
553 }
554
555 void HandleDiagnostic (Diagnostic::Level DiagLevel, const DiagnosticInfo &info)
556 {
557 if (m_log)
558 {
559 llvm::SmallVectorImpl<char> diag_str(10);
560 info.FormatDiagnostic(diag_str);
561 diag_str.push_back('\0');
562 m_log->Printf("Compiler diagnostic: %s\n", diag_str.data());
563 }
564 }
565private:
566 LogSP m_log;
567};
568
569DiagnosticClient *
570ClangASTContext::getDiagnosticClient()
571{
572 if (m_diagnostic_client_ap.get() == NULL)
573 m_diagnostic_client_ap.reset(new NullDiagnosticClient);
574
575 return m_diagnostic_client_ap.get();
576}
577
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000578TargetOptions *
579ClangASTContext::getTargetOptions()
580{
581 if (m_target_options_ap.get() == NULL && !m_target_triple.empty())
582 {
583 m_target_options_ap.reset (new TargetOptions());
584 if (m_target_options_ap.get())
585 m_target_options_ap->Triple = m_target_triple;
586 }
587 return m_target_options_ap.get();
588}
589
590
591TargetInfo *
592ClangASTContext::getTargetInfo()
593{
594 // target_triple should be something like "x86_64-apple-darwin10"
595 if (m_target_info_ap.get() == NULL && !m_target_triple.empty())
596 m_target_info_ap.reset (TargetInfo::CreateTargetInfo(*getDiagnostic(), *getTargetOptions()));
597 return m_target_info_ap.get();
598}
599
600#pragma mark Basic Types
601
602static inline bool
Greg Clayton6beaaa62011-01-17 03:46:26 +0000603QualTypeMatchesBitSize(const uint64_t bit_size, ASTContext *ast, QualType qual_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000604{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000605 uint64_t qual_type_bit_size = ast->getTypeSize(qual_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000606 if (qual_type_bit_size == bit_size)
607 return true;
608 return false;
609}
610
Greg Clayton1be10fc2010-09-29 01:12:09 +0000611clang_type_t
Greg Claytonc86103d2010-08-05 01:57:25 +0000612ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (Encoding encoding, uint32_t bit_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000613{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000614 ASTContext *ast = getASTContext();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000615
Greg Clayton6beaaa62011-01-17 03:46:26 +0000616 assert (ast != NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000617
Greg Clayton6beaaa62011-01-17 03:46:26 +0000618 return GetBuiltinTypeForEncodingAndBitSize (ast, encoding, bit_size);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000619}
620
Greg Clayton1be10fc2010-09-29 01:12:09 +0000621clang_type_t
Greg Clayton6beaaa62011-01-17 03:46:26 +0000622ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (ASTContext *ast, Encoding encoding, uint32_t bit_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000623{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000624 if (!ast)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000625 return NULL;
626
627 switch (encoding)
628 {
Greg Claytonc86103d2010-08-05 01:57:25 +0000629 case eEncodingInvalid:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000630 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidPtrTy))
631 return ast->VoidPtrTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000632 break;
633
Greg Claytonc86103d2010-08-05 01:57:25 +0000634 case eEncodingUint:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000635 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
636 return ast->UnsignedCharTy.getAsOpaquePtr();
637 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
638 return ast->UnsignedShortTy.getAsOpaquePtr();
639 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
640 return ast->UnsignedIntTy.getAsOpaquePtr();
641 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
642 return ast->UnsignedLongTy.getAsOpaquePtr();
643 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
644 return ast->UnsignedLongLongTy.getAsOpaquePtr();
645 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
646 return ast->UnsignedInt128Ty.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000647 break;
648
Greg Claytonc86103d2010-08-05 01:57:25 +0000649 case eEncodingSint:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000650 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
651 return ast->CharTy.getAsOpaquePtr();
652 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
653 return ast->ShortTy.getAsOpaquePtr();
654 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
655 return ast->IntTy.getAsOpaquePtr();
656 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
657 return ast->LongTy.getAsOpaquePtr();
658 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
659 return ast->LongLongTy.getAsOpaquePtr();
660 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
661 return ast->Int128Ty.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000662 break;
663
Greg Claytonc86103d2010-08-05 01:57:25 +0000664 case eEncodingIEEE754:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000665 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
666 return ast->FloatTy.getAsOpaquePtr();
667 if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
668 return ast->DoubleTy.getAsOpaquePtr();
669 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
670 return ast->LongDoubleTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000671 break;
672
Greg Claytonc86103d2010-08-05 01:57:25 +0000673 case eEncodingVector:
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000674 default:
675 break;
676 }
677
678 return NULL;
679}
680
Greg Clayton1be10fc2010-09-29 01:12:09 +0000681clang_type_t
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000682ClangASTContext::GetBuiltinTypeForDWARFEncodingAndBitSize (const char *type_name, uint32_t dw_ate, uint32_t bit_size)
683{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000684 ASTContext *ast = getASTContext();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000685
686 #define streq(a,b) strcmp(a,b) == 0
Greg Clayton6beaaa62011-01-17 03:46:26 +0000687 assert (ast != NULL);
688 if (ast)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000689 {
690 switch (dw_ate)
691 {
692 default:
693 break;
694
695 case DW_ATE_address:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000696 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidPtrTy))
697 return ast->VoidPtrTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000698 break;
699
700 case DW_ATE_boolean:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000701 if (QualTypeMatchesBitSize (bit_size, ast, ast->BoolTy))
702 return ast->BoolTy.getAsOpaquePtr();
703 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
704 return ast->UnsignedCharTy.getAsOpaquePtr();
705 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
706 return ast->UnsignedShortTy.getAsOpaquePtr();
707 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
708 return ast->UnsignedIntTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000709 break;
710
Greg Clayton49462ea2011-01-15 02:52:14 +0000711 case DW_ATE_lo_user:
712 // This has been seen to mean DW_AT_complex_integer
Greg Clayton5732f242011-01-27 09:15:11 +0000713 if (::strstr(type_name, "complex"))
Greg Clayton49462ea2011-01-15 02:52:14 +0000714 {
715 clang_type_t complex_int_clang_type = GetBuiltinTypeForDWARFEncodingAndBitSize ("int", DW_ATE_signed, bit_size/2);
Greg Clayton6beaaa62011-01-17 03:46:26 +0000716 return ast->getComplexType (QualType::getFromOpaquePtr(complex_int_clang_type)).getAsOpaquePtr();
Greg Clayton49462ea2011-01-15 02:52:14 +0000717 }
718 break;
719
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000720 case DW_ATE_complex_float:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000721 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatComplexTy))
722 return ast->FloatComplexTy.getAsOpaquePtr();
723 else if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleComplexTy))
724 return ast->DoubleComplexTy.getAsOpaquePtr();
725 else if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleComplexTy))
726 return ast->LongDoubleComplexTy.getAsOpaquePtr();
Greg Clayton49462ea2011-01-15 02:52:14 +0000727 else
728 {
729 clang_type_t complex_float_clang_type = GetBuiltinTypeForDWARFEncodingAndBitSize ("float", DW_ATE_float, bit_size/2);
Greg Clayton6beaaa62011-01-17 03:46:26 +0000730 return ast->getComplexType (QualType::getFromOpaquePtr(complex_float_clang_type)).getAsOpaquePtr();
Greg Clayton49462ea2011-01-15 02:52:14 +0000731 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000732 break;
733
734 case DW_ATE_float:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000735 if (QualTypeMatchesBitSize (bit_size, ast, ast->FloatTy))
736 return ast->FloatTy.getAsOpaquePtr();
737 if (QualTypeMatchesBitSize (bit_size, ast, ast->DoubleTy))
738 return ast->DoubleTy.getAsOpaquePtr();
739 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongDoubleTy))
740 return ast->LongDoubleTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000741 break;
742
743 case DW_ATE_signed:
744 if (type_name)
745 {
Greg Clayton19de37f2010-11-02 03:48:39 +0000746 if (strstr(type_name, "long long"))
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000747 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000748 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
749 return ast->LongLongTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000750 }
Greg Clayton19de37f2010-11-02 03:48:39 +0000751 else if (strstr(type_name, "long"))
752 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000753 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
754 return ast->LongTy.getAsOpaquePtr();
Greg Clayton19de37f2010-11-02 03:48:39 +0000755 }
756 else if (strstr(type_name, "short"))
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000757 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000758 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
759 return ast->ShortTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000760 }
Greg Clayton19de37f2010-11-02 03:48:39 +0000761 else if (strstr(type_name, "char"))
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000762 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000763 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
764 return ast->CharTy.getAsOpaquePtr();
765 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
766 return ast->SignedCharTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000767 }
Greg Clayton19de37f2010-11-02 03:48:39 +0000768 else if (strstr(type_name, "int"))
769 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000770 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
771 return ast->IntTy.getAsOpaquePtr();
772 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
773 return ast->Int128Ty.getAsOpaquePtr();
Greg Clayton19de37f2010-11-02 03:48:39 +0000774 }
775 else if (streq(type_name, "wchar_t"))
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000776 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000777 if (QualTypeMatchesBitSize (bit_size, ast, ast->WCharTy))
778 return ast->WCharTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000779 }
Greg Clayton7bd65b92011-02-09 23:39:34 +0000780 else if (streq(type_name, "void"))
781 {
782 if (QualTypeMatchesBitSize (bit_size, ast, ast->VoidTy))
783 return ast->VoidTy.getAsOpaquePtr();
784 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000785 }
786 // We weren't able to match up a type name, just search by size
Greg Clayton6beaaa62011-01-17 03:46:26 +0000787 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
788 return ast->CharTy.getAsOpaquePtr();
789 if (QualTypeMatchesBitSize (bit_size, ast, ast->ShortTy))
790 return ast->ShortTy.getAsOpaquePtr();
791 if (QualTypeMatchesBitSize (bit_size, ast, ast->IntTy))
792 return ast->IntTy.getAsOpaquePtr();
793 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongTy))
794 return ast->LongTy.getAsOpaquePtr();
795 if (QualTypeMatchesBitSize (bit_size, ast, ast->LongLongTy))
796 return ast->LongLongTy.getAsOpaquePtr();
797 if (QualTypeMatchesBitSize (bit_size, ast, ast->Int128Ty))
798 return ast->Int128Ty.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000799 break;
800
801 case DW_ATE_signed_char:
802 if (type_name)
803 {
804 if (streq(type_name, "signed char"))
805 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000806 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
807 return ast->SignedCharTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000808 }
809 }
Greg Clayton6beaaa62011-01-17 03:46:26 +0000810 if (QualTypeMatchesBitSize (bit_size, ast, ast->CharTy))
811 return ast->CharTy.getAsOpaquePtr();
812 if (QualTypeMatchesBitSize (bit_size, ast, ast->SignedCharTy))
813 return ast->SignedCharTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000814 break;
815
816 case DW_ATE_unsigned:
817 if (type_name)
818 {
Greg Clayton19de37f2010-11-02 03:48:39 +0000819 if (strstr(type_name, "long long"))
820 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000821 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
822 return ast->UnsignedLongLongTy.getAsOpaquePtr();
Greg Clayton19de37f2010-11-02 03:48:39 +0000823 }
824 else if (strstr(type_name, "long"))
825 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000826 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
827 return ast->UnsignedLongTy.getAsOpaquePtr();
Greg Clayton19de37f2010-11-02 03:48:39 +0000828 }
829 else if (strstr(type_name, "short"))
830 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000831 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
832 return ast->UnsignedShortTy.getAsOpaquePtr();
Greg Clayton19de37f2010-11-02 03:48:39 +0000833 }
834 else if (strstr(type_name, "char"))
835 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000836 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
837 return ast->UnsignedCharTy.getAsOpaquePtr();
Greg Clayton19de37f2010-11-02 03:48:39 +0000838 }
839 else if (strstr(type_name, "int"))
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000840 {
Greg Clayton6beaaa62011-01-17 03:46:26 +0000841 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
842 return ast->UnsignedIntTy.getAsOpaquePtr();
843 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
844 return ast->UnsignedInt128Ty.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000845 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000846 }
847 // We weren't able to match up a type name, just search by size
Greg Clayton6beaaa62011-01-17 03:46:26 +0000848 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
849 return ast->UnsignedCharTy.getAsOpaquePtr();
850 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
851 return ast->UnsignedShortTy.getAsOpaquePtr();
852 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedIntTy))
853 return ast->UnsignedIntTy.getAsOpaquePtr();
854 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongTy))
855 return ast->UnsignedLongTy.getAsOpaquePtr();
856 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedLongLongTy))
857 return ast->UnsignedLongLongTy.getAsOpaquePtr();
858 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedInt128Ty))
859 return ast->UnsignedInt128Ty.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000860 break;
861
862 case DW_ATE_unsigned_char:
Greg Clayton6beaaa62011-01-17 03:46:26 +0000863 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedCharTy))
864 return ast->UnsignedCharTy.getAsOpaquePtr();
Greg Clayton7bd65b92011-02-09 23:39:34 +0000865 if (QualTypeMatchesBitSize (bit_size, ast, ast->UnsignedShortTy))
866 return ast->UnsignedShortTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000867 break;
868
869 case DW_ATE_imaginary_float:
870 break;
871 }
872 }
873 // This assert should fire for anything that we don't catch above so we know
874 // to fix any issues we run into.
Greg Claytondc968d12011-05-17 18:15:05 +0000875 if (type_name)
876 {
877 fprintf (stderr, "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);
878 }
879 else
880 {
881 fprintf (stderr, "error: need to add support for DW_TAG_base_type encoded with DW_ATE = 0x%x, bit_size = %u\n", dw_ate, bit_size);
882 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000883 return NULL;
884}
885
Greg Clayton1be10fc2010-09-29 01:12:09 +0000886clang_type_t
Greg Clayton6beaaa62011-01-17 03:46:26 +0000887ClangASTContext::GetBuiltInType_void(ASTContext *ast)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000888{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000889 return ast->VoidTy.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000890}
891
Greg Clayton1be10fc2010-09-29 01:12:09 +0000892clang_type_t
Sean Callananf7c3e272010-11-19 02:52:21 +0000893ClangASTContext::GetBuiltInType_bool()
894{
895 return getASTContext()->BoolTy.getAsOpaquePtr();
896}
897
898clang_type_t
Greg Claytonb0b9fe62010-08-03 00:35:52 +0000899ClangASTContext::GetBuiltInType_objc_id()
900{
Sean Callananf6c73082010-12-06 23:53:20 +0000901 return getASTContext()->getPointerType(getASTContext()->ObjCBuiltinIdTy).getAsOpaquePtr();
Greg Claytonb0b9fe62010-08-03 00:35:52 +0000902}
903
Greg Clayton1be10fc2010-09-29 01:12:09 +0000904clang_type_t
Greg Claytonb0b9fe62010-08-03 00:35:52 +0000905ClangASTContext::GetBuiltInType_objc_Class()
906{
Sean Callanana2424172010-10-25 00:29:48 +0000907 return getASTContext()->ObjCBuiltinClassTy.getAsOpaquePtr();
Greg Claytonb0b9fe62010-08-03 00:35:52 +0000908}
909
Greg Clayton1be10fc2010-09-29 01:12:09 +0000910clang_type_t
Greg Claytonb0b9fe62010-08-03 00:35:52 +0000911ClangASTContext::GetBuiltInType_objc_selector()
912{
Sean Callananf6c73082010-12-06 23:53:20 +0000913 return getASTContext()->getPointerType(getASTContext()->ObjCBuiltinSelTy).getAsOpaquePtr();
Greg Claytonb0b9fe62010-08-03 00:35:52 +0000914}
915
Greg Clayton1be10fc2010-09-29 01:12:09 +0000916clang_type_t
Sean Callanan77502262011-05-12 23:54:16 +0000917ClangASTContext::GetUnknownAnyType(clang::ASTContext *ast)
918{
919 return ast->UnknownAnyTy.getAsOpaquePtr();
920}
921
922clang_type_t
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000923ClangASTContext::GetCStringType (bool is_const)
924{
925 QualType char_type(getASTContext()->CharTy);
926
927 if (is_const)
928 char_type.addConst();
929
930 return getASTContext()->getPointerType(char_type).getAsOpaquePtr();
931}
932
Greg Clayton1be10fc2010-09-29 01:12:09 +0000933clang_type_t
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000934ClangASTContext::GetVoidPtrType (bool is_const)
935{
936 return GetVoidPtrType(getASTContext(), is_const);
937}
938
Greg Clayton1be10fc2010-09-29 01:12:09 +0000939clang_type_t
Greg Clayton6beaaa62011-01-17 03:46:26 +0000940ClangASTContext::GetVoidPtrType (ASTContext *ast, bool is_const)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000941{
Greg Clayton6beaaa62011-01-17 03:46:26 +0000942 QualType void_ptr_type(ast->VoidPtrTy);
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000943
944 if (is_const)
945 void_ptr_type.addConst();
946
947 return void_ptr_type.getAsOpaquePtr();
948}
949
Greg Clayton1be10fc2010-09-29 01:12:09 +0000950clang_type_t
Greg Clayton38a61402010-12-02 23:20:03 +0000951ClangASTContext::CopyType (ASTContext *dst_ast,
952 ASTContext *src_ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +0000953 clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000954{
Sean Callanan79439e82010-11-18 02:56:27 +0000955 FileSystemOptions file_system_options;
Greg Clayton38a61402010-12-02 23:20:03 +0000956 FileManager file_manager (file_system_options);
957 ASTImporter importer(*dst_ast, file_manager,
Sean Callanan2c777c42011-01-18 23:32:05 +0000958 *src_ast, file_manager,
959 false);
Sean Callanan0617fcb2010-11-09 22:37:10 +0000960
Greg Clayton38a61402010-12-02 23:20:03 +0000961 QualType src (QualType::getFromOpaquePtr(clang_type));
962 QualType dst (importer.Import(src));
Sean Callanan0617fcb2010-11-09 22:37:10 +0000963
964 return dst.getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000965}
966
Greg Clayton526e5af2010-11-13 03:52:47 +0000967
968clang::Decl *
Greg Clayton38a61402010-12-02 23:20:03 +0000969ClangASTContext::CopyDecl (ASTContext *dst_ast,
970 ASTContext *src_ast,
Greg Clayton526e5af2010-11-13 03:52:47 +0000971 clang::Decl *source_decl)
Sean Callanan7fddd4c2010-12-11 00:08:56 +0000972{
Sean Callanan79439e82010-11-18 02:56:27 +0000973 FileSystemOptions file_system_options;
Greg Clayton38a61402010-12-02 23:20:03 +0000974 FileManager file_manager (file_system_options);
975 ASTImporter importer(*dst_ast, file_manager,
Sean Callanan2c777c42011-01-18 23:32:05 +0000976 *src_ast, file_manager,
977 false);
Greg Clayton526e5af2010-11-13 03:52:47 +0000978
979 return importer.Import(source_decl);
980}
981
Sean Callanan23a30272010-07-16 00:00:27 +0000982bool
Greg Clayton6beaaa62011-01-17 03:46:26 +0000983ClangASTContext::AreTypesSame(ASTContext *ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +0000984 clang_type_t type1,
985 clang_type_t type2)
Sean Callanan4dcca2622010-07-15 22:30:52 +0000986{
Greg Claytonf4ecaa52011-02-16 23:00:21 +0000987 return ast->hasSameType (QualType::getFromOpaquePtr(type1),
988 QualType::getFromOpaquePtr(type2));
Sean Callanan4dcca2622010-07-15 22:30:52 +0000989}
990
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000991#pragma mark CVR modifiers
992
Greg Clayton1be10fc2010-09-29 01:12:09 +0000993clang_type_t
994ClangASTContext::AddConstModifier (clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +0000995{
996 if (clang_type)
997 {
998 QualType result(QualType::getFromOpaquePtr(clang_type));
999 result.addConst();
1000 return result.getAsOpaquePtr();
1001 }
1002 return NULL;
1003}
1004
Greg Clayton1be10fc2010-09-29 01:12:09 +00001005clang_type_t
1006ClangASTContext::AddRestrictModifier (clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001007{
1008 if (clang_type)
1009 {
1010 QualType result(QualType::getFromOpaquePtr(clang_type));
1011 result.getQualifiers().setRestrict (true);
1012 return result.getAsOpaquePtr();
1013 }
1014 return NULL;
1015}
1016
Greg Clayton1be10fc2010-09-29 01:12:09 +00001017clang_type_t
1018ClangASTContext::AddVolatileModifier (clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001019{
1020 if (clang_type)
1021 {
1022 QualType result(QualType::getFromOpaquePtr(clang_type));
1023 result.getQualifiers().setVolatile (true);
1024 return result.getAsOpaquePtr();
1025 }
1026 return NULL;
1027}
1028
Greg Clayton6beaaa62011-01-17 03:46:26 +00001029
1030clang_type_t
1031ClangASTContext::GetTypeForDecl (TagDecl *decl)
1032{
1033 // No need to call the getASTContext() accessor (which can create the AST
1034 // if it isn't created yet, because we can't have created a decl in this
1035 // AST if our AST didn't already exist...
1036 if (m_ast_ap.get())
1037 return m_ast_ap->getTagDeclType(decl).getAsOpaquePtr();
1038 return NULL;
1039}
1040
1041clang_type_t
1042ClangASTContext::GetTypeForDecl (ObjCInterfaceDecl *decl)
1043{
1044 // No need to call the getASTContext() accessor (which can create the AST
1045 // if it isn't created yet, because we can't have created a decl in this
1046 // AST if our AST didn't already exist...
1047 if (m_ast_ap.get())
1048 return m_ast_ap->getObjCInterfaceType(decl).getAsOpaquePtr();
1049 return NULL;
1050}
1051
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001052#pragma mark Structure, Unions, Classes
1053
Greg Clayton1be10fc2010-09-29 01:12:09 +00001054clang_type_t
Greg Claytonc86103d2010-08-05 01:57:25 +00001055ClangASTContext::CreateRecordType (const char *name, int kind, DeclContext *decl_ctx, LanguageType language)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001056{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001057 ASTContext *ast = getASTContext();
1058 assert (ast != NULL);
Sean Callanana2424172010-10-25 00:29:48 +00001059
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001060 if (decl_ctx == NULL)
Greg Clayton6beaaa62011-01-17 03:46:26 +00001061 decl_ctx = ast->getTranslationUnitDecl();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001062
Greg Clayton9e409562010-07-28 02:04:09 +00001063
Greg Claytonc86103d2010-08-05 01:57:25 +00001064 if (language == eLanguageTypeObjC)
Greg Clayton9e409562010-07-28 02:04:09 +00001065 {
Greg Claytonaaf99e02010-10-11 02:25:34 +00001066 bool isForwardDecl = true;
Greg Clayton9e409562010-07-28 02:04:09 +00001067 bool isInternal = false;
1068 return CreateObjCClass (name, decl_ctx, isForwardDecl, isInternal);
1069 }
1070
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001071 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1072 // we will need to update this code. I was told to currently always use
1073 // the CXXRecordDecl class since we often don't know from debug information
1074 // if something is struct or a class, so we default to always use the more
1075 // complete definition just in case.
Greg Clayton6beaaa62011-01-17 03:46:26 +00001076 CXXRecordDecl *decl = CXXRecordDecl::Create(*ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001077 (TagDecl::TagKind)kind,
1078 decl_ctx,
1079 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00001080 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001081 name && name[0] ? &ast->Idents.get(name) : NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001082
Greg Clayton6beaaa62011-01-17 03:46:26 +00001083 return ast->getTagDeclType(decl).getAsOpaquePtr();
1084}
1085
1086bool
1087ClangASTContext::SetHasExternalStorage (clang_type_t clang_type, bool has_extern)
1088{
1089 if (clang_type == NULL)
1090 return false;
1091
1092 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1093
1094 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1095 switch (type_class)
1096 {
1097 case clang::Type::Record:
1098 {
1099 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
1100 if (cxx_record_decl)
1101 {
1102 cxx_record_decl->setHasExternalLexicalStorage (has_extern);
Greg Claytonc432c192011-01-20 04:18:48 +00001103 cxx_record_decl->setHasExternalVisibleStorage (has_extern);
Greg Clayton6beaaa62011-01-17 03:46:26 +00001104 return true;
1105 }
1106 }
1107 break;
1108
1109 case clang::Type::Enum:
1110 {
1111 EnumDecl *enum_decl = cast<EnumType>(qual_type)->getDecl();
1112 if (enum_decl)
1113 {
1114 enum_decl->setHasExternalLexicalStorage (has_extern);
Greg Claytonc432c192011-01-20 04:18:48 +00001115 enum_decl->setHasExternalVisibleStorage (has_extern);
Greg Clayton6beaaa62011-01-17 03:46:26 +00001116 return true;
1117 }
1118 }
1119 break;
1120
1121 case clang::Type::ObjCObject:
1122 case clang::Type::ObjCInterface:
1123 {
Sean Callanan78e37602011-01-27 04:42:51 +00001124 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +00001125 assert (objc_class_type);
1126 if (objc_class_type)
1127 {
1128 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1129
1130 if (class_interface_decl)
1131 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001132 class_interface_decl->setHasExternalLexicalStorage (has_extern);
Greg Claytonc432c192011-01-20 04:18:48 +00001133 class_interface_decl->setHasExternalVisibleStorage (has_extern);
Greg Clayton6beaaa62011-01-17 03:46:26 +00001134 return true;
1135 }
1136 }
1137 }
1138 break;
1139
1140 case clang::Type::Typedef:
1141 return ClangASTContext::SetHasExternalStorage (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(), has_extern);
1142
1143 default:
1144 break;
1145 }
1146 return false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001147}
1148
Greg Claytona3c444a2010-10-01 23:13:49 +00001149static bool
1150IsOperator (const char *name, OverloadedOperatorKind &op_kind)
1151{
1152 if (name == NULL || name[0] == '\0')
1153 return false;
1154
Sean Callanana43f20d2010-12-10 19:51:54 +00001155#define OPERATOR_PREFIX "operator"
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00001156#define OPERATOR_PREFIX_LENGTH (sizeof (OPERATOR_PREFIX) - 1)
Sean Callananbfeff8c2010-12-10 02:15:55 +00001157
1158 const char *post_op_name = NULL;
1159
Sean Callanana43f20d2010-12-10 19:51:54 +00001160 bool no_space = true;
Sean Callananbfeff8c2010-12-10 02:15:55 +00001161
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00001162 if (::strncmp(name, OPERATOR_PREFIX, OPERATOR_PREFIX_LENGTH))
Greg Claytona3c444a2010-10-01 23:13:49 +00001163 return false;
1164
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00001165 post_op_name = name + OPERATOR_PREFIX_LENGTH;
1166
Sean Callanana43f20d2010-12-10 19:51:54 +00001167 if (post_op_name[0] == ' ')
1168 {
1169 post_op_name++;
1170 no_space = false;
1171 }
1172
1173#undef OPERATOR_PREFIX
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00001174#undef OPERATOR_PREFIX_LENGTH
Sean Callanana43f20d2010-12-10 19:51:54 +00001175
Greg Claytona3c444a2010-10-01 23:13:49 +00001176 // This is an operator, set the overloaded operator kind to invalid
1177 // in case this is a conversion operator...
1178 op_kind = NUM_OVERLOADED_OPERATORS;
1179
1180 switch (post_op_name[0])
1181 {
Sean Callananbfeff8c2010-12-10 02:15:55 +00001182 default:
1183 if (no_space)
1184 return false;
1185 break;
Greg Claytona3c444a2010-10-01 23:13:49 +00001186 case 'n':
Sean Callananbfeff8c2010-12-10 02:15:55 +00001187 if (no_space)
1188 return false;
Greg Claytona3c444a2010-10-01 23:13:49 +00001189 if (strcmp (post_op_name, "new") == 0)
1190 op_kind = OO_New;
1191 else if (strcmp (post_op_name, "new[]") == 0)
1192 op_kind = OO_Array_New;
1193 break;
1194
1195 case 'd':
Sean Callananbfeff8c2010-12-10 02:15:55 +00001196 if (no_space)
1197 return false;
Greg Claytona3c444a2010-10-01 23:13:49 +00001198 if (strcmp (post_op_name, "delete") == 0)
1199 op_kind = OO_Delete;
1200 else if (strcmp (post_op_name, "delete[]") == 0)
1201 op_kind = OO_Array_Delete;
1202 break;
1203
1204 case '+':
1205 if (post_op_name[1] == '\0')
1206 op_kind = OO_Plus;
1207 else if (post_op_name[2] == '\0')
1208 {
1209 if (post_op_name[1] == '=')
1210 op_kind = OO_PlusEqual;
1211 else if (post_op_name[1] == '+')
1212 op_kind = OO_PlusPlus;
1213 }
1214 break;
1215
1216 case '-':
1217 if (post_op_name[1] == '\0')
1218 op_kind = OO_Minus;
1219 else if (post_op_name[2] == '\0')
1220 {
1221 switch (post_op_name[1])
1222 {
1223 case '=': op_kind = OO_MinusEqual; break;
1224 case '-': op_kind = OO_MinusMinus; break;
1225 case '>': op_kind = OO_Arrow; break;
1226 }
1227 }
1228 else if (post_op_name[3] == '\0')
1229 {
1230 if (post_op_name[2] == '*')
1231 op_kind = OO_ArrowStar; break;
1232 }
1233 break;
1234
1235 case '*':
1236 if (post_op_name[1] == '\0')
1237 op_kind = OO_Star;
1238 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
1239 op_kind = OO_StarEqual;
1240 break;
1241
1242 case '/':
1243 if (post_op_name[1] == '\0')
1244 op_kind = OO_Slash;
1245 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
1246 op_kind = OO_SlashEqual;
1247 break;
1248
1249 case '%':
1250 if (post_op_name[1] == '\0')
1251 op_kind = OO_Percent;
1252 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
1253 op_kind = OO_PercentEqual;
1254 break;
1255
1256
1257 case '^':
1258 if (post_op_name[1] == '\0')
1259 op_kind = OO_Caret;
1260 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
1261 op_kind = OO_CaretEqual;
1262 break;
1263
1264 case '&':
1265 if (post_op_name[1] == '\0')
1266 op_kind = OO_Amp;
1267 else if (post_op_name[2] == '\0')
1268 {
1269 switch (post_op_name[1])
1270 {
1271 case '=': op_kind = OO_AmpEqual; break;
1272 case '&': op_kind = OO_AmpAmp; break;
1273 }
1274 }
1275 break;
1276
1277 case '|':
1278 if (post_op_name[1] == '\0')
1279 op_kind = OO_Pipe;
1280 else if (post_op_name[2] == '\0')
1281 {
1282 switch (post_op_name[1])
1283 {
1284 case '=': op_kind = OO_PipeEqual; break;
1285 case '|': op_kind = OO_PipePipe; break;
1286 }
1287 }
1288 break;
1289
1290 case '~':
1291 if (post_op_name[1] == '\0')
1292 op_kind = OO_Tilde;
1293 break;
1294
1295 case '!':
1296 if (post_op_name[1] == '\0')
1297 op_kind = OO_Exclaim;
1298 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
1299 op_kind = OO_ExclaimEqual;
1300 break;
1301
1302 case '=':
1303 if (post_op_name[1] == '\0')
1304 op_kind = OO_Equal;
1305 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
1306 op_kind = OO_EqualEqual;
1307 break;
1308
1309 case '<':
1310 if (post_op_name[1] == '\0')
1311 op_kind = OO_Less;
1312 else if (post_op_name[2] == '\0')
1313 {
1314 switch (post_op_name[1])
1315 {
1316 case '<': op_kind = OO_LessLess; break;
1317 case '=': op_kind = OO_LessEqual; break;
1318 }
1319 }
1320 else if (post_op_name[3] == '\0')
1321 {
1322 if (post_op_name[2] == '=')
1323 op_kind = OO_LessLessEqual;
1324 }
1325 break;
1326
1327 case '>':
1328 if (post_op_name[1] == '\0')
1329 op_kind = OO_Greater;
1330 else if (post_op_name[2] == '\0')
1331 {
1332 switch (post_op_name[1])
1333 {
1334 case '>': op_kind = OO_GreaterGreater; break;
1335 case '=': op_kind = OO_GreaterEqual; break;
1336 }
1337 }
1338 else if (post_op_name[1] == '>' &&
1339 post_op_name[2] == '=' &&
1340 post_op_name[3] == '\0')
1341 {
1342 op_kind = OO_GreaterGreaterEqual;
1343 }
1344 break;
1345
1346 case ',':
1347 if (post_op_name[1] == '\0')
1348 op_kind = OO_Comma;
1349 break;
1350
1351 case '(':
1352 if (post_op_name[1] == ')' && post_op_name[2] == '\0')
1353 op_kind = OO_Call;
1354 break;
1355
1356 case '[':
1357 if (post_op_name[1] == ']' && post_op_name[2] == '\0')
1358 op_kind = OO_Subscript;
1359 break;
1360 }
1361
1362 return true;
1363}
Greg Clayton6beaaa62011-01-17 03:46:26 +00001364
Greg Clayton090d0982011-06-19 03:43:27 +00001365static inline bool
1366check_op_param (bool unary, bool binary, uint32_t num_params)
1367{
1368 // The parameter count doens't include "this"
1369 if (num_params == 0)
1370 return unary;
1371 if (num_params == 1)
1372 return binary;
1373 return false;
1374}
1375
1376bool
1377ClangASTContext::CheckOverloadedOperatorKindParameterCount (uint32_t op_kind, uint32_t num_params)
1378{
1379#define OVERLOADED_OPERATOR(Name,Spelling,Token,Unary,Binary,MemberOnly) case OO_##Name: return check_op_param (Unary, Binary, num_params);
1380 switch (op_kind)
1381 {
1382#include "clang/Basic/OperatorKinds.def"
1383 default: break;
1384 }
1385 return false;
1386}
1387
Greg Claytona51ed9b2010-09-23 01:09:21 +00001388CXXMethodDecl *
Sean Callanan61da09b2010-09-17 02:58:26 +00001389ClangASTContext::AddMethodToCXXRecordType
1390(
Greg Clayton6beaaa62011-01-17 03:46:26 +00001391 ASTContext *ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +00001392 clang_type_t record_opaque_type,
Greg Claytona51ed9b2010-09-23 01:09:21 +00001393 const char *name,
Greg Clayton1be10fc2010-09-29 01:12:09 +00001394 clang_type_t method_opaque_type,
Greg Claytona51ed9b2010-09-23 01:09:21 +00001395 lldb::AccessType access,
Greg Clayton0fffff52010-09-24 05:15:53 +00001396 bool is_virtual,
1397 bool is_static,
Greg Claytonf51de672010-10-01 02:31:07 +00001398 bool is_inline,
1399 bool is_explicit
Greg Claytona51ed9b2010-09-23 01:09:21 +00001400)
Sean Callanan61da09b2010-09-17 02:58:26 +00001401{
Sean Callananfc55f5d2010-09-21 00:44:12 +00001402 if (!record_opaque_type || !method_opaque_type || !name)
Johnny Chend440bcc2010-09-28 16:10:54 +00001403 return NULL;
Sean Callanan61da09b2010-09-17 02:58:26 +00001404
Greg Clayton6beaaa62011-01-17 03:46:26 +00001405 assert(ast);
Sean Callanan61da09b2010-09-17 02:58:26 +00001406
Greg Clayton6beaaa62011-01-17 03:46:26 +00001407 IdentifierTable *identifier_table = &ast->Idents;
Sean Callanan61da09b2010-09-17 02:58:26 +00001408
1409 assert(identifier_table);
1410
Sean Callananfc55f5d2010-09-21 00:44:12 +00001411 QualType record_qual_type(QualType::getFromOpaquePtr(record_opaque_type));
Greg Clayton0fffff52010-09-24 05:15:53 +00001412
Greg Clayton6beaaa62011-01-17 03:46:26 +00001413 CXXRecordDecl *cxx_record_decl = record_qual_type->getAsCXXRecordDecl();
Sean Callanan61da09b2010-09-17 02:58:26 +00001414
Greg Clayton0fffff52010-09-24 05:15:53 +00001415 if (cxx_record_decl == NULL)
Greg Claytona51ed9b2010-09-23 01:09:21 +00001416 return NULL;
Sean Callanan61da09b2010-09-17 02:58:26 +00001417
Greg Clayton0fffff52010-09-24 05:15:53 +00001418 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
Sean Callananfc55f5d2010-09-21 00:44:12 +00001419
Greg Claytonf51de672010-10-01 02:31:07 +00001420 CXXMethodDecl *cxx_method_decl = NULL;
Sean Callanan61da09b2010-09-17 02:58:26 +00001421
Greg Claytonf51de672010-10-01 02:31:07 +00001422 DeclarationName decl_name (&identifier_table->get(name));
Greg Clayton878eaf12010-10-01 03:45:20 +00001423
Greg Clayton878eaf12010-10-01 03:45:20 +00001424 const bool is_implicitly_declared = false;
Greg Claytonf51de672010-10-01 02:31:07 +00001425
Sean Callanan78e37602011-01-27 04:42:51 +00001426 const clang::FunctionType *function_Type = dyn_cast<FunctionType>(method_qual_type.getTypePtr());
Greg Clayton878eaf12010-10-01 03:45:20 +00001427
Greg Clayton90a2acd2010-10-02 01:40:05 +00001428 if (function_Type == NULL)
Greg Clayton878eaf12010-10-01 03:45:20 +00001429 return NULL;
1430
Sean Callanan78e37602011-01-27 04:42:51 +00001431 const FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(function_Type));
Greg Clayton878eaf12010-10-01 03:45:20 +00001432
1433 if (!method_function_prototype)
1434 return NULL;
1435
1436 unsigned int num_params = method_function_prototype->getNumArgs();
1437
1438 if (name[0] == '~')
Greg Claytonf51de672010-10-01 02:31:07 +00001439 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001440 cxx_method_decl = CXXDestructorDecl::Create (*ast,
Greg Clayton878eaf12010-10-01 03:45:20 +00001441 cxx_record_decl,
Sean Callananfb0b7582011-03-15 00:17:19 +00001442 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001443 DeclarationNameInfo (ast->DeclarationNames.getCXXDestructorName (ast->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton878eaf12010-10-01 03:45:20 +00001444 method_qual_type,
Sean Callanan31e851c2010-10-29 18:38:40 +00001445 NULL,
Greg Clayton878eaf12010-10-01 03:45:20 +00001446 is_inline,
1447 is_implicitly_declared);
1448 }
Greg Clayton6beaaa62011-01-17 03:46:26 +00001449 else if (decl_name == cxx_record_decl->getDeclName())
Greg Clayton878eaf12010-10-01 03:45:20 +00001450 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001451 cxx_method_decl = CXXConstructorDecl::Create (*ast,
Greg Claytonf51de672010-10-01 02:31:07 +00001452 cxx_record_decl,
Sean Callananfb0b7582011-03-15 00:17:19 +00001453 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001454 DeclarationNameInfo (ast->DeclarationNames.getCXXConstructorName (ast->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Claytonf51de672010-10-01 02:31:07 +00001455 method_qual_type,
1456 NULL, // TypeSourceInfo *
1457 is_explicit,
1458 is_inline,
1459 is_implicitly_declared);
1460 }
1461 else
Greg Clayton878eaf12010-10-01 03:45:20 +00001462 {
Greg Claytona3c444a2010-10-01 23:13:49 +00001463
1464 OverloadedOperatorKind op_kind = NUM_OVERLOADED_OPERATORS;
1465 if (IsOperator (name, op_kind))
Greg Clayton878eaf12010-10-01 03:45:20 +00001466 {
Greg Claytona3c444a2010-10-01 23:13:49 +00001467 if (op_kind != NUM_OVERLOADED_OPERATORS)
1468 {
Greg Clayton090d0982011-06-19 03:43:27 +00001469 // Check the number of operator parameters. Sometimes we have
1470 // seen bad DWARF that doesn't correctly describe operators and
1471 // if we try to create a methed and add it to the class, clang
1472 // will assert and crash, so we need to make sure things are
1473 // acceptable.
1474 if (!ClangASTContext::CheckOverloadedOperatorKindParameterCount (op_kind, num_params))
1475 return NULL;
Greg Clayton6beaaa62011-01-17 03:46:26 +00001476 cxx_method_decl = CXXMethodDecl::Create (*ast,
Greg Clayton878eaf12010-10-01 03:45:20 +00001477 cxx_record_decl,
Sean Callananfb0b7582011-03-15 00:17:19 +00001478 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001479 DeclarationNameInfo (ast->DeclarationNames.getCXXOperatorName (op_kind), SourceLocation()),
Greg Clayton878eaf12010-10-01 03:45:20 +00001480 method_qual_type,
1481 NULL, // TypeSourceInfo *
Greg Claytona3c444a2010-10-01 23:13:49 +00001482 is_static,
1483 SC_None,
Sean Callananfb0b7582011-03-15 00:17:19 +00001484 is_inline,
1485 SourceLocation());
Greg Claytona3c444a2010-10-01 23:13:49 +00001486 }
1487 else if (num_params == 0)
1488 {
1489 // Conversion operators don't take params...
Greg Clayton6beaaa62011-01-17 03:46:26 +00001490 cxx_method_decl = CXXConversionDecl::Create (*ast,
Greg Claytona3c444a2010-10-01 23:13:49 +00001491 cxx_record_decl,
Sean Callananfb0b7582011-03-15 00:17:19 +00001492 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001493 DeclarationNameInfo (ast->DeclarationNames.getCXXConversionFunctionName (ast->getCanonicalType (function_Type->getResultType())), SourceLocation()),
Greg Claytona3c444a2010-10-01 23:13:49 +00001494 method_qual_type,
1495 NULL, // TypeSourceInfo *
1496 is_inline,
Sean Callananfb0b7582011-03-15 00:17:19 +00001497 is_explicit,
1498 SourceLocation());
Greg Claytona3c444a2010-10-01 23:13:49 +00001499 }
Greg Clayton878eaf12010-10-01 03:45:20 +00001500 }
Greg Claytona3c444a2010-10-01 23:13:49 +00001501
1502 if (cxx_method_decl == NULL)
Greg Clayton878eaf12010-10-01 03:45:20 +00001503 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001504 cxx_method_decl = CXXMethodDecl::Create (*ast,
Greg Clayton878eaf12010-10-01 03:45:20 +00001505 cxx_record_decl,
Sean Callananfb0b7582011-03-15 00:17:19 +00001506 SourceLocation(),
Greg Claytona3c444a2010-10-01 23:13:49 +00001507 DeclarationNameInfo (decl_name, SourceLocation()),
Greg Clayton878eaf12010-10-01 03:45:20 +00001508 method_qual_type,
1509 NULL, // TypeSourceInfo *
1510 is_static,
1511 SC_None,
Sean Callananfb0b7582011-03-15 00:17:19 +00001512 is_inline,
1513 SourceLocation());
Greg Clayton878eaf12010-10-01 03:45:20 +00001514 }
Greg Claytonf51de672010-10-01 02:31:07 +00001515 }
Greg Claytona3c444a2010-10-01 23:13:49 +00001516
Greg Clayton1be10fc2010-09-29 01:12:09 +00001517 AccessSpecifier access_specifier = ConvertAccessTypeToAccessSpecifier (access);
Greg Clayton0fffff52010-09-24 05:15:53 +00001518
1519 cxx_method_decl->setAccess (access_specifier);
1520 cxx_method_decl->setVirtualAsWritten (is_virtual);
Sean Callanane2ef6e32010-09-23 03:01:22 +00001521
Sean Callananfc55f5d2010-09-21 00:44:12 +00001522 // Populate the method decl with parameter decls
Sean Callananfc55f5d2010-09-21 00:44:12 +00001523
Charles Davis8c444c42011-05-19 23:33:46 +00001524 llvm::SmallVector<ParmVarDecl *, 12> params;
Sean Callananfc55f5d2010-09-21 00:44:12 +00001525
1526 for (int param_index = 0;
1527 param_index < num_params;
1528 ++param_index)
1529 {
Charles Davis8c444c42011-05-19 23:33:46 +00001530 params.push_back (ParmVarDecl::Create (*ast,
1531 cxx_method_decl,
1532 SourceLocation(),
1533 SourceLocation(),
1534 NULL, // anonymous
1535 method_function_prototype->getArgType(param_index),
1536 NULL,
1537 SC_None,
1538 SC_None,
1539 NULL));
Sean Callananfc55f5d2010-09-21 00:44:12 +00001540 }
1541
Charles Davis8c444c42011-05-19 23:33:46 +00001542 cxx_method_decl->setParams (params.data(), num_params);
Sean Callananfc55f5d2010-09-21 00:44:12 +00001543
Greg Clayton0fffff52010-09-24 05:15:53 +00001544 cxx_record_decl->addDecl (cxx_method_decl);
Greg Claytonc432c192011-01-20 04:18:48 +00001545
1546// printf ("decl->isPolymorphic() = %i\n", cxx_record_decl->isPolymorphic());
1547// printf ("decl->isAggregate() = %i\n", cxx_record_decl->isAggregate());
1548// printf ("decl->isPOD() = %i\n", cxx_record_decl->isPOD());
1549// printf ("decl->isEmpty() = %i\n", cxx_record_decl->isEmpty());
1550// printf ("decl->isAbstract() = %i\n", cxx_record_decl->isAbstract());
1551// printf ("decl->hasTrivialConstructor() = %i\n", cxx_record_decl->hasTrivialConstructor());
1552// printf ("decl->hasTrivialCopyConstructor() = %i\n", cxx_record_decl->hasTrivialCopyConstructor());
1553// printf ("decl->hasTrivialCopyAssignment() = %i\n", cxx_record_decl->hasTrivialCopyAssignment());
1554// printf ("decl->hasTrivialDestructor() = %i\n", cxx_record_decl->hasTrivialDestructor());
Greg Claytona51ed9b2010-09-23 01:09:21 +00001555 return cxx_method_decl;
Sean Callanan61da09b2010-09-17 02:58:26 +00001556}
1557
1558bool
Greg Clayton8cf05932010-07-22 18:30:50 +00001559ClangASTContext::AddFieldToRecordType
1560(
Greg Clayton6beaaa62011-01-17 03:46:26 +00001561 ASTContext *ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +00001562 clang_type_t record_clang_type,
Greg Clayton8cf05932010-07-22 18:30:50 +00001563 const char *name,
Greg Clayton1be10fc2010-09-29 01:12:09 +00001564 clang_type_t field_type,
Greg Clayton8cf05932010-07-22 18:30:50 +00001565 AccessType access,
1566 uint32_t bitfield_bit_size
1567)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001568{
1569 if (record_clang_type == NULL || field_type == NULL)
1570 return false;
1571
Greg Clayton6beaaa62011-01-17 03:46:26 +00001572 IdentifierTable *identifier_table = &ast->Idents;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001573
Greg Clayton6beaaa62011-01-17 03:46:26 +00001574 assert (ast != NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001575 assert (identifier_table != NULL);
1576
1577 QualType record_qual_type(QualType::getFromOpaquePtr(record_clang_type));
1578
Sean Callanan78e37602011-01-27 04:42:51 +00001579 const clang::Type *clang_type = record_qual_type.getTypePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001580 if (clang_type)
1581 {
1582 const RecordType *record_type = dyn_cast<RecordType>(clang_type);
1583
1584 if (record_type)
1585 {
1586 RecordDecl *record_decl = record_type->getDecl();
1587
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001588 clang::Expr *bit_width = NULL;
1589 if (bitfield_bit_size != 0)
1590 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001591 APInt bitfield_bit_size_apint(ast->getTypeSize(ast->IntTy), bitfield_bit_size);
1592 bit_width = new (*ast)IntegerLiteral (*ast, bitfield_bit_size_apint, ast->IntTy, SourceLocation());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001593 }
Greg Clayton6beaaa62011-01-17 03:46:26 +00001594 FieldDecl *field = FieldDecl::Create (*ast,
Greg Clayton8cf05932010-07-22 18:30:50 +00001595 record_decl,
1596 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00001597 SourceLocation(),
Greg Clayton8cf05932010-07-22 18:30:50 +00001598 name ? &identifier_table->get(name) : NULL, // Identifier
1599 QualType::getFromOpaquePtr(field_type), // Field type
1600 NULL, // DeclaratorInfo *
1601 bit_width, // BitWidth
1602 false); // Mutable
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001603
Greg Clayton8cf05932010-07-22 18:30:50 +00001604 field->setAccess (ConvertAccessTypeToAccessSpecifier (access));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001605
1606 if (field)
1607 {
1608 record_decl->addDecl(field);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001609 }
1610 }
Greg Clayton9e409562010-07-28 02:04:09 +00001611 else
1612 {
Sean Callanan78e37602011-01-27 04:42:51 +00001613 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(clang_type);
Greg Clayton9e409562010-07-28 02:04:09 +00001614 if (objc_class_type)
1615 {
Greg Clayton0fffff52010-09-24 05:15:53 +00001616 bool is_synthesized = false;
Greg Clayton6beaaa62011-01-17 03:46:26 +00001617 ClangASTContext::AddObjCClassIVar (ast,
Sean Callanan6e6a7c72010-09-16 20:01:08 +00001618 record_clang_type,
Greg Clayton9e409562010-07-28 02:04:09 +00001619 name,
1620 field_type,
1621 access,
1622 bitfield_bit_size,
Greg Clayton0fffff52010-09-24 05:15:53 +00001623 is_synthesized);
Greg Clayton9e409562010-07-28 02:04:09 +00001624 }
1625 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001626 }
1627 return false;
1628}
1629
1630bool
1631ClangASTContext::FieldIsBitfield (FieldDecl* field, uint32_t& bitfield_bit_size)
1632{
1633 return FieldIsBitfield(getASTContext(), field, bitfield_bit_size);
1634}
1635
1636bool
1637ClangASTContext::FieldIsBitfield
1638(
Greg Clayton6beaaa62011-01-17 03:46:26 +00001639 ASTContext *ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001640 FieldDecl* field,
1641 uint32_t& bitfield_bit_size
1642)
1643{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001644 if (ast == NULL || field == NULL)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001645 return false;
1646
1647 if (field->isBitField())
1648 {
1649 Expr* bit_width_expr = field->getBitWidth();
1650 if (bit_width_expr)
1651 {
1652 llvm::APSInt bit_width_apsint;
Greg Clayton6beaaa62011-01-17 03:46:26 +00001653 if (bit_width_expr->isIntegerConstantExpr(bit_width_apsint, *ast))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001654 {
1655 bitfield_bit_size = bit_width_apsint.getLimitedValue(UINT32_MAX);
1656 return true;
1657 }
1658 }
1659 }
1660 return false;
1661}
1662
1663bool
1664ClangASTContext::RecordHasFields (const RecordDecl *record_decl)
1665{
1666 if (record_decl == NULL)
1667 return false;
1668
1669 if (!record_decl->field_empty())
1670 return true;
1671
1672 // No fields, lets check this is a CXX record and check the base classes
1673 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1674 if (cxx_record_decl)
1675 {
1676 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1677 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1678 base_class != base_class_end;
1679 ++base_class)
1680 {
1681 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1682 if (RecordHasFields(base_class_decl))
1683 return true;
1684 }
1685 }
1686 return false;
1687}
1688
1689void
Greg Clayton6beaaa62011-01-17 03:46:26 +00001690ClangASTContext::SetDefaultAccessForRecordFields (clang_type_t clang_type, int default_accessibility, int *assigned_accessibilities, size_t num_assigned_accessibilities)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001691{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001692 if (clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001693 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001694 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
1695
Sean Callanan78e37602011-01-27 04:42:51 +00001696 const RecordType *record_type = dyn_cast<RecordType>(qual_type.getTypePtr());
Greg Clayton6beaaa62011-01-17 03:46:26 +00001697 if (record_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001698 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001699 RecordDecl *record_decl = record_type->getDecl();
1700 if (record_decl)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001701 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001702 uint32_t field_idx;
1703 RecordDecl::field_iterator field, field_end;
1704 for (field = record_decl->field_begin(), field_end = record_decl->field_end(), field_idx = 0;
1705 field != field_end;
1706 ++field, ++field_idx)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001707 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001708 // If no accessibility was assigned, assign the correct one
1709 if (field_idx < num_assigned_accessibilities && assigned_accessibilities[field_idx] == clang::AS_none)
1710 field->setAccess ((AccessSpecifier)default_accessibility);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001711 }
1712 }
1713 }
1714 }
1715}
1716
1717#pragma mark C++ Base Classes
1718
1719CXXBaseSpecifier *
Greg Clayton1be10fc2010-09-29 01:12:09 +00001720ClangASTContext::CreateBaseClassSpecifier (clang_type_t base_class_type, AccessType access, bool is_virtual, bool base_of_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001721{
1722 if (base_class_type)
Greg Claytone6371122010-07-30 20:30:44 +00001723 return new CXXBaseSpecifier (SourceRange(),
1724 is_virtual,
1725 base_of_class,
1726 ConvertAccessTypeToAccessSpecifier (access),
Sean Callanan2c777c42011-01-18 23:32:05 +00001727 getASTContext()->CreateTypeSourceInfo (QualType::getFromOpaquePtr(base_class_type)),
1728 SourceLocation());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001729 return NULL;
1730}
1731
Greg Clayton0b42ac32010-07-02 01:29:13 +00001732void
1733ClangASTContext::DeleteBaseClassSpecifiers (CXXBaseSpecifier **base_classes, unsigned num_base_classes)
1734{
1735 for (unsigned i=0; i<num_base_classes; ++i)
1736 {
1737 delete base_classes[i];
1738 base_classes[i] = NULL;
1739 }
1740}
1741
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001742bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00001743ClangASTContext::SetBaseClassesForClassType (clang_type_t class_clang_type, CXXBaseSpecifier const * const *base_classes, unsigned num_base_classes)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001744{
1745 if (class_clang_type)
1746 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001747 CXXRecordDecl *cxx_record_decl = QualType::getFromOpaquePtr(class_clang_type)->getAsCXXRecordDecl();
1748 if (cxx_record_decl)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001749 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001750 cxx_record_decl->setBases(base_classes, num_base_classes);
1751 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001752 }
1753 }
1754 return false;
1755}
Greg Clayton8cf05932010-07-22 18:30:50 +00001756#pragma mark Objective C Classes
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001757
Greg Clayton1be10fc2010-09-29 01:12:09 +00001758clang_type_t
Greg Clayton8cf05932010-07-22 18:30:50 +00001759ClangASTContext::CreateObjCClass
1760(
1761 const char *name,
1762 DeclContext *decl_ctx,
1763 bool isForwardDecl,
1764 bool isInternal
1765)
1766{
Greg Clayton6beaaa62011-01-17 03:46:26 +00001767 ASTContext *ast = getASTContext();
1768 assert (ast != NULL);
Greg Clayton8cf05932010-07-22 18:30:50 +00001769 assert (name && name[0]);
1770 if (decl_ctx == NULL)
Greg Clayton6beaaa62011-01-17 03:46:26 +00001771 decl_ctx = ast->getTranslationUnitDecl();
Greg Clayton8cf05932010-07-22 18:30:50 +00001772
1773 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1774 // we will need to update this code. I was told to currently always use
1775 // the CXXRecordDecl class since we often don't know from debug information
1776 // if something is struct or a class, so we default to always use the more
1777 // complete definition just in case.
Greg Clayton6beaaa62011-01-17 03:46:26 +00001778 ObjCInterfaceDecl *decl = ObjCInterfaceDecl::Create (*ast,
Greg Clayton8cf05932010-07-22 18:30:50 +00001779 decl_ctx,
1780 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00001781 &ast->Idents.get(name),
Greg Clayton8cf05932010-07-22 18:30:50 +00001782 SourceLocation(),
1783 isForwardDecl,
1784 isInternal);
Greg Clayton9e409562010-07-28 02:04:09 +00001785
Greg Clayton6beaaa62011-01-17 03:46:26 +00001786 return ast->getObjCInterfaceType(decl).getAsOpaquePtr();
Greg Clayton8cf05932010-07-22 18:30:50 +00001787}
1788
1789bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00001790ClangASTContext::SetObjCSuperClass (clang_type_t class_opaque_type, clang_type_t super_opaque_type)
Greg Clayton8cf05932010-07-22 18:30:50 +00001791{
1792 if (class_opaque_type && super_opaque_type)
1793 {
1794 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1795 QualType super_qual_type(QualType::getFromOpaquePtr(super_opaque_type));
Sean Callanan78e37602011-01-27 04:42:51 +00001796 const clang::Type *class_type = class_qual_type.getTypePtr();
1797 const clang::Type *super_type = super_qual_type.getTypePtr();
Greg Clayton8cf05932010-07-22 18:30:50 +00001798 if (class_type && super_type)
1799 {
Sean Callanan78e37602011-01-27 04:42:51 +00001800 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1801 const ObjCObjectType *objc_super_type = dyn_cast<ObjCObjectType>(super_type);
Greg Clayton8cf05932010-07-22 18:30:50 +00001802 if (objc_class_type && objc_super_type)
1803 {
1804 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1805 ObjCInterfaceDecl *super_interface_decl = objc_super_type->getInterface();
1806 if (class_interface_decl && super_interface_decl)
1807 {
1808 class_interface_decl->setSuperClass(super_interface_decl);
1809 return true;
1810 }
1811 }
1812 }
1813 }
1814 return false;
1815}
1816
1817
1818bool
1819ClangASTContext::AddObjCClassIVar
1820(
Greg Clayton6beaaa62011-01-17 03:46:26 +00001821 ASTContext *ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +00001822 clang_type_t class_opaque_type,
Greg Clayton8cf05932010-07-22 18:30:50 +00001823 const char *name,
Greg Clayton1be10fc2010-09-29 01:12:09 +00001824 clang_type_t ivar_opaque_type,
Greg Clayton8cf05932010-07-22 18:30:50 +00001825 AccessType access,
1826 uint32_t bitfield_bit_size,
Greg Clayton0fffff52010-09-24 05:15:53 +00001827 bool is_synthesized
Greg Clayton8cf05932010-07-22 18:30:50 +00001828)
1829{
1830 if (class_opaque_type == NULL || ivar_opaque_type == NULL)
1831 return false;
1832
Greg Clayton6beaaa62011-01-17 03:46:26 +00001833 IdentifierTable *identifier_table = &ast->Idents;
Greg Clayton8cf05932010-07-22 18:30:50 +00001834
Greg Clayton6beaaa62011-01-17 03:46:26 +00001835 assert (ast != NULL);
Greg Clayton8cf05932010-07-22 18:30:50 +00001836 assert (identifier_table != NULL);
1837
1838 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1839
Sean Callanan78e37602011-01-27 04:42:51 +00001840 const clang::Type *class_type = class_qual_type.getTypePtr();
Greg Clayton8cf05932010-07-22 18:30:50 +00001841 if (class_type)
1842 {
Sean Callanan78e37602011-01-27 04:42:51 +00001843 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
Greg Clayton8cf05932010-07-22 18:30:50 +00001844
1845 if (objc_class_type)
1846 {
1847 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1848
1849 if (class_interface_decl)
1850 {
1851 clang::Expr *bit_width = NULL;
1852 if (bitfield_bit_size != 0)
1853 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00001854 APInt bitfield_bit_size_apint(ast->getTypeSize(ast->IntTy), bitfield_bit_size);
1855 bit_width = new (*ast)IntegerLiteral (*ast, bitfield_bit_size_apint, ast->IntTy, SourceLocation());
Greg Clayton8cf05932010-07-22 18:30:50 +00001856 }
1857
Greg Clayton6beaaa62011-01-17 03:46:26 +00001858 ObjCIvarDecl *field = ObjCIvarDecl::Create (*ast,
Greg Clayton9e409562010-07-28 02:04:09 +00001859 class_interface_decl,
1860 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00001861 SourceLocation(),
Greg Clayton9e409562010-07-28 02:04:09 +00001862 &identifier_table->get(name), // Identifier
1863 QualType::getFromOpaquePtr(ivar_opaque_type), // Field type
1864 NULL, // TypeSourceInfo *
1865 ConvertAccessTypeToObjCIvarAccessControl (access),
1866 bit_width,
Greg Clayton0fffff52010-09-24 05:15:53 +00001867 is_synthesized);
Greg Clayton9e409562010-07-28 02:04:09 +00001868
1869 if (field)
1870 {
1871 class_interface_decl->addDecl(field);
1872 return true;
1873 }
Greg Clayton8cf05932010-07-22 18:30:50 +00001874 }
1875 }
1876 }
1877 return false;
1878}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00001879
Greg Clayton9e409562010-07-28 02:04:09 +00001880
1881bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00001882ClangASTContext::ObjCTypeHasIVars (clang_type_t class_opaque_type, bool check_superclass)
Greg Clayton9e409562010-07-28 02:04:09 +00001883{
1884 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1885
Sean Callanan78e37602011-01-27 04:42:51 +00001886 const clang::Type *class_type = class_qual_type.getTypePtr();
Greg Clayton9e409562010-07-28 02:04:09 +00001887 if (class_type)
1888 {
Sean Callanan78e37602011-01-27 04:42:51 +00001889 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
Greg Clayton9e409562010-07-28 02:04:09 +00001890
1891 if (objc_class_type)
1892 return ObjCDeclHasIVars (objc_class_type->getInterface(), check_superclass);
1893 }
1894 return false;
1895}
1896
1897bool
1898ClangASTContext::ObjCDeclHasIVars (ObjCInterfaceDecl *class_interface_decl, bool check_superclass)
1899{
1900 while (class_interface_decl)
1901 {
1902 if (class_interface_decl->ivar_size() > 0)
1903 return true;
1904
1905 if (check_superclass)
1906 class_interface_decl = class_interface_decl->getSuperClass();
1907 else
1908 break;
1909 }
1910 return false;
1911}
Greg Clayton0fffff52010-09-24 05:15:53 +00001912
Greg Clayton1be10fc2010-09-29 01:12:09 +00001913ObjCMethodDecl *
Greg Clayton0fffff52010-09-24 05:15:53 +00001914ClangASTContext::AddMethodToObjCObjectType
1915(
Greg Clayton6beaaa62011-01-17 03:46:26 +00001916 ASTContext *ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +00001917 clang_type_t class_opaque_type,
Greg Clayton0fffff52010-09-24 05:15:53 +00001918 const char *name, // the full symbol name as seen in the symbol table ("-[NString stringWithCString:]")
Greg Clayton1be10fc2010-09-29 01:12:09 +00001919 clang_type_t method_opaque_type,
Greg Clayton0fffff52010-09-24 05:15:53 +00001920 lldb::AccessType access
1921)
1922{
1923 if (class_opaque_type == NULL || method_opaque_type == NULL)
1924 return NULL;
1925
Greg Clayton6beaaa62011-01-17 03:46:26 +00001926 IdentifierTable *identifier_table = &ast->Idents;
Greg Clayton0fffff52010-09-24 05:15:53 +00001927
Greg Clayton6beaaa62011-01-17 03:46:26 +00001928 assert (ast != NULL);
Greg Clayton0fffff52010-09-24 05:15:53 +00001929 assert (identifier_table != NULL);
1930
1931 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1932
Sean Callanan78e37602011-01-27 04:42:51 +00001933 const clang::Type *class_type = class_qual_type.getTypePtr();
Greg Clayton0fffff52010-09-24 05:15:53 +00001934 if (class_type == NULL)
1935 return NULL;
1936
Sean Callanan78e37602011-01-27 04:42:51 +00001937 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
Greg Clayton0fffff52010-09-24 05:15:53 +00001938
1939 if (objc_class_type == NULL)
1940 return NULL;
1941
1942 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1943
1944 if (class_interface_decl == NULL)
1945 return NULL;
Greg Clayton9e409562010-07-28 02:04:09 +00001946
Greg Clayton0fffff52010-09-24 05:15:53 +00001947 const char *selector_start = ::strchr (name, ' ');
1948 if (selector_start == NULL)
1949 return NULL;
1950
1951 selector_start++;
1952 if (!(::isalpha (selector_start[0]) || selector_start[0] == '_'))
1953 return NULL;
1954 llvm::SmallVector<IdentifierInfo *, 12> selector_idents;
1955
Greg Clayton450e3f32010-10-12 02:24:53 +00001956 size_t len = 0;
Greg Clayton0fffff52010-09-24 05:15:53 +00001957 const char *start;
Greg Clayton450e3f32010-10-12 02:24:53 +00001958 //printf ("name = '%s'\n", name);
1959
1960 unsigned num_selectors_with_args = 0;
1961 for (start = selector_start;
Greg Clayton0fffff52010-09-24 05:15:53 +00001962 start && *start != '\0' && *start != ']';
Greg Clayton450e3f32010-10-12 02:24:53 +00001963 start += len)
Greg Clayton0fffff52010-09-24 05:15:53 +00001964 {
Greg Clayton450e3f32010-10-12 02:24:53 +00001965 len = ::strcspn(start, ":]");
Greg Clayton90f90cd2010-10-27 04:01:14 +00001966 bool has_arg = (start[len] == ':');
1967 if (has_arg)
Greg Clayton450e3f32010-10-12 02:24:53 +00001968 ++num_selectors_with_args;
Greg Clayton0fffff52010-09-24 05:15:53 +00001969 selector_idents.push_back (&identifier_table->get (StringRef (start, len)));
Greg Clayton90f90cd2010-10-27 04:01:14 +00001970 if (has_arg)
1971 len += 1;
Greg Clayton0fffff52010-09-24 05:15:53 +00001972 }
1973
1974
1975 if (selector_idents.size() == 0)
1976 return 0;
1977
Greg Clayton6beaaa62011-01-17 03:46:26 +00001978 clang::Selector method_selector = ast->Selectors.getSelector (num_selectors_with_args ? selector_idents.size() : 0,
Greg Clayton0fffff52010-09-24 05:15:53 +00001979 selector_idents.data());
1980
1981 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
1982
1983 // Populate the method decl with parameter decls
Sean Callanan78e37602011-01-27 04:42:51 +00001984 const clang::Type *method_type(method_qual_type.getTypePtr());
Greg Clayton0fffff52010-09-24 05:15:53 +00001985
1986 if (method_type == NULL)
1987 return NULL;
1988
Sean Callanan78e37602011-01-27 04:42:51 +00001989 const FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(method_type));
Greg Clayton0fffff52010-09-24 05:15:53 +00001990
1991 if (!method_function_prototype)
1992 return NULL;
1993
1994
1995 bool is_variadic = false;
1996 bool is_synthesized = false;
1997 bool is_defined = false;
1998 ObjCMethodDecl::ImplementationControl imp_control = ObjCMethodDecl::None;
1999
2000 const unsigned num_args = method_function_prototype->getNumArgs();
2001
Greg Clayton6beaaa62011-01-17 03:46:26 +00002002 ObjCMethodDecl *objc_method_decl = ObjCMethodDecl::Create (*ast,
Greg Clayton0fffff52010-09-24 05:15:53 +00002003 SourceLocation(), // beginLoc,
2004 SourceLocation(), // endLoc,
2005 method_selector,
2006 method_function_prototype->getResultType(),
2007 NULL, // TypeSourceInfo *ResultTInfo,
2008 GetDeclContextForType (class_opaque_type),
2009 name[0] == '-',
2010 is_variadic,
2011 is_synthesized,
2012 is_defined,
2013 imp_control,
2014 num_args);
2015
2016
2017 if (objc_method_decl == NULL)
2018 return NULL;
2019
2020 if (num_args > 0)
2021 {
2022 llvm::SmallVector<ParmVarDecl *, 12> params;
2023
2024 for (int param_index = 0; param_index < num_args; ++param_index)
2025 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00002026 params.push_back (ParmVarDecl::Create (*ast,
Greg Clayton0fffff52010-09-24 05:15:53 +00002027 objc_method_decl,
2028 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00002029 SourceLocation(),
Greg Clayton0fffff52010-09-24 05:15:53 +00002030 NULL, // anonymous
2031 method_function_prototype->getArgType(param_index),
2032 NULL,
2033 SC_Auto,
2034 SC_Auto,
2035 NULL));
2036 }
2037
Greg Clayton6beaaa62011-01-17 03:46:26 +00002038 objc_method_decl->setMethodParams(*ast, params.data(), params.size(), num_args);
Greg Clayton0fffff52010-09-24 05:15:53 +00002039 }
2040
2041 class_interface_decl->addDecl (objc_method_decl);
2042
2043
2044 return objc_method_decl;
2045}
2046
2047
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002048uint32_t
Greg Clayton73b472d2010-10-27 03:32:59 +00002049ClangASTContext::GetTypeInfo
2050(
2051 clang_type_t clang_type,
Greg Clayton6beaaa62011-01-17 03:46:26 +00002052 clang::ASTContext *ast,
Greg Clayton73b472d2010-10-27 03:32:59 +00002053 clang_type_t *pointee_or_element_clang_type
2054)
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002055{
2056 if (clang_type == NULL)
Greg Clayton73b472d2010-10-27 03:32:59 +00002057 return 0;
2058
2059 if (pointee_or_element_clang_type)
2060 *pointee_or_element_clang_type = NULL;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002061
2062 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
2063
2064 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2065 switch (type_class)
2066 {
Sean Callanana2424172010-10-25 00:29:48 +00002067 case clang::Type::Builtin:
2068 switch (cast<clang::BuiltinType>(qual_type)->getKind())
2069 {
Sean Callanana2424172010-10-25 00:29:48 +00002070 case clang::BuiltinType::ObjCId:
2071 case clang::BuiltinType::ObjCClass:
Greg Clayton6beaaa62011-01-17 03:46:26 +00002072 if (ast && pointee_or_element_clang_type)
2073 *pointee_or_element_clang_type = ast->ObjCBuiltinClassTy.getAsOpaquePtr();
Sean Callanana2424172010-10-25 00:29:48 +00002074 return eTypeIsBuiltIn | eTypeIsPointer | eTypeHasValue;
Greg Clayton73b472d2010-10-27 03:32:59 +00002075
2076 default:
2077 break;
Sean Callanana2424172010-10-25 00:29:48 +00002078 }
2079 return eTypeIsBuiltIn | eTypeHasValue;
Greg Clayton73b472d2010-10-27 03:32:59 +00002080
2081 case clang::Type::BlockPointer:
2082 if (pointee_or_element_clang_type)
2083 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
2084 return eTypeIsPointer | eTypeHasChildren | eTypeIsBlock;
2085
Greg Clayton49462ea2011-01-15 02:52:14 +00002086 case clang::Type::Complex: return eTypeIsBuiltIn | eTypeHasValue;
Greg Clayton73b472d2010-10-27 03:32:59 +00002087
2088 case clang::Type::ConstantArray:
2089 case clang::Type::DependentSizedArray:
2090 case clang::Type::IncompleteArray:
2091 case clang::Type::VariableArray:
2092 if (pointee_or_element_clang_type)
2093 *pointee_or_element_clang_type = cast<ArrayType>(qual_type.getTypePtr())->getElementType().getAsOpaquePtr();
2094 return eTypeHasChildren | eTypeIsArray;
2095
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002096 case clang::Type::DependentName: return 0;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002097 case clang::Type::DependentSizedExtVector: return eTypeHasChildren | eTypeIsVector;
2098 case clang::Type::DependentTemplateSpecialization: return eTypeIsTemplate;
2099 case clang::Type::Decltype: return 0;
Greg Clayton73b472d2010-10-27 03:32:59 +00002100
2101 case clang::Type::Enum:
2102 if (pointee_or_element_clang_type)
2103 *pointee_or_element_clang_type = cast<EnumType>(qual_type)->getDecl()->getIntegerType().getAsOpaquePtr();
2104 return eTypeIsEnumeration | eTypeHasValue;
2105
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002106 case clang::Type::Elaborated: return 0;
2107 case clang::Type::ExtVector: return eTypeHasChildren | eTypeIsVector;
2108 case clang::Type::FunctionProto: return eTypeIsFuncPrototype | eTypeHasValue;
2109 case clang::Type::FunctionNoProto: return eTypeIsFuncPrototype | eTypeHasValue;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002110 case clang::Type::InjectedClassName: return 0;
Greg Clayton73b472d2010-10-27 03:32:59 +00002111
2112 case clang::Type::LValueReference:
2113 case clang::Type::RValueReference:
2114 if (pointee_or_element_clang_type)
2115 *pointee_or_element_clang_type = cast<ReferenceType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr();
2116 return eTypeHasChildren | eTypeIsReference | eTypeHasValue;
2117
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002118 case clang::Type::MemberPointer: return eTypeIsPointer | eTypeIsMember | eTypeHasValue;
Greg Clayton73b472d2010-10-27 03:32:59 +00002119
2120 case clang::Type::ObjCObjectPointer:
2121 if (pointee_or_element_clang_type)
2122 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
2123 return eTypeHasChildren | eTypeIsObjC | eTypeIsClass | eTypeIsPointer | eTypeHasValue;
2124
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002125 case clang::Type::ObjCObject: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
2126 case clang::Type::ObjCInterface: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
Greg Clayton73b472d2010-10-27 03:32:59 +00002127
2128 case clang::Type::Pointer:
2129 if (pointee_or_element_clang_type)
2130 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
2131 return eTypeHasChildren | eTypeIsPointer | eTypeHasValue;
2132
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002133 case clang::Type::Record:
2134 if (qual_type->getAsCXXRecordDecl())
2135 return eTypeHasChildren | eTypeIsClass | eTypeIsCPlusPlus;
2136 else
2137 return eTypeHasChildren | eTypeIsStructUnion;
2138 break;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002139 case clang::Type::SubstTemplateTypeParm: return eTypeIsTemplate;
2140 case clang::Type::TemplateTypeParm: return eTypeIsTemplate;
2141 case clang::Type::TemplateSpecialization: return eTypeIsTemplate;
Greg Clayton73b472d2010-10-27 03:32:59 +00002142
2143 case clang::Type::Typedef:
Sean Callanan48114472010-12-13 01:26:27 +00002144 return eTypeIsTypedef | ClangASTContext::GetTypeInfo (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00002145 ast,
Greg Clayton73b472d2010-10-27 03:32:59 +00002146 pointee_or_element_clang_type);
2147
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002148 case clang::Type::TypeOfExpr: return 0;
2149 case clang::Type::TypeOf: return 0;
2150 case clang::Type::UnresolvedUsing: return 0;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002151 case clang::Type::Vector: return eTypeHasChildren | eTypeIsVector;
2152 default: return 0;
2153 }
2154 return 0;
2155}
2156
Greg Clayton9e409562010-07-28 02:04:09 +00002157
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002158#pragma mark Aggregate Types
2159
2160bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00002161ClangASTContext::IsAggregateType (clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002162{
2163 if (clang_type == NULL)
2164 return false;
2165
2166 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
2167
Greg Clayton737b9322010-09-13 03:32:57 +00002168 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2169 switch (type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002170 {
Greg Claytone1a916a2010-07-21 22:12:05 +00002171 case clang::Type::IncompleteArray:
2172 case clang::Type::VariableArray:
2173 case clang::Type::ConstantArray:
2174 case clang::Type::ExtVector:
2175 case clang::Type::Vector:
2176 case clang::Type::Record:
Greg Clayton9e409562010-07-28 02:04:09 +00002177 case clang::Type::ObjCObject:
2178 case clang::Type::ObjCInterface:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002179 return true;
2180
Greg Claytone1a916a2010-07-21 22:12:05 +00002181 case clang::Type::Typedef:
Sean Callanan48114472010-12-13 01:26:27 +00002182 return ClangASTContext::IsAggregateType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002183
2184 default:
2185 break;
2186 }
2187 // The clang type does have a value
2188 return false;
2189}
2190
2191uint32_t
Greg Clayton6beaaa62011-01-17 03:46:26 +00002192ClangASTContext::GetNumChildren (clang::ASTContext *ast, clang_type_t clang_type, bool omit_empty_base_classes)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002193{
Greg Clayton6beaaa62011-01-17 03:46:26 +00002194 if (clang_type == NULL)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002195 return 0;
2196
2197 uint32_t num_children = 0;
Greg Clayton6beaaa62011-01-17 03:46:26 +00002198 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton9e409562010-07-28 02:04:09 +00002199 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2200 switch (type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002201 {
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002202 case clang::Type::Builtin:
2203 switch (cast<clang::BuiltinType>(qual_type)->getKind())
2204 {
Greg Clayton73b472d2010-10-27 03:32:59 +00002205 case clang::BuiltinType::ObjCId: // child is Class
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002206 case clang::BuiltinType::ObjCClass: // child is Class
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002207 num_children = 1;
Greg Clayton73b472d2010-10-27 03:32:59 +00002208 break;
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002209
2210 default:
2211 break;
2212 }
2213 break;
Greg Clayton54979cd2010-12-15 05:08:08 +00002214
Greg Clayton49462ea2011-01-15 02:52:14 +00002215 case clang::Type::Complex: return 0;
Greg Clayton54979cd2010-12-15 05:08:08 +00002216
Greg Claytone1a916a2010-07-21 22:12:05 +00002217 case clang::Type::Record:
Greg Claytonc432c192011-01-20 04:18:48 +00002218 if (GetCompleteQualType (ast, qual_type))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002219 {
2220 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2221 const RecordDecl *record_decl = record_type->getDecl();
2222 assert(record_decl);
2223 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2224 if (cxx_record_decl)
2225 {
2226 if (omit_empty_base_classes)
2227 {
2228 // Check each base classes to see if it or any of its
2229 // base classes contain any fields. This can help
2230 // limit the noise in variable views by not having to
2231 // show base classes that contain no members.
2232 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2233 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2234 base_class != base_class_end;
2235 ++base_class)
2236 {
2237 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2238
2239 // Skip empty base classes
2240 if (RecordHasFields(base_class_decl) == false)
2241 continue;
2242
2243 num_children++;
2244 }
2245 }
2246 else
2247 {
2248 // Include all base classes
2249 num_children += cxx_record_decl->getNumBases();
2250 }
2251
2252 }
2253 RecordDecl::field_iterator field, field_end;
2254 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field)
2255 ++num_children;
2256 }
2257 break;
2258
Greg Clayton9e409562010-07-28 02:04:09 +00002259 case clang::Type::ObjCObject:
2260 case clang::Type::ObjCInterface:
Greg Claytonc432c192011-01-20 04:18:48 +00002261 if (GetCompleteQualType (ast, qual_type))
Greg Clayton9e409562010-07-28 02:04:09 +00002262 {
Sean Callanan78e37602011-01-27 04:42:51 +00002263 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
Greg Clayton9e409562010-07-28 02:04:09 +00002264 assert (objc_class_type);
2265 if (objc_class_type)
2266 {
2267 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2268
2269 if (class_interface_decl)
2270 {
2271
2272 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2273 if (superclass_interface_decl)
2274 {
2275 if (omit_empty_base_classes)
2276 {
2277 if (ClangASTContext::ObjCDeclHasIVars (superclass_interface_decl, true))
2278 ++num_children;
2279 }
2280 else
2281 ++num_children;
2282 }
2283
2284 num_children += class_interface_decl->ivar_size();
2285 }
2286 }
2287 }
2288 break;
2289
2290 case clang::Type::ObjCObjectPointer:
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002291 {
Sean Callanan78e37602011-01-27 04:42:51 +00002292 const ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(qual_type.getTypePtr());
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002293 QualType pointee_type = pointer_type->getPointeeType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00002294 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (ast,
2295 pointee_type.getAsOpaquePtr(),
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002296 omit_empty_base_classes);
2297 // If this type points to a simple type, then it has 1 child
2298 if (num_pointee_children == 0)
2299 num_children = 1;
2300 else
2301 num_children = num_pointee_children;
2302 }
2303 break;
Greg Clayton9e409562010-07-28 02:04:09 +00002304
Greg Claytone1a916a2010-07-21 22:12:05 +00002305 case clang::Type::ConstantArray:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002306 num_children = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
2307 break;
2308
Greg Claytone1a916a2010-07-21 22:12:05 +00002309 case clang::Type::Pointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002310 {
Sean Callanan78e37602011-01-27 04:42:51 +00002311 const PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
Greg Clayton54979cd2010-12-15 05:08:08 +00002312 QualType pointee_type (pointer_type->getPointeeType());
Greg Clayton6beaaa62011-01-17 03:46:26 +00002313 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (ast,
2314 pointee_type.getAsOpaquePtr(),
Greg Clayton9e409562010-07-28 02:04:09 +00002315 omit_empty_base_classes);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002316 if (num_pointee_children == 0)
Greg Clayton54979cd2010-12-15 05:08:08 +00002317 {
2318 // We have a pointer to a pointee type that claims it has no children.
2319 // We will want to look at
2320 num_children = ClangASTContext::GetNumPointeeChildren (pointee_type.getAsOpaquePtr());
2321 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002322 else
2323 num_children = num_pointee_children;
2324 }
2325 break;
2326
Greg Clayton73b472d2010-10-27 03:32:59 +00002327 case clang::Type::LValueReference:
2328 case clang::Type::RValueReference:
2329 {
Sean Callanan78e37602011-01-27 04:42:51 +00002330 const ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
Greg Clayton73b472d2010-10-27 03:32:59 +00002331 QualType pointee_type = reference_type->getPointeeType();
Greg Clayton6beaaa62011-01-17 03:46:26 +00002332 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (ast,
2333 pointee_type.getAsOpaquePtr(),
Greg Clayton73b472d2010-10-27 03:32:59 +00002334 omit_empty_base_classes);
2335 // If this type points to a simple type, then it has 1 child
2336 if (num_pointee_children == 0)
2337 num_children = 1;
2338 else
2339 num_children = num_pointee_children;
2340 }
2341 break;
2342
2343
Greg Claytone1a916a2010-07-21 22:12:05 +00002344 case clang::Type::Typedef:
Greg Clayton6beaaa62011-01-17 03:46:26 +00002345 num_children = ClangASTContext::GetNumChildren (ast,
2346 cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
2347 omit_empty_base_classes);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002348 break;
2349
2350 default:
2351 break;
2352 }
2353 return num_children;
2354}
2355
Greg Clayton54979cd2010-12-15 05:08:08 +00002356// If a pointer to a pointee type (the clang_type arg) says that it has no
2357// children, then we either need to trust it, or override it and return a
2358// different result. For example, an "int *" has one child that is an integer,
2359// but a function pointer doesn't have any children. Likewise if a Record type
2360// claims it has no children, then there really is nothing to show.
2361uint32_t
2362ClangASTContext::GetNumPointeeChildren (clang_type_t clang_type)
2363{
2364 if (clang_type == NULL)
2365 return 0;
2366
2367 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
2368 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2369 switch (type_class)
2370 {
Greg Clayton97a43712011-01-08 22:26:47 +00002371 case clang::Type::Builtin:
2372 switch (cast<clang::BuiltinType>(qual_type)->getKind())
2373 {
Greg Clayton7260f622011-04-18 08:33:37 +00002374 case clang::BuiltinType::UnknownAny:
Greg Clayton97a43712011-01-08 22:26:47 +00002375 case clang::BuiltinType::Void:
2376 case clang::BuiltinType::NullPtr:
2377 return 0;
2378 case clang::BuiltinType::Bool:
2379 case clang::BuiltinType::Char_U:
2380 case clang::BuiltinType::UChar:
Sean Callanan2c777c42011-01-18 23:32:05 +00002381 case clang::BuiltinType::WChar_U:
Greg Clayton97a43712011-01-08 22:26:47 +00002382 case clang::BuiltinType::Char16:
2383 case clang::BuiltinType::Char32:
2384 case clang::BuiltinType::UShort:
2385 case clang::BuiltinType::UInt:
2386 case clang::BuiltinType::ULong:
2387 case clang::BuiltinType::ULongLong:
2388 case clang::BuiltinType::UInt128:
2389 case clang::BuiltinType::Char_S:
2390 case clang::BuiltinType::SChar:
Sean Callanan2c777c42011-01-18 23:32:05 +00002391 case clang::BuiltinType::WChar_S:
Greg Clayton97a43712011-01-08 22:26:47 +00002392 case clang::BuiltinType::Short:
2393 case clang::BuiltinType::Int:
2394 case clang::BuiltinType::Long:
2395 case clang::BuiltinType::LongLong:
2396 case clang::BuiltinType::Int128:
2397 case clang::BuiltinType::Float:
2398 case clang::BuiltinType::Double:
2399 case clang::BuiltinType::LongDouble:
2400 case clang::BuiltinType::Dependent:
2401 case clang::BuiltinType::Overload:
Greg Clayton97a43712011-01-08 22:26:47 +00002402 case clang::BuiltinType::ObjCId:
2403 case clang::BuiltinType::ObjCClass:
2404 case clang::BuiltinType::ObjCSel:
Sean Callanand12cf8bb2011-05-15 22:34:38 +00002405 case clang::BuiltinType::BoundMember:
Greg Clayton97a43712011-01-08 22:26:47 +00002406 return 1;
2407 }
2408 break;
2409
Greg Clayton49462ea2011-01-15 02:52:14 +00002410 case clang::Type::Complex: return 1;
Greg Clayton54979cd2010-12-15 05:08:08 +00002411 case clang::Type::Pointer: return 1;
2412 case clang::Type::BlockPointer: return 0; // If block pointers don't have debug info, then no children for them
2413 case clang::Type::LValueReference: return 1;
2414 case clang::Type::RValueReference: return 1;
2415 case clang::Type::MemberPointer: return 0;
2416 case clang::Type::ConstantArray: return 0;
2417 case clang::Type::IncompleteArray: return 0;
2418 case clang::Type::VariableArray: return 0;
2419 case clang::Type::DependentSizedArray: return 0;
2420 case clang::Type::DependentSizedExtVector: return 0;
2421 case clang::Type::Vector: return 0;
2422 case clang::Type::ExtVector: return 0;
2423 case clang::Type::FunctionProto: return 0; // When we function pointers, they have no children...
2424 case clang::Type::FunctionNoProto: return 0; // When we function pointers, they have no children...
2425 case clang::Type::UnresolvedUsing: return 0;
2426 case clang::Type::Paren: return 0;
2427 case clang::Type::Typedef: return ClangASTContext::GetNumPointeeChildren (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
2428 case clang::Type::TypeOfExpr: return 0;
2429 case clang::Type::TypeOf: return 0;
2430 case clang::Type::Decltype: return 0;
2431 case clang::Type::Record: return 0;
2432 case clang::Type::Enum: return 1;
2433 case clang::Type::Elaborated: return 1;
2434 case clang::Type::TemplateTypeParm: return 1;
2435 case clang::Type::SubstTemplateTypeParm: return 1;
2436 case clang::Type::TemplateSpecialization: return 1;
2437 case clang::Type::InjectedClassName: return 0;
2438 case clang::Type::DependentName: return 1;
2439 case clang::Type::DependentTemplateSpecialization: return 1;
2440 case clang::Type::ObjCObject: return 0;
2441 case clang::Type::ObjCInterface: return 0;
2442 case clang::Type::ObjCObjectPointer: return 1;
2443 default:
2444 break;
2445 }
2446 return 0;
2447}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002448
Greg Clayton1be10fc2010-09-29 01:12:09 +00002449clang_type_t
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002450ClangASTContext::GetChildClangTypeAtIndex
2451(
Jim Inghamd555bac2011-06-24 22:03:24 +00002452 ExecutionContext *exe_ctx,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002453 const char *parent_name,
Greg Clayton1be10fc2010-09-29 01:12:09 +00002454 clang_type_t parent_clang_type,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002455 uint32_t idx,
2456 bool transparent_pointers,
2457 bool omit_empty_base_classes,
2458 std::string& child_name,
2459 uint32_t &child_byte_size,
2460 int32_t &child_byte_offset,
2461 uint32_t &child_bitfield_bit_size,
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002462 uint32_t &child_bitfield_bit_offset,
Greg Claytone221f822011-01-21 01:59:00 +00002463 bool &child_is_base_class,
2464 bool &child_is_deref_of_parent
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002465)
2466{
2467 if (parent_clang_type)
2468
Jim Inghamd555bac2011-06-24 22:03:24 +00002469 return GetChildClangTypeAtIndex (exe_ctx,
2470 getASTContext(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002471 parent_name,
2472 parent_clang_type,
2473 idx,
2474 transparent_pointers,
2475 omit_empty_base_classes,
2476 child_name,
2477 child_byte_size,
2478 child_byte_offset,
2479 child_bitfield_bit_size,
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002480 child_bitfield_bit_offset,
Greg Claytone221f822011-01-21 01:59:00 +00002481 child_is_base_class,
2482 child_is_deref_of_parent);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002483 return NULL;
2484}
2485
Greg Clayton1be10fc2010-09-29 01:12:09 +00002486clang_type_t
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002487ClangASTContext::GetChildClangTypeAtIndex
2488(
Jim Inghamd555bac2011-06-24 22:03:24 +00002489 ExecutionContext *exe_ctx,
Greg Clayton6beaaa62011-01-17 03:46:26 +00002490 ASTContext *ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002491 const char *parent_name,
Greg Clayton1be10fc2010-09-29 01:12:09 +00002492 clang_type_t parent_clang_type,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002493 uint32_t idx,
2494 bool transparent_pointers,
2495 bool omit_empty_base_classes,
2496 std::string& child_name,
2497 uint32_t &child_byte_size,
2498 int32_t &child_byte_offset,
2499 uint32_t &child_bitfield_bit_size,
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002500 uint32_t &child_bitfield_bit_offset,
Greg Claytone221f822011-01-21 01:59:00 +00002501 bool &child_is_base_class,
2502 bool &child_is_deref_of_parent
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002503)
2504{
2505 if (parent_clang_type == NULL)
2506 return NULL;
2507
Greg Clayton6beaaa62011-01-17 03:46:26 +00002508 if (idx < ClangASTContext::GetNumChildren (ast, parent_clang_type, omit_empty_base_classes))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002509 {
2510 uint32_t bit_offset;
2511 child_bitfield_bit_size = 0;
2512 child_bitfield_bit_offset = 0;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002513 child_is_base_class = false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002514 QualType parent_qual_type(QualType::getFromOpaquePtr(parent_clang_type));
Greg Clayton737b9322010-09-13 03:32:57 +00002515 const clang::Type::TypeClass parent_type_class = parent_qual_type->getTypeClass();
2516 switch (parent_type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002517 {
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002518 case clang::Type::Builtin:
2519 switch (cast<clang::BuiltinType>(parent_qual_type)->getKind())
2520 {
2521 case clang::BuiltinType::ObjCId:
2522 case clang::BuiltinType::ObjCClass:
Sean Callanana2424172010-10-25 00:29:48 +00002523 child_name = "isa";
Greg Clayton6beaaa62011-01-17 03:46:26 +00002524 child_byte_size = ast->getTypeSize(ast->ObjCBuiltinClassTy) / CHAR_BIT;
2525 return ast->ObjCBuiltinClassTy.getAsOpaquePtr();
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002526
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002527 default:
2528 break;
2529 }
2530 break;
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002531
Greg Claytone1a916a2010-07-21 22:12:05 +00002532 case clang::Type::Record:
Greg Claytonc432c192011-01-20 04:18:48 +00002533 if (GetCompleteQualType (ast, parent_qual_type))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002534 {
2535 const RecordType *record_type = cast<RecordType>(parent_qual_type.getTypePtr());
2536 const RecordDecl *record_decl = record_type->getDecl();
2537 assert(record_decl);
Greg Clayton6beaaa62011-01-17 03:46:26 +00002538 const ASTRecordLayout &record_layout = ast->getASTRecordLayout(record_decl);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002539 uint32_t child_idx = 0;
2540
2541 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2542 if (cxx_record_decl)
2543 {
2544 // We might have base classes to print out first
2545 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2546 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2547 base_class != base_class_end;
2548 ++base_class)
2549 {
2550 const CXXRecordDecl *base_class_decl = NULL;
2551
2552 // Skip empty base classes
2553 if (omit_empty_base_classes)
2554 {
2555 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2556 if (RecordHasFields(base_class_decl) == false)
2557 continue;
2558 }
2559
2560 if (idx == child_idx)
2561 {
2562 if (base_class_decl == NULL)
2563 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2564
2565
2566 if (base_class->isVirtual())
Greg Clayton6ed95942011-01-22 07:12:45 +00002567 bit_offset = record_layout.getVBaseClassOffset(base_class_decl).getQuantity() * 8;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002568 else
Greg Clayton6ed95942011-01-22 07:12:45 +00002569 bit_offset = record_layout.getBaseClassOffset(base_class_decl).getQuantity() * 8;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002570
2571 // Base classes should be a multiple of 8 bits in size
2572 assert (bit_offset % 8 == 0);
2573 child_byte_offset = bit_offset/8;
2574 std::string base_class_type_name(base_class->getType().getAsString());
2575
2576 child_name.assign(base_class_type_name.c_str());
2577
Greg Clayton6beaaa62011-01-17 03:46:26 +00002578 uint64_t clang_type_info_bit_size = ast->getTypeSize(base_class->getType());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002579
Jim Inghamf46b3382011-04-15 23:42:06 +00002580 // Base classes bit sizes should be a multiple of 8 bits in size
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002581 assert (clang_type_info_bit_size % 8 == 0);
2582 child_byte_size = clang_type_info_bit_size / 8;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002583 child_is_base_class = true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002584 return base_class->getType().getAsOpaquePtr();
2585 }
2586 // We don't increment the child index in the for loop since we might
2587 // be skipping empty base classes
2588 ++child_idx;
2589 }
2590 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002591 // Make sure index is in range...
2592 uint32_t field_idx = 0;
2593 RecordDecl::field_iterator field, field_end;
2594 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field, ++field_idx, ++child_idx)
2595 {
2596 if (idx == child_idx)
2597 {
2598 // Print the member type if requested
2599 // Print the member name and equal sign
2600 child_name.assign(field->getNameAsString().c_str());
2601
2602 // Figure out the type byte size (field_type_info.first) and
2603 // alignment (field_type_info.second) from the AST context.
Greg Clayton6beaaa62011-01-17 03:46:26 +00002604 std::pair<uint64_t, unsigned> field_type_info = ast->getTypeInfo(field->getType());
Greg Claytonc982c762010-07-09 20:39:50 +00002605 assert(field_idx < record_layout.getFieldCount());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002606
2607 child_byte_size = field_type_info.first / 8;
2608
2609 // Figure out the field offset within the current struct/union/class type
2610 bit_offset = record_layout.getFieldOffset (field_idx);
2611 child_byte_offset = bit_offset / 8;
Greg Clayton6beaaa62011-01-17 03:46:26 +00002612 if (ClangASTContext::FieldIsBitfield (ast, *field, child_bitfield_bit_size))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002613 child_bitfield_bit_offset = bit_offset % 8;
2614
2615 return field->getType().getAsOpaquePtr();
2616 }
2617 }
2618 }
2619 break;
2620
Greg Clayton9e409562010-07-28 02:04:09 +00002621 case clang::Type::ObjCObject:
2622 case clang::Type::ObjCInterface:
Greg Claytonc432c192011-01-20 04:18:48 +00002623 if (GetCompleteQualType (ast, parent_qual_type))
Greg Clayton9e409562010-07-28 02:04:09 +00002624 {
Sean Callanan78e37602011-01-27 04:42:51 +00002625 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(parent_qual_type.getTypePtr());
Greg Clayton9e409562010-07-28 02:04:09 +00002626 assert (objc_class_type);
2627 if (objc_class_type)
2628 {
2629 uint32_t child_idx = 0;
2630 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2631
2632 if (class_interface_decl)
2633 {
2634
Greg Clayton6beaaa62011-01-17 03:46:26 +00002635 const ASTRecordLayout &interface_layout = ast->getASTObjCInterfaceLayout(class_interface_decl);
Greg Clayton9e409562010-07-28 02:04:09 +00002636 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2637 if (superclass_interface_decl)
2638 {
2639 if (omit_empty_base_classes)
2640 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00002641 if (ClangASTContext::GetNumChildren(ast, ast->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(), omit_empty_base_classes) > 0)
Greg Clayton9e409562010-07-28 02:04:09 +00002642 {
2643 if (idx == 0)
2644 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00002645 QualType ivar_qual_type(ast->getObjCInterfaceType(superclass_interface_decl));
Greg Clayton9e409562010-07-28 02:04:09 +00002646
2647
2648 child_name.assign(superclass_interface_decl->getNameAsString().c_str());
2649
Greg Clayton6beaaa62011-01-17 03:46:26 +00002650 std::pair<uint64_t, unsigned> ivar_type_info = ast->getTypeInfo(ivar_qual_type.getTypePtr());
Greg Clayton9e409562010-07-28 02:04:09 +00002651
2652 child_byte_size = ivar_type_info.first / 8;
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002653 child_byte_offset = 0;
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002654 child_is_base_class = true;
Greg Clayton9e409562010-07-28 02:04:09 +00002655
2656 return ivar_qual_type.getAsOpaquePtr();
2657 }
2658
2659 ++child_idx;
2660 }
2661 }
2662 else
2663 ++child_idx;
2664 }
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002665
2666 const uint32_t superclass_idx = child_idx;
Greg Clayton9e409562010-07-28 02:04:09 +00002667
2668 if (idx < (child_idx + class_interface_decl->ivar_size()))
2669 {
2670 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2671
2672 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
2673 {
2674 if (child_idx == idx)
2675 {
2676 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2677
2678 QualType ivar_qual_type(ivar_decl->getType());
2679
2680 child_name.assign(ivar_decl->getNameAsString().c_str());
2681
Greg Clayton6beaaa62011-01-17 03:46:26 +00002682 std::pair<uint64_t, unsigned> ivar_type_info = ast->getTypeInfo(ivar_qual_type.getTypePtr());
Greg Clayton9e409562010-07-28 02:04:09 +00002683
2684 child_byte_size = ivar_type_info.first / 8;
2685
2686 // Figure out the field offset within the current struct/union/class type
Jim Inghamd555bac2011-06-24 22:03:24 +00002687 // For ObjC objects, we can't trust the bit offset we get from the Clang AST, since
2688 // that doesn't account for the space taken up by unbacked properties, or from
2689 // the changing size of base classes that are newer than this class.
2690 // So if we have a process around that we can ask about this object, do so.
2691 child_byte_offset = LLDB_INVALID_IVAR_OFFSET;
2692
2693 if (exe_ctx && exe_ctx->process)
2694 {
2695 ObjCLanguageRuntime *objc_runtime = exe_ctx->process->GetObjCLanguageRuntime();
2696 if (objc_runtime != NULL)
2697 {
2698 ClangASTType parent_ast_type (parent_qual_type.getAsOpaquePtr(), ast);
2699 child_byte_offset = objc_runtime->GetByteOffsetForIvar (parent_ast_type, ivar_decl->getNameAsString().c_str());
2700 }
2701 }
2702
2703 if (child_byte_offset == LLDB_INVALID_IVAR_OFFSET)
2704 {
2705 bit_offset = interface_layout.getFieldOffset (child_idx - superclass_idx);
2706 child_byte_offset = bit_offset / 8;
2707 }
Greg Clayton9e409562010-07-28 02:04:09 +00002708
2709 return ivar_qual_type.getAsOpaquePtr();
2710 }
2711 ++child_idx;
2712 }
2713 }
2714 }
2715 }
2716 }
2717 break;
2718
2719 case clang::Type::ObjCObjectPointer:
2720 {
Sean Callanan78e37602011-01-27 04:42:51 +00002721 const ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(parent_qual_type.getTypePtr());
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002722 QualType pointee_type = pointer_type->getPointeeType();
2723
2724 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2725 {
Greg Claytone221f822011-01-21 01:59:00 +00002726 child_is_deref_of_parent = false;
2727 bool tmp_child_is_deref_of_parent = false;
Jim Inghamd555bac2011-06-24 22:03:24 +00002728 return GetChildClangTypeAtIndex (exe_ctx,
2729 ast,
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002730 parent_name,
2731 pointer_type->getPointeeType().getAsOpaquePtr(),
2732 idx,
2733 transparent_pointers,
2734 omit_empty_base_classes,
2735 child_name,
2736 child_byte_size,
2737 child_byte_offset,
2738 child_bitfield_bit_size,
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002739 child_bitfield_bit_offset,
Greg Claytone221f822011-01-21 01:59:00 +00002740 child_is_base_class,
2741 tmp_child_is_deref_of_parent);
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002742 }
2743 else
2744 {
Greg Claytone221f822011-01-21 01:59:00 +00002745 child_is_deref_of_parent = true;
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002746 if (parent_name)
2747 {
2748 child_name.assign(1, '*');
2749 child_name += parent_name;
2750 }
2751
2752 // We have a pointer to an simple type
2753 if (idx == 0)
2754 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00002755 std::pair<uint64_t, unsigned> clang_type_info = ast->getTypeInfo(pointee_type);
Greg Claytonb0b9fe62010-08-03 00:35:52 +00002756 assert(clang_type_info.first % 8 == 0);
2757 child_byte_size = clang_type_info.first / 8;
2758 child_byte_offset = 0;
2759 return pointee_type.getAsOpaquePtr();
2760 }
2761 }
Greg Clayton9e409562010-07-28 02:04:09 +00002762 }
2763 break;
2764
Greg Claytone1a916a2010-07-21 22:12:05 +00002765 case clang::Type::ConstantArray:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002766 {
2767 const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2768 const uint64_t element_count = array->getSize().getLimitedValue();
2769
2770 if (idx < element_count)
2771 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00002772 if (GetCompleteQualType (ast, array->getElementType()))
2773 {
2774 std::pair<uint64_t, unsigned> field_type_info = ast->getTypeInfo(array->getElementType());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002775
Greg Clayton6beaaa62011-01-17 03:46:26 +00002776 char element_name[64];
2777 ::snprintf (element_name, sizeof (element_name), "[%u]", idx);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002778
Greg Clayton6beaaa62011-01-17 03:46:26 +00002779 child_name.assign(element_name);
2780 assert(field_type_info.first % 8 == 0);
2781 child_byte_size = field_type_info.first / 8;
2782 child_byte_offset = idx * child_byte_size;
2783 return array->getElementType().getAsOpaquePtr();
2784 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002785 }
2786 }
2787 break;
2788
Greg Claytone1a916a2010-07-21 22:12:05 +00002789 case clang::Type::Pointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002790 {
Sean Callanan78e37602011-01-27 04:42:51 +00002791 const PointerType *pointer_type = cast<PointerType>(parent_qual_type.getTypePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002792 QualType pointee_type = pointer_type->getPointeeType();
Greg Clayton97a43712011-01-08 22:26:47 +00002793
2794 // Don't dereference "void *" pointers
2795 if (pointee_type->isVoidType())
2796 return NULL;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002797
2798 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2799 {
Greg Claytone221f822011-01-21 01:59:00 +00002800 child_is_deref_of_parent = false;
2801 bool tmp_child_is_deref_of_parent = false;
Jim Inghamd555bac2011-06-24 22:03:24 +00002802 return GetChildClangTypeAtIndex (exe_ctx,
2803 ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002804 parent_name,
2805 pointer_type->getPointeeType().getAsOpaquePtr(),
2806 idx,
2807 transparent_pointers,
2808 omit_empty_base_classes,
2809 child_name,
2810 child_byte_size,
2811 child_byte_offset,
2812 child_bitfield_bit_size,
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002813 child_bitfield_bit_offset,
Greg Claytone221f822011-01-21 01:59:00 +00002814 child_is_base_class,
2815 tmp_child_is_deref_of_parent);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002816 }
2817 else
2818 {
Greg Claytone221f822011-01-21 01:59:00 +00002819 child_is_deref_of_parent = true;
2820
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002821 if (parent_name)
2822 {
2823 child_name.assign(1, '*');
2824 child_name += parent_name;
2825 }
2826
2827 // We have a pointer to an simple type
2828 if (idx == 0)
2829 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00002830 std::pair<uint64_t, unsigned> clang_type_info = ast->getTypeInfo(pointee_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002831 assert(clang_type_info.first % 8 == 0);
2832 child_byte_size = clang_type_info.first / 8;
2833 child_byte_offset = 0;
2834 return pointee_type.getAsOpaquePtr();
2835 }
2836 }
2837 }
2838 break;
2839
Greg Clayton73b472d2010-10-27 03:32:59 +00002840 case clang::Type::LValueReference:
2841 case clang::Type::RValueReference:
2842 {
Sean Callanan78e37602011-01-27 04:42:51 +00002843 const ReferenceType *reference_type = cast<ReferenceType>(parent_qual_type.getTypePtr());
Greg Clayton73b472d2010-10-27 03:32:59 +00002844 QualType pointee_type(reference_type->getPointeeType());
2845 clang_type_t pointee_clang_type = pointee_type.getAsOpaquePtr();
2846 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_clang_type))
2847 {
Greg Claytone221f822011-01-21 01:59:00 +00002848 child_is_deref_of_parent = false;
2849 bool tmp_child_is_deref_of_parent = false;
Jim Inghamd555bac2011-06-24 22:03:24 +00002850 return GetChildClangTypeAtIndex (exe_ctx,
2851 ast,
Greg Clayton73b472d2010-10-27 03:32:59 +00002852 parent_name,
2853 pointee_clang_type,
2854 idx,
2855 transparent_pointers,
2856 omit_empty_base_classes,
2857 child_name,
2858 child_byte_size,
2859 child_byte_offset,
2860 child_bitfield_bit_size,
2861 child_bitfield_bit_offset,
Greg Claytone221f822011-01-21 01:59:00 +00002862 child_is_base_class,
2863 tmp_child_is_deref_of_parent);
Greg Clayton73b472d2010-10-27 03:32:59 +00002864 }
2865 else
2866 {
2867 if (parent_name)
2868 {
2869 child_name.assign(1, '&');
2870 child_name += parent_name;
2871 }
2872
2873 // We have a pointer to an simple type
2874 if (idx == 0)
2875 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00002876 std::pair<uint64_t, unsigned> clang_type_info = ast->getTypeInfo(pointee_type);
Greg Clayton73b472d2010-10-27 03:32:59 +00002877 assert(clang_type_info.first % 8 == 0);
2878 child_byte_size = clang_type_info.first / 8;
2879 child_byte_offset = 0;
2880 return pointee_type.getAsOpaquePtr();
2881 }
2882 }
2883 }
2884 break;
2885
Greg Claytone1a916a2010-07-21 22:12:05 +00002886 case clang::Type::Typedef:
Jim Inghamd555bac2011-06-24 22:03:24 +00002887 return GetChildClangTypeAtIndex (exe_ctx,
2888 ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002889 parent_name,
Sean Callanan48114472010-12-13 01:26:27 +00002890 cast<TypedefType>(parent_qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002891 idx,
2892 transparent_pointers,
2893 omit_empty_base_classes,
2894 child_name,
2895 child_byte_size,
2896 child_byte_offset,
2897 child_bitfield_bit_size,
Greg Clayton8f92f0a2010-10-14 22:52:14 +00002898 child_bitfield_bit_offset,
Greg Claytone221f822011-01-21 01:59:00 +00002899 child_is_base_class,
2900 child_is_deref_of_parent);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002901 break;
2902
2903 default:
2904 break;
2905 }
2906 }
Greg Clayton19503a22010-07-23 15:37:46 +00002907 return NULL;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002908}
2909
2910static inline bool
2911BaseSpecifierIsEmpty (const CXXBaseSpecifier *b)
2912{
Greg Clayton6beaaa62011-01-17 03:46:26 +00002913 return ClangASTContext::RecordHasFields(b->getType()->getAsCXXRecordDecl()) == false;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00002914}
2915
2916static uint32_t
2917GetNumBaseClasses (const CXXRecordDecl *cxx_record_decl, bool omit_empty_base_classes)
2918{
2919 uint32_t num_bases = 0;
2920 if (cxx_record_decl)
2921 {
2922 if (omit_empty_base_classes)
2923 {
2924 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2925 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2926 base_class != base_class_end;
2927 ++base_class)
2928 {
2929 // Skip empty base classes
2930 if (omit_empty_base_classes)
2931 {
2932 if (BaseSpecifierIsEmpty (base_class))
2933 continue;
2934 }
2935 ++num_bases;
2936 }
2937 }
2938 else
2939 num_bases = cxx_record_decl->getNumBases();
2940 }
2941 return num_bases;
2942}
2943
2944
2945static uint32_t
2946GetIndexForRecordBase
2947(
2948 const RecordDecl *record_decl,
2949 const CXXBaseSpecifier *base_spec,
2950 bool omit_empty_base_classes
2951)
2952{
2953 uint32_t child_idx = 0;
2954
2955 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2956
2957// const char *super_name = record_decl->getNameAsCString();
2958// const char *base_name = base_spec->getType()->getAs<RecordType>()->getDecl()->getNameAsCString();
2959// printf ("GetIndexForRecordChild (%s, %s)\n", super_name, base_name);
2960//
2961 if (cxx_record_decl)
2962 {
2963 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2964 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2965 base_class != base_class_end;
2966 ++base_class)
2967 {
2968 if (omit_empty_base_classes)
2969 {
2970 if (BaseSpecifierIsEmpty (base_class))
2971 continue;
2972 }
2973
2974// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n", super_name, base_name,
2975// child_idx,
2976// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2977//
2978//
2979 if (base_class == base_spec)
2980 return child_idx;
2981 ++child_idx;
2982 }
2983 }
2984
2985 return UINT32_MAX;
2986}
2987
2988
2989static uint32_t
2990GetIndexForRecordChild
2991(
2992 const RecordDecl *record_decl,
2993 NamedDecl *canonical_decl,
2994 bool omit_empty_base_classes
2995)
2996{
2997 uint32_t child_idx = GetNumBaseClasses (dyn_cast<CXXRecordDecl>(record_decl), omit_empty_base_classes);
2998
2999// const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
3000//
3001//// printf ("GetIndexForRecordChild (%s, %s)\n", record_decl->getNameAsCString(), canonical_decl->getNameAsCString());
3002// if (cxx_record_decl)
3003// {
3004// CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
3005// for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
3006// base_class != base_class_end;
3007// ++base_class)
3008// {
3009// if (omit_empty_base_classes)
3010// {
3011// if (BaseSpecifierIsEmpty (base_class))
3012// continue;
3013// }
3014//
3015//// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n",
3016//// record_decl->getNameAsCString(),
3017//// canonical_decl->getNameAsCString(),
3018//// child_idx,
3019//// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
3020//
3021//
3022// CXXRecordDecl *curr_base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
3023// if (curr_base_class_decl == canonical_decl)
3024// {
3025// return child_idx;
3026// }
3027// ++child_idx;
3028// }
3029// }
3030//
3031// const uint32_t num_bases = child_idx;
3032 RecordDecl::field_iterator field, field_end;
3033 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
3034 field != field_end;
3035 ++field, ++child_idx)
3036 {
3037// printf ("GetIndexForRecordChild (%s, %s) field[%u] = %s\n",
3038// record_decl->getNameAsCString(),
3039// canonical_decl->getNameAsCString(),
3040// child_idx - num_bases,
3041// field->getNameAsCString());
3042
3043 if (field->getCanonicalDecl() == canonical_decl)
3044 return child_idx;
3045 }
3046
3047 return UINT32_MAX;
3048}
3049
3050// Look for a child member (doesn't include base classes, but it does include
3051// their members) in the type hierarchy. Returns an index path into "clang_type"
3052// on how to reach the appropriate member.
3053//
3054// class A
3055// {
3056// public:
3057// int m_a;
3058// int m_b;
3059// };
3060//
3061// class B
3062// {
3063// };
3064//
3065// class C :
3066// public B,
3067// public A
3068// {
3069// };
3070//
3071// If we have a clang type that describes "class C", and we wanted to looked
3072// "m_b" in it:
3073//
3074// With omit_empty_base_classes == false we would get an integer array back with:
3075// { 1, 1 }
3076// The first index 1 is the child index for "class A" within class C
3077// The second index 1 is the child index for "m_b" within class A
3078//
3079// With omit_empty_base_classes == true we would get an integer array back with:
3080// { 0, 1 }
3081// The first index 0 is the child index for "class A" within class C (since class B doesn't have any members it doesn't count)
3082// The second index 1 is the child index for "m_b" within class A
3083
3084size_t
3085ClangASTContext::GetIndexOfChildMemberWithName
3086(
Greg Clayton6beaaa62011-01-17 03:46:26 +00003087 ASTContext *ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +00003088 clang_type_t clang_type,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003089 const char *name,
3090 bool omit_empty_base_classes,
3091 std::vector<uint32_t>& child_indexes
3092)
3093{
3094 if (clang_type && name && name[0])
3095 {
3096 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton737b9322010-09-13 03:32:57 +00003097 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3098 switch (type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003099 {
Greg Claytone1a916a2010-07-21 22:12:05 +00003100 case clang::Type::Record:
Greg Claytonc432c192011-01-20 04:18:48 +00003101 if (GetCompleteQualType (ast, qual_type))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003102 {
3103 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
3104 const RecordDecl *record_decl = record_type->getDecl();
3105
3106 assert(record_decl);
3107 uint32_t child_idx = 0;
3108
3109 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
3110
3111 // Try and find a field that matches NAME
3112 RecordDecl::field_iterator field, field_end;
3113 StringRef name_sref(name);
3114 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
3115 field != field_end;
3116 ++field, ++child_idx)
3117 {
3118 if (field->getName().equals (name_sref))
3119 {
3120 // We have to add on the number of base classes to this index!
3121 child_indexes.push_back (child_idx + GetNumBaseClasses (cxx_record_decl, omit_empty_base_classes));
3122 return child_indexes.size();
3123 }
3124 }
3125
3126 if (cxx_record_decl)
3127 {
3128 const RecordDecl *parent_record_decl = cxx_record_decl;
3129
3130 //printf ("parent = %s\n", parent_record_decl->getNameAsCString());
3131
3132 //const Decl *root_cdecl = cxx_record_decl->getCanonicalDecl();
3133 // Didn't find things easily, lets let clang do its thang...
Greg Clayton6beaaa62011-01-17 03:46:26 +00003134 IdentifierInfo & ident_ref = ast->Idents.get(name, name + strlen (name));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003135 DeclarationName decl_name(&ident_ref);
3136
3137 CXXBasePaths paths;
3138 if (cxx_record_decl->lookupInBases(CXXRecordDecl::FindOrdinaryMember,
3139 decl_name.getAsOpaquePtr(),
3140 paths))
3141 {
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003142 CXXBasePaths::const_paths_iterator path, path_end = paths.end();
3143 for (path = paths.begin(); path != path_end; ++path)
3144 {
3145 const size_t num_path_elements = path->size();
3146 for (size_t e=0; e<num_path_elements; ++e)
3147 {
3148 CXXBasePathElement elem = (*path)[e];
3149
3150 child_idx = GetIndexForRecordBase (parent_record_decl, elem.Base, omit_empty_base_classes);
3151 if (child_idx == UINT32_MAX)
3152 {
3153 child_indexes.clear();
3154 return 0;
3155 }
3156 else
3157 {
3158 child_indexes.push_back (child_idx);
3159 parent_record_decl = cast<RecordDecl>(elem.Base->getType()->getAs<RecordType>()->getDecl());
3160 }
3161 }
3162 DeclContext::lookup_iterator named_decl_pos;
3163 for (named_decl_pos = path->Decls.first;
3164 named_decl_pos != path->Decls.second && parent_record_decl;
3165 ++named_decl_pos)
3166 {
3167 //printf ("path[%zu] = %s\n", child_indexes.size(), (*named_decl_pos)->getNameAsCString());
3168
3169 child_idx = GetIndexForRecordChild (parent_record_decl, *named_decl_pos, omit_empty_base_classes);
3170 if (child_idx == UINT32_MAX)
3171 {
3172 child_indexes.clear();
3173 return 0;
3174 }
3175 else
3176 {
3177 child_indexes.push_back (child_idx);
3178 }
3179 }
3180 }
3181 return child_indexes.size();
3182 }
3183 }
3184
3185 }
3186 break;
3187
Greg Clayton9e409562010-07-28 02:04:09 +00003188 case clang::Type::ObjCObject:
3189 case clang::Type::ObjCInterface:
Greg Claytonc432c192011-01-20 04:18:48 +00003190 if (GetCompleteQualType (ast, qual_type))
Greg Clayton9e409562010-07-28 02:04:09 +00003191 {
3192 StringRef name_sref(name);
Sean Callanan78e37602011-01-27 04:42:51 +00003193 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
Greg Clayton9e409562010-07-28 02:04:09 +00003194 assert (objc_class_type);
3195 if (objc_class_type)
3196 {
3197 uint32_t child_idx = 0;
3198 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
3199
3200 if (class_interface_decl)
3201 {
3202 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
3203 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
3204
Greg Clayton6ba78152010-09-18 02:11:07 +00003205 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos, ++child_idx)
Greg Clayton9e409562010-07-28 02:04:09 +00003206 {
3207 const ObjCIvarDecl* ivar_decl = *ivar_pos;
3208
3209 if (ivar_decl->getName().equals (name_sref))
3210 {
3211 if ((!omit_empty_base_classes && superclass_interface_decl) ||
3212 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
3213 ++child_idx;
3214
3215 child_indexes.push_back (child_idx);
3216 return child_indexes.size();
3217 }
3218 }
3219
3220 if (superclass_interface_decl)
3221 {
3222 // The super class index is always zero for ObjC classes,
3223 // so we push it onto the child indexes in case we find
3224 // an ivar in our superclass...
3225 child_indexes.push_back (0);
3226
Greg Clayton6beaaa62011-01-17 03:46:26 +00003227 if (GetIndexOfChildMemberWithName (ast,
3228 ast->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(),
Greg Clayton9e409562010-07-28 02:04:09 +00003229 name,
3230 omit_empty_base_classes,
3231 child_indexes))
3232 {
3233 // We did find an ivar in a superclass so just
3234 // return the results!
3235 return child_indexes.size();
3236 }
3237
3238 // We didn't find an ivar matching "name" in our
3239 // superclass, pop the superclass zero index that
3240 // we pushed on above.
3241 child_indexes.pop_back();
3242 }
3243 }
3244 }
3245 }
3246 break;
3247
3248 case clang::Type::ObjCObjectPointer:
3249 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003250 return GetIndexOfChildMemberWithName (ast,
Greg Clayton9e409562010-07-28 02:04:09 +00003251 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
3252 name,
3253 omit_empty_base_classes,
3254 child_indexes);
3255 }
3256 break;
3257
3258
Greg Claytone1a916a2010-07-21 22:12:05 +00003259 case clang::Type::ConstantArray:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003260 {
3261// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
3262// const uint64_t element_count = array->getSize().getLimitedValue();
3263//
3264// if (idx < element_count)
3265// {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003266// std::pair<uint64_t, unsigned> field_type_info = ast->getTypeInfo(array->getElementType());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003267//
3268// char element_name[32];
3269// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
3270//
3271// child_name.assign(element_name);
3272// assert(field_type_info.first % 8 == 0);
3273// child_byte_size = field_type_info.first / 8;
3274// child_byte_offset = idx * child_byte_size;
3275// return array->getElementType().getAsOpaquePtr();
3276// }
3277 }
3278 break;
3279
Greg Claytone1a916a2010-07-21 22:12:05 +00003280// case clang::Type::MemberPointerType:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003281// {
3282// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
3283// QualType pointee_type = mem_ptr_type->getPointeeType();
3284//
3285// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3286// {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003287// return GetIndexOfChildWithName (ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003288// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
3289// name);
3290// }
3291// }
3292// break;
3293//
Greg Claytone1a916a2010-07-21 22:12:05 +00003294 case clang::Type::LValueReference:
3295 case clang::Type::RValueReference:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003296 {
Sean Callanan78e37602011-01-27 04:42:51 +00003297 const ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003298 QualType pointee_type = reference_type->getPointeeType();
3299
3300 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3301 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003302 return GetIndexOfChildMemberWithName (ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003303 reference_type->getPointeeType().getAsOpaquePtr(),
3304 name,
3305 omit_empty_base_classes,
3306 child_indexes);
3307 }
3308 }
3309 break;
3310
Greg Claytone1a916a2010-07-21 22:12:05 +00003311 case clang::Type::Pointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003312 {
Sean Callanan78e37602011-01-27 04:42:51 +00003313 const PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003314 QualType pointee_type = pointer_type->getPointeeType();
3315
3316 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3317 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003318 return GetIndexOfChildMemberWithName (ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003319 pointer_type->getPointeeType().getAsOpaquePtr(),
3320 name,
3321 omit_empty_base_classes,
3322 child_indexes);
3323 }
3324 else
3325 {
3326// if (parent_name)
3327// {
3328// child_name.assign(1, '*');
3329// child_name += parent_name;
3330// }
3331//
3332// // We have a pointer to an simple type
3333// if (idx == 0)
3334// {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003335// std::pair<uint64_t, unsigned> clang_type_info = ast->getTypeInfo(pointee_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003336// assert(clang_type_info.first % 8 == 0);
3337// child_byte_size = clang_type_info.first / 8;
3338// child_byte_offset = 0;
3339// return pointee_type.getAsOpaquePtr();
3340// }
3341 }
3342 }
3343 break;
3344
Greg Claytone1a916a2010-07-21 22:12:05 +00003345 case clang::Type::Typedef:
Greg Clayton6beaaa62011-01-17 03:46:26 +00003346 return GetIndexOfChildMemberWithName (ast,
Sean Callanan48114472010-12-13 01:26:27 +00003347 cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003348 name,
3349 omit_empty_base_classes,
3350 child_indexes);
3351
3352 default:
3353 break;
3354 }
3355 }
3356 return 0;
3357}
3358
3359
3360// Get the index of the child of "clang_type" whose name matches. This function
3361// doesn't descend into the children, but only looks one level deep and name
3362// matches can include base class names.
3363
3364uint32_t
3365ClangASTContext::GetIndexOfChildWithName
3366(
Greg Clayton6beaaa62011-01-17 03:46:26 +00003367 ASTContext *ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +00003368 clang_type_t clang_type,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003369 const char *name,
3370 bool omit_empty_base_classes
3371)
3372{
3373 if (clang_type && name && name[0])
3374 {
3375 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton9e409562010-07-28 02:04:09 +00003376
Greg Clayton737b9322010-09-13 03:32:57 +00003377 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
Greg Clayton9e409562010-07-28 02:04:09 +00003378
Greg Clayton737b9322010-09-13 03:32:57 +00003379 switch (type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003380 {
Greg Claytone1a916a2010-07-21 22:12:05 +00003381 case clang::Type::Record:
Greg Claytonc432c192011-01-20 04:18:48 +00003382 if (GetCompleteQualType (ast, qual_type))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003383 {
3384 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
3385 const RecordDecl *record_decl = record_type->getDecl();
3386
3387 assert(record_decl);
3388 uint32_t child_idx = 0;
3389
3390 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
3391
3392 if (cxx_record_decl)
3393 {
3394 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
3395 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
3396 base_class != base_class_end;
3397 ++base_class)
3398 {
3399 // Skip empty base classes
3400 CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
3401 if (omit_empty_base_classes && RecordHasFields(base_class_decl) == false)
3402 continue;
3403
3404 if (base_class->getType().getAsString().compare (name) == 0)
3405 return child_idx;
3406 ++child_idx;
3407 }
3408 }
3409
3410 // Try and find a field that matches NAME
3411 RecordDecl::field_iterator field, field_end;
3412 StringRef name_sref(name);
3413 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
3414 field != field_end;
3415 ++field, ++child_idx)
3416 {
3417 if (field->getName().equals (name_sref))
3418 return child_idx;
3419 }
3420
3421 }
3422 break;
3423
Greg Clayton9e409562010-07-28 02:04:09 +00003424 case clang::Type::ObjCObject:
3425 case clang::Type::ObjCInterface:
Greg Claytonc432c192011-01-20 04:18:48 +00003426 if (GetCompleteQualType (ast, qual_type))
Greg Clayton9e409562010-07-28 02:04:09 +00003427 {
3428 StringRef name_sref(name);
Sean Callanan78e37602011-01-27 04:42:51 +00003429 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
Greg Clayton9e409562010-07-28 02:04:09 +00003430 assert (objc_class_type);
3431 if (objc_class_type)
3432 {
3433 uint32_t child_idx = 0;
3434 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
3435
3436 if (class_interface_decl)
3437 {
3438 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
3439 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
3440
3441 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
3442 {
3443 const ObjCIvarDecl* ivar_decl = *ivar_pos;
3444
3445 if (ivar_decl->getName().equals (name_sref))
3446 {
3447 if ((!omit_empty_base_classes && superclass_interface_decl) ||
3448 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
3449 ++child_idx;
3450
3451 return child_idx;
3452 }
3453 }
3454
3455 if (superclass_interface_decl)
3456 {
3457 if (superclass_interface_decl->getName().equals (name_sref))
3458 return 0;
3459 }
3460 }
3461 }
3462 }
3463 break;
3464
3465 case clang::Type::ObjCObjectPointer:
3466 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003467 return GetIndexOfChildWithName (ast,
Greg Clayton9e409562010-07-28 02:04:09 +00003468 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
3469 name,
3470 omit_empty_base_classes);
3471 }
3472 break;
3473
Greg Claytone1a916a2010-07-21 22:12:05 +00003474 case clang::Type::ConstantArray:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003475 {
3476// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
3477// const uint64_t element_count = array->getSize().getLimitedValue();
3478//
3479// if (idx < element_count)
3480// {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003481// std::pair<uint64_t, unsigned> field_type_info = ast->getTypeInfo(array->getElementType());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003482//
3483// char element_name[32];
3484// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
3485//
3486// child_name.assign(element_name);
3487// assert(field_type_info.first % 8 == 0);
3488// child_byte_size = field_type_info.first / 8;
3489// child_byte_offset = idx * child_byte_size;
3490// return array->getElementType().getAsOpaquePtr();
3491// }
3492 }
3493 break;
3494
Greg Claytone1a916a2010-07-21 22:12:05 +00003495// case clang::Type::MemberPointerType:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003496// {
3497// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
3498// QualType pointee_type = mem_ptr_type->getPointeeType();
3499//
3500// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3501// {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003502// return GetIndexOfChildWithName (ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003503// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
3504// name);
3505// }
3506// }
3507// break;
3508//
Greg Claytone1a916a2010-07-21 22:12:05 +00003509 case clang::Type::LValueReference:
3510 case clang::Type::RValueReference:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003511 {
Sean Callanan78e37602011-01-27 04:42:51 +00003512 const ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003513 QualType pointee_type = reference_type->getPointeeType();
3514
3515 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3516 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003517 return GetIndexOfChildWithName (ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003518 reference_type->getPointeeType().getAsOpaquePtr(),
3519 name,
3520 omit_empty_base_classes);
3521 }
3522 }
3523 break;
3524
Greg Claytone1a916a2010-07-21 22:12:05 +00003525 case clang::Type::Pointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003526 {
Sean Callanan78e37602011-01-27 04:42:51 +00003527 const PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003528 QualType pointee_type = pointer_type->getPointeeType();
3529
3530 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3531 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003532 return GetIndexOfChildWithName (ast,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003533 pointer_type->getPointeeType().getAsOpaquePtr(),
3534 name,
3535 omit_empty_base_classes);
3536 }
3537 else
3538 {
3539// if (parent_name)
3540// {
3541// child_name.assign(1, '*');
3542// child_name += parent_name;
3543// }
3544//
3545// // We have a pointer to an simple type
3546// if (idx == 0)
3547// {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003548// std::pair<uint64_t, unsigned> clang_type_info = ast->getTypeInfo(pointee_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003549// assert(clang_type_info.first % 8 == 0);
3550// child_byte_size = clang_type_info.first / 8;
3551// child_byte_offset = 0;
3552// return pointee_type.getAsOpaquePtr();
3553// }
3554 }
3555 }
3556 break;
3557
Greg Claytone1a916a2010-07-21 22:12:05 +00003558 case clang::Type::Typedef:
Greg Clayton6beaaa62011-01-17 03:46:26 +00003559 return GetIndexOfChildWithName (ast,
Sean Callanan48114472010-12-13 01:26:27 +00003560 cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003561 name,
3562 omit_empty_base_classes);
3563
3564 default:
3565 break;
3566 }
3567 }
3568 return UINT32_MAX;
3569}
3570
3571#pragma mark TagType
3572
3573bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00003574ClangASTContext::SetTagTypeKind (clang_type_t tag_clang_type, int kind)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003575{
3576 if (tag_clang_type)
3577 {
3578 QualType tag_qual_type(QualType::getFromOpaquePtr(tag_clang_type));
Sean Callanan78e37602011-01-27 04:42:51 +00003579 const clang::Type *clang_type = tag_qual_type.getTypePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003580 if (clang_type)
3581 {
Sean Callanan78e37602011-01-27 04:42:51 +00003582 const TagType *tag_type = dyn_cast<TagType>(clang_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003583 if (tag_type)
3584 {
3585 TagDecl *tag_decl = dyn_cast<TagDecl>(tag_type->getDecl());
3586 if (tag_decl)
3587 {
3588 tag_decl->setTagKind ((TagDecl::TagKind)kind);
3589 return true;
3590 }
3591 }
3592 }
3593 }
3594 return false;
3595}
3596
3597
3598#pragma mark DeclContext Functions
3599
3600DeclContext *
Greg Clayton1be10fc2010-09-29 01:12:09 +00003601ClangASTContext::GetDeclContextForType (clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003602{
3603 if (clang_type == NULL)
3604 return NULL;
3605
3606 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton737b9322010-09-13 03:32:57 +00003607 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3608 switch (type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003609 {
Greg Clayton9e409562010-07-28 02:04:09 +00003610 case clang::Type::FunctionNoProto: break;
3611 case clang::Type::FunctionProto: break;
3612 case clang::Type::IncompleteArray: break;
3613 case clang::Type::VariableArray: break;
3614 case clang::Type::ConstantArray: break;
Sean Callananfb0b7582011-03-15 00:17:19 +00003615 case clang::Type::DependentSizedArray: break;
Greg Clayton9e409562010-07-28 02:04:09 +00003616 case clang::Type::ExtVector: break;
Sean Callananfb0b7582011-03-15 00:17:19 +00003617 case clang::Type::DependentSizedExtVector: break;
Greg Clayton9e409562010-07-28 02:04:09 +00003618 case clang::Type::Vector: break;
3619 case clang::Type::Builtin: break;
3620 case clang::Type::BlockPointer: break;
3621 case clang::Type::Pointer: break;
3622 case clang::Type::LValueReference: break;
3623 case clang::Type::RValueReference: break;
3624 case clang::Type::MemberPointer: break;
3625 case clang::Type::Complex: break;
3626 case clang::Type::ObjCObject: break;
3627 case clang::Type::ObjCInterface: return cast<ObjCObjectType>(qual_type.getTypePtr())->getInterface();
3628 case clang::Type::ObjCObjectPointer: return ClangASTContext::GetDeclContextForType (cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr());
3629 case clang::Type::Record: return cast<RecordType>(qual_type)->getDecl();
3630 case clang::Type::Enum: return cast<EnumType>(qual_type)->getDecl();
Sean Callanan48114472010-12-13 01:26:27 +00003631 case clang::Type::Typedef: return ClangASTContext::GetDeclContextForType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003632
Greg Clayton9e409562010-07-28 02:04:09 +00003633 case clang::Type::TypeOfExpr: break;
3634 case clang::Type::TypeOf: break;
3635 case clang::Type::Decltype: break;
3636 //case clang::Type::QualifiedName: break;
3637 case clang::Type::TemplateSpecialization: break;
Sean Callananfb0b7582011-03-15 00:17:19 +00003638 case clang::Type::DependentTemplateSpecialization: break;
3639 case clang::Type::TemplateTypeParm: break;
3640 case clang::Type::SubstTemplateTypeParm: break;
3641 case clang::Type::SubstTemplateTypeParmPack:break;
3642 case clang::Type::PackExpansion: break;
3643 case clang::Type::UnresolvedUsing: break;
3644 case clang::Type::Paren: break;
3645 case clang::Type::Elaborated: break;
3646 case clang::Type::Attributed: break;
3647 case clang::Type::Auto: break;
3648 case clang::Type::InjectedClassName: break;
3649 case clang::Type::DependentName: break;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003650 }
3651 // No DeclContext in this type...
3652 return NULL;
3653}
3654
3655#pragma mark Namespace Declarations
3656
3657NamespaceDecl *
3658ClangASTContext::GetUniqueNamespaceDeclaration (const char *name, const Declaration &decl, DeclContext *decl_ctx)
3659{
3660 // TODO: Do something intelligent with the Declaration object passed in
3661 // like maybe filling in the SourceLocation with it...
3662 if (name)
3663 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003664 ASTContext *ast = getASTContext();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003665 if (decl_ctx == NULL)
Greg Clayton6beaaa62011-01-17 03:46:26 +00003666 decl_ctx = ast->getTranslationUnitDecl();
Sean Callananfb0b7582011-03-15 00:17:19 +00003667 return NamespaceDecl::Create(*ast, decl_ctx, SourceLocation(), SourceLocation(), &ast->Idents.get(name));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003668 }
3669 return NULL;
3670}
3671
3672
3673#pragma mark Function Types
3674
3675FunctionDecl *
Greg Clayton1be10fc2010-09-29 01:12:09 +00003676ClangASTContext::CreateFunctionDeclaration (const char *name, clang_type_t function_clang_type, int storage, bool is_inline)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003677{
3678 if (name)
3679 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003680 ASTContext *ast = getASTContext();
3681 assert (ast != NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003682
3683 if (name && name[0])
3684 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003685 return FunctionDecl::Create(*ast,
3686 ast->getTranslationUnitDecl(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003687 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00003688 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00003689 DeclarationName (&ast->Idents.get(name)),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003690 QualType::getFromOpaquePtr(function_clang_type),
3691 NULL,
3692 (FunctionDecl::StorageClass)storage,
3693 (FunctionDecl::StorageClass)storage,
3694 is_inline);
3695 }
3696 else
3697 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003698 return FunctionDecl::Create(*ast,
3699 ast->getTranslationUnitDecl(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003700 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00003701 SourceLocation(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003702 DeclarationName (),
3703 QualType::getFromOpaquePtr(function_clang_type),
3704 NULL,
3705 (FunctionDecl::StorageClass)storage,
3706 (FunctionDecl::StorageClass)storage,
3707 is_inline);
3708 }
3709 }
3710 return NULL;
3711}
3712
Greg Clayton1be10fc2010-09-29 01:12:09 +00003713clang_type_t
Greg Clayton6beaaa62011-01-17 03:46:26 +00003714ClangASTContext::CreateFunctionType (ASTContext *ast,
Greg Clayton1be10fc2010-09-29 01:12:09 +00003715 clang_type_t result_type,
3716 clang_type_t *args,
Sean Callananc81256a2010-09-16 20:40:25 +00003717 unsigned num_args,
3718 bool is_variadic,
3719 unsigned type_quals)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003720{
Greg Clayton6beaaa62011-01-17 03:46:26 +00003721 assert (ast != NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003722 std::vector<QualType> qual_type_args;
3723 for (unsigned i=0; i<num_args; ++i)
3724 qual_type_args.push_back (QualType::getFromOpaquePtr(args[i]));
3725
3726 // TODO: Detect calling convention in DWARF?
Sean Callanan2c777c42011-01-18 23:32:05 +00003727 FunctionProtoType::ExtProtoInfo proto_info;
3728 proto_info.Variadic = is_variadic;
Sean Callananfb0b7582011-03-15 00:17:19 +00003729 proto_info.ExceptionSpecType = EST_None;
Sean Callanan2c777c42011-01-18 23:32:05 +00003730 proto_info.TypeQuals = type_quals;
Sean Callananfb0b7582011-03-15 00:17:19 +00003731 proto_info.RefQualifier = RQ_None;
Sean Callanan2c777c42011-01-18 23:32:05 +00003732 proto_info.NumExceptions = 0;
3733 proto_info.Exceptions = NULL;
3734
Greg Clayton6beaaa62011-01-17 03:46:26 +00003735 return ast->getFunctionType(QualType::getFromOpaquePtr(result_type),
Greg Clayton471b31c2010-07-20 22:52:08 +00003736 qual_type_args.empty() ? NULL : &qual_type_args.front(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003737 qual_type_args.size(),
Sean Callanan2c777c42011-01-18 23:32:05 +00003738 proto_info).getAsOpaquePtr(); // NoReturn);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003739}
3740
3741ParmVarDecl *
Greg Clayton1be10fc2010-09-29 01:12:09 +00003742ClangASTContext::CreateParameterDeclaration (const char *name, clang_type_t param_type, int storage)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003743{
Greg Clayton6beaaa62011-01-17 03:46:26 +00003744 ASTContext *ast = getASTContext();
3745 assert (ast != NULL);
3746 return ParmVarDecl::Create(*ast,
3747 ast->getTranslationUnitDecl(),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003748 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00003749 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00003750 name && name[0] ? &ast->Idents.get(name) : NULL,
Sean Callananc81256a2010-09-16 20:40:25 +00003751 QualType::getFromOpaquePtr(param_type),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003752 NULL,
3753 (VarDecl::StorageClass)storage,
3754 (VarDecl::StorageClass)storage,
3755 0);
3756}
3757
3758void
3759ClangASTContext::SetFunctionParameters (FunctionDecl *function_decl, ParmVarDecl **params, unsigned num_params)
3760{
3761 if (function_decl)
3762 function_decl->setParams (params, num_params);
3763}
3764
3765
3766#pragma mark Array Types
3767
Greg Clayton1be10fc2010-09-29 01:12:09 +00003768clang_type_t
3769ClangASTContext::CreateArrayType (clang_type_t element_type, size_t element_count, uint32_t bit_stride)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003770{
3771 if (element_type)
3772 {
Greg Clayton6beaaa62011-01-17 03:46:26 +00003773 ASTContext *ast = getASTContext();
3774 assert (ast != NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003775 llvm::APInt ap_element_count (64, element_count);
Greg Clayton6beaaa62011-01-17 03:46:26 +00003776 return ast->getConstantArrayType(QualType::getFromOpaquePtr(element_type),
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003777 ap_element_count,
3778 ArrayType::Normal,
3779 0).getAsOpaquePtr(); // ElemQuals
3780 }
3781 return NULL;
3782}
3783
3784
3785#pragma mark TagDecl
3786
3787bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00003788ClangASTContext::StartTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003789{
3790 if (clang_type)
3791 {
3792 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Sean Callanan78e37602011-01-27 04:42:51 +00003793 const clang::Type *t = qual_type.getTypePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003794 if (t)
3795 {
Sean Callanan78e37602011-01-27 04:42:51 +00003796 const TagType *tag_type = dyn_cast<TagType>(t);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003797 if (tag_type)
3798 {
3799 TagDecl *tag_decl = tag_type->getDecl();
3800 if (tag_decl)
3801 {
3802 tag_decl->startDefinition();
3803 return true;
3804 }
3805 }
3806 }
3807 }
3808 return false;
3809}
3810
3811bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00003812ClangASTContext::CompleteTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003813{
3814 if (clang_type)
3815 {
3816 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton14372242010-09-29 03:44:17 +00003817
3818 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3819
3820 if (cxx_record_decl)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003821 {
Greg Clayton14372242010-09-29 03:44:17 +00003822 cxx_record_decl->completeDefinition();
3823
3824 return true;
3825 }
3826
Sean Callanan78e37602011-01-27 04:42:51 +00003827 const ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type);
Sean Callanana2424172010-10-25 00:29:48 +00003828
3829 if (objc_class_type)
3830 {
3831 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
3832
3833 class_interface_decl->setForwardDecl(false);
3834 }
3835
Greg Clayton14372242010-09-29 03:44:17 +00003836 const EnumType *enum_type = dyn_cast<EnumType>(qual_type.getTypePtr());
3837
3838 if (enum_type)
3839 {
3840 EnumDecl *enum_decl = enum_type->getDecl();
3841
3842 if (enum_decl)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003843 {
Greg Clayton14372242010-09-29 03:44:17 +00003844 /// TODO This really needs to be fixed.
3845
3846 unsigned NumPositiveBits = 1;
3847 unsigned NumNegativeBits = 0;
3848
Greg Clayton6beaaa62011-01-17 03:46:26 +00003849 ASTContext *ast = getASTContext();
Greg Claytone02b8502010-10-12 04:29:14 +00003850
3851 QualType promotion_qual_type;
3852 // If the enum integer type is less than an integer in bit width,
3853 // then we must promote it to an integer size.
Greg Clayton6beaaa62011-01-17 03:46:26 +00003854 if (ast->getTypeSize(enum_decl->getIntegerType()) < ast->getTypeSize(ast->IntTy))
Greg Claytone02b8502010-10-12 04:29:14 +00003855 {
3856 if (enum_decl->getIntegerType()->isSignedIntegerType())
Greg Clayton6beaaa62011-01-17 03:46:26 +00003857 promotion_qual_type = ast->IntTy;
Greg Claytone02b8502010-10-12 04:29:14 +00003858 else
Greg Clayton6beaaa62011-01-17 03:46:26 +00003859 promotion_qual_type = ast->UnsignedIntTy;
Greg Claytone02b8502010-10-12 04:29:14 +00003860 }
3861 else
3862 promotion_qual_type = enum_decl->getIntegerType();
3863
3864 enum_decl->completeDefinition(enum_decl->getIntegerType(), promotion_qual_type, NumPositiveBits, NumNegativeBits);
Greg Clayton14372242010-09-29 03:44:17 +00003865 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003866 }
3867 }
3868 }
3869 return false;
3870}
3871
3872
3873#pragma mark Enumeration Types
3874
Greg Clayton1be10fc2010-09-29 01:12:09 +00003875clang_type_t
Greg Claytonca512b32011-01-14 04:54:56 +00003876ClangASTContext::CreateEnumerationType
3877(
3878 const char *name,
3879 DeclContext *decl_ctx,
3880 const Declaration &decl,
3881 clang_type_t integer_qual_type
3882)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003883{
3884 // TODO: Do something intelligent with the Declaration object passed in
3885 // like maybe filling in the SourceLocation with it...
Greg Clayton6beaaa62011-01-17 03:46:26 +00003886 ASTContext *ast = getASTContext();
3887 assert (ast != NULL);
Greg Claytone02b8502010-10-12 04:29:14 +00003888
3889 // TODO: ask about these...
3890// const bool IsScoped = false;
3891// const bool IsFixed = false;
3892
Greg Clayton6beaaa62011-01-17 03:46:26 +00003893 EnumDecl *enum_decl = EnumDecl::Create (*ast,
Greg Claytonca512b32011-01-14 04:54:56 +00003894 decl_ctx,
Greg Claytone02b8502010-10-12 04:29:14 +00003895 SourceLocation(),
Greg Claytone02b8502010-10-12 04:29:14 +00003896 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00003897 name && name[0] ? &ast->Idents.get(name) : NULL,
Sean Callanan48114472010-12-13 01:26:27 +00003898 NULL,
3899 false, // IsScoped
3900 false, // IsScopedUsingClassTag
3901 false); // IsFixed
Sean Callanan2652ad22011-01-18 01:03:44 +00003902
3903
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003904 if (enum_decl)
Greg Clayton83ff3892010-09-12 23:17:56 +00003905 {
3906 // TODO: check if we should be setting the promotion type too?
3907 enum_decl->setIntegerType(QualType::getFromOpaquePtr (integer_qual_type));
Sean Callanan2652ad22011-01-18 01:03:44 +00003908
3909 enum_decl->setAccess(AS_public); // TODO respect what's in the debug info
3910
Greg Clayton6beaaa62011-01-17 03:46:26 +00003911 return ast->getTagDeclType(enum_decl).getAsOpaquePtr();
Greg Clayton83ff3892010-09-12 23:17:56 +00003912 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003913 return NULL;
3914}
3915
Greg Clayton1be10fc2010-09-29 01:12:09 +00003916clang_type_t
3917ClangASTContext::GetEnumerationIntegerType (clang_type_t enum_clang_type)
3918{
3919 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3920
Sean Callanan78e37602011-01-27 04:42:51 +00003921 const clang::Type *clang_type = enum_qual_type.getTypePtr();
Greg Clayton1be10fc2010-09-29 01:12:09 +00003922 if (clang_type)
3923 {
3924 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3925 if (enum_type)
3926 {
3927 EnumDecl *enum_decl = enum_type->getDecl();
3928 if (enum_decl)
3929 return enum_decl->getIntegerType().getAsOpaquePtr();
3930 }
3931 }
3932 return NULL;
3933}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003934bool
3935ClangASTContext::AddEnumerationValueToEnumerationType
3936(
Greg Clayton1be10fc2010-09-29 01:12:09 +00003937 clang_type_t enum_clang_type,
3938 clang_type_t enumerator_clang_type,
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003939 const Declaration &decl,
3940 const char *name,
3941 int64_t enum_value,
3942 uint32_t enum_value_bit_size
3943)
3944{
3945 if (enum_clang_type && enumerator_clang_type && name)
3946 {
3947 // TODO: Do something intelligent with the Declaration object passed in
3948 // like maybe filling in the SourceLocation with it...
Greg Clayton6beaaa62011-01-17 03:46:26 +00003949 ASTContext *ast = getASTContext();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003950 IdentifierTable *identifier_table = getIdentifierTable();
3951
Greg Clayton6beaaa62011-01-17 03:46:26 +00003952 assert (ast != NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003953 assert (identifier_table != NULL);
3954 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3955
Sean Callanan78e37602011-01-27 04:42:51 +00003956 const clang::Type *clang_type = enum_qual_type.getTypePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003957 if (clang_type)
3958 {
3959 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3960
3961 if (enum_type)
3962 {
3963 llvm::APSInt enum_llvm_apsint(enum_value_bit_size, false);
3964 enum_llvm_apsint = enum_value;
3965 EnumConstantDecl *enumerator_decl =
Greg Clayton6beaaa62011-01-17 03:46:26 +00003966 EnumConstantDecl::Create (*ast,
3967 enum_type->getDecl(),
3968 SourceLocation(),
3969 name ? &identifier_table->get(name) : NULL, // Identifier
3970 QualType::getFromOpaquePtr(enumerator_clang_type),
3971 NULL,
3972 enum_llvm_apsint);
3973
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003974 if (enumerator_decl)
3975 {
3976 enum_type->getDecl()->addDecl(enumerator_decl);
3977 return true;
3978 }
3979 }
3980 }
3981 }
3982 return false;
3983}
3984
3985#pragma mark Pointers & References
3986
Greg Clayton1be10fc2010-09-29 01:12:09 +00003987clang_type_t
3988ClangASTContext::CreatePointerType (clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00003989{
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00003990 return CreatePointerType (getASTContext(), clang_type);
3991}
3992
3993clang_type_t
3994ClangASTContext::CreatePointerType (clang::ASTContext *ast, clang_type_t clang_type)
3995{
3996 if (ast && clang_type)
Greg Clayton5fb47cd2010-07-29 20:06:32 +00003997 {
3998 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3999
Greg Clayton737b9322010-09-13 03:32:57 +00004000 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
4001 switch (type_class)
Greg Clayton5fb47cd2010-07-29 20:06:32 +00004002 {
4003 case clang::Type::ObjCObject:
4004 case clang::Type::ObjCInterface:
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00004005 return ast->getObjCObjectPointerType(qual_type).getAsOpaquePtr();
Greg Clayton5fb47cd2010-07-29 20:06:32 +00004006
Greg Clayton5fb47cd2010-07-29 20:06:32 +00004007 default:
Greg Clayton8b2fe6d2010-12-14 02:59:59 +00004008 return ast->getPointerType(qual_type).getAsOpaquePtr();
Greg Clayton5fb47cd2010-07-29 20:06:32 +00004009 }
4010 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004011 return NULL;
4012}
4013
Greg Clayton1be10fc2010-09-29 01:12:09 +00004014clang_type_t
Sean Callanan92adcac2011-01-13 08:53:35 +00004015ClangASTContext::CreateLValueReferenceType (clang::ASTContext *ast,
4016 clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004017{
4018 if (clang_type)
Sean Callanan92adcac2011-01-13 08:53:35 +00004019 return ast->getLValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004020 return NULL;
4021}
4022
Greg Clayton1be10fc2010-09-29 01:12:09 +00004023clang_type_t
Sean Callanan92adcac2011-01-13 08:53:35 +00004024ClangASTContext::CreateRValueReferenceType (clang::ASTContext *ast,
4025 clang_type_t clang_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004026{
4027 if (clang_type)
Sean Callanan92adcac2011-01-13 08:53:35 +00004028 return ast->getRValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004029 return NULL;
4030}
4031
Greg Clayton1be10fc2010-09-29 01:12:09 +00004032clang_type_t
4033ClangASTContext::CreateMemberPointerType (clang_type_t clang_pointee_type, clang_type_t clang_class_type)
Greg Clayton9b81a312010-06-12 01:20:30 +00004034{
4035 if (clang_pointee_type && clang_pointee_type)
4036 return getASTContext()->getMemberPointerType(QualType::getFromOpaquePtr(clang_pointee_type),
4037 QualType::getFromOpaquePtr(clang_class_type).getTypePtr()).getAsOpaquePtr();
4038 return NULL;
4039}
4040
Greg Clayton1a65ae12011-01-25 23:55:37 +00004041uint32_t
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004042ClangASTContext::GetPointerBitSize ()
4043{
Greg Clayton6beaaa62011-01-17 03:46:26 +00004044 ASTContext *ast = getASTContext();
4045 return ast->getTypeSize(ast->VoidPtrTy);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004046}
4047
4048bool
Greg Claytondea8cb42011-06-29 22:09:02 +00004049ClangASTContext::IsPossibleDynamicType (clang::ASTContext *ast, clang_type_t clang_type, clang_type_t *dynamic_pointee_type)
4050{
4051 QualType pointee_qual_type;
4052 if (clang_type)
4053 {
4054 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4055 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
4056 bool success = false;
4057 switch (type_class)
4058 {
4059 case clang::Type::Builtin:
4060 if (cast<clang::BuiltinType>(qual_type)->getKind() == clang::BuiltinType::ObjCId)
4061 {
4062 if (dynamic_pointee_type)
4063 *dynamic_pointee_type = clang_type;
4064 return true;
4065 }
4066 break;
4067
4068 case clang::Type::ObjCObjectPointer:
4069 if (dynamic_pointee_type)
4070 *dynamic_pointee_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4071 return true;
4072
4073 case clang::Type::Pointer:
4074 pointee_qual_type = cast<PointerType>(qual_type)->getPointeeType();
4075 success = true;
4076 break;
4077
4078 case clang::Type::LValueReference:
4079 case clang::Type::RValueReference:
4080 pointee_qual_type = cast<ReferenceType>(qual_type)->getPointeeType();
4081 success = true;
4082 break;
4083
4084 case clang::Type::Typedef:
4085 return ClangASTContext::IsPossibleCPlusPlusDynamicType (ast, cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(), dynamic_pointee_type);
4086
4087 default:
4088 break;
4089 }
4090
4091 if (success)
4092 {
4093 // Check to make sure what we are pointing too is a possible dynamic C++ type
4094 // We currently accept any "void *" (in case we have a class that has been
4095 // watered down to an opaque pointer) and virtual C++ classes.
4096 const clang::Type::TypeClass pointee_type_class = pointee_qual_type->getTypeClass();
4097 switch (pointee_type_class)
4098 {
4099 case clang::Type::Builtin:
4100 switch (cast<clang::BuiltinType>(pointee_qual_type)->getKind())
4101 {
4102 case clang::BuiltinType::UnknownAny:
4103 case clang::BuiltinType::Void:
4104 if (dynamic_pointee_type)
4105 *dynamic_pointee_type = pointee_qual_type.getAsOpaquePtr();
4106 return true;
4107
4108 case clang::BuiltinType::NullPtr:
4109 case clang::BuiltinType::Bool:
4110 case clang::BuiltinType::Char_U:
4111 case clang::BuiltinType::UChar:
4112 case clang::BuiltinType::WChar_U:
4113 case clang::BuiltinType::Char16:
4114 case clang::BuiltinType::Char32:
4115 case clang::BuiltinType::UShort:
4116 case clang::BuiltinType::UInt:
4117 case clang::BuiltinType::ULong:
4118 case clang::BuiltinType::ULongLong:
4119 case clang::BuiltinType::UInt128:
4120 case clang::BuiltinType::Char_S:
4121 case clang::BuiltinType::SChar:
4122 case clang::BuiltinType::WChar_S:
4123 case clang::BuiltinType::Short:
4124 case clang::BuiltinType::Int:
4125 case clang::BuiltinType::Long:
4126 case clang::BuiltinType::LongLong:
4127 case clang::BuiltinType::Int128:
4128 case clang::BuiltinType::Float:
4129 case clang::BuiltinType::Double:
4130 case clang::BuiltinType::LongDouble:
4131 case clang::BuiltinType::Dependent:
4132 case clang::BuiltinType::Overload:
4133 case clang::BuiltinType::ObjCId:
4134 case clang::BuiltinType::ObjCClass:
4135 case clang::BuiltinType::ObjCSel:
4136 case clang::BuiltinType::BoundMember:
4137 break;
4138 }
4139 break;
4140
4141 case clang::Type::Record:
4142 {
4143 CXXRecordDecl *cxx_record_decl = pointee_qual_type->getAsCXXRecordDecl();
4144 if (cxx_record_decl)
4145 {
4146 if (GetCompleteQualType (ast, pointee_qual_type))
4147 {
4148 success = cxx_record_decl->isDynamicClass();
4149 }
4150 else
4151 {
4152 // We failed to get the complete type, so we have to
4153 // treat this as a void * which we might possibly be
4154 // able to complete
4155 success = true;
4156 }
4157 if (success)
4158 {
4159 if (dynamic_pointee_type)
4160 *dynamic_pointee_type = pointee_qual_type.getAsOpaquePtr();
4161 return true;
4162 }
4163 }
4164 }
4165 break;
4166
4167 case clang::Type::ObjCObject:
4168 case clang::Type::ObjCInterface:
4169 {
4170 const clang::ObjCObjectType *objc_class_type = pointee_qual_type->getAsObjCQualifiedInterfaceType();
4171 if (objc_class_type)
4172 {
4173 GetCompleteQualType (ast, pointee_qual_type);
4174 if (dynamic_pointee_type)
4175 *dynamic_pointee_type = pointee_qual_type.getAsOpaquePtr();
4176 return true;
4177 }
4178 }
4179 break;
4180
4181 default:
4182 break;
4183 }
4184 }
4185 }
4186 if (dynamic_pointee_type)
4187 *dynamic_pointee_type = NULL;
4188 return false;
4189}
4190
4191
4192bool
Greg Clayton007d5be2011-05-30 00:49:24 +00004193ClangASTContext::IsPossibleCPlusPlusDynamicType (clang::ASTContext *ast, clang_type_t clang_type, clang_type_t *dynamic_pointee_type)
4194{
4195 QualType pointee_qual_type;
4196 if (clang_type)
4197 {
4198 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4199 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
4200 bool success = false;
4201 switch (type_class)
4202 {
4203 case clang::Type::Pointer:
4204 pointee_qual_type = cast<PointerType>(qual_type)->getPointeeType();
4205 success = true;
4206 break;
4207
4208 case clang::Type::LValueReference:
4209 case clang::Type::RValueReference:
4210 pointee_qual_type = cast<ReferenceType>(qual_type)->getPointeeType();
4211 success = true;
4212 break;
4213
4214 case clang::Type::Typedef:
4215 return ClangASTContext::IsPossibleCPlusPlusDynamicType (ast, cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(), dynamic_pointee_type);
4216
4217 default:
4218 break;
4219 }
4220
4221 if (success)
4222 {
4223 // Check to make sure what we are pointing too is a possible dynamic C++ type
4224 // We currently accept any "void *" (in case we have a class that has been
4225 // watered down to an opaque pointer) and virtual C++ classes.
4226 const clang::Type::TypeClass pointee_type_class = pointee_qual_type->getTypeClass();
4227 switch (pointee_type_class)
4228 {
4229 case clang::Type::Builtin:
4230 switch (cast<clang::BuiltinType>(pointee_qual_type)->getKind())
4231 {
4232 case clang::BuiltinType::UnknownAny:
4233 case clang::BuiltinType::Void:
4234 if (dynamic_pointee_type)
4235 *dynamic_pointee_type = pointee_qual_type.getAsOpaquePtr();
4236 return true;
4237
4238 case clang::BuiltinType::NullPtr:
4239 case clang::BuiltinType::Bool:
4240 case clang::BuiltinType::Char_U:
4241 case clang::BuiltinType::UChar:
4242 case clang::BuiltinType::WChar_U:
4243 case clang::BuiltinType::Char16:
4244 case clang::BuiltinType::Char32:
4245 case clang::BuiltinType::UShort:
4246 case clang::BuiltinType::UInt:
4247 case clang::BuiltinType::ULong:
4248 case clang::BuiltinType::ULongLong:
4249 case clang::BuiltinType::UInt128:
4250 case clang::BuiltinType::Char_S:
4251 case clang::BuiltinType::SChar:
4252 case clang::BuiltinType::WChar_S:
4253 case clang::BuiltinType::Short:
4254 case clang::BuiltinType::Int:
4255 case clang::BuiltinType::Long:
4256 case clang::BuiltinType::LongLong:
4257 case clang::BuiltinType::Int128:
4258 case clang::BuiltinType::Float:
4259 case clang::BuiltinType::Double:
4260 case clang::BuiltinType::LongDouble:
4261 case clang::BuiltinType::Dependent:
4262 case clang::BuiltinType::Overload:
4263 case clang::BuiltinType::ObjCId:
4264 case clang::BuiltinType::ObjCClass:
4265 case clang::BuiltinType::ObjCSel:
4266 case clang::BuiltinType::BoundMember:
4267 break;
4268 }
4269 break;
4270 case clang::Type::Record:
4271 {
4272 CXXRecordDecl *cxx_record_decl = pointee_qual_type->getAsCXXRecordDecl();
4273 if (cxx_record_decl)
4274 {
4275 if (GetCompleteQualType (ast, pointee_qual_type))
4276 {
Greg Claytona13ad2ad2011-06-02 01:26:44 +00004277 success = cxx_record_decl->isDynamicClass();
Greg Clayton007d5be2011-05-30 00:49:24 +00004278 }
4279 else
4280 {
4281 // We failed to get the complete type, so we have to
4282 // treat this as a void * which we might possibly be
4283 // able to complete
4284 success = true;
4285 }
4286 if (success)
4287 {
4288 if (dynamic_pointee_type)
4289 *dynamic_pointee_type = pointee_qual_type.getAsOpaquePtr();
4290 return true;
4291 }
4292 }
4293 }
4294 break;
4295
4296 default:
4297 break;
4298 }
4299 }
4300 }
4301 if (dynamic_pointee_type)
4302 *dynamic_pointee_type = NULL;
4303 return false;
4304}
4305
4306
4307bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004308ClangASTContext::IsPointerOrReferenceType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004309{
4310 if (clang_type == NULL)
4311 return false;
4312
4313 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton737b9322010-09-13 03:32:57 +00004314 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
4315 switch (type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004316 {
Sean Callanana2424172010-10-25 00:29:48 +00004317 case clang::Type::Builtin:
4318 switch (cast<clang::BuiltinType>(qual_type)->getKind())
4319 {
4320 default:
4321 break;
4322 case clang::BuiltinType::ObjCId:
4323 case clang::BuiltinType::ObjCClass:
Sean Callanana2424172010-10-25 00:29:48 +00004324 return true;
4325 }
4326 return false;
Greg Claytone1a916a2010-07-21 22:12:05 +00004327 case clang::Type::ObjCObjectPointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004328 if (target_type)
4329 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4330 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004331 case clang::Type::BlockPointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004332 if (target_type)
4333 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4334 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004335 case clang::Type::Pointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004336 if (target_type)
4337 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4338 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004339 case clang::Type::MemberPointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004340 if (target_type)
4341 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4342 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004343 case clang::Type::LValueReference:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004344 if (target_type)
4345 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
4346 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004347 case clang::Type::RValueReference:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004348 if (target_type)
4349 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
4350 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004351 case clang::Type::Typedef:
Sean Callanan48114472010-12-13 01:26:27 +00004352 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004353 default:
4354 break;
4355 }
4356 return false;
4357}
4358
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004359bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004360ClangASTContext::IsIntegerType (clang_type_t clang_type, bool &is_signed)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004361{
4362 if (!clang_type)
4363 return false;
4364
4365 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4366 const BuiltinType *builtin_type = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal());
4367
4368 if (builtin_type)
4369 {
4370 if (builtin_type->isInteger())
4371 is_signed = builtin_type->isSignedInteger();
4372
4373 return true;
4374 }
4375
4376 return false;
4377}
4378
4379bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004380ClangASTContext::IsPointerType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004381{
4382 if (clang_type)
4383 {
4384 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton737b9322010-09-13 03:32:57 +00004385 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
4386 switch (type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004387 {
Sean Callanana2424172010-10-25 00:29:48 +00004388 case clang::Type::Builtin:
4389 switch (cast<clang::BuiltinType>(qual_type)->getKind())
4390 {
4391 default:
4392 break;
4393 case clang::BuiltinType::ObjCId:
4394 case clang::BuiltinType::ObjCClass:
Sean Callanana2424172010-10-25 00:29:48 +00004395 return true;
4396 }
4397 return false;
Greg Claytone1a916a2010-07-21 22:12:05 +00004398 case clang::Type::ObjCObjectPointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004399 if (target_type)
4400 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4401 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004402 case clang::Type::BlockPointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004403 if (target_type)
4404 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4405 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004406 case clang::Type::Pointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004407 if (target_type)
4408 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4409 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004410 case clang::Type::MemberPointer:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004411 if (target_type)
4412 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
4413 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004414 case clang::Type::Typedef:
Sean Callanan48114472010-12-13 01:26:27 +00004415 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr(), target_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004416 default:
4417 break;
4418 }
4419 }
4420 return false;
4421}
4422
4423bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004424ClangASTContext::IsFloatingPointType (clang_type_t clang_type, uint32_t &count, bool &is_complex)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004425{
4426 if (clang_type)
4427 {
4428 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4429
4430 if (const BuiltinType *BT = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal()))
4431 {
4432 clang::BuiltinType::Kind kind = BT->getKind();
4433 if (kind >= BuiltinType::Float && kind <= BuiltinType::LongDouble)
4434 {
4435 count = 1;
4436 is_complex = false;
4437 return true;
4438 }
4439 }
4440 else if (const ComplexType *CT = dyn_cast<ComplexType>(qual_type->getCanonicalTypeInternal()))
4441 {
4442 if (IsFloatingPointType(CT->getElementType().getAsOpaquePtr(), count, is_complex))
4443 {
4444 count = 2;
4445 is_complex = true;
4446 return true;
4447 }
4448 }
4449 else if (const VectorType *VT = dyn_cast<VectorType>(qual_type->getCanonicalTypeInternal()))
4450 {
4451 if (IsFloatingPointType(VT->getElementType().getAsOpaquePtr(), count, is_complex))
4452 {
4453 count = VT->getNumElements();
4454 is_complex = false;
4455 return true;
4456 }
4457 }
4458 }
4459 return false;
4460}
4461
Greg Clayton8f92f0a2010-10-14 22:52:14 +00004462
4463bool
4464ClangASTContext::GetCXXClassName (clang_type_t clang_type, std::string &class_name)
4465{
4466 if (clang_type)
4467 {
4468 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4469
4470 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
4471 if (cxx_record_decl)
4472 {
4473 class_name.assign (cxx_record_decl->getIdentifier()->getNameStart());
4474 return true;
4475 }
4476 }
4477 class_name.clear();
4478 return false;
4479}
4480
4481
Greg Clayton0fffff52010-09-24 05:15:53 +00004482bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004483ClangASTContext::IsCXXClassType (clang_type_t clang_type)
Greg Clayton0fffff52010-09-24 05:15:53 +00004484{
4485 if (clang_type)
4486 {
4487 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4488 if (qual_type->getAsCXXRecordDecl() != NULL)
4489 return true;
4490 }
4491 return false;
4492}
4493
4494bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004495ClangASTContext::IsObjCClassType (clang_type_t clang_type)
Greg Clayton0fffff52010-09-24 05:15:53 +00004496{
4497 if (clang_type)
4498 {
4499 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4500 if (qual_type->isObjCObjectOrInterfaceType())
4501 return true;
4502 }
4503 return false;
4504}
4505
4506
Greg Clayton73b472d2010-10-27 03:32:59 +00004507bool
4508ClangASTContext::IsCharType (clang_type_t clang_type)
4509{
4510 if (clang_type)
4511 return QualType::getFromOpaquePtr(clang_type)->isCharType();
4512 return false;
4513}
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004514
4515bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004516ClangASTContext::IsCStringType (clang_type_t clang_type, uint32_t &length)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004517{
Greg Clayton73b472d2010-10-27 03:32:59 +00004518 clang_type_t pointee_or_element_clang_type = NULL;
4519 Flags type_flags (ClangASTContext::GetTypeInfo (clang_type, NULL, &pointee_or_element_clang_type));
4520
4521 if (pointee_or_element_clang_type == NULL)
4522 return false;
4523
4524 if (type_flags.AnySet (eTypeIsArray | eTypeIsPointer))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004525 {
Greg Clayton73b472d2010-10-27 03:32:59 +00004526 QualType pointee_or_element_qual_type (QualType::getFromOpaquePtr (pointee_or_element_clang_type));
4527
4528 if (pointee_or_element_qual_type.getUnqualifiedType()->isCharType())
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004529 {
Greg Clayton73b472d2010-10-27 03:32:59 +00004530 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4531 if (type_flags.Test (eTypeIsArray))
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004532 {
Greg Clayton73b472d2010-10-27 03:32:59 +00004533 // We know the size of the array and it could be a C string
4534 // since it is an array of characters
4535 length = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
4536 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004537 }
Greg Clayton73b472d2010-10-27 03:32:59 +00004538 else
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004539 {
Greg Clayton73b472d2010-10-27 03:32:59 +00004540 length = 0;
4541 return true;
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004542 }
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004543
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004544 }
4545 }
4546 return false;
4547}
4548
4549bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004550ClangASTContext::IsFunctionPointerType (clang_type_t clang_type)
Greg Clayton737b9322010-09-13 03:32:57 +00004551{
4552 if (clang_type)
4553 {
4554 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4555
4556 if (qual_type->isFunctionPointerType())
4557 return true;
4558
4559 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
4560 switch (type_class)
4561 {
Sean Callananfb0b7582011-03-15 00:17:19 +00004562 default:
4563 break;
Greg Clayton737b9322010-09-13 03:32:57 +00004564 case clang::Type::Typedef:
Sean Callanan48114472010-12-13 01:26:27 +00004565 return ClangASTContext::IsFunctionPointerType (cast<TypedefType>(qual_type)->getDecl()->getUnderlyingType().getAsOpaquePtr());
Greg Clayton737b9322010-09-13 03:32:57 +00004566
4567 case clang::Type::LValueReference:
4568 case clang::Type::RValueReference:
4569 {
Sean Callanan78e37602011-01-27 04:42:51 +00004570 const ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
Greg Clayton737b9322010-09-13 03:32:57 +00004571 if (reference_type)
4572 return ClangASTContext::IsFunctionPointerType (reference_type->getPointeeType().getAsOpaquePtr());
4573 }
4574 break;
4575 }
4576 }
4577 return false;
4578}
4579
Greg Clayton73b472d2010-10-27 03:32:59 +00004580size_t
4581ClangASTContext::GetArraySize (clang_type_t clang_type)
4582{
4583 if (clang_type)
4584 {
Sean Callanan78e37602011-01-27 04:42:51 +00004585 const ConstantArrayType *array = cast<ConstantArrayType>(QualType::getFromOpaquePtr(clang_type).getTypePtr());
Greg Clayton73b472d2010-10-27 03:32:59 +00004586 if (array)
4587 return array->getSize().getLimitedValue();
4588 }
4589 return 0;
4590}
Greg Clayton737b9322010-09-13 03:32:57 +00004591
4592bool
Greg Clayton1be10fc2010-09-29 01:12:09 +00004593ClangASTContext::IsArrayType (clang_type_t clang_type, clang_type_t*member_type, uint64_t *size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004594{
4595 if (!clang_type)
4596 return false;
4597
4598 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4599
Greg Clayton737b9322010-09-13 03:32:57 +00004600 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
4601 switch (type_class)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004602 {
Sean Callananfb0b7582011-03-15 00:17:19 +00004603 default:
4604 break;
Greg Claytone1a916a2010-07-21 22:12:05 +00004605 case clang::Type::ConstantArray:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004606 if (member_type)
4607 *member_type = cast<ConstantArrayType>(qual_type)->getElementType().getAsOpaquePtr();
4608 if (size)
Greg Claytonac4827f2011-04-01 18:14:08 +00004609 *size = cast<ConstantArrayType>(qual_type)->getSize().getLimitedValue(ULLONG_MAX);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004610 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004611 case clang::Type::IncompleteArray:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004612 if (member_type)
4613 *member_type = cast<IncompleteArrayType>(qual_type)->getElementType().getAsOpaquePtr();
4614 if (size)
4615 *size = 0;
4616 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004617 case clang::Type::VariableArray:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004618 if (member_type)
4619 *member_type = cast<VariableArrayType>(qual_type)->getElementType().getAsOpaquePtr();
4620 if (size)
4621 *size = 0;
Greg Clayton03dbf2e2011-02-02 00:52:14 +00004622 return true;
Greg Claytone1a916a2010-07-21 22:12:05 +00004623 case clang::Type::DependentSizedArray:
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004624 if (member_type)
4625 *member_type = cast<DependentSizedArrayType>(qual_type)->getElementType().getAsOpaquePtr();
4626 if (size)
4627 *size = 0;
4628 return true;
4629 }
4630 return false;
4631}
4632
4633
4634#pragma mark Typedefs
4635
Greg Clayton1be10fc2010-09-29 01:12:09 +00004636clang_type_t
4637ClangASTContext::CreateTypedefType (const char *name, clang_type_t clang_type, DeclContext *decl_ctx)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004638{
4639 if (clang_type)
4640 {
4641 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton6beaaa62011-01-17 03:46:26 +00004642 ASTContext *ast = getASTContext();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004643 IdentifierTable *identifier_table = getIdentifierTable();
Greg Clayton6beaaa62011-01-17 03:46:26 +00004644 assert (ast != NULL);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004645 assert (identifier_table != NULL);
4646 if (decl_ctx == NULL)
Greg Clayton6beaaa62011-01-17 03:46:26 +00004647 decl_ctx = ast->getTranslationUnitDecl();
4648 TypedefDecl *decl = TypedefDecl::Create (*ast,
4649 decl_ctx,
4650 SourceLocation(),
Sean Callananfb0b7582011-03-15 00:17:19 +00004651 SourceLocation(),
Greg Clayton6beaaa62011-01-17 03:46:26 +00004652 name ? &identifier_table->get(name) : NULL, // Identifier
4653 ast->CreateTypeSourceInfo(qual_type));
Sean Callanan2652ad22011-01-18 01:03:44 +00004654
4655 decl->setAccess(AS_public); // TODO respect proper access specifier
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004656
4657 // Get a uniqued QualType for the typedef decl type
Greg Clayton6beaaa62011-01-17 03:46:26 +00004658 return ast->getTypedefType (decl).getAsOpaquePtr();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004659 }
4660 return NULL;
4661}
4662
4663
4664std::string
Greg Clayton1be10fc2010-09-29 01:12:09 +00004665ClangASTContext::GetTypeName (clang_type_t opaque_qual_type)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004666{
4667 std::string return_name;
4668
Greg Clayton1be10fc2010-09-29 01:12:09 +00004669 QualType qual_type(QualType::getFromOpaquePtr(opaque_qual_type));
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004670
Greg Clayton1be10fc2010-09-29 01:12:09 +00004671 const TypedefType *typedef_type = qual_type->getAs<TypedefType>();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004672 if (typedef_type)
4673 {
Sean Callanand12cf8bb2011-05-15 22:34:38 +00004674 const TypedefNameDecl *typedef_decl = typedef_type->getDecl();
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004675 return_name = typedef_decl->getQualifiedNameAsString();
4676 }
4677 else
4678 {
4679 return_name = qual_type.getAsString();
4680 }
4681
4682 return return_name;
4683}
4684
4685// Disable this for now since I can't seem to get a nicely formatted float
4686// out of the APFloat class without just getting the float, double or quad
4687// and then using a formatted print on it which defeats the purpose. We ideally
4688// would like to get perfect string values for any kind of float semantics
4689// so we can support remote targets. The code below also requires a patch to
4690// llvm::APInt.
4691//bool
Greg Clayton6beaaa62011-01-17 03:46:26 +00004692//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 +00004693//{
4694// uint32_t count = 0;
4695// bool is_complex = false;
4696// if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
4697// {
4698// unsigned num_bytes_per_float = byte_size / count;
4699// unsigned num_bits_per_float = num_bytes_per_float * 8;
4700//
4701// float_str.clear();
4702// uint32_t i;
4703// for (i=0; i<count; i++)
4704// {
4705// APInt ap_int(num_bits_per_float, bytes + i * num_bytes_per_float, (APInt::ByteOrder)apint_byte_order);
4706// bool is_ieee = false;
4707// APFloat ap_float(ap_int, is_ieee);
4708// char s[1024];
4709// unsigned int hex_digits = 0;
4710// bool upper_case = false;
4711//
4712// if (ap_float.convertToHexString(s, hex_digits, upper_case, APFloat::rmNearestTiesToEven) > 0)
4713// {
4714// if (i > 0)
4715// float_str.append(", ");
4716// float_str.append(s);
4717// if (i == 1 && is_complex)
4718// float_str.append(1, 'i');
4719// }
4720// }
4721// return !float_str.empty();
4722// }
4723// return false;
4724//}
4725
4726size_t
Greg Clayton6beaaa62011-01-17 03:46:26 +00004727ClangASTContext::ConvertStringToFloatValue (ASTContext *ast, clang_type_t clang_type, const char *s, uint8_t *dst, size_t dst_size)
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004728{
4729 if (clang_type)
4730 {
4731 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4732 uint32_t count = 0;
4733 bool is_complex = false;
4734 if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
4735 {
4736 // TODO: handle complex and vector types
4737 if (count != 1)
4738 return false;
4739
4740 StringRef s_sref(s);
Greg Clayton6beaaa62011-01-17 03:46:26 +00004741 APFloat ap_float(ast->getFloatTypeSemantics(qual_type), s_sref);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004742
Greg Clayton6beaaa62011-01-17 03:46:26 +00004743 const uint64_t bit_size = ast->getTypeSize (qual_type);
Chris Lattner30fdc8d2010-06-08 16:52:24 +00004744 const uint64_t byte_size = bit_size / 8;
4745 if (dst_size >= byte_size)
4746 {
4747 if (bit_size == sizeof(float)*8)
4748 {
4749 float float32 = ap_float.convertToFloat();
4750 ::memcpy (dst, &float32, byte_size);
4751 return byte_size;
4752 }
4753 else if (bit_size >= 64)
4754 {
4755 llvm::APInt ap_int(ap_float.bitcastToAPInt());
4756 ::memcpy (dst, ap_int.getRawData(), byte_size);
4757 return byte_size;
4758 }
4759 }
4760 }
4761 }
4762 return 0;
4763}
Sean Callanan6fe64b52010-09-17 02:24:29 +00004764
4765unsigned
Greg Clayton1be10fc2010-09-29 01:12:09 +00004766ClangASTContext::GetTypeQualifiers(clang_type_t clang_type)
Sean Callanan6fe64b52010-09-17 02:24:29 +00004767{
4768 assert (clang_type);
4769
4770 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
4771
4772 return qual_type.getQualifiers().getCVRQualifiers();
4773}
Greg Clayton6beaaa62011-01-17 03:46:26 +00004774
4775bool
4776ClangASTContext::GetCompleteType (clang::ASTContext *ast, lldb::clang_type_t clang_type)
4777{
4778 if (clang_type == NULL)
4779 return false;
4780
Greg Claytonc432c192011-01-20 04:18:48 +00004781 return GetCompleteQualType (ast, clang::QualType::getFromOpaquePtr(clang_type));
Greg Clayton6beaaa62011-01-17 03:46:26 +00004782}
4783
4784
4785bool
4786ClangASTContext::GetCompleteType (clang_type_t clang_type)
4787{
4788 return ClangASTContext::GetCompleteType (getASTContext(), clang_type);
4789}
4790
Greg Claytona2721472011-06-25 00:44:06 +00004791bool
4792ClangASTContext::GetCompleteDecl (clang::ASTContext *ast,
4793 clang::Decl *decl)
4794{
4795 if (!decl)
4796 return false;
4797
4798 ExternalASTSource *ast_source = ast->getExternalSource();
4799
4800 if (!ast_source)
4801 return false;
4802
4803 if (clang::TagDecl *tag_decl = llvm::dyn_cast<clang::TagDecl>(decl))
4804 {
4805 if (tag_decl->getDefinition())
4806 return true;
4807
4808 if (!tag_decl->hasExternalLexicalStorage())
4809 return false;
4810
4811 ast_source->CompleteType(tag_decl);
4812
4813 return !tag_decl->getTypeForDecl()->isIncompleteType();
4814 }
4815 else if (clang::ObjCInterfaceDecl *objc_interface_decl = llvm::dyn_cast<clang::ObjCInterfaceDecl>(decl))
4816 {
4817 if (!objc_interface_decl->isForwardDecl())
4818 return true;
4819
4820 if (!objc_interface_decl->hasExternalLexicalStorage())
4821 return false;
4822
4823 ast_source->CompleteType(objc_interface_decl);
4824
4825 return !objc_interface_decl->isForwardDecl();
4826 }
4827 else
4828 {
4829 return false;
4830 }
4831}
4832