blob: 7ccf64a531088b73e34b924a838d97318c9cd3e0 [file] [log] [blame]
Chris Lattner24943d22010-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 Friedmanf05633b2010-06-13 19:06:42 +000010#include "lldb/Symbol/ClangASTContext.h"
Chris Lattner24943d22010-06-08 16:52:24 +000011
12// C Includes
13// C++ Includes
14#include <string>
15
16// Other libraries and framework includes
Sean Callananbc4f0f52010-07-08 18:16:16 +000017#define NDEBUG
Chris Lattner24943d22010-06-08 16:52:24 +000018#include "clang/AST/ASTContext.h"
19#include "clang/AST/ASTImporter.h"
20#include "clang/AST/CXXInheritance.h"
Greg Clayton84f80752010-07-22 18:30:50 +000021#include "clang/AST/DeclObjC.h"
Chris Lattner24943d22010-06-08 16:52:24 +000022#include "clang/AST/RecordLayout.h"
23#include "clang/AST/Type.h"
24#include "clang/Basic/Builtins.h"
25#include "clang/Basic/FileManager.h"
26#include "clang/Basic/SourceManager.h"
27#include "clang/Basic/TargetInfo.h"
28#include "clang/Basic/TargetOptions.h"
29#include "clang/Frontend/FrontendOptions.h"
30#include "clang/Frontend/LangStandard.h"
Sean Callananbc4f0f52010-07-08 18:16:16 +000031#undef NDEBUG
Chris Lattner24943d22010-06-08 16:52:24 +000032
Chris Lattner24943d22010-06-08 16:52:24 +000033#include "lldb/Core/dwarf.h"
Greg Claytonf3d0b0c2010-10-27 03:32:59 +000034#include "lldb/Core/Flags.h"
Sean Callanan839fde42010-10-28 18:19:36 +000035#include "lldb/Core/Log.h"
Chris Lattner24943d22010-06-08 16:52:24 +000036
Eli Friedmanf05633b2010-06-13 19:06:42 +000037#include <stdio.h>
38
Greg Clayton585660c2010-08-05 01:57:25 +000039using namespace lldb;
Chris Lattner24943d22010-06-08 16:52:24 +000040using namespace lldb_private;
41using namespace llvm;
42using namespace clang;
43
Greg Clayton84f80752010-07-22 18:30:50 +000044static AccessSpecifier
Greg Clayton585660c2010-08-05 01:57:25 +000045ConvertAccessTypeToAccessSpecifier (AccessType access)
Greg Clayton84f80752010-07-22 18:30:50 +000046{
47 switch (access)
48 {
Greg Clayton585660c2010-08-05 01:57:25 +000049 default: break;
50 case eAccessNone: return AS_none;
51 case eAccessPublic: return AS_public;
52 case eAccessPrivate: return AS_private;
53 case eAccessProtected: return AS_protected;
Greg Clayton84f80752010-07-22 18:30:50 +000054 }
55 return AS_none;
56}
57
58static ObjCIvarDecl::AccessControl
Greg Clayton585660c2010-08-05 01:57:25 +000059ConvertAccessTypeToObjCIvarAccessControl (AccessType access)
Greg Clayton84f80752010-07-22 18:30:50 +000060{
61 switch (access)
62 {
Greg Clayton585660c2010-08-05 01:57:25 +000063 default: break;
64 case eAccessNone: return ObjCIvarDecl::None;
65 case eAccessPublic: return ObjCIvarDecl::Public;
66 case eAccessPrivate: return ObjCIvarDecl::Private;
67 case eAccessProtected: return ObjCIvarDecl::Protected;
68 case eAccessPackage: return ObjCIvarDecl::Package;
Greg Clayton84f80752010-07-22 18:30:50 +000069 }
70 return ObjCIvarDecl::None;
71}
72
73
Chris Lattner24943d22010-06-08 16:52:24 +000074static void
75ParseLangArgs
76(
77 LangOptions &Opts,
Greg Claytone41c4b22010-06-13 17:34:29 +000078 InputKind IK
Chris Lattner24943d22010-06-08 16:52:24 +000079)
80{
81 // FIXME: Cleanup per-file based stuff.
82
83 // Set some properties which depend soley on the input kind; it would be nice
84 // to move these to the language standard, and have the driver resolve the
85 // input kind + language standard.
Greg Claytone41c4b22010-06-13 17:34:29 +000086 if (IK == IK_Asm) {
Chris Lattner24943d22010-06-08 16:52:24 +000087 Opts.AsmPreprocessor = 1;
Greg Claytone41c4b22010-06-13 17:34:29 +000088 } else if (IK == IK_ObjC ||
89 IK == IK_ObjCXX ||
90 IK == IK_PreprocessedObjC ||
91 IK == IK_PreprocessedObjCXX) {
Chris Lattner24943d22010-06-08 16:52:24 +000092 Opts.ObjC1 = Opts.ObjC2 = 1;
93 }
94
95 LangStandard::Kind LangStd = LangStandard::lang_unspecified;
96
97 if (LangStd == LangStandard::lang_unspecified) {
98 // Based on the base language, pick one.
99 switch (IK) {
Greg Claytone41c4b22010-06-13 17:34:29 +0000100 case IK_None:
101 case IK_AST:
Chris Lattner24943d22010-06-08 16:52:24 +0000102 assert(0 && "Invalid input kind!");
Greg Claytone41c4b22010-06-13 17:34:29 +0000103 case IK_OpenCL:
Chris Lattner24943d22010-06-08 16:52:24 +0000104 LangStd = LangStandard::lang_opencl;
105 break;
Greg Claytone41c4b22010-06-13 17:34:29 +0000106 case IK_Asm:
107 case IK_C:
108 case IK_PreprocessedC:
109 case IK_ObjC:
110 case IK_PreprocessedObjC:
Chris Lattner24943d22010-06-08 16:52:24 +0000111 LangStd = LangStandard::lang_gnu99;
112 break;
Greg Claytone41c4b22010-06-13 17:34:29 +0000113 case IK_CXX:
114 case IK_PreprocessedCXX:
115 case IK_ObjCXX:
116 case IK_PreprocessedObjCXX:
Chris Lattner24943d22010-06-08 16:52:24 +0000117 LangStd = LangStandard::lang_gnucxx98;
118 break;
119 }
120 }
121
122 const LangStandard &Std = LangStandard::getLangStandardForKind(LangStd);
123 Opts.BCPLComment = Std.hasBCPLComments();
124 Opts.C99 = Std.isC99();
125 Opts.CPlusPlus = Std.isCPlusPlus();
126 Opts.CPlusPlus0x = Std.isCPlusPlus0x();
127 Opts.Digraphs = Std.hasDigraphs();
128 Opts.GNUMode = Std.isGNUMode();
129 Opts.GNUInline = !Std.isC99();
130 Opts.HexFloats = Std.hasHexFloats();
131 Opts.ImplicitInt = Std.hasImplicitInt();
132
133 // OpenCL has some additional defaults.
134 if (LangStd == LangStandard::lang_opencl) {
135 Opts.OpenCL = 1;
136 Opts.AltiVec = 1;
137 Opts.CXXOperatorNames = 1;
138 Opts.LaxVectorConversions = 1;
139 }
140
141 // OpenCL and C++ both have bool, true, false keywords.
142 Opts.Bool = Opts.OpenCL || Opts.CPlusPlus;
143
144// if (Opts.CPlusPlus)
145// Opts.CXXOperatorNames = !Args.hasArg(OPT_fno_operator_names);
146//
147// if (Args.hasArg(OPT_fobjc_gc_only))
148// Opts.setGCMode(LangOptions::GCOnly);
149// else if (Args.hasArg(OPT_fobjc_gc))
150// Opts.setGCMode(LangOptions::HybridGC);
151//
152// if (Args.hasArg(OPT_print_ivar_layout))
153// Opts.ObjCGCBitmapPrint = 1;
154//
155// if (Args.hasArg(OPT_faltivec))
156// Opts.AltiVec = 1;
157//
158// if (Args.hasArg(OPT_pthread))
159// Opts.POSIXThreads = 1;
160//
161// llvm::StringRef Vis = getLastArgValue(Args, OPT_fvisibility,
162// "default");
163// if (Vis == "default")
Sean Callanan8950c9a2010-10-29 18:38:40 +0000164 Opts.setVisibilityMode(DefaultVisibility);
Chris Lattner24943d22010-06-08 16:52:24 +0000165// else if (Vis == "hidden")
166// Opts.setVisibilityMode(LangOptions::Hidden);
167// else if (Vis == "protected")
168// Opts.setVisibilityMode(LangOptions::Protected);
169// else
170// Diags.Report(diag::err_drv_invalid_value)
171// << Args.getLastArg(OPT_fvisibility)->getAsString(Args) << Vis;
172
173// Opts.OverflowChecking = Args.hasArg(OPT_ftrapv);
174
175 // Mimicing gcc's behavior, trigraphs are only enabled if -trigraphs
176 // is specified, or -std is set to a conforming mode.
177 Opts.Trigraphs = !Opts.GNUMode;
178// if (Args.hasArg(OPT_trigraphs))
179// Opts.Trigraphs = 1;
180//
181// Opts.DollarIdents = Args.hasFlag(OPT_fdollars_in_identifiers,
182// OPT_fno_dollars_in_identifiers,
183// !Opts.AsmPreprocessor);
184// Opts.PascalStrings = Args.hasArg(OPT_fpascal_strings);
185// Opts.Microsoft = Args.hasArg(OPT_fms_extensions);
186// Opts.WritableStrings = Args.hasArg(OPT_fwritable_strings);
187// if (Args.hasArg(OPT_fno_lax_vector_conversions))
188// Opts.LaxVectorConversions = 0;
189// Opts.Exceptions = Args.hasArg(OPT_fexceptions);
190// Opts.RTTI = !Args.hasArg(OPT_fno_rtti);
191// Opts.Blocks = Args.hasArg(OPT_fblocks);
192// Opts.CharIsSigned = !Args.hasArg(OPT_fno_signed_char);
193// Opts.ShortWChar = Args.hasArg(OPT_fshort_wchar);
194// Opts.Freestanding = Args.hasArg(OPT_ffreestanding);
195// Opts.NoBuiltin = Args.hasArg(OPT_fno_builtin) || Opts.Freestanding;
196// Opts.AssumeSaneOperatorNew = !Args.hasArg(OPT_fno_assume_sane_operator_new);
197// Opts.HeinousExtensions = Args.hasArg(OPT_fheinous_gnu_extensions);
198// Opts.AccessControl = Args.hasArg(OPT_faccess_control);
199// Opts.ElideConstructors = !Args.hasArg(OPT_fno_elide_constructors);
200// Opts.MathErrno = !Args.hasArg(OPT_fno_math_errno);
201// Opts.InstantiationDepth = getLastArgIntValue(Args, OPT_ftemplate_depth, 99,
202// Diags);
203// Opts.NeXTRuntime = !Args.hasArg(OPT_fgnu_runtime);
204// Opts.ObjCConstantStringClass = getLastArgValue(Args,
205// OPT_fconstant_string_class);
206// Opts.ObjCNonFragileABI = Args.hasArg(OPT_fobjc_nonfragile_abi);
207// Opts.CatchUndefined = Args.hasArg(OPT_fcatch_undefined_behavior);
208// Opts.EmitAllDecls = Args.hasArg(OPT_femit_all_decls);
209// Opts.PICLevel = getLastArgIntValue(Args, OPT_pic_level, 0, Diags);
210// Opts.Static = Args.hasArg(OPT_static_define);
211 Opts.OptimizeSize = 0;
212
213 // FIXME: Eliminate this dependency.
214// unsigned Opt =
215// Args.hasArg(OPT_Os) ? 2 : getLastArgIntValue(Args, OPT_O, 0, Diags);
216// Opts.Optimize = Opt != 0;
217 unsigned Opt = 0;
218
219 // This is the __NO_INLINE__ define, which just depends on things like the
220 // optimization level and -fno-inline, not actually whether the backend has
221 // inlining enabled.
222 //
223 // FIXME: This is affected by other options (-fno-inline).
224 Opts.NoInline = !Opt;
225
226// unsigned SSP = getLastArgIntValue(Args, OPT_stack_protector, 0, Diags);
227// switch (SSP) {
228// default:
229// Diags.Report(diag::err_drv_invalid_value)
230// << Args.getLastArg(OPT_stack_protector)->getAsString(Args) << SSP;
231// break;
232// case 0: Opts.setStackProtectorMode(LangOptions::SSPOff); break;
233// case 1: Opts.setStackProtectorMode(LangOptions::SSPOn); break;
234// case 2: Opts.setStackProtectorMode(LangOptions::SSPReq); break;
235// }
236}
237
Chris Lattner24943d22010-06-08 16:52:24 +0000238
Chris Lattner24943d22010-06-08 16:52:24 +0000239ClangASTContext::ClangASTContext(const char *target_triple) :
240 m_target_triple(),
241 m_ast_context_ap(),
242 m_language_options_ap(),
243 m_source_manager_ap(),
244 m_diagnostic_ap(),
245 m_target_options_ap(),
246 m_target_info_ap(),
247 m_identifier_table_ap(),
248 m_selector_table_ap(),
249 m_builtins_ap()
250{
251 if (target_triple && target_triple[0])
252 m_target_triple.assign (target_triple);
253}
254
255//----------------------------------------------------------------------
256// Destructor
257//----------------------------------------------------------------------
258ClangASTContext::~ClangASTContext()
259{
260 m_builtins_ap.reset();
261 m_selector_table_ap.reset();
262 m_identifier_table_ap.reset();
263 m_target_info_ap.reset();
264 m_target_options_ap.reset();
265 m_diagnostic_ap.reset();
266 m_source_manager_ap.reset();
267 m_language_options_ap.reset();
268 m_ast_context_ap.reset();
269}
270
271
272void
273ClangASTContext::Clear()
274{
275 m_ast_context_ap.reset();
276 m_language_options_ap.reset();
277 m_source_manager_ap.reset();
278 m_diagnostic_ap.reset();
279 m_target_options_ap.reset();
280 m_target_info_ap.reset();
281 m_identifier_table_ap.reset();
282 m_selector_table_ap.reset();
283 m_builtins_ap.reset();
284}
285
286const char *
287ClangASTContext::GetTargetTriple ()
288{
289 return m_target_triple.c_str();
290}
291
292void
293ClangASTContext::SetTargetTriple (const char *target_triple)
294{
295 Clear();
296 m_target_triple.assign(target_triple);
297}
298
299
300ASTContext *
301ClangASTContext::getASTContext()
302{
303 if (m_ast_context_ap.get() == NULL)
304 {
305 m_ast_context_ap.reset(
306 new ASTContext(
307 *getLanguageOptions(),
308 *getSourceManager(),
309 *getTargetInfo(),
310 *getIdentifierTable(),
311 *getSelectorTable(),
Greg Clayton6e713402010-07-30 20:30:44 +0000312 *getBuiltinContext(),
313 0));
Chris Lattner24943d22010-06-08 16:52:24 +0000314 }
315 return m_ast_context_ap.get();
316}
317
318Builtin::Context *
319ClangASTContext::getBuiltinContext()
320{
321 if (m_builtins_ap.get() == NULL)
322 m_builtins_ap.reset (new Builtin::Context(*getTargetInfo()));
323 return m_builtins_ap.get();
324}
325
326IdentifierTable *
327ClangASTContext::getIdentifierTable()
328{
329 if (m_identifier_table_ap.get() == NULL)
330 m_identifier_table_ap.reset(new IdentifierTable (*ClangASTContext::getLanguageOptions(), NULL));
331 return m_identifier_table_ap.get();
332}
333
334LangOptions *
335ClangASTContext::getLanguageOptions()
336{
337 if (m_language_options_ap.get() == NULL)
338 {
339 m_language_options_ap.reset(new LangOptions());
Greg Claytone41c4b22010-06-13 17:34:29 +0000340 ParseLangArgs(*m_language_options_ap, IK_ObjCXX);
341// InitializeLangOptions(*m_language_options_ap, IK_ObjCXX);
Chris Lattner24943d22010-06-08 16:52:24 +0000342 }
343 return m_language_options_ap.get();
344}
345
346SelectorTable *
347ClangASTContext::getSelectorTable()
348{
349 if (m_selector_table_ap.get() == NULL)
350 m_selector_table_ap.reset (new SelectorTable());
351 return m_selector_table_ap.get();
352}
353
Greg Clayton1674b122010-07-21 22:12:05 +0000354clang::SourceManager *
Chris Lattner24943d22010-06-08 16:52:24 +0000355ClangASTContext::getSourceManager()
356{
357 if (m_source_manager_ap.get() == NULL)
Greg Clayton1674b122010-07-21 22:12:05 +0000358 m_source_manager_ap.reset(new clang::SourceManager(*getDiagnostic()));
Chris Lattner24943d22010-06-08 16:52:24 +0000359 return m_source_manager_ap.get();
360}
361
362Diagnostic *
363ClangASTContext::getDiagnostic()
364{
365 if (m_diagnostic_ap.get() == NULL)
366 m_diagnostic_ap.reset(new Diagnostic());
367 return m_diagnostic_ap.get();
368}
369
370TargetOptions *
371ClangASTContext::getTargetOptions()
372{
373 if (m_target_options_ap.get() == NULL && !m_target_triple.empty())
374 {
375 m_target_options_ap.reset (new TargetOptions());
376 if (m_target_options_ap.get())
377 m_target_options_ap->Triple = m_target_triple;
378 }
379 return m_target_options_ap.get();
380}
381
382
383TargetInfo *
384ClangASTContext::getTargetInfo()
385{
386 // target_triple should be something like "x86_64-apple-darwin10"
387 if (m_target_info_ap.get() == NULL && !m_target_triple.empty())
388 m_target_info_ap.reset (TargetInfo::CreateTargetInfo(*getDiagnostic(), *getTargetOptions()));
389 return m_target_info_ap.get();
390}
391
392#pragma mark Basic Types
393
394static inline bool
395QualTypeMatchesBitSize(const uint64_t bit_size, ASTContext *ast_context, QualType qual_type)
396{
397 uint64_t qual_type_bit_size = ast_context->getTypeSize(qual_type);
398 if (qual_type_bit_size == bit_size)
399 return true;
400 return false;
401}
402
Greg Clayton462d4142010-09-29 01:12:09 +0000403clang_type_t
Greg Clayton585660c2010-08-05 01:57:25 +0000404ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (Encoding encoding, uint32_t bit_size)
Chris Lattner24943d22010-06-08 16:52:24 +0000405{
406 ASTContext *ast_context = getASTContext();
407
408 assert (ast_context != NULL);
409
410 return GetBuiltinTypeForEncodingAndBitSize (ast_context, encoding, bit_size);
411}
412
Greg Clayton462d4142010-09-29 01:12:09 +0000413clang_type_t
414ClangASTContext::GetBuiltinTypeForEncodingAndBitSize (ASTContext *ast_context, Encoding encoding, uint32_t bit_size)
Chris Lattner24943d22010-06-08 16:52:24 +0000415{
416 if (!ast_context)
417 return NULL;
418
419 switch (encoding)
420 {
Greg Clayton585660c2010-08-05 01:57:25 +0000421 case eEncodingInvalid:
Chris Lattner24943d22010-06-08 16:52:24 +0000422 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->VoidPtrTy))
423 return ast_context->VoidPtrTy.getAsOpaquePtr();
424 break;
425
Greg Clayton585660c2010-08-05 01:57:25 +0000426 case eEncodingUint:
Chris Lattner24943d22010-06-08 16:52:24 +0000427 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
428 return ast_context->UnsignedCharTy.getAsOpaquePtr();
429 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
430 return ast_context->UnsignedShortTy.getAsOpaquePtr();
431 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
432 return ast_context->UnsignedIntTy.getAsOpaquePtr();
433 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
434 return ast_context->UnsignedLongTy.getAsOpaquePtr();
435 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
436 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
437 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
438 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
439 break;
440
Greg Clayton585660c2010-08-05 01:57:25 +0000441 case eEncodingSint:
Chris Lattner24943d22010-06-08 16:52:24 +0000442 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
443 return ast_context->CharTy.getAsOpaquePtr();
444 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
445 return ast_context->ShortTy.getAsOpaquePtr();
446 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
447 return ast_context->IntTy.getAsOpaquePtr();
448 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
449 return ast_context->LongTy.getAsOpaquePtr();
450 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
451 return ast_context->LongLongTy.getAsOpaquePtr();
452 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
453 return ast_context->Int128Ty.getAsOpaquePtr();
454 break;
455
Greg Clayton585660c2010-08-05 01:57:25 +0000456 case eEncodingIEEE754:
Chris Lattner24943d22010-06-08 16:52:24 +0000457 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatTy))
458 return ast_context->FloatTy.getAsOpaquePtr();
459 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleTy))
460 return ast_context->DoubleTy.getAsOpaquePtr();
461 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleTy))
462 return ast_context->LongDoubleTy.getAsOpaquePtr();
463 break;
464
Greg Clayton585660c2010-08-05 01:57:25 +0000465 case eEncodingVector:
Chris Lattner24943d22010-06-08 16:52:24 +0000466 default:
467 break;
468 }
469
470 return NULL;
471}
472
Greg Clayton462d4142010-09-29 01:12:09 +0000473clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000474ClangASTContext::GetBuiltinTypeForDWARFEncodingAndBitSize (const char *type_name, uint32_t dw_ate, uint32_t bit_size)
475{
476 ASTContext *ast_context = getASTContext();
477
478 #define streq(a,b) strcmp(a,b) == 0
479 assert (ast_context != NULL);
480 if (ast_context)
481 {
482 switch (dw_ate)
483 {
484 default:
485 break;
486
487 case DW_ATE_address:
488 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->VoidPtrTy))
489 return ast_context->VoidPtrTy.getAsOpaquePtr();
490 break;
491
492 case DW_ATE_boolean:
493 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->BoolTy))
494 return ast_context->BoolTy.getAsOpaquePtr();
495 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
496 return ast_context->UnsignedCharTy.getAsOpaquePtr();
497 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
498 return ast_context->UnsignedShortTy.getAsOpaquePtr();
499 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
500 return ast_context->UnsignedIntTy.getAsOpaquePtr();
501 break;
502
503 case DW_ATE_complex_float:
504 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatComplexTy))
505 return ast_context->FloatComplexTy.getAsOpaquePtr();
506 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleComplexTy))
507 return ast_context->DoubleComplexTy.getAsOpaquePtr();
508 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleComplexTy))
509 return ast_context->LongDoubleComplexTy.getAsOpaquePtr();
510 break;
511
512 case DW_ATE_float:
513 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->FloatTy))
514 return ast_context->FloatTy.getAsOpaquePtr();
515 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->DoubleTy))
516 return ast_context->DoubleTy.getAsOpaquePtr();
517 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongDoubleTy))
518 return ast_context->LongDoubleTy.getAsOpaquePtr();
519 break;
520
521 case DW_ATE_signed:
522 if (type_name)
523 {
524 if (streq(type_name, "int") ||
525 streq(type_name, "signed int"))
526 {
527 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
528 return ast_context->IntTy.getAsOpaquePtr();
529 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
530 return ast_context->Int128Ty.getAsOpaquePtr();
531 }
532
533 if (streq(type_name, "long int") ||
534 streq(type_name, "long long int") ||
535 streq(type_name, "signed long long"))
536 {
537 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
538 return ast_context->LongTy.getAsOpaquePtr();
539 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
540 return ast_context->LongLongTy.getAsOpaquePtr();
541 }
542
543 if (streq(type_name, "short") ||
544 streq(type_name, "short int") ||
545 streq(type_name, "signed short") ||
546 streq(type_name, "short signed int"))
547 {
548 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
549 return ast_context->ShortTy.getAsOpaquePtr();
550 }
551
552 if (streq(type_name, "char") ||
553 streq(type_name, "signed char"))
554 {
555 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
556 return ast_context->CharTy.getAsOpaquePtr();
557 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
558 return ast_context->SignedCharTy.getAsOpaquePtr();
559 }
560
561 if (streq(type_name, "wchar_t"))
562 {
563 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->WCharTy))
564 return ast_context->WCharTy.getAsOpaquePtr();
565 }
566
567 }
568 // We weren't able to match up a type name, just search by size
569 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
570 return ast_context->CharTy.getAsOpaquePtr();
571 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->ShortTy))
572 return ast_context->ShortTy.getAsOpaquePtr();
573 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->IntTy))
574 return ast_context->IntTy.getAsOpaquePtr();
575 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongTy))
576 return ast_context->LongTy.getAsOpaquePtr();
577 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->LongLongTy))
578 return ast_context->LongLongTy.getAsOpaquePtr();
579 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->Int128Ty))
580 return ast_context->Int128Ty.getAsOpaquePtr();
581 break;
582
583 case DW_ATE_signed_char:
584 if (type_name)
585 {
586 if (streq(type_name, "signed char"))
587 {
588 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
589 return ast_context->SignedCharTy.getAsOpaquePtr();
590 }
591 }
592 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->CharTy))
593 return ast_context->CharTy.getAsOpaquePtr();
594 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->SignedCharTy))
595 return ast_context->SignedCharTy.getAsOpaquePtr();
596 break;
597
598 case DW_ATE_unsigned:
599 if (type_name)
600 {
601 if (streq(type_name, "unsigned int"))
602 {
603 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
604 return ast_context->UnsignedIntTy.getAsOpaquePtr();
605 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
606 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
607 }
608
609 if (streq(type_name, "unsigned int") ||
610 streq(type_name, "long unsigned int") ||
611 streq(type_name, "unsigned long long"))
612 {
613 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
614 return ast_context->UnsignedLongTy.getAsOpaquePtr();
615 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
616 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
617 }
618
619 if (streq(type_name, "unsigned short") ||
620 streq(type_name, "short unsigned int"))
621 {
622 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
623 return ast_context->UnsignedShortTy.getAsOpaquePtr();
624 }
625 if (streq(type_name, "unsigned char"))
626 {
627 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
628 return ast_context->UnsignedCharTy.getAsOpaquePtr();
629 }
630
631 }
632 // We weren't able to match up a type name, just search by size
633 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
634 return ast_context->UnsignedCharTy.getAsOpaquePtr();
635 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedShortTy))
636 return ast_context->UnsignedShortTy.getAsOpaquePtr();
637 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedIntTy))
638 return ast_context->UnsignedIntTy.getAsOpaquePtr();
639 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongTy))
640 return ast_context->UnsignedLongTy.getAsOpaquePtr();
641 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedLongLongTy))
642 return ast_context->UnsignedLongLongTy.getAsOpaquePtr();
643 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedInt128Ty))
644 return ast_context->UnsignedInt128Ty.getAsOpaquePtr();
645 break;
646
647 case DW_ATE_unsigned_char:
648 if (QualTypeMatchesBitSize (bit_size, ast_context, ast_context->UnsignedCharTy))
649 return ast_context->UnsignedCharTy.getAsOpaquePtr();
650 break;
651
652 case DW_ATE_imaginary_float:
653 break;
654 }
655 }
656 // This assert should fire for anything that we don't catch above so we know
657 // to fix any issues we run into.
658 assert (!"error: ClangASTContext::GetClangTypeForDWARFEncodingAndSize() contains an unhandled encoding. Fix this ASAP!");
659 return NULL;
660}
661
Greg Clayton462d4142010-09-29 01:12:09 +0000662clang_type_t
663ClangASTContext::GetBuiltInType_void(ASTContext *ast_context)
Chris Lattner24943d22010-06-08 16:52:24 +0000664{
Sean Callanana751f7b2010-09-17 02:24:29 +0000665 return ast_context->VoidTy.getAsOpaquePtr();
Chris Lattner24943d22010-06-08 16:52:24 +0000666}
667
Greg Clayton462d4142010-09-29 01:12:09 +0000668clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000669ClangASTContext::GetBuiltInType_objc_id()
670{
Sean Callanan04325062010-10-25 00:29:48 +0000671 return getASTContext()->ObjCBuiltinIdTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000672}
673
Greg Clayton462d4142010-09-29 01:12:09 +0000674clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000675ClangASTContext::GetBuiltInType_objc_Class()
676{
Sean Callanan04325062010-10-25 00:29:48 +0000677 return getASTContext()->ObjCBuiltinClassTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000678}
679
Greg Clayton462d4142010-09-29 01:12:09 +0000680clang_type_t
Greg Clayton960d6a42010-08-03 00:35:52 +0000681ClangASTContext::GetBuiltInType_objc_selector()
682{
Sean Callanan04325062010-10-25 00:29:48 +0000683 return getASTContext()->ObjCBuiltinSelTy.getAsOpaquePtr();
Greg Clayton960d6a42010-08-03 00:35:52 +0000684}
685
Greg Clayton462d4142010-09-29 01:12:09 +0000686clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000687ClangASTContext::GetCStringType (bool is_const)
688{
689 QualType char_type(getASTContext()->CharTy);
690
691 if (is_const)
692 char_type.addConst();
693
694 return getASTContext()->getPointerType(char_type).getAsOpaquePtr();
695}
696
Greg Clayton462d4142010-09-29 01:12:09 +0000697clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +0000698ClangASTContext::GetVoidPtrType (bool is_const)
699{
700 return GetVoidPtrType(getASTContext(), is_const);
701}
702
Greg Clayton462d4142010-09-29 01:12:09 +0000703clang_type_t
704ClangASTContext::GetVoidPtrType (ASTContext *ast_context, bool is_const)
Chris Lattner24943d22010-06-08 16:52:24 +0000705{
706 QualType void_ptr_type(ast_context->VoidPtrTy);
707
708 if (is_const)
709 void_ptr_type.addConst();
710
711 return void_ptr_type.getAsOpaquePtr();
712}
713
Sean Callanan839fde42010-10-28 18:19:36 +0000714class NullDiagnosticClient : public DiagnosticClient
715{
716public:
717 NullDiagnosticClient ()
718 {
719 m_log = lldb_private::GetLogIfAllCategoriesSet (LIBLLDB_LOG_EXPRESSIONS);
720 }
721
722 void HandleDiagnostic (Diagnostic::Level DiagLevel, const DiagnosticInfo &info)
723 {
724 if (m_log)
725 {
726 llvm::SmallVectorImpl<char> diag_str(10);
727 info.FormatDiagnostic(diag_str);
728 diag_str.push_back('\0');
729 m_log->Printf("Compiler diagnostic: %s\n", diag_str.data());
730 }
731 }
732private:
733 Log *m_log;
734};
735
Greg Clayton462d4142010-09-29 01:12:09 +0000736clang_type_t
737ClangASTContext::CopyType (ASTContext *dest_context,
738 ASTContext *source_context,
739 clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000740{
Sean Callananad5b61b2010-10-28 18:43:33 +0000741 // null_client's ownership is transferred to diagnostics
Sean Callanan839fde42010-10-28 18:19:36 +0000742 NullDiagnosticClient *null_client = new NullDiagnosticClient;
743 Diagnostic diagnostics(null_client);
Chris Lattner24943d22010-06-08 16:52:24 +0000744 FileManager file_manager;
745 ASTImporter importer(diagnostics,
746 *dest_context, file_manager,
747 *source_context, file_manager);
748 QualType ret = importer.Import(QualType::getFromOpaquePtr(clang_type));
749 return ret.getAsOpaquePtr();
750}
751
Sean Callanan8d825062010-07-16 00:00:27 +0000752bool
Greg Clayton462d4142010-09-29 01:12:09 +0000753ClangASTContext::AreTypesSame(ASTContext *ast_context,
754 clang_type_t type1,
755 clang_type_t type2)
Sean Callanan5510ddd2010-07-15 22:30:52 +0000756{
757 return ast_context->hasSameType(QualType::getFromOpaquePtr(type1),
758 QualType::getFromOpaquePtr(type2));
759}
760
Chris Lattner24943d22010-06-08 16:52:24 +0000761#pragma mark CVR modifiers
762
Greg Clayton462d4142010-09-29 01:12:09 +0000763clang_type_t
764ClangASTContext::AddConstModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000765{
766 if (clang_type)
767 {
768 QualType result(QualType::getFromOpaquePtr(clang_type));
769 result.addConst();
770 return result.getAsOpaquePtr();
771 }
772 return NULL;
773}
774
Greg Clayton462d4142010-09-29 01:12:09 +0000775clang_type_t
776ClangASTContext::AddRestrictModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000777{
778 if (clang_type)
779 {
780 QualType result(QualType::getFromOpaquePtr(clang_type));
781 result.getQualifiers().setRestrict (true);
782 return result.getAsOpaquePtr();
783 }
784 return NULL;
785}
786
Greg Clayton462d4142010-09-29 01:12:09 +0000787clang_type_t
788ClangASTContext::AddVolatileModifier (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +0000789{
790 if (clang_type)
791 {
792 QualType result(QualType::getFromOpaquePtr(clang_type));
793 result.getQualifiers().setVolatile (true);
794 return result.getAsOpaquePtr();
795 }
796 return NULL;
797}
798
799#pragma mark Structure, Unions, Classes
800
Greg Clayton462d4142010-09-29 01:12:09 +0000801clang_type_t
Greg Clayton585660c2010-08-05 01:57:25 +0000802ClangASTContext::CreateRecordType (const char *name, int kind, DeclContext *decl_ctx, LanguageType language)
Chris Lattner24943d22010-06-08 16:52:24 +0000803{
804 ASTContext *ast_context = getASTContext();
805 assert (ast_context != NULL);
Sean Callanan04325062010-10-25 00:29:48 +0000806
Chris Lattner24943d22010-06-08 16:52:24 +0000807 if (decl_ctx == NULL)
808 decl_ctx = ast_context->getTranslationUnitDecl();
809
Greg Clayton9488b742010-07-28 02:04:09 +0000810
Greg Clayton585660c2010-08-05 01:57:25 +0000811 if (language == eLanguageTypeObjC)
Greg Clayton9488b742010-07-28 02:04:09 +0000812 {
Greg Clayton306edca2010-10-11 02:25:34 +0000813 bool isForwardDecl = true;
Greg Clayton9488b742010-07-28 02:04:09 +0000814 bool isInternal = false;
815 return CreateObjCClass (name, decl_ctx, isForwardDecl, isInternal);
816 }
817
Chris Lattner24943d22010-06-08 16:52:24 +0000818 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
819 // we will need to update this code. I was told to currently always use
820 // the CXXRecordDecl class since we often don't know from debug information
821 // if something is struct or a class, so we default to always use the more
822 // complete definition just in case.
823 CXXRecordDecl *decl = CXXRecordDecl::Create(*ast_context,
824 (TagDecl::TagKind)kind,
825 decl_ctx,
826 SourceLocation(),
827 name && name[0] ? &ast_context->Idents.get(name) : NULL);
828
829 return ast_context->getTagDeclType(decl).getAsOpaquePtr();
830}
831
Greg Claytondbf26152010-10-01 23:13:49 +0000832static bool
833IsOperator (const char *name, OverloadedOperatorKind &op_kind)
834{
835 if (name == NULL || name[0] == '\0')
836 return false;
837
838 if (::strstr(name, "operator ") != name)
839 return false;
840
841 const char *post_op_name = name + 9;
842
843 // This is an operator, set the overloaded operator kind to invalid
844 // in case this is a conversion operator...
845 op_kind = NUM_OVERLOADED_OPERATORS;
846
847 switch (post_op_name[0])
848 {
849 case 'n':
850 if (strcmp (post_op_name, "new") == 0)
851 op_kind = OO_New;
852 else if (strcmp (post_op_name, "new[]") == 0)
853 op_kind = OO_Array_New;
854 break;
855
856 case 'd':
857 if (strcmp (post_op_name, "delete") == 0)
858 op_kind = OO_Delete;
859 else if (strcmp (post_op_name, "delete[]") == 0)
860 op_kind = OO_Array_Delete;
861 break;
862
863 case '+':
864 if (post_op_name[1] == '\0')
865 op_kind = OO_Plus;
866 else if (post_op_name[2] == '\0')
867 {
868 if (post_op_name[1] == '=')
869 op_kind = OO_PlusEqual;
870 else if (post_op_name[1] == '+')
871 op_kind = OO_PlusPlus;
872 }
873 break;
874
875 case '-':
876 if (post_op_name[1] == '\0')
877 op_kind = OO_Minus;
878 else if (post_op_name[2] == '\0')
879 {
880 switch (post_op_name[1])
881 {
882 case '=': op_kind = OO_MinusEqual; break;
883 case '-': op_kind = OO_MinusMinus; break;
884 case '>': op_kind = OO_Arrow; break;
885 }
886 }
887 else if (post_op_name[3] == '\0')
888 {
889 if (post_op_name[2] == '*')
890 op_kind = OO_ArrowStar; break;
891 }
892 break;
893
894 case '*':
895 if (post_op_name[1] == '\0')
896 op_kind = OO_Star;
897 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
898 op_kind = OO_StarEqual;
899 break;
900
901 case '/':
902 if (post_op_name[1] == '\0')
903 op_kind = OO_Slash;
904 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
905 op_kind = OO_SlashEqual;
906 break;
907
908 case '%':
909 if (post_op_name[1] == '\0')
910 op_kind = OO_Percent;
911 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
912 op_kind = OO_PercentEqual;
913 break;
914
915
916 case '^':
917 if (post_op_name[1] == '\0')
918 op_kind = OO_Caret;
919 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
920 op_kind = OO_CaretEqual;
921 break;
922
923 case '&':
924 if (post_op_name[1] == '\0')
925 op_kind = OO_Amp;
926 else if (post_op_name[2] == '\0')
927 {
928 switch (post_op_name[1])
929 {
930 case '=': op_kind = OO_AmpEqual; break;
931 case '&': op_kind = OO_AmpAmp; break;
932 }
933 }
934 break;
935
936 case '|':
937 if (post_op_name[1] == '\0')
938 op_kind = OO_Pipe;
939 else if (post_op_name[2] == '\0')
940 {
941 switch (post_op_name[1])
942 {
943 case '=': op_kind = OO_PipeEqual; break;
944 case '|': op_kind = OO_PipePipe; break;
945 }
946 }
947 break;
948
949 case '~':
950 if (post_op_name[1] == '\0')
951 op_kind = OO_Tilde;
952 break;
953
954 case '!':
955 if (post_op_name[1] == '\0')
956 op_kind = OO_Exclaim;
957 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
958 op_kind = OO_ExclaimEqual;
959 break;
960
961 case '=':
962 if (post_op_name[1] == '\0')
963 op_kind = OO_Equal;
964 else if (post_op_name[1] == '=' && post_op_name[2] == '\0')
965 op_kind = OO_EqualEqual;
966 break;
967
968 case '<':
969 if (post_op_name[1] == '\0')
970 op_kind = OO_Less;
971 else if (post_op_name[2] == '\0')
972 {
973 switch (post_op_name[1])
974 {
975 case '<': op_kind = OO_LessLess; break;
976 case '=': op_kind = OO_LessEqual; break;
977 }
978 }
979 else if (post_op_name[3] == '\0')
980 {
981 if (post_op_name[2] == '=')
982 op_kind = OO_LessLessEqual;
983 }
984 break;
985
986 case '>':
987 if (post_op_name[1] == '\0')
988 op_kind = OO_Greater;
989 else if (post_op_name[2] == '\0')
990 {
991 switch (post_op_name[1])
992 {
993 case '>': op_kind = OO_GreaterGreater; break;
994 case '=': op_kind = OO_GreaterEqual; break;
995 }
996 }
997 else if (post_op_name[1] == '>' &&
998 post_op_name[2] == '=' &&
999 post_op_name[3] == '\0')
1000 {
1001 op_kind = OO_GreaterGreaterEqual;
1002 }
1003 break;
1004
1005 case ',':
1006 if (post_op_name[1] == '\0')
1007 op_kind = OO_Comma;
1008 break;
1009
1010 case '(':
1011 if (post_op_name[1] == ')' && post_op_name[2] == '\0')
1012 op_kind = OO_Call;
1013 break;
1014
1015 case '[':
1016 if (post_op_name[1] == ']' && post_op_name[2] == '\0')
1017 op_kind = OO_Subscript;
1018 break;
1019 }
1020
1021 return true;
1022}
Greg Clayton412440a2010-09-23 01:09:21 +00001023CXXMethodDecl *
Sean Callanan79523002010-09-17 02:58:26 +00001024ClangASTContext::AddMethodToCXXRecordType
1025(
Greg Clayton462d4142010-09-29 01:12:09 +00001026 ASTContext *ast_context,
1027 clang_type_t record_opaque_type,
Greg Clayton412440a2010-09-23 01:09:21 +00001028 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001029 clang_type_t method_opaque_type,
Greg Clayton412440a2010-09-23 01:09:21 +00001030 lldb::AccessType access,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001031 bool is_virtual,
1032 bool is_static,
Greg Clayton30449d52010-10-01 02:31:07 +00001033 bool is_inline,
1034 bool is_explicit
Greg Clayton412440a2010-09-23 01:09:21 +00001035)
Sean Callanan79523002010-09-17 02:58:26 +00001036{
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001037 if (!record_opaque_type || !method_opaque_type || !name)
Johnny Chen974fddb2010-09-28 16:10:54 +00001038 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001039
1040 assert(ast_context);
1041
1042 IdentifierTable *identifier_table = &ast_context->Idents;
1043
1044 assert(identifier_table);
1045
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001046 QualType record_qual_type(QualType::getFromOpaquePtr(record_opaque_type));
Greg Clayton1d8173f2010-09-24 05:15:53 +00001047
1048 clang::Type *clang_type(record_qual_type.getTypePtr());
Sean Callanan79523002010-09-17 02:58:26 +00001049
Greg Clayton1d8173f2010-09-24 05:15:53 +00001050 if (clang_type == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001051 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001052
Greg Clayton1d8173f2010-09-24 05:15:53 +00001053 RecordType *record_clang_type(dyn_cast<RecordType>(clang_type));
Sean Callanan79523002010-09-17 02:58:26 +00001054
Greg Clayton1d8173f2010-09-24 05:15:53 +00001055 if (record_clang_type == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001056 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001057
Greg Clayton1d8173f2010-09-24 05:15:53 +00001058 RecordDecl *record_decl = record_clang_type->getDecl();
Sean Callanan79523002010-09-17 02:58:26 +00001059
Greg Clayton1d8173f2010-09-24 05:15:53 +00001060 if (record_decl == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001061 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001062
1063 CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1064
Greg Clayton1d8173f2010-09-24 05:15:53 +00001065 if (cxx_record_decl == NULL)
Greg Clayton412440a2010-09-23 01:09:21 +00001066 return NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001067
Greg Clayton1d8173f2010-09-24 05:15:53 +00001068 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001069
Greg Clayton30449d52010-10-01 02:31:07 +00001070 CXXMethodDecl *cxx_method_decl = NULL;
Sean Callanan79523002010-09-17 02:58:26 +00001071
Greg Clayton30449d52010-10-01 02:31:07 +00001072 DeclarationName decl_name (&identifier_table->get(name));
Greg Clayton90e325d2010-10-01 03:45:20 +00001073
Greg Clayton90e325d2010-10-01 03:45:20 +00001074 const bool is_implicitly_declared = false;
Greg Clayton30449d52010-10-01 02:31:07 +00001075
Greg Clayton5325a362010-10-02 01:40:05 +00001076 clang::FunctionType *function_Type = dyn_cast<FunctionType>(method_qual_type.getTypePtr());
Greg Clayton90e325d2010-10-01 03:45:20 +00001077
Greg Clayton5325a362010-10-02 01:40:05 +00001078 if (function_Type == NULL)
Greg Clayton90e325d2010-10-01 03:45:20 +00001079 return NULL;
1080
Greg Clayton5325a362010-10-02 01:40:05 +00001081 FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(function_Type));
Greg Clayton90e325d2010-10-01 03:45:20 +00001082
1083 if (!method_function_prototype)
1084 return NULL;
1085
1086 unsigned int num_params = method_function_prototype->getNumArgs();
1087
1088 if (name[0] == '~')
Greg Clayton30449d52010-10-01 02:31:07 +00001089 {
Greg Clayton90e325d2010-10-01 03:45:20 +00001090 cxx_method_decl = CXXDestructorDecl::Create (*ast_context,
1091 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001092 DeclarationNameInfo (ast_context->DeclarationNames.getCXXDestructorName (ast_context->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001093 method_qual_type,
Sean Callanan8950c9a2010-10-29 18:38:40 +00001094 NULL,
Greg Clayton90e325d2010-10-01 03:45:20 +00001095 is_inline,
1096 is_implicitly_declared);
1097 }
1098 else if (decl_name == record_decl->getDeclName())
1099 {
Greg Clayton30449d52010-10-01 02:31:07 +00001100 cxx_method_decl = CXXConstructorDecl::Create (*ast_context,
1101 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001102 DeclarationNameInfo (ast_context->DeclarationNames.getCXXConstructorName (ast_context->getCanonicalType (record_qual_type)), SourceLocation()),
Greg Clayton30449d52010-10-01 02:31:07 +00001103 method_qual_type,
1104 NULL, // TypeSourceInfo *
1105 is_explicit,
1106 is_inline,
1107 is_implicitly_declared);
1108 }
1109 else
Greg Clayton90e325d2010-10-01 03:45:20 +00001110 {
Greg Claytondbf26152010-10-01 23:13:49 +00001111
1112 OverloadedOperatorKind op_kind = NUM_OVERLOADED_OPERATORS;
1113 if (IsOperator (name, op_kind))
Greg Clayton90e325d2010-10-01 03:45:20 +00001114 {
Greg Claytondbf26152010-10-01 23:13:49 +00001115 if (op_kind != NUM_OVERLOADED_OPERATORS)
1116 {
1117 cxx_method_decl = CXXMethodDecl::Create (*ast_context,
Greg Clayton90e325d2010-10-01 03:45:20 +00001118 cxx_record_decl,
Greg Claytondbf26152010-10-01 23:13:49 +00001119 DeclarationNameInfo (ast_context->DeclarationNames.getCXXOperatorName (op_kind), SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001120 method_qual_type,
1121 NULL, // TypeSourceInfo *
Greg Claytondbf26152010-10-01 23:13:49 +00001122 is_static,
1123 SC_None,
1124 is_inline);
1125 }
1126 else if (num_params == 0)
1127 {
1128 // Conversion operators don't take params...
1129 cxx_method_decl = CXXConversionDecl::Create (*ast_context,
1130 cxx_record_decl,
Greg Clayton5325a362010-10-02 01:40:05 +00001131 DeclarationNameInfo (ast_context->DeclarationNames.getCXXConversionFunctionName (ast_context->getCanonicalType (function_Type->getResultType())), SourceLocation()),
Greg Claytondbf26152010-10-01 23:13:49 +00001132 method_qual_type,
1133 NULL, // TypeSourceInfo *
1134 is_inline,
1135 is_explicit);
1136 }
Greg Clayton90e325d2010-10-01 03:45:20 +00001137 }
Greg Claytondbf26152010-10-01 23:13:49 +00001138
1139 if (cxx_method_decl == NULL)
Greg Clayton90e325d2010-10-01 03:45:20 +00001140 {
1141 cxx_method_decl = CXXMethodDecl::Create (*ast_context,
1142 cxx_record_decl,
Greg Claytondbf26152010-10-01 23:13:49 +00001143 DeclarationNameInfo (decl_name, SourceLocation()),
Greg Clayton90e325d2010-10-01 03:45:20 +00001144 method_qual_type,
1145 NULL, // TypeSourceInfo *
1146 is_static,
1147 SC_None,
1148 is_inline);
1149 }
Greg Clayton30449d52010-10-01 02:31:07 +00001150 }
Greg Claytondbf26152010-10-01 23:13:49 +00001151
Greg Clayton462d4142010-09-29 01:12:09 +00001152 AccessSpecifier access_specifier = ConvertAccessTypeToAccessSpecifier (access);
Greg Clayton1d8173f2010-09-24 05:15:53 +00001153
1154 cxx_method_decl->setAccess (access_specifier);
1155 cxx_method_decl->setVirtualAsWritten (is_virtual);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001156
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001157 // Populate the method decl with parameter decls
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001158
1159 ParmVarDecl *params[num_params];
1160
1161 for (int param_index = 0;
1162 param_index < num_params;
1163 ++param_index)
1164 {
Greg Clayton1d8173f2010-09-24 05:15:53 +00001165 params[param_index] = ParmVarDecl::Create (*ast_context,
1166 cxx_method_decl,
1167 SourceLocation(),
1168 NULL, // anonymous
1169 method_function_prototype->getArgType(param_index),
1170 NULL,
1171 SC_None,
1172 SC_None,
1173 NULL);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001174 }
1175
Greg Clayton1d8173f2010-09-24 05:15:53 +00001176 cxx_method_decl->setParams (params, num_params);
Sean Callanan3c9c5eb2010-09-21 00:44:12 +00001177
Greg Clayton1d8173f2010-09-24 05:15:53 +00001178 cxx_record_decl->addDecl (cxx_method_decl);
Sean Callanan79523002010-09-17 02:58:26 +00001179
Greg Clayton412440a2010-09-23 01:09:21 +00001180 return cxx_method_decl;
Sean Callanan79523002010-09-17 02:58:26 +00001181}
1182
1183bool
Greg Clayton84f80752010-07-22 18:30:50 +00001184ClangASTContext::AddFieldToRecordType
1185(
Greg Clayton462d4142010-09-29 01:12:09 +00001186 ASTContext *ast_context,
1187 clang_type_t record_clang_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001188 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001189 clang_type_t field_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001190 AccessType access,
1191 uint32_t bitfield_bit_size
1192)
Chris Lattner24943d22010-06-08 16:52:24 +00001193{
1194 if (record_clang_type == NULL || field_type == NULL)
1195 return false;
1196
Sean Callanan60a0ced2010-09-16 20:01:08 +00001197 IdentifierTable *identifier_table = &ast_context->Idents;
Chris Lattner24943d22010-06-08 16:52:24 +00001198
1199 assert (ast_context != NULL);
1200 assert (identifier_table != NULL);
1201
1202 QualType record_qual_type(QualType::getFromOpaquePtr(record_clang_type));
1203
Greg Clayton1674b122010-07-21 22:12:05 +00001204 clang::Type *clang_type = record_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001205 if (clang_type)
1206 {
1207 const RecordType *record_type = dyn_cast<RecordType>(clang_type);
1208
1209 if (record_type)
1210 {
1211 RecordDecl *record_decl = record_type->getDecl();
1212
Chris Lattner24943d22010-06-08 16:52:24 +00001213 clang::Expr *bit_width = NULL;
1214 if (bitfield_bit_size != 0)
1215 {
1216 APInt bitfield_bit_size_apint(ast_context->getTypeSize(ast_context->IntTy), bitfield_bit_size);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001217 bit_width = new (*ast_context)IntegerLiteral (*ast_context, bitfield_bit_size_apint, ast_context->IntTy, SourceLocation());
Chris Lattner24943d22010-06-08 16:52:24 +00001218 }
Greg Clayton84f80752010-07-22 18:30:50 +00001219 FieldDecl *field = FieldDecl::Create (*ast_context,
1220 record_decl,
1221 SourceLocation(),
1222 name ? &identifier_table->get(name) : NULL, // Identifier
1223 QualType::getFromOpaquePtr(field_type), // Field type
1224 NULL, // DeclaratorInfo *
1225 bit_width, // BitWidth
1226 false); // Mutable
Chris Lattner24943d22010-06-08 16:52:24 +00001227
Greg Clayton84f80752010-07-22 18:30:50 +00001228 field->setAccess (ConvertAccessTypeToAccessSpecifier (access));
Chris Lattner24943d22010-06-08 16:52:24 +00001229
1230 if (field)
1231 {
1232 record_decl->addDecl(field);
Chris Lattner24943d22010-06-08 16:52:24 +00001233 }
1234 }
Greg Clayton9488b742010-07-28 02:04:09 +00001235 else
1236 {
1237 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(clang_type);
1238 if (objc_class_type)
1239 {
Greg Clayton1d8173f2010-09-24 05:15:53 +00001240 bool is_synthesized = false;
Sean Callanan60a0ced2010-09-16 20:01:08 +00001241 ClangASTContext::AddObjCClassIVar (ast_context,
1242 record_clang_type,
Greg Clayton9488b742010-07-28 02:04:09 +00001243 name,
1244 field_type,
1245 access,
1246 bitfield_bit_size,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001247 is_synthesized);
Greg Clayton9488b742010-07-28 02:04:09 +00001248 }
1249 }
Chris Lattner24943d22010-06-08 16:52:24 +00001250 }
1251 return false;
1252}
1253
1254bool
1255ClangASTContext::FieldIsBitfield (FieldDecl* field, uint32_t& bitfield_bit_size)
1256{
1257 return FieldIsBitfield(getASTContext(), field, bitfield_bit_size);
1258}
1259
1260bool
1261ClangASTContext::FieldIsBitfield
1262(
1263 ASTContext *ast_context,
1264 FieldDecl* field,
1265 uint32_t& bitfield_bit_size
1266)
1267{
1268 if (ast_context == NULL || field == NULL)
1269 return false;
1270
1271 if (field->isBitField())
1272 {
1273 Expr* bit_width_expr = field->getBitWidth();
1274 if (bit_width_expr)
1275 {
1276 llvm::APSInt bit_width_apsint;
1277 if (bit_width_expr->isIntegerConstantExpr(bit_width_apsint, *ast_context))
1278 {
1279 bitfield_bit_size = bit_width_apsint.getLimitedValue(UINT32_MAX);
1280 return true;
1281 }
1282 }
1283 }
1284 return false;
1285}
1286
1287bool
1288ClangASTContext::RecordHasFields (const RecordDecl *record_decl)
1289{
1290 if (record_decl == NULL)
1291 return false;
1292
1293 if (!record_decl->field_empty())
1294 return true;
1295
1296 // No fields, lets check this is a CXX record and check the base classes
1297 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1298 if (cxx_record_decl)
1299 {
1300 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1301 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1302 base_class != base_class_end;
1303 ++base_class)
1304 {
1305 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1306 if (RecordHasFields(base_class_decl))
1307 return true;
1308 }
1309 }
1310 return false;
1311}
1312
1313void
Greg Clayton462d4142010-09-29 01:12:09 +00001314ClangASTContext::SetDefaultAccessForRecordFields (clang_type_t clang_qual_type, int default_accessibility, int *assigned_accessibilities, size_t num_assigned_accessibilities)
Chris Lattner24943d22010-06-08 16:52:24 +00001315{
1316 if (clang_qual_type)
1317 {
1318 QualType qual_type(QualType::getFromOpaquePtr(clang_qual_type));
Greg Clayton1674b122010-07-21 22:12:05 +00001319 clang::Type *clang_type = qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001320 if (clang_type)
1321 {
1322 RecordType *record_type = dyn_cast<RecordType>(clang_type);
1323 if (record_type)
1324 {
1325 RecordDecl *record_decl = record_type->getDecl();
1326 if (record_decl)
1327 {
1328 uint32_t field_idx;
1329 RecordDecl::field_iterator field, field_end;
1330 for (field = record_decl->field_begin(), field_end = record_decl->field_end(), field_idx = 0;
1331 field != field_end;
1332 ++field, ++field_idx)
1333 {
1334 // If no accessibility was assigned, assign the correct one
1335 if (field_idx < num_assigned_accessibilities && assigned_accessibilities[field_idx] == clang::AS_none)
1336 field->setAccess ((AccessSpecifier)default_accessibility);
1337 }
1338 }
1339 }
1340 }
1341 }
1342}
1343
1344#pragma mark C++ Base Classes
1345
1346CXXBaseSpecifier *
Greg Clayton462d4142010-09-29 01:12:09 +00001347ClangASTContext::CreateBaseClassSpecifier (clang_type_t base_class_type, AccessType access, bool is_virtual, bool base_of_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001348{
1349 if (base_class_type)
Greg Clayton6e713402010-07-30 20:30:44 +00001350 return new CXXBaseSpecifier (SourceRange(),
1351 is_virtual,
1352 base_of_class,
1353 ConvertAccessTypeToAccessSpecifier (access),
1354 getASTContext()->CreateTypeSourceInfo (QualType::getFromOpaquePtr(base_class_type)));
Chris Lattner24943d22010-06-08 16:52:24 +00001355 return NULL;
1356}
1357
Greg Claytone9d0df42010-07-02 01:29:13 +00001358void
1359ClangASTContext::DeleteBaseClassSpecifiers (CXXBaseSpecifier **base_classes, unsigned num_base_classes)
1360{
1361 for (unsigned i=0; i<num_base_classes; ++i)
1362 {
1363 delete base_classes[i];
1364 base_classes[i] = NULL;
1365 }
1366}
1367
Chris Lattner24943d22010-06-08 16:52:24 +00001368bool
Greg Clayton462d4142010-09-29 01:12:09 +00001369ClangASTContext::SetBaseClassesForClassType (clang_type_t class_clang_type, CXXBaseSpecifier const * const *base_classes, unsigned num_base_classes)
Chris Lattner24943d22010-06-08 16:52:24 +00001370{
1371 if (class_clang_type)
1372 {
Greg Clayton1674b122010-07-21 22:12:05 +00001373 clang::Type *clang_type = QualType::getFromOpaquePtr(class_clang_type).getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00001374 if (clang_type)
1375 {
1376 RecordType *record_type = dyn_cast<RecordType>(clang_type);
1377 if (record_type)
1378 {
1379 CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_type->getDecl());
1380 if (cxx_record_decl)
1381 {
Chris Lattner24943d22010-06-08 16:52:24 +00001382 cxx_record_decl->setBases(base_classes, num_base_classes);
1383 return true;
1384 }
1385 }
1386 }
1387 }
1388 return false;
1389}
Greg Clayton84f80752010-07-22 18:30:50 +00001390#pragma mark Objective C Classes
Chris Lattner24943d22010-06-08 16:52:24 +00001391
Greg Clayton462d4142010-09-29 01:12:09 +00001392clang_type_t
Greg Clayton84f80752010-07-22 18:30:50 +00001393ClangASTContext::CreateObjCClass
1394(
1395 const char *name,
1396 DeclContext *decl_ctx,
1397 bool isForwardDecl,
1398 bool isInternal
1399)
1400{
1401 ASTContext *ast_context = getASTContext();
1402 assert (ast_context != NULL);
1403 assert (name && name[0]);
1404 if (decl_ctx == NULL)
1405 decl_ctx = ast_context->getTranslationUnitDecl();
1406
1407 // NOTE: Eventually CXXRecordDecl will be merged back into RecordDecl and
1408 // we will need to update this code. I was told to currently always use
1409 // the CXXRecordDecl class since we often don't know from debug information
1410 // if something is struct or a class, so we default to always use the more
1411 // complete definition just in case.
1412 ObjCInterfaceDecl *decl = ObjCInterfaceDecl::Create (*ast_context,
1413 decl_ctx,
1414 SourceLocation(),
1415 &ast_context->Idents.get(name),
1416 SourceLocation(),
1417 isForwardDecl,
1418 isInternal);
Greg Clayton9488b742010-07-28 02:04:09 +00001419
1420 return ast_context->getObjCInterfaceType(decl).getAsOpaquePtr();
Greg Clayton84f80752010-07-22 18:30:50 +00001421}
1422
1423bool
Greg Clayton462d4142010-09-29 01:12:09 +00001424ClangASTContext::SetObjCSuperClass (clang_type_t class_opaque_type, clang_type_t super_opaque_type)
Greg Clayton84f80752010-07-22 18:30:50 +00001425{
1426 if (class_opaque_type && super_opaque_type)
1427 {
1428 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1429 QualType super_qual_type(QualType::getFromOpaquePtr(super_opaque_type));
1430 clang::Type *class_type = class_qual_type.getTypePtr();
1431 clang::Type *super_type = super_qual_type.getTypePtr();
1432 if (class_type && super_type)
1433 {
1434 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1435 ObjCObjectType *objc_super_type = dyn_cast<ObjCObjectType>(super_type);
1436 if (objc_class_type && objc_super_type)
1437 {
1438 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1439 ObjCInterfaceDecl *super_interface_decl = objc_super_type->getInterface();
1440 if (class_interface_decl && super_interface_decl)
1441 {
1442 class_interface_decl->setSuperClass(super_interface_decl);
1443 return true;
1444 }
1445 }
1446 }
1447 }
1448 return false;
1449}
1450
1451
1452bool
1453ClangASTContext::AddObjCClassIVar
1454(
Greg Clayton462d4142010-09-29 01:12:09 +00001455 ASTContext *ast_context,
1456 clang_type_t class_opaque_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001457 const char *name,
Greg Clayton462d4142010-09-29 01:12:09 +00001458 clang_type_t ivar_opaque_type,
Greg Clayton84f80752010-07-22 18:30:50 +00001459 AccessType access,
1460 uint32_t bitfield_bit_size,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001461 bool is_synthesized
Greg Clayton84f80752010-07-22 18:30:50 +00001462)
1463{
1464 if (class_opaque_type == NULL || ivar_opaque_type == NULL)
1465 return false;
1466
Sean Callanan60a0ced2010-09-16 20:01:08 +00001467 IdentifierTable *identifier_table = &ast_context->Idents;
Greg Clayton84f80752010-07-22 18:30:50 +00001468
1469 assert (ast_context != NULL);
1470 assert (identifier_table != NULL);
1471
1472 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1473
1474 clang::Type *class_type = class_qual_type.getTypePtr();
1475 if (class_type)
1476 {
1477 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1478
1479 if (objc_class_type)
1480 {
1481 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1482
1483 if (class_interface_decl)
1484 {
1485 clang::Expr *bit_width = NULL;
1486 if (bitfield_bit_size != 0)
1487 {
1488 APInt bitfield_bit_size_apint(ast_context->getTypeSize(ast_context->IntTy), bitfield_bit_size);
Sean Callanan47a5c4c2010-09-23 03:01:22 +00001489 bit_width = new (*ast_context)IntegerLiteral (*ast_context, bitfield_bit_size_apint, ast_context->IntTy, SourceLocation());
Greg Clayton84f80752010-07-22 18:30:50 +00001490 }
1491
Greg Clayton9488b742010-07-28 02:04:09 +00001492 ObjCIvarDecl *field = ObjCIvarDecl::Create (*ast_context,
1493 class_interface_decl,
1494 SourceLocation(),
1495 &identifier_table->get(name), // Identifier
1496 QualType::getFromOpaquePtr(ivar_opaque_type), // Field type
1497 NULL, // TypeSourceInfo *
1498 ConvertAccessTypeToObjCIvarAccessControl (access),
1499 bit_width,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001500 is_synthesized);
Greg Clayton9488b742010-07-28 02:04:09 +00001501
1502 if (field)
1503 {
1504 class_interface_decl->addDecl(field);
1505 return true;
1506 }
Greg Clayton84f80752010-07-22 18:30:50 +00001507 }
1508 }
1509 }
1510 return false;
1511}
Chris Lattner24943d22010-06-08 16:52:24 +00001512
Greg Clayton9488b742010-07-28 02:04:09 +00001513
1514bool
Greg Clayton462d4142010-09-29 01:12:09 +00001515ClangASTContext::ObjCTypeHasIVars (clang_type_t class_opaque_type, bool check_superclass)
Greg Clayton9488b742010-07-28 02:04:09 +00001516{
1517 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1518
1519 clang::Type *class_type = class_qual_type.getTypePtr();
1520 if (class_type)
1521 {
1522 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1523
1524 if (objc_class_type)
1525 return ObjCDeclHasIVars (objc_class_type->getInterface(), check_superclass);
1526 }
1527 return false;
1528}
1529
1530bool
1531ClangASTContext::ObjCDeclHasIVars (ObjCInterfaceDecl *class_interface_decl, bool check_superclass)
1532{
1533 while (class_interface_decl)
1534 {
1535 if (class_interface_decl->ivar_size() > 0)
1536 return true;
1537
1538 if (check_superclass)
1539 class_interface_decl = class_interface_decl->getSuperClass();
1540 else
1541 break;
1542 }
1543 return false;
1544}
Greg Clayton1d8173f2010-09-24 05:15:53 +00001545
Greg Clayton462d4142010-09-29 01:12:09 +00001546ObjCMethodDecl *
Greg Clayton1d8173f2010-09-24 05:15:53 +00001547ClangASTContext::AddMethodToObjCObjectType
1548(
Greg Clayton462d4142010-09-29 01:12:09 +00001549 ASTContext *ast_context,
1550 clang_type_t class_opaque_type,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001551 const char *name, // the full symbol name as seen in the symbol table ("-[NString stringWithCString:]")
Greg Clayton462d4142010-09-29 01:12:09 +00001552 clang_type_t method_opaque_type,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001553 lldb::AccessType access
1554)
1555{
1556 if (class_opaque_type == NULL || method_opaque_type == NULL)
1557 return NULL;
1558
1559 IdentifierTable *identifier_table = &ast_context->Idents;
1560
1561 assert (ast_context != NULL);
1562 assert (identifier_table != NULL);
1563
1564 QualType class_qual_type(QualType::getFromOpaquePtr(class_opaque_type));
1565
1566 clang::Type *class_type = class_qual_type.getTypePtr();
1567 if (class_type == NULL)
1568 return NULL;
1569
1570 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(class_type);
1571
1572 if (objc_class_type == NULL)
1573 return NULL;
1574
1575 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1576
1577 if (class_interface_decl == NULL)
1578 return NULL;
Greg Clayton9488b742010-07-28 02:04:09 +00001579
Greg Clayton1d8173f2010-09-24 05:15:53 +00001580 const char *selector_start = ::strchr (name, ' ');
1581 if (selector_start == NULL)
1582 return NULL;
1583
1584 selector_start++;
1585 if (!(::isalpha (selector_start[0]) || selector_start[0] == '_'))
1586 return NULL;
1587 llvm::SmallVector<IdentifierInfo *, 12> selector_idents;
1588
Greg Claytonad60bf42010-10-12 02:24:53 +00001589 size_t len = 0;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001590 const char *start;
Greg Claytonad60bf42010-10-12 02:24:53 +00001591 //printf ("name = '%s'\n", name);
1592
1593 unsigned num_selectors_with_args = 0;
1594 for (start = selector_start;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001595 start && *start != '\0' && *start != ']';
Greg Claytonad60bf42010-10-12 02:24:53 +00001596 start += len)
Greg Clayton1d8173f2010-09-24 05:15:53 +00001597 {
Greg Claytonad60bf42010-10-12 02:24:53 +00001598 len = ::strcspn(start, ":]");
Greg Clayton6bc44a42010-10-27 04:01:14 +00001599 bool has_arg = (start[len] == ':');
1600 if (has_arg)
Greg Claytonad60bf42010-10-12 02:24:53 +00001601 ++num_selectors_with_args;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001602 selector_idents.push_back (&identifier_table->get (StringRef (start, len)));
Greg Clayton6bc44a42010-10-27 04:01:14 +00001603 if (has_arg)
1604 len += 1;
Greg Clayton1d8173f2010-09-24 05:15:53 +00001605 }
1606
1607
1608 if (selector_idents.size() == 0)
1609 return 0;
1610
Greg Claytonad60bf42010-10-12 02:24:53 +00001611 clang::Selector method_selector = ast_context->Selectors.getSelector (num_selectors_with_args ? selector_idents.size() : 0,
Greg Clayton1d8173f2010-09-24 05:15:53 +00001612 selector_idents.data());
1613
1614 QualType method_qual_type (QualType::getFromOpaquePtr (method_opaque_type));
1615
1616 // Populate the method decl with parameter decls
1617 clang::Type *method_type(method_qual_type.getTypePtr());
1618
1619 if (method_type == NULL)
1620 return NULL;
1621
1622 FunctionProtoType *method_function_prototype (dyn_cast<FunctionProtoType>(method_type));
1623
1624 if (!method_function_prototype)
1625 return NULL;
1626
1627
1628 bool is_variadic = false;
1629 bool is_synthesized = false;
1630 bool is_defined = false;
1631 ObjCMethodDecl::ImplementationControl imp_control = ObjCMethodDecl::None;
1632
1633 const unsigned num_args = method_function_prototype->getNumArgs();
1634
1635 ObjCMethodDecl *objc_method_decl = ObjCMethodDecl::Create (*ast_context,
1636 SourceLocation(), // beginLoc,
1637 SourceLocation(), // endLoc,
1638 method_selector,
1639 method_function_prototype->getResultType(),
1640 NULL, // TypeSourceInfo *ResultTInfo,
1641 GetDeclContextForType (class_opaque_type),
1642 name[0] == '-',
1643 is_variadic,
1644 is_synthesized,
1645 is_defined,
1646 imp_control,
1647 num_args);
1648
1649
1650 if (objc_method_decl == NULL)
1651 return NULL;
1652
1653 if (num_args > 0)
1654 {
1655 llvm::SmallVector<ParmVarDecl *, 12> params;
1656
1657 for (int param_index = 0; param_index < num_args; ++param_index)
1658 {
1659 params.push_back (ParmVarDecl::Create (*ast_context,
1660 objc_method_decl,
1661 SourceLocation(),
1662 NULL, // anonymous
1663 method_function_prototype->getArgType(param_index),
1664 NULL,
1665 SC_Auto,
1666 SC_Auto,
1667 NULL));
1668 }
1669
1670 objc_method_decl->setMethodParams(*ast_context, params.data(), params.size(), num_args);
1671 }
1672
1673 class_interface_decl->addDecl (objc_method_decl);
1674
1675
1676 return objc_method_decl;
1677}
1678
1679
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001680uint32_t
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001681ClangASTContext::GetTypeInfo
1682(
1683 clang_type_t clang_type,
1684 clang::ASTContext *ast_context,
1685 clang_type_t *pointee_or_element_clang_type
1686)
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001687{
1688 if (clang_type == NULL)
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001689 return 0;
1690
1691 if (pointee_or_element_clang_type)
1692 *pointee_or_element_clang_type = NULL;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001693
1694 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1695
1696 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1697 switch (type_class)
1698 {
Sean Callanan04325062010-10-25 00:29:48 +00001699 case clang::Type::Builtin:
1700 switch (cast<clang::BuiltinType>(qual_type)->getKind())
1701 {
Sean Callanan04325062010-10-25 00:29:48 +00001702 case clang::BuiltinType::ObjCId:
1703 case clang::BuiltinType::ObjCClass:
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001704 if (ast_context && pointee_or_element_clang_type)
1705 *pointee_or_element_clang_type = ast_context->ObjCBuiltinClassTy.getAsOpaquePtr();
Sean Callanan04325062010-10-25 00:29:48 +00001706 return eTypeIsBuiltIn | eTypeIsPointer | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001707
1708 default:
1709 break;
Sean Callanan04325062010-10-25 00:29:48 +00001710 }
1711 return eTypeIsBuiltIn | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001712
1713 case clang::Type::BlockPointer:
1714 if (pointee_or_element_clang_type)
1715 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1716 return eTypeIsPointer | eTypeHasChildren | eTypeIsBlock;
1717
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001718 case clang::Type::Complex: return eTypeHasChildren | eTypeIsBuiltIn | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001719
1720 case clang::Type::ConstantArray:
1721 case clang::Type::DependentSizedArray:
1722 case clang::Type::IncompleteArray:
1723 case clang::Type::VariableArray:
1724 if (pointee_or_element_clang_type)
1725 *pointee_or_element_clang_type = cast<ArrayType>(qual_type.getTypePtr())->getElementType().getAsOpaquePtr();
1726 return eTypeHasChildren | eTypeIsArray;
1727
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001728 case clang::Type::DependentName: return 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001729 case clang::Type::DependentSizedExtVector: return eTypeHasChildren | eTypeIsVector;
1730 case clang::Type::DependentTemplateSpecialization: return eTypeIsTemplate;
1731 case clang::Type::Decltype: return 0;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001732
1733 case clang::Type::Enum:
1734 if (pointee_or_element_clang_type)
1735 *pointee_or_element_clang_type = cast<EnumType>(qual_type)->getDecl()->getIntegerType().getAsOpaquePtr();
1736 return eTypeIsEnumeration | eTypeHasValue;
1737
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001738 case clang::Type::Elaborated: return 0;
1739 case clang::Type::ExtVector: return eTypeHasChildren | eTypeIsVector;
1740 case clang::Type::FunctionProto: return eTypeIsFuncPrototype | eTypeHasValue;
1741 case clang::Type::FunctionNoProto: return eTypeIsFuncPrototype | eTypeHasValue;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001742 case clang::Type::InjectedClassName: return 0;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001743
1744 case clang::Type::LValueReference:
1745 case clang::Type::RValueReference:
1746 if (pointee_or_element_clang_type)
1747 *pointee_or_element_clang_type = cast<ReferenceType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr();
1748 return eTypeHasChildren | eTypeIsReference | eTypeHasValue;
1749
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001750 case clang::Type::MemberPointer: return eTypeIsPointer | eTypeIsMember | eTypeHasValue;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001751
1752 case clang::Type::ObjCObjectPointer:
1753 if (pointee_or_element_clang_type)
1754 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1755 return eTypeHasChildren | eTypeIsObjC | eTypeIsClass | eTypeIsPointer | eTypeHasValue;
1756
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001757 case clang::Type::ObjCObject: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
1758 case clang::Type::ObjCInterface: return eTypeHasChildren | eTypeIsObjC | eTypeIsClass;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001759
1760 case clang::Type::Pointer:
1761 if (pointee_or_element_clang_type)
1762 *pointee_or_element_clang_type = qual_type->getPointeeType().getAsOpaquePtr();
1763 return eTypeHasChildren | eTypeIsPointer | eTypeHasValue;
1764
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001765 case clang::Type::Record:
1766 if (qual_type->getAsCXXRecordDecl())
1767 return eTypeHasChildren | eTypeIsClass | eTypeIsCPlusPlus;
1768 else
1769 return eTypeHasChildren | eTypeIsStructUnion;
1770 break;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001771 case clang::Type::SubstTemplateTypeParm: return eTypeIsTemplate;
1772 case clang::Type::TemplateTypeParm: return eTypeIsTemplate;
1773 case clang::Type::TemplateSpecialization: return eTypeIsTemplate;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001774
1775 case clang::Type::Typedef:
1776 return eTypeIsTypedef | ClangASTContext::GetTypeInfo (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
1777 ast_context,
1778 pointee_or_element_clang_type);
1779
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001780 case clang::Type::TypeOfExpr: return 0;
1781 case clang::Type::TypeOf: return 0;
1782 case clang::Type::UnresolvedUsing: return 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001783 case clang::Type::Vector: return eTypeHasChildren | eTypeIsVector;
1784 default: return 0;
1785 }
1786 return 0;
1787}
1788
Greg Clayton9488b742010-07-28 02:04:09 +00001789
Chris Lattner24943d22010-06-08 16:52:24 +00001790#pragma mark Aggregate Types
1791
1792bool
Greg Clayton462d4142010-09-29 01:12:09 +00001793ClangASTContext::IsAggregateType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00001794{
1795 if (clang_type == NULL)
1796 return false;
1797
1798 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
1799
1800 if (qual_type->isAggregateType ())
1801 return true;
1802
Greg Clayton03e0f972010-09-13 03:32:57 +00001803 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1804 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001805 {
Greg Clayton1674b122010-07-21 22:12:05 +00001806 case clang::Type::IncompleteArray:
1807 case clang::Type::VariableArray:
1808 case clang::Type::ConstantArray:
1809 case clang::Type::ExtVector:
1810 case clang::Type::Vector:
1811 case clang::Type::Record:
Greg Clayton9488b742010-07-28 02:04:09 +00001812 case clang::Type::ObjCObject:
1813 case clang::Type::ObjCInterface:
Chris Lattner24943d22010-06-08 16:52:24 +00001814 return true;
1815
Greg Clayton1674b122010-07-21 22:12:05 +00001816 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00001817 return ClangASTContext::IsAggregateType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
1818
1819 default:
1820 break;
1821 }
1822 // The clang type does have a value
1823 return false;
1824}
1825
1826uint32_t
Greg Clayton462d4142010-09-29 01:12:09 +00001827ClangASTContext::GetNumChildren (clang_type_t clang_qual_type, bool omit_empty_base_classes)
Chris Lattner24943d22010-06-08 16:52:24 +00001828{
1829 if (clang_qual_type == NULL)
1830 return 0;
1831
1832 uint32_t num_children = 0;
1833 QualType qual_type(QualType::getFromOpaquePtr(clang_qual_type));
Greg Clayton9488b742010-07-28 02:04:09 +00001834 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
1835 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00001836 {
Greg Clayton960d6a42010-08-03 00:35:52 +00001837 case clang::Type::Builtin:
1838 switch (cast<clang::BuiltinType>(qual_type)->getKind())
1839 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001840 case clang::BuiltinType::ObjCId: // child is Class
Greg Clayton960d6a42010-08-03 00:35:52 +00001841 case clang::BuiltinType::ObjCClass: // child is Class
Greg Clayton960d6a42010-08-03 00:35:52 +00001842 num_children = 1;
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001843 break;
Greg Clayton960d6a42010-08-03 00:35:52 +00001844
1845 default:
1846 break;
1847 }
1848 break;
1849
Greg Clayton1674b122010-07-21 22:12:05 +00001850 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00001851 {
1852 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
1853 const RecordDecl *record_decl = record_type->getDecl();
1854 assert(record_decl);
1855 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
1856 if (cxx_record_decl)
1857 {
1858 if (omit_empty_base_classes)
1859 {
1860 // Check each base classes to see if it or any of its
1861 // base classes contain any fields. This can help
1862 // limit the noise in variable views by not having to
1863 // show base classes that contain no members.
1864 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
1865 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
1866 base_class != base_class_end;
1867 ++base_class)
1868 {
1869 const CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
1870
1871 // Skip empty base classes
1872 if (RecordHasFields(base_class_decl) == false)
1873 continue;
1874
1875 num_children++;
1876 }
1877 }
1878 else
1879 {
1880 // Include all base classes
1881 num_children += cxx_record_decl->getNumBases();
1882 }
1883
1884 }
1885 RecordDecl::field_iterator field, field_end;
1886 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field)
1887 ++num_children;
1888 }
1889 break;
1890
Greg Clayton9488b742010-07-28 02:04:09 +00001891 case clang::Type::ObjCObject:
1892 case clang::Type::ObjCInterface:
1893 {
1894 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
1895 assert (objc_class_type);
1896 if (objc_class_type)
1897 {
1898 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
1899
1900 if (class_interface_decl)
1901 {
1902
1903 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
1904 if (superclass_interface_decl)
1905 {
1906 if (omit_empty_base_classes)
1907 {
1908 if (ClangASTContext::ObjCDeclHasIVars (superclass_interface_decl, true))
1909 ++num_children;
1910 }
1911 else
1912 ++num_children;
1913 }
1914
1915 num_children += class_interface_decl->ivar_size();
1916 }
1917 }
1918 }
1919 break;
1920
1921 case clang::Type::ObjCObjectPointer:
Greg Clayton960d6a42010-08-03 00:35:52 +00001922 {
1923 ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(qual_type.getTypePtr());
1924 QualType pointee_type = pointer_type->getPointeeType();
1925 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1926 omit_empty_base_classes);
1927 // If this type points to a simple type, then it has 1 child
1928 if (num_pointee_children == 0)
1929 num_children = 1;
1930 else
1931 num_children = num_pointee_children;
1932 }
1933 break;
Greg Clayton9488b742010-07-28 02:04:09 +00001934
Greg Clayton1674b122010-07-21 22:12:05 +00001935 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00001936 num_children = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
1937 break;
1938
Greg Clayton1674b122010-07-21 22:12:05 +00001939 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00001940 {
1941 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
1942 QualType pointee_type = pointer_type->getPointeeType();
Greg Clayton9488b742010-07-28 02:04:09 +00001943 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1944 omit_empty_base_classes);
Chris Lattner24943d22010-06-08 16:52:24 +00001945 // If this type points to a simple type, then it has 1 child
1946 if (num_pointee_children == 0)
1947 num_children = 1;
1948 else
1949 num_children = num_pointee_children;
1950 }
1951 break;
1952
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00001953 case clang::Type::LValueReference:
1954 case clang::Type::RValueReference:
1955 {
1956 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
1957 QualType pointee_type = reference_type->getPointeeType();
1958 uint32_t num_pointee_children = ClangASTContext::GetNumChildren (pointee_type.getAsOpaquePtr(),
1959 omit_empty_base_classes);
1960 // If this type points to a simple type, then it has 1 child
1961 if (num_pointee_children == 0)
1962 num_children = 1;
1963 else
1964 num_children = num_pointee_children;
1965 }
1966 break;
1967
1968
Greg Clayton1674b122010-07-21 22:12:05 +00001969 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00001970 num_children = ClangASTContext::GetNumChildren (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(), omit_empty_base_classes);
1971 break;
1972
1973 default:
1974 break;
1975 }
1976 return num_children;
1977}
1978
1979
Greg Clayton462d4142010-09-29 01:12:09 +00001980clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +00001981ClangASTContext::GetChildClangTypeAtIndex
1982(
1983 const char *parent_name,
Greg Clayton462d4142010-09-29 01:12:09 +00001984 clang_type_t parent_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00001985 uint32_t idx,
1986 bool transparent_pointers,
1987 bool omit_empty_base_classes,
1988 std::string& child_name,
1989 uint32_t &child_byte_size,
1990 int32_t &child_byte_offset,
1991 uint32_t &child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00001992 uint32_t &child_bitfield_bit_offset,
1993 bool &child_is_base_class
Chris Lattner24943d22010-06-08 16:52:24 +00001994)
1995{
1996 if (parent_clang_type)
1997
1998 return GetChildClangTypeAtIndex (getASTContext(),
1999 parent_name,
2000 parent_clang_type,
2001 idx,
2002 transparent_pointers,
2003 omit_empty_base_classes,
2004 child_name,
2005 child_byte_size,
2006 child_byte_offset,
2007 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002008 child_bitfield_bit_offset,
2009 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002010 return NULL;
2011}
2012
Greg Clayton462d4142010-09-29 01:12:09 +00002013clang_type_t
Chris Lattner24943d22010-06-08 16:52:24 +00002014ClangASTContext::GetChildClangTypeAtIndex
2015(
2016 ASTContext *ast_context,
2017 const char *parent_name,
Greg Clayton462d4142010-09-29 01:12:09 +00002018 clang_type_t parent_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002019 uint32_t idx,
2020 bool transparent_pointers,
2021 bool omit_empty_base_classes,
2022 std::string& child_name,
2023 uint32_t &child_byte_size,
2024 int32_t &child_byte_offset,
2025 uint32_t &child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002026 uint32_t &child_bitfield_bit_offset,
2027 bool &child_is_base_class
Chris Lattner24943d22010-06-08 16:52:24 +00002028)
2029{
2030 if (parent_clang_type == NULL)
2031 return NULL;
2032
2033 if (idx < ClangASTContext::GetNumChildren (parent_clang_type, omit_empty_base_classes))
2034 {
2035 uint32_t bit_offset;
2036 child_bitfield_bit_size = 0;
2037 child_bitfield_bit_offset = 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002038 child_is_base_class = false;
Chris Lattner24943d22010-06-08 16:52:24 +00002039 QualType parent_qual_type(QualType::getFromOpaquePtr(parent_clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00002040 const clang::Type::TypeClass parent_type_class = parent_qual_type->getTypeClass();
2041 switch (parent_type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002042 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002043 case clang::Type::Builtin:
2044 switch (cast<clang::BuiltinType>(parent_qual_type)->getKind())
2045 {
2046 case clang::BuiltinType::ObjCId:
2047 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00002048 child_name = "isa";
2049 child_byte_size = ast_context->getTypeSize(ast_context->ObjCBuiltinClassTy) / CHAR_BIT;
Greg Clayton960d6a42010-08-03 00:35:52 +00002050 return ast_context->ObjCBuiltinClassTy.getAsOpaquePtr();
2051
Greg Clayton960d6a42010-08-03 00:35:52 +00002052 default:
2053 break;
2054 }
2055 break;
2056
2057
Greg Clayton1674b122010-07-21 22:12:05 +00002058 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002059 {
2060 const RecordType *record_type = cast<RecordType>(parent_qual_type.getTypePtr());
2061 const RecordDecl *record_decl = record_type->getDecl();
2062 assert(record_decl);
2063 const ASTRecordLayout &record_layout = ast_context->getASTRecordLayout(record_decl);
2064 uint32_t child_idx = 0;
2065
2066 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2067 if (cxx_record_decl)
2068 {
2069 // We might have base classes to print out first
2070 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2071 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2072 base_class != base_class_end;
2073 ++base_class)
2074 {
2075 const CXXRecordDecl *base_class_decl = NULL;
2076
2077 // Skip empty base classes
2078 if (omit_empty_base_classes)
2079 {
2080 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2081 if (RecordHasFields(base_class_decl) == false)
2082 continue;
2083 }
2084
2085 if (idx == child_idx)
2086 {
2087 if (base_class_decl == NULL)
2088 base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2089
2090
2091 if (base_class->isVirtual())
2092 bit_offset = record_layout.getVBaseClassOffset(base_class_decl);
2093 else
2094 bit_offset = record_layout.getBaseClassOffset(base_class_decl);
2095
2096 // Base classes should be a multiple of 8 bits in size
2097 assert (bit_offset % 8 == 0);
2098 child_byte_offset = bit_offset/8;
2099 std::string base_class_type_name(base_class->getType().getAsString());
2100
2101 child_name.assign(base_class_type_name.c_str());
2102
2103 uint64_t clang_type_info_bit_size = ast_context->getTypeSize(base_class->getType());
2104
2105 // Base classes biut sizes should be a multiple of 8 bits in size
2106 assert (clang_type_info_bit_size % 8 == 0);
2107 child_byte_size = clang_type_info_bit_size / 8;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002108 child_is_base_class = true;
Chris Lattner24943d22010-06-08 16:52:24 +00002109 return base_class->getType().getAsOpaquePtr();
2110 }
2111 // We don't increment the child index in the for loop since we might
2112 // be skipping empty base classes
2113 ++child_idx;
2114 }
2115 }
Chris Lattner24943d22010-06-08 16:52:24 +00002116 // Make sure index is in range...
2117 uint32_t field_idx = 0;
2118 RecordDecl::field_iterator field, field_end;
2119 for (field = record_decl->field_begin(), field_end = record_decl->field_end(); field != field_end; ++field, ++field_idx, ++child_idx)
2120 {
2121 if (idx == child_idx)
2122 {
2123 // Print the member type if requested
2124 // Print the member name and equal sign
2125 child_name.assign(field->getNameAsString().c_str());
2126
2127 // Figure out the type byte size (field_type_info.first) and
2128 // alignment (field_type_info.second) from the AST context.
2129 std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(field->getType());
Greg Clayton54e7afa2010-07-09 20:39:50 +00002130 assert(field_idx < record_layout.getFieldCount());
Chris Lattner24943d22010-06-08 16:52:24 +00002131
2132 child_byte_size = field_type_info.first / 8;
2133
2134 // Figure out the field offset within the current struct/union/class type
2135 bit_offset = record_layout.getFieldOffset (field_idx);
2136 child_byte_offset = bit_offset / 8;
2137 if (ClangASTContext::FieldIsBitfield (ast_context, *field, child_bitfield_bit_size))
2138 child_bitfield_bit_offset = bit_offset % 8;
2139
2140 return field->getType().getAsOpaquePtr();
2141 }
2142 }
2143 }
2144 break;
2145
Greg Clayton9488b742010-07-28 02:04:09 +00002146 case clang::Type::ObjCObject:
2147 case clang::Type::ObjCInterface:
2148 {
2149 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(parent_qual_type.getTypePtr());
2150 assert (objc_class_type);
2151 if (objc_class_type)
2152 {
2153 uint32_t child_idx = 0;
2154 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2155
2156 if (class_interface_decl)
2157 {
2158
2159 const ASTRecordLayout &interface_layout = ast_context->getASTObjCInterfaceLayout(class_interface_decl);
2160 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2161 if (superclass_interface_decl)
2162 {
2163 if (omit_empty_base_classes)
2164 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002165 if (ClangASTContext::GetNumChildren(ast_context->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(), omit_empty_base_classes) > 0)
Greg Clayton9488b742010-07-28 02:04:09 +00002166 {
2167 if (idx == 0)
2168 {
2169 QualType ivar_qual_type(ast_context->getObjCInterfaceType(superclass_interface_decl));
2170
2171
2172 child_name.assign(superclass_interface_decl->getNameAsString().c_str());
2173
2174 std::pair<uint64_t, unsigned> ivar_type_info = ast_context->getTypeInfo(ivar_qual_type.getTypePtr());
2175
2176 child_byte_size = ivar_type_info.first / 8;
Greg Clayton960d6a42010-08-03 00:35:52 +00002177 child_byte_offset = 0;
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002178 child_is_base_class = true;
Greg Clayton9488b742010-07-28 02:04:09 +00002179
2180 return ivar_qual_type.getAsOpaquePtr();
2181 }
2182
2183 ++child_idx;
2184 }
2185 }
2186 else
2187 ++child_idx;
2188 }
Greg Clayton960d6a42010-08-03 00:35:52 +00002189
2190 const uint32_t superclass_idx = child_idx;
Greg Clayton9488b742010-07-28 02:04:09 +00002191
2192 if (idx < (child_idx + class_interface_decl->ivar_size()))
2193 {
2194 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2195
2196 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
2197 {
2198 if (child_idx == idx)
2199 {
2200 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2201
2202 QualType ivar_qual_type(ivar_decl->getType());
2203
2204 child_name.assign(ivar_decl->getNameAsString().c_str());
2205
2206 std::pair<uint64_t, unsigned> ivar_type_info = ast_context->getTypeInfo(ivar_qual_type.getTypePtr());
2207
2208 child_byte_size = ivar_type_info.first / 8;
2209
2210 // Figure out the field offset within the current struct/union/class type
Greg Clayton960d6a42010-08-03 00:35:52 +00002211 bit_offset = interface_layout.getFieldOffset (child_idx - superclass_idx);
Greg Clayton9488b742010-07-28 02:04:09 +00002212 child_byte_offset = bit_offset / 8;
2213
2214 return ivar_qual_type.getAsOpaquePtr();
2215 }
2216 ++child_idx;
2217 }
2218 }
2219 }
2220 }
2221 }
2222 break;
2223
2224 case clang::Type::ObjCObjectPointer:
2225 {
Greg Clayton960d6a42010-08-03 00:35:52 +00002226 ObjCObjectPointerType *pointer_type = cast<ObjCObjectPointerType>(parent_qual_type.getTypePtr());
2227 QualType pointee_type = pointer_type->getPointeeType();
2228
2229 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2230 {
2231 return GetChildClangTypeAtIndex (ast_context,
2232 parent_name,
2233 pointer_type->getPointeeType().getAsOpaquePtr(),
2234 idx,
2235 transparent_pointers,
2236 omit_empty_base_classes,
2237 child_name,
2238 child_byte_size,
2239 child_byte_offset,
2240 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002241 child_bitfield_bit_offset,
2242 child_is_base_class);
Greg Clayton960d6a42010-08-03 00:35:52 +00002243 }
2244 else
2245 {
2246 if (parent_name)
2247 {
2248 child_name.assign(1, '*');
2249 child_name += parent_name;
2250 }
2251
2252 // We have a pointer to an simple type
2253 if (idx == 0)
2254 {
2255 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2256 assert(clang_type_info.first % 8 == 0);
2257 child_byte_size = clang_type_info.first / 8;
2258 child_byte_offset = 0;
2259 return pointee_type.getAsOpaquePtr();
2260 }
2261 }
Greg Clayton9488b742010-07-28 02:04:09 +00002262 }
2263 break;
2264
Greg Clayton1674b122010-07-21 22:12:05 +00002265 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002266 {
2267 const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2268 const uint64_t element_count = array->getSize().getLimitedValue();
2269
2270 if (idx < element_count)
2271 {
2272 std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2273
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002274 char element_name[64];
2275 ::snprintf (element_name, sizeof (element_name), "[%u]", idx);
Chris Lattner24943d22010-06-08 16:52:24 +00002276
2277 child_name.assign(element_name);
2278 assert(field_type_info.first % 8 == 0);
2279 child_byte_size = field_type_info.first / 8;
2280 child_byte_offset = idx * child_byte_size;
2281 return array->getElementType().getAsOpaquePtr();
2282 }
2283 }
2284 break;
2285
Greg Clayton1674b122010-07-21 22:12:05 +00002286 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002287 {
2288 PointerType *pointer_type = cast<PointerType>(parent_qual_type.getTypePtr());
2289 QualType pointee_type = pointer_type->getPointeeType();
2290
2291 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2292 {
2293 return GetChildClangTypeAtIndex (ast_context,
2294 parent_name,
2295 pointer_type->getPointeeType().getAsOpaquePtr(),
2296 idx,
2297 transparent_pointers,
2298 omit_empty_base_classes,
2299 child_name,
2300 child_byte_size,
2301 child_byte_offset,
2302 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002303 child_bitfield_bit_offset,
2304 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002305 }
2306 else
2307 {
2308 if (parent_name)
2309 {
2310 child_name.assign(1, '*');
2311 child_name += parent_name;
2312 }
2313
2314 // We have a pointer to an simple type
2315 if (idx == 0)
2316 {
2317 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2318 assert(clang_type_info.first % 8 == 0);
2319 child_byte_size = clang_type_info.first / 8;
2320 child_byte_offset = 0;
2321 return pointee_type.getAsOpaquePtr();
2322 }
2323 }
2324 }
2325 break;
2326
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00002327 case clang::Type::LValueReference:
2328 case clang::Type::RValueReference:
2329 {
2330 ReferenceType *reference_type = cast<ReferenceType>(parent_qual_type.getTypePtr());
2331 QualType pointee_type(reference_type->getPointeeType());
2332 clang_type_t pointee_clang_type = pointee_type.getAsOpaquePtr();
2333 if (transparent_pointers && ClangASTContext::IsAggregateType (pointee_clang_type))
2334 {
2335 return GetChildClangTypeAtIndex (ast_context,
2336 parent_name,
2337 pointee_clang_type,
2338 idx,
2339 transparent_pointers,
2340 omit_empty_base_classes,
2341 child_name,
2342 child_byte_size,
2343 child_byte_offset,
2344 child_bitfield_bit_size,
2345 child_bitfield_bit_offset,
2346 child_is_base_class);
2347 }
2348 else
2349 {
2350 if (parent_name)
2351 {
2352 child_name.assign(1, '&');
2353 child_name += parent_name;
2354 }
2355
2356 // We have a pointer to an simple type
2357 if (idx == 0)
2358 {
2359 std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2360 assert(clang_type_info.first % 8 == 0);
2361 child_byte_size = clang_type_info.first / 8;
2362 child_byte_offset = 0;
2363 return pointee_type.getAsOpaquePtr();
2364 }
2365 }
2366 }
2367 break;
2368
Greg Clayton1674b122010-07-21 22:12:05 +00002369 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002370 return GetChildClangTypeAtIndex (ast_context,
2371 parent_name,
2372 cast<TypedefType>(parent_qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
2373 idx,
2374 transparent_pointers,
2375 omit_empty_base_classes,
2376 child_name,
2377 child_byte_size,
2378 child_byte_offset,
2379 child_bitfield_bit_size,
Greg Claytonbf8e42b2010-10-14 22:52:14 +00002380 child_bitfield_bit_offset,
2381 child_is_base_class);
Chris Lattner24943d22010-06-08 16:52:24 +00002382 break;
2383
2384 default:
2385 break;
2386 }
2387 }
Greg Claytonf8e98a62010-07-23 15:37:46 +00002388 return NULL;
Chris Lattner24943d22010-06-08 16:52:24 +00002389}
2390
2391static inline bool
2392BaseSpecifierIsEmpty (const CXXBaseSpecifier *b)
2393{
2394 return ClangASTContext::RecordHasFields(cast<CXXRecordDecl>(b->getType()->getAs<RecordType>()->getDecl())) == false;
2395}
2396
2397static uint32_t
2398GetNumBaseClasses (const CXXRecordDecl *cxx_record_decl, bool omit_empty_base_classes)
2399{
2400 uint32_t num_bases = 0;
2401 if (cxx_record_decl)
2402 {
2403 if (omit_empty_base_classes)
2404 {
2405 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2406 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2407 base_class != base_class_end;
2408 ++base_class)
2409 {
2410 // Skip empty base classes
2411 if (omit_empty_base_classes)
2412 {
2413 if (BaseSpecifierIsEmpty (base_class))
2414 continue;
2415 }
2416 ++num_bases;
2417 }
2418 }
2419 else
2420 num_bases = cxx_record_decl->getNumBases();
2421 }
2422 return num_bases;
2423}
2424
2425
2426static uint32_t
2427GetIndexForRecordBase
2428(
2429 const RecordDecl *record_decl,
2430 const CXXBaseSpecifier *base_spec,
2431 bool omit_empty_base_classes
2432)
2433{
2434 uint32_t child_idx = 0;
2435
2436 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2437
2438// const char *super_name = record_decl->getNameAsCString();
2439// const char *base_name = base_spec->getType()->getAs<RecordType>()->getDecl()->getNameAsCString();
2440// printf ("GetIndexForRecordChild (%s, %s)\n", super_name, base_name);
2441//
2442 if (cxx_record_decl)
2443 {
2444 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2445 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2446 base_class != base_class_end;
2447 ++base_class)
2448 {
2449 if (omit_empty_base_classes)
2450 {
2451 if (BaseSpecifierIsEmpty (base_class))
2452 continue;
2453 }
2454
2455// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n", super_name, base_name,
2456// child_idx,
2457// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2458//
2459//
2460 if (base_class == base_spec)
2461 return child_idx;
2462 ++child_idx;
2463 }
2464 }
2465
2466 return UINT32_MAX;
2467}
2468
2469
2470static uint32_t
2471GetIndexForRecordChild
2472(
2473 const RecordDecl *record_decl,
2474 NamedDecl *canonical_decl,
2475 bool omit_empty_base_classes
2476)
2477{
2478 uint32_t child_idx = GetNumBaseClasses (dyn_cast<CXXRecordDecl>(record_decl), omit_empty_base_classes);
2479
2480// const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2481//
2482//// printf ("GetIndexForRecordChild (%s, %s)\n", record_decl->getNameAsCString(), canonical_decl->getNameAsCString());
2483// if (cxx_record_decl)
2484// {
2485// CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2486// for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2487// base_class != base_class_end;
2488// ++base_class)
2489// {
2490// if (omit_empty_base_classes)
2491// {
2492// if (BaseSpecifierIsEmpty (base_class))
2493// continue;
2494// }
2495//
2496//// printf ("GetIndexForRecordChild (%s, %s) base[%u] = %s\n",
2497//// record_decl->getNameAsCString(),
2498//// canonical_decl->getNameAsCString(),
2499//// child_idx,
2500//// base_class->getType()->getAs<RecordType>()->getDecl()->getNameAsCString());
2501//
2502//
2503// CXXRecordDecl *curr_base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2504// if (curr_base_class_decl == canonical_decl)
2505// {
2506// return child_idx;
2507// }
2508// ++child_idx;
2509// }
2510// }
2511//
2512// const uint32_t num_bases = child_idx;
2513 RecordDecl::field_iterator field, field_end;
2514 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2515 field != field_end;
2516 ++field, ++child_idx)
2517 {
2518// printf ("GetIndexForRecordChild (%s, %s) field[%u] = %s\n",
2519// record_decl->getNameAsCString(),
2520// canonical_decl->getNameAsCString(),
2521// child_idx - num_bases,
2522// field->getNameAsCString());
2523
2524 if (field->getCanonicalDecl() == canonical_decl)
2525 return child_idx;
2526 }
2527
2528 return UINT32_MAX;
2529}
2530
2531// Look for a child member (doesn't include base classes, but it does include
2532// their members) in the type hierarchy. Returns an index path into "clang_type"
2533// on how to reach the appropriate member.
2534//
2535// class A
2536// {
2537// public:
2538// int m_a;
2539// int m_b;
2540// };
2541//
2542// class B
2543// {
2544// };
2545//
2546// class C :
2547// public B,
2548// public A
2549// {
2550// };
2551//
2552// If we have a clang type that describes "class C", and we wanted to looked
2553// "m_b" in it:
2554//
2555// With omit_empty_base_classes == false we would get an integer array back with:
2556// { 1, 1 }
2557// The first index 1 is the child index for "class A" within class C
2558// The second index 1 is the child index for "m_b" within class A
2559//
2560// With omit_empty_base_classes == true we would get an integer array back with:
2561// { 0, 1 }
2562// 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)
2563// The second index 1 is the child index for "m_b" within class A
2564
2565size_t
2566ClangASTContext::GetIndexOfChildMemberWithName
2567(
2568 ASTContext *ast_context,
Greg Clayton462d4142010-09-29 01:12:09 +00002569 clang_type_t clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002570 const char *name,
2571 bool omit_empty_base_classes,
2572 std::vector<uint32_t>& child_indexes
2573)
2574{
2575 if (clang_type && name && name[0])
2576 {
2577 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00002578 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
2579 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002580 {
Greg Clayton1674b122010-07-21 22:12:05 +00002581 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002582 {
2583 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2584 const RecordDecl *record_decl = record_type->getDecl();
2585
2586 assert(record_decl);
2587 uint32_t child_idx = 0;
2588
2589 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2590
2591 // Try and find a field that matches NAME
2592 RecordDecl::field_iterator field, field_end;
2593 StringRef name_sref(name);
2594 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2595 field != field_end;
2596 ++field, ++child_idx)
2597 {
2598 if (field->getName().equals (name_sref))
2599 {
2600 // We have to add on the number of base classes to this index!
2601 child_indexes.push_back (child_idx + GetNumBaseClasses (cxx_record_decl, omit_empty_base_classes));
2602 return child_indexes.size();
2603 }
2604 }
2605
2606 if (cxx_record_decl)
2607 {
2608 const RecordDecl *parent_record_decl = cxx_record_decl;
2609
2610 //printf ("parent = %s\n", parent_record_decl->getNameAsCString());
2611
2612 //const Decl *root_cdecl = cxx_record_decl->getCanonicalDecl();
2613 // Didn't find things easily, lets let clang do its thang...
2614 IdentifierInfo & ident_ref = ast_context->Idents.get(name, name + strlen (name));
2615 DeclarationName decl_name(&ident_ref);
2616
2617 CXXBasePaths paths;
2618 if (cxx_record_decl->lookupInBases(CXXRecordDecl::FindOrdinaryMember,
2619 decl_name.getAsOpaquePtr(),
2620 paths))
2621 {
Chris Lattner24943d22010-06-08 16:52:24 +00002622 CXXBasePaths::const_paths_iterator path, path_end = paths.end();
2623 for (path = paths.begin(); path != path_end; ++path)
2624 {
2625 const size_t num_path_elements = path->size();
2626 for (size_t e=0; e<num_path_elements; ++e)
2627 {
2628 CXXBasePathElement elem = (*path)[e];
2629
2630 child_idx = GetIndexForRecordBase (parent_record_decl, elem.Base, omit_empty_base_classes);
2631 if (child_idx == UINT32_MAX)
2632 {
2633 child_indexes.clear();
2634 return 0;
2635 }
2636 else
2637 {
2638 child_indexes.push_back (child_idx);
2639 parent_record_decl = cast<RecordDecl>(elem.Base->getType()->getAs<RecordType>()->getDecl());
2640 }
2641 }
2642 DeclContext::lookup_iterator named_decl_pos;
2643 for (named_decl_pos = path->Decls.first;
2644 named_decl_pos != path->Decls.second && parent_record_decl;
2645 ++named_decl_pos)
2646 {
2647 //printf ("path[%zu] = %s\n", child_indexes.size(), (*named_decl_pos)->getNameAsCString());
2648
2649 child_idx = GetIndexForRecordChild (parent_record_decl, *named_decl_pos, omit_empty_base_classes);
2650 if (child_idx == UINT32_MAX)
2651 {
2652 child_indexes.clear();
2653 return 0;
2654 }
2655 else
2656 {
2657 child_indexes.push_back (child_idx);
2658 }
2659 }
2660 }
2661 return child_indexes.size();
2662 }
2663 }
2664
2665 }
2666 break;
2667
Greg Clayton9488b742010-07-28 02:04:09 +00002668 case clang::Type::ObjCObject:
2669 case clang::Type::ObjCInterface:
2670 {
2671 StringRef name_sref(name);
2672 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
2673 assert (objc_class_type);
2674 if (objc_class_type)
2675 {
2676 uint32_t child_idx = 0;
2677 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2678
2679 if (class_interface_decl)
2680 {
2681 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2682 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2683
Greg Clayton823533e2010-09-18 02:11:07 +00002684 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos, ++child_idx)
Greg Clayton9488b742010-07-28 02:04:09 +00002685 {
2686 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2687
2688 if (ivar_decl->getName().equals (name_sref))
2689 {
2690 if ((!omit_empty_base_classes && superclass_interface_decl) ||
2691 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
2692 ++child_idx;
2693
2694 child_indexes.push_back (child_idx);
2695 return child_indexes.size();
2696 }
2697 }
2698
2699 if (superclass_interface_decl)
2700 {
2701 // The super class index is always zero for ObjC classes,
2702 // so we push it onto the child indexes in case we find
2703 // an ivar in our superclass...
2704 child_indexes.push_back (0);
2705
2706 if (GetIndexOfChildMemberWithName (ast_context,
2707 ast_context->getObjCInterfaceType(superclass_interface_decl).getAsOpaquePtr(),
2708 name,
2709 omit_empty_base_classes,
2710 child_indexes))
2711 {
2712 // We did find an ivar in a superclass so just
2713 // return the results!
2714 return child_indexes.size();
2715 }
2716
2717 // We didn't find an ivar matching "name" in our
2718 // superclass, pop the superclass zero index that
2719 // we pushed on above.
2720 child_indexes.pop_back();
2721 }
2722 }
2723 }
2724 }
2725 break;
2726
2727 case clang::Type::ObjCObjectPointer:
2728 {
2729 return GetIndexOfChildMemberWithName (ast_context,
2730 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
2731 name,
2732 omit_empty_base_classes,
2733 child_indexes);
2734 }
2735 break;
2736
2737
Greg Clayton1674b122010-07-21 22:12:05 +00002738 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002739 {
2740// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2741// const uint64_t element_count = array->getSize().getLimitedValue();
2742//
2743// if (idx < element_count)
2744// {
2745// std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2746//
2747// char element_name[32];
2748// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
2749//
2750// child_name.assign(element_name);
2751// assert(field_type_info.first % 8 == 0);
2752// child_byte_size = field_type_info.first / 8;
2753// child_byte_offset = idx * child_byte_size;
2754// return array->getElementType().getAsOpaquePtr();
2755// }
2756 }
2757 break;
2758
Greg Clayton1674b122010-07-21 22:12:05 +00002759// case clang::Type::MemberPointerType:
Chris Lattner24943d22010-06-08 16:52:24 +00002760// {
2761// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
2762// QualType pointee_type = mem_ptr_type->getPointeeType();
2763//
2764// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2765// {
2766// return GetIndexOfChildWithName (ast_context,
2767// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
2768// name);
2769// }
2770// }
2771// break;
2772//
Greg Clayton1674b122010-07-21 22:12:05 +00002773 case clang::Type::LValueReference:
2774 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00002775 {
2776 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
2777 QualType pointee_type = reference_type->getPointeeType();
2778
2779 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2780 {
2781 return GetIndexOfChildMemberWithName (ast_context,
2782 reference_type->getPointeeType().getAsOpaquePtr(),
2783 name,
2784 omit_empty_base_classes,
2785 child_indexes);
2786 }
2787 }
2788 break;
2789
Greg Clayton1674b122010-07-21 22:12:05 +00002790 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00002791 {
2792 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
2793 QualType pointee_type = pointer_type->getPointeeType();
2794
2795 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2796 {
2797 return GetIndexOfChildMemberWithName (ast_context,
2798 pointer_type->getPointeeType().getAsOpaquePtr(),
2799 name,
2800 omit_empty_base_classes,
2801 child_indexes);
2802 }
2803 else
2804 {
2805// if (parent_name)
2806// {
2807// child_name.assign(1, '*');
2808// child_name += parent_name;
2809// }
2810//
2811// // We have a pointer to an simple type
2812// if (idx == 0)
2813// {
2814// std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
2815// assert(clang_type_info.first % 8 == 0);
2816// child_byte_size = clang_type_info.first / 8;
2817// child_byte_offset = 0;
2818// return pointee_type.getAsOpaquePtr();
2819// }
2820 }
2821 }
2822 break;
2823
Greg Clayton1674b122010-07-21 22:12:05 +00002824 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00002825 return GetIndexOfChildMemberWithName (ast_context,
2826 cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
2827 name,
2828 omit_empty_base_classes,
2829 child_indexes);
2830
2831 default:
2832 break;
2833 }
2834 }
2835 return 0;
2836}
2837
2838
2839// Get the index of the child of "clang_type" whose name matches. This function
2840// doesn't descend into the children, but only looks one level deep and name
2841// matches can include base class names.
2842
2843uint32_t
2844ClangASTContext::GetIndexOfChildWithName
2845(
2846 ASTContext *ast_context,
Greg Clayton462d4142010-09-29 01:12:09 +00002847 clang_type_t clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00002848 const char *name,
2849 bool omit_empty_base_classes
2850)
2851{
2852 if (clang_type && name && name[0])
2853 {
2854 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton9488b742010-07-28 02:04:09 +00002855
Greg Clayton03e0f972010-09-13 03:32:57 +00002856 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
Greg Clayton9488b742010-07-28 02:04:09 +00002857
Greg Clayton03e0f972010-09-13 03:32:57 +00002858 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00002859 {
Greg Clayton1674b122010-07-21 22:12:05 +00002860 case clang::Type::Record:
Chris Lattner24943d22010-06-08 16:52:24 +00002861 {
2862 const RecordType *record_type = cast<RecordType>(qual_type.getTypePtr());
2863 const RecordDecl *record_decl = record_type->getDecl();
2864
2865 assert(record_decl);
2866 uint32_t child_idx = 0;
2867
2868 const CXXRecordDecl *cxx_record_decl = dyn_cast<CXXRecordDecl>(record_decl);
2869
2870 if (cxx_record_decl)
2871 {
2872 CXXRecordDecl::base_class_const_iterator base_class, base_class_end;
2873 for (base_class = cxx_record_decl->bases_begin(), base_class_end = cxx_record_decl->bases_end();
2874 base_class != base_class_end;
2875 ++base_class)
2876 {
2877 // Skip empty base classes
2878 CXXRecordDecl *base_class_decl = cast<CXXRecordDecl>(base_class->getType()->getAs<RecordType>()->getDecl());
2879 if (omit_empty_base_classes && RecordHasFields(base_class_decl) == false)
2880 continue;
2881
2882 if (base_class->getType().getAsString().compare (name) == 0)
2883 return child_idx;
2884 ++child_idx;
2885 }
2886 }
2887
2888 // Try and find a field that matches NAME
2889 RecordDecl::field_iterator field, field_end;
2890 StringRef name_sref(name);
2891 for (field = record_decl->field_begin(), field_end = record_decl->field_end();
2892 field != field_end;
2893 ++field, ++child_idx)
2894 {
2895 if (field->getName().equals (name_sref))
2896 return child_idx;
2897 }
2898
2899 }
2900 break;
2901
Greg Clayton9488b742010-07-28 02:04:09 +00002902 case clang::Type::ObjCObject:
2903 case clang::Type::ObjCInterface:
2904 {
2905 StringRef name_sref(name);
2906 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type.getTypePtr());
2907 assert (objc_class_type);
2908 if (objc_class_type)
2909 {
2910 uint32_t child_idx = 0;
2911 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
2912
2913 if (class_interface_decl)
2914 {
2915 ObjCInterfaceDecl::ivar_iterator ivar_pos, ivar_end = class_interface_decl->ivar_end();
2916 ObjCInterfaceDecl *superclass_interface_decl = class_interface_decl->getSuperClass();
2917
2918 for (ivar_pos = class_interface_decl->ivar_begin(); ivar_pos != ivar_end; ++ivar_pos)
2919 {
2920 const ObjCIvarDecl* ivar_decl = *ivar_pos;
2921
2922 if (ivar_decl->getName().equals (name_sref))
2923 {
2924 if ((!omit_empty_base_classes && superclass_interface_decl) ||
2925 ( omit_empty_base_classes && ObjCDeclHasIVars (superclass_interface_decl, true)))
2926 ++child_idx;
2927
2928 return child_idx;
2929 }
2930 }
2931
2932 if (superclass_interface_decl)
2933 {
2934 if (superclass_interface_decl->getName().equals (name_sref))
2935 return 0;
2936 }
2937 }
2938 }
2939 }
2940 break;
2941
2942 case clang::Type::ObjCObjectPointer:
2943 {
2944 return GetIndexOfChildWithName (ast_context,
2945 cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr(),
2946 name,
2947 omit_empty_base_classes);
2948 }
2949 break;
2950
Greg Clayton1674b122010-07-21 22:12:05 +00002951 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00002952 {
2953// const ConstantArrayType *array = cast<ConstantArrayType>(parent_qual_type.getTypePtr());
2954// const uint64_t element_count = array->getSize().getLimitedValue();
2955//
2956// if (idx < element_count)
2957// {
2958// std::pair<uint64_t, unsigned> field_type_info = ast_context->getTypeInfo(array->getElementType());
2959//
2960// char element_name[32];
2961// ::snprintf (element_name, sizeof (element_name), "%s[%u]", parent_name ? parent_name : "", idx);
2962//
2963// child_name.assign(element_name);
2964// assert(field_type_info.first % 8 == 0);
2965// child_byte_size = field_type_info.first / 8;
2966// child_byte_offset = idx * child_byte_size;
2967// return array->getElementType().getAsOpaquePtr();
2968// }
2969 }
2970 break;
2971
Greg Clayton1674b122010-07-21 22:12:05 +00002972// case clang::Type::MemberPointerType:
Chris Lattner24943d22010-06-08 16:52:24 +00002973// {
2974// MemberPointerType *mem_ptr_type = cast<MemberPointerType>(qual_type.getTypePtr());
2975// QualType pointee_type = mem_ptr_type->getPointeeType();
2976//
2977// if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2978// {
2979// return GetIndexOfChildWithName (ast_context,
2980// mem_ptr_type->getPointeeType().getAsOpaquePtr(),
2981// name);
2982// }
2983// }
2984// break;
2985//
Greg Clayton1674b122010-07-21 22:12:05 +00002986 case clang::Type::LValueReference:
2987 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00002988 {
2989 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
2990 QualType pointee_type = reference_type->getPointeeType();
2991
2992 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
2993 {
2994 return GetIndexOfChildWithName (ast_context,
2995 reference_type->getPointeeType().getAsOpaquePtr(),
2996 name,
2997 omit_empty_base_classes);
2998 }
2999 }
3000 break;
3001
Greg Clayton1674b122010-07-21 22:12:05 +00003002 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003003 {
3004 PointerType *pointer_type = cast<PointerType>(qual_type.getTypePtr());
3005 QualType pointee_type = pointer_type->getPointeeType();
3006
3007 if (ClangASTContext::IsAggregateType (pointee_type.getAsOpaquePtr()))
3008 {
3009 return GetIndexOfChildWithName (ast_context,
3010 pointer_type->getPointeeType().getAsOpaquePtr(),
3011 name,
3012 omit_empty_base_classes);
3013 }
3014 else
3015 {
3016// if (parent_name)
3017// {
3018// child_name.assign(1, '*');
3019// child_name += parent_name;
3020// }
3021//
3022// // We have a pointer to an simple type
3023// if (idx == 0)
3024// {
3025// std::pair<uint64_t, unsigned> clang_type_info = ast_context->getTypeInfo(pointee_type);
3026// assert(clang_type_info.first % 8 == 0);
3027// child_byte_size = clang_type_info.first / 8;
3028// child_byte_offset = 0;
3029// return pointee_type.getAsOpaquePtr();
3030// }
3031 }
3032 }
3033 break;
3034
Greg Clayton1674b122010-07-21 22:12:05 +00003035 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003036 return GetIndexOfChildWithName (ast_context,
3037 cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(),
3038 name,
3039 omit_empty_base_classes);
3040
3041 default:
3042 break;
3043 }
3044 }
3045 return UINT32_MAX;
3046}
3047
3048#pragma mark TagType
3049
3050bool
Greg Clayton462d4142010-09-29 01:12:09 +00003051ClangASTContext::SetTagTypeKind (clang_type_t tag_clang_type, int kind)
Chris Lattner24943d22010-06-08 16:52:24 +00003052{
3053 if (tag_clang_type)
3054 {
3055 QualType tag_qual_type(QualType::getFromOpaquePtr(tag_clang_type));
Greg Clayton1674b122010-07-21 22:12:05 +00003056 clang::Type *clang_type = tag_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003057 if (clang_type)
3058 {
3059 TagType *tag_type = dyn_cast<TagType>(clang_type);
3060 if (tag_type)
3061 {
3062 TagDecl *tag_decl = dyn_cast<TagDecl>(tag_type->getDecl());
3063 if (tag_decl)
3064 {
3065 tag_decl->setTagKind ((TagDecl::TagKind)kind);
3066 return true;
3067 }
3068 }
3069 }
3070 }
3071 return false;
3072}
3073
3074
3075#pragma mark DeclContext Functions
3076
3077DeclContext *
Greg Clayton462d4142010-09-29 01:12:09 +00003078ClangASTContext::GetDeclContextForType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003079{
3080 if (clang_type == NULL)
3081 return NULL;
3082
3083 QualType qual_type(QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003084 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3085 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003086 {
Greg Clayton9488b742010-07-28 02:04:09 +00003087 case clang::Type::FunctionNoProto: break;
3088 case clang::Type::FunctionProto: break;
3089 case clang::Type::IncompleteArray: break;
3090 case clang::Type::VariableArray: break;
3091 case clang::Type::ConstantArray: break;
3092 case clang::Type::ExtVector: break;
3093 case clang::Type::Vector: break;
3094 case clang::Type::Builtin: break;
3095 case clang::Type::BlockPointer: break;
3096 case clang::Type::Pointer: break;
3097 case clang::Type::LValueReference: break;
3098 case clang::Type::RValueReference: break;
3099 case clang::Type::MemberPointer: break;
3100 case clang::Type::Complex: break;
3101 case clang::Type::ObjCObject: break;
3102 case clang::Type::ObjCInterface: return cast<ObjCObjectType>(qual_type.getTypePtr())->getInterface();
3103 case clang::Type::ObjCObjectPointer: return ClangASTContext::GetDeclContextForType (cast<ObjCObjectPointerType>(qual_type.getTypePtr())->getPointeeType().getAsOpaquePtr());
3104 case clang::Type::Record: return cast<RecordType>(qual_type)->getDecl();
3105 case clang::Type::Enum: return cast<EnumType>(qual_type)->getDecl();
3106 case clang::Type::Typedef: return ClangASTContext::GetDeclContextForType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
Chris Lattner24943d22010-06-08 16:52:24 +00003107
Greg Clayton9488b742010-07-28 02:04:09 +00003108 case clang::Type::TypeOfExpr: break;
3109 case clang::Type::TypeOf: break;
3110 case clang::Type::Decltype: break;
3111 //case clang::Type::QualifiedName: break;
3112 case clang::Type::TemplateSpecialization: break;
Chris Lattner24943d22010-06-08 16:52:24 +00003113 }
3114 // No DeclContext in this type...
3115 return NULL;
3116}
3117
3118#pragma mark Namespace Declarations
3119
3120NamespaceDecl *
3121ClangASTContext::GetUniqueNamespaceDeclaration (const char *name, const Declaration &decl, DeclContext *decl_ctx)
3122{
3123 // TODO: Do something intelligent with the Declaration object passed in
3124 // like maybe filling in the SourceLocation with it...
3125 if (name)
3126 {
3127 ASTContext *ast_context = getASTContext();
3128 if (decl_ctx == NULL)
3129 decl_ctx = ast_context->getTranslationUnitDecl();
3130 return NamespaceDecl::Create(*ast_context, decl_ctx, SourceLocation(), &ast_context->Idents.get(name));
3131 }
3132 return NULL;
3133}
3134
3135
3136#pragma mark Function Types
3137
3138FunctionDecl *
Greg Clayton462d4142010-09-29 01:12:09 +00003139ClangASTContext::CreateFunctionDeclaration (const char *name, clang_type_t function_clang_type, int storage, bool is_inline)
Chris Lattner24943d22010-06-08 16:52:24 +00003140{
3141 if (name)
3142 {
3143 ASTContext *ast_context = getASTContext();
3144 assert (ast_context != NULL);
3145
3146 if (name && name[0])
3147 {
3148 return FunctionDecl::Create(*ast_context,
3149 ast_context->getTranslationUnitDecl(),
3150 SourceLocation(),
3151 DeclarationName (&ast_context->Idents.get(name)),
3152 QualType::getFromOpaquePtr(function_clang_type),
3153 NULL,
3154 (FunctionDecl::StorageClass)storage,
3155 (FunctionDecl::StorageClass)storage,
3156 is_inline);
3157 }
3158 else
3159 {
3160 return FunctionDecl::Create(*ast_context,
3161 ast_context->getTranslationUnitDecl(),
3162 SourceLocation(),
3163 DeclarationName (),
3164 QualType::getFromOpaquePtr(function_clang_type),
3165 NULL,
3166 (FunctionDecl::StorageClass)storage,
3167 (FunctionDecl::StorageClass)storage,
3168 is_inline);
3169 }
3170 }
3171 return NULL;
3172}
3173
Greg Clayton462d4142010-09-29 01:12:09 +00003174clang_type_t
3175ClangASTContext::CreateFunctionType (ASTContext *ast_context,
3176 clang_type_t result_type,
3177 clang_type_t *args,
Sean Callanan2ea8f272010-09-16 20:40:25 +00003178 unsigned num_args,
3179 bool is_variadic,
3180 unsigned type_quals)
Chris Lattner24943d22010-06-08 16:52:24 +00003181{
Chris Lattner24943d22010-06-08 16:52:24 +00003182 assert (ast_context != NULL);
3183 std::vector<QualType> qual_type_args;
3184 for (unsigned i=0; i<num_args; ++i)
3185 qual_type_args.push_back (QualType::getFromOpaquePtr(args[i]));
3186
3187 // TODO: Detect calling convention in DWARF?
3188 return ast_context->getFunctionType(QualType::getFromOpaquePtr(result_type),
Greg Clayton53d68e72010-07-20 22:52:08 +00003189 qual_type_args.empty() ? NULL : &qual_type_args.front(),
Chris Lattner24943d22010-06-08 16:52:24 +00003190 qual_type_args.size(),
Sean Callanan2ea8f272010-09-16 20:40:25 +00003191 is_variadic,
3192 type_quals,
Chris Lattner24943d22010-06-08 16:52:24 +00003193 false, // hasExceptionSpec
3194 false, // hasAnyExceptionSpec,
3195 0, // NumExs
3196 0, // const QualType *ExArray
3197 FunctionType::ExtInfo ()).getAsOpaquePtr(); // NoReturn);
3198}
3199
3200ParmVarDecl *
Greg Clayton462d4142010-09-29 01:12:09 +00003201ClangASTContext::CreateParameterDeclaration (const char *name, clang_type_t param_type, int storage)
Chris Lattner24943d22010-06-08 16:52:24 +00003202{
3203 ASTContext *ast_context = getASTContext();
3204 assert (ast_context != NULL);
3205 return ParmVarDecl::Create(*ast_context,
3206 ast_context->getTranslationUnitDecl(),
3207 SourceLocation(),
3208 name && name[0] ? &ast_context->Idents.get(name) : NULL,
Sean Callanan2ea8f272010-09-16 20:40:25 +00003209 QualType::getFromOpaquePtr(param_type),
Chris Lattner24943d22010-06-08 16:52:24 +00003210 NULL,
3211 (VarDecl::StorageClass)storage,
3212 (VarDecl::StorageClass)storage,
3213 0);
3214}
3215
3216void
3217ClangASTContext::SetFunctionParameters (FunctionDecl *function_decl, ParmVarDecl **params, unsigned num_params)
3218{
3219 if (function_decl)
3220 function_decl->setParams (params, num_params);
3221}
3222
3223
3224#pragma mark Array Types
3225
Greg Clayton462d4142010-09-29 01:12:09 +00003226clang_type_t
3227ClangASTContext::CreateArrayType (clang_type_t element_type, size_t element_count, uint32_t bit_stride)
Chris Lattner24943d22010-06-08 16:52:24 +00003228{
3229 if (element_type)
3230 {
3231 ASTContext *ast_context = getASTContext();
3232 assert (ast_context != NULL);
3233 llvm::APInt ap_element_count (64, element_count);
3234 return ast_context->getConstantArrayType(QualType::getFromOpaquePtr(element_type),
3235 ap_element_count,
3236 ArrayType::Normal,
3237 0).getAsOpaquePtr(); // ElemQuals
3238 }
3239 return NULL;
3240}
3241
3242
3243#pragma mark TagDecl
3244
3245bool
Greg Clayton462d4142010-09-29 01:12:09 +00003246ClangASTContext::StartTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003247{
3248 if (clang_type)
3249 {
3250 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton1674b122010-07-21 22:12:05 +00003251 clang::Type *t = qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003252 if (t)
3253 {
3254 TagType *tag_type = dyn_cast<TagType>(t);
3255 if (tag_type)
3256 {
3257 TagDecl *tag_decl = tag_type->getDecl();
3258 if (tag_decl)
3259 {
3260 tag_decl->startDefinition();
3261 return true;
3262 }
3263 }
3264 }
3265 }
3266 return false;
3267}
3268
3269bool
Greg Clayton462d4142010-09-29 01:12:09 +00003270ClangASTContext::CompleteTagDeclarationDefinition (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003271{
3272 if (clang_type)
3273 {
3274 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton55b6c532010-09-29 03:44:17 +00003275
3276 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3277
3278 if (cxx_record_decl)
Chris Lattner24943d22010-06-08 16:52:24 +00003279 {
Greg Clayton55b6c532010-09-29 03:44:17 +00003280 cxx_record_decl->completeDefinition();
3281
3282 return true;
3283 }
3284
Sean Callanan04325062010-10-25 00:29:48 +00003285 ObjCObjectType *objc_class_type = dyn_cast<ObjCObjectType>(qual_type);
3286
3287 if (objc_class_type)
3288 {
3289 ObjCInterfaceDecl *class_interface_decl = objc_class_type->getInterface();
3290
3291 class_interface_decl->setForwardDecl(false);
3292 }
3293
Greg Clayton55b6c532010-09-29 03:44:17 +00003294 const EnumType *enum_type = dyn_cast<EnumType>(qual_type.getTypePtr());
3295
3296 if (enum_type)
3297 {
3298 EnumDecl *enum_decl = enum_type->getDecl();
3299
3300 if (enum_decl)
Chris Lattner24943d22010-06-08 16:52:24 +00003301 {
Greg Clayton55b6c532010-09-29 03:44:17 +00003302 /// TODO This really needs to be fixed.
3303
3304 unsigned NumPositiveBits = 1;
3305 unsigned NumNegativeBits = 0;
3306
Greg Clayton48fbdf72010-10-12 04:29:14 +00003307 ASTContext *ast_context = getASTContext();
3308
3309 QualType promotion_qual_type;
3310 // If the enum integer type is less than an integer in bit width,
3311 // then we must promote it to an integer size.
3312 if (ast_context->getTypeSize(enum_decl->getIntegerType()) < ast_context->getTypeSize(ast_context->IntTy))
3313 {
3314 if (enum_decl->getIntegerType()->isSignedIntegerType())
3315 promotion_qual_type = ast_context->IntTy;
3316 else
3317 promotion_qual_type = ast_context->UnsignedIntTy;
3318 }
3319 else
3320 promotion_qual_type = enum_decl->getIntegerType();
3321
3322 enum_decl->completeDefinition(enum_decl->getIntegerType(), promotion_qual_type, NumPositiveBits, NumNegativeBits);
Greg Clayton55b6c532010-09-29 03:44:17 +00003323 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003324 }
3325 }
3326 }
3327 return false;
3328}
3329
3330
3331#pragma mark Enumeration Types
3332
Greg Clayton462d4142010-09-29 01:12:09 +00003333clang_type_t
3334ClangASTContext::CreateEnumerationType (const Declaration &decl, const char *name, clang_type_t integer_qual_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003335{
3336 // TODO: Do something intelligent with the Declaration object passed in
3337 // like maybe filling in the SourceLocation with it...
3338 ASTContext *ast_context = getASTContext();
3339 assert (ast_context != NULL);
Greg Clayton48fbdf72010-10-12 04:29:14 +00003340
3341 // TODO: ask about these...
3342// const bool IsScoped = false;
3343// const bool IsFixed = false;
3344
3345 EnumDecl *enum_decl = EnumDecl::Create (*ast_context,
3346 ast_context->getTranslationUnitDecl(),
3347 SourceLocation(),
3348 name && name[0] ? &ast_context->Idents.get(name) : NULL,
3349 SourceLocation(),
Sean Callanan8950c9a2010-10-29 18:38:40 +00003350 NULL, false, false); //IsScoped, IsFixed);
Chris Lattner24943d22010-06-08 16:52:24 +00003351 if (enum_decl)
Greg Claytone37f23c2010-09-12 23:17:56 +00003352 {
3353 // TODO: check if we should be setting the promotion type too?
3354 enum_decl->setIntegerType(QualType::getFromOpaquePtr (integer_qual_type));
Chris Lattner24943d22010-06-08 16:52:24 +00003355 return ast_context->getTagDeclType(enum_decl).getAsOpaquePtr();
Greg Claytone37f23c2010-09-12 23:17:56 +00003356 }
Chris Lattner24943d22010-06-08 16:52:24 +00003357 return NULL;
3358}
3359
Greg Clayton462d4142010-09-29 01:12:09 +00003360clang_type_t
3361ClangASTContext::GetEnumerationIntegerType (clang_type_t enum_clang_type)
3362{
3363 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3364
3365 clang::Type *clang_type = enum_qual_type.getTypePtr();
3366 if (clang_type)
3367 {
3368 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3369 if (enum_type)
3370 {
3371 EnumDecl *enum_decl = enum_type->getDecl();
3372 if (enum_decl)
3373 return enum_decl->getIntegerType().getAsOpaquePtr();
3374 }
3375 }
3376 return NULL;
3377}
Chris Lattner24943d22010-06-08 16:52:24 +00003378bool
3379ClangASTContext::AddEnumerationValueToEnumerationType
3380(
Greg Clayton462d4142010-09-29 01:12:09 +00003381 clang_type_t enum_clang_type,
3382 clang_type_t enumerator_clang_type,
Chris Lattner24943d22010-06-08 16:52:24 +00003383 const Declaration &decl,
3384 const char *name,
3385 int64_t enum_value,
3386 uint32_t enum_value_bit_size
3387)
3388{
3389 if (enum_clang_type && enumerator_clang_type && name)
3390 {
3391 // TODO: Do something intelligent with the Declaration object passed in
3392 // like maybe filling in the SourceLocation with it...
3393 ASTContext *ast_context = getASTContext();
3394 IdentifierTable *identifier_table = getIdentifierTable();
3395
3396 assert (ast_context != NULL);
3397 assert (identifier_table != NULL);
3398 QualType enum_qual_type (QualType::getFromOpaquePtr(enum_clang_type));
3399
Greg Clayton1674b122010-07-21 22:12:05 +00003400 clang::Type *clang_type = enum_qual_type.getTypePtr();
Chris Lattner24943d22010-06-08 16:52:24 +00003401 if (clang_type)
3402 {
3403 const EnumType *enum_type = dyn_cast<EnumType>(clang_type);
3404
3405 if (enum_type)
3406 {
3407 llvm::APSInt enum_llvm_apsint(enum_value_bit_size, false);
3408 enum_llvm_apsint = enum_value;
3409 EnumConstantDecl *enumerator_decl =
3410 EnumConstantDecl::Create(*ast_context,
3411 enum_type->getDecl(),
3412 SourceLocation(),
3413 name ? &identifier_table->get(name) : NULL, // Identifier
3414 QualType::getFromOpaquePtr(enumerator_clang_type),
3415 NULL,
3416 enum_llvm_apsint);
3417
3418 if (enumerator_decl)
3419 {
3420 enum_type->getDecl()->addDecl(enumerator_decl);
3421 return true;
3422 }
3423 }
3424 }
3425 }
3426 return false;
3427}
3428
3429#pragma mark Pointers & References
3430
Greg Clayton462d4142010-09-29 01:12:09 +00003431clang_type_t
3432ClangASTContext::CreatePointerType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003433{
3434 if (clang_type)
Greg Clayton7b541032010-07-29 20:06:32 +00003435 {
3436 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3437
Greg Clayton03e0f972010-09-13 03:32:57 +00003438 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3439 switch (type_class)
Greg Clayton7b541032010-07-29 20:06:32 +00003440 {
3441 case clang::Type::ObjCObject:
3442 case clang::Type::ObjCInterface:
Greg Clayton7b541032010-07-29 20:06:32 +00003443 return getASTContext()->getObjCObjectPointerType(qual_type).getAsOpaquePtr();
3444
Greg Clayton7b541032010-07-29 20:06:32 +00003445 default:
3446 return getASTContext()->getPointerType(qual_type).getAsOpaquePtr();
3447 }
3448 }
Chris Lattner24943d22010-06-08 16:52:24 +00003449 return NULL;
3450}
3451
Greg Clayton462d4142010-09-29 01:12:09 +00003452clang_type_t
3453ClangASTContext::CreateLValueReferenceType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003454{
3455 if (clang_type)
3456 return getASTContext()->getLValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
3457 return NULL;
3458}
3459
Greg Clayton462d4142010-09-29 01:12:09 +00003460clang_type_t
3461ClangASTContext::CreateRValueReferenceType (clang_type_t clang_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003462{
3463 if (clang_type)
3464 return getASTContext()->getRValueReferenceType (QualType::getFromOpaquePtr(clang_type)).getAsOpaquePtr();
3465 return NULL;
3466}
3467
Greg Clayton462d4142010-09-29 01:12:09 +00003468clang_type_t
3469ClangASTContext::CreateMemberPointerType (clang_type_t clang_pointee_type, clang_type_t clang_class_type)
Greg Claytonfa970692010-06-12 01:20:30 +00003470{
3471 if (clang_pointee_type && clang_pointee_type)
3472 return getASTContext()->getMemberPointerType(QualType::getFromOpaquePtr(clang_pointee_type),
3473 QualType::getFromOpaquePtr(clang_class_type).getTypePtr()).getAsOpaquePtr();
3474 return NULL;
3475}
3476
Chris Lattner24943d22010-06-08 16:52:24 +00003477size_t
3478ClangASTContext::GetPointerBitSize ()
3479{
3480 ASTContext *ast_context = getASTContext();
3481 return ast_context->getTypeSize(ast_context->VoidPtrTy);
3482}
3483
3484bool
Greg Clayton462d4142010-09-29 01:12:09 +00003485ClangASTContext::IsPointerOrReferenceType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003486{
3487 if (clang_type == NULL)
3488 return false;
3489
3490 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003491 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3492 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003493 {
Sean Callanan04325062010-10-25 00:29:48 +00003494 case clang::Type::Builtin:
3495 switch (cast<clang::BuiltinType>(qual_type)->getKind())
3496 {
3497 default:
3498 break;
3499 case clang::BuiltinType::ObjCId:
3500 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00003501 return true;
3502 }
3503 return false;
Greg Clayton1674b122010-07-21 22:12:05 +00003504 case clang::Type::ObjCObjectPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003505 if (target_type)
3506 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3507 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003508 case clang::Type::BlockPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003509 if (target_type)
3510 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3511 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003512 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003513 if (target_type)
3514 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3515 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003516 case clang::Type::MemberPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003517 if (target_type)
3518 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3519 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003520 case clang::Type::LValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003521 if (target_type)
3522 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
3523 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003524 case clang::Type::RValueReference:
Chris Lattner24943d22010-06-08 16:52:24 +00003525 if (target_type)
3526 *target_type = cast<LValueReferenceType>(qual_type)->desugar().getAsOpaquePtr();
3527 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003528 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003529 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
3530 default:
3531 break;
3532 }
3533 return false;
3534}
3535
Chris Lattner24943d22010-06-08 16:52:24 +00003536bool
Greg Clayton462d4142010-09-29 01:12:09 +00003537ClangASTContext::IsIntegerType (clang_type_t clang_type, bool &is_signed)
Chris Lattner24943d22010-06-08 16:52:24 +00003538{
3539 if (!clang_type)
3540 return false;
3541
3542 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3543 const BuiltinType *builtin_type = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal());
3544
3545 if (builtin_type)
3546 {
3547 if (builtin_type->isInteger())
3548 is_signed = builtin_type->isSignedInteger();
3549
3550 return true;
3551 }
3552
3553 return false;
3554}
3555
3556bool
Greg Clayton462d4142010-09-29 01:12:09 +00003557ClangASTContext::IsPointerType (clang_type_t clang_type, clang_type_t*target_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003558{
3559 if (clang_type)
3560 {
3561 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
Greg Clayton03e0f972010-09-13 03:32:57 +00003562 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3563 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003564 {
Sean Callanan04325062010-10-25 00:29:48 +00003565 case clang::Type::Builtin:
3566 switch (cast<clang::BuiltinType>(qual_type)->getKind())
3567 {
3568 default:
3569 break;
3570 case clang::BuiltinType::ObjCId:
3571 case clang::BuiltinType::ObjCClass:
Sean Callanan04325062010-10-25 00:29:48 +00003572 return true;
3573 }
3574 return false;
Greg Clayton1674b122010-07-21 22:12:05 +00003575 case clang::Type::ObjCObjectPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003576 if (target_type)
3577 *target_type = cast<ObjCObjectPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3578 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003579 case clang::Type::BlockPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003580 if (target_type)
3581 *target_type = cast<BlockPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3582 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003583 case clang::Type::Pointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003584 if (target_type)
3585 *target_type = cast<PointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3586 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003587 case clang::Type::MemberPointer:
Chris Lattner24943d22010-06-08 16:52:24 +00003588 if (target_type)
3589 *target_type = cast<MemberPointerType>(qual_type)->getPointeeType().getAsOpaquePtr();
3590 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003591 case clang::Type::Typedef:
Chris Lattner24943d22010-06-08 16:52:24 +00003592 return ClangASTContext::IsPointerOrReferenceType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr(), target_type);
3593 default:
3594 break;
3595 }
3596 }
3597 return false;
3598}
3599
3600bool
Greg Clayton462d4142010-09-29 01:12:09 +00003601ClangASTContext::IsFloatingPointType (clang_type_t clang_type, uint32_t &count, bool &is_complex)
Chris Lattner24943d22010-06-08 16:52:24 +00003602{
3603 if (clang_type)
3604 {
3605 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3606
3607 if (const BuiltinType *BT = dyn_cast<BuiltinType>(qual_type->getCanonicalTypeInternal()))
3608 {
3609 clang::BuiltinType::Kind kind = BT->getKind();
3610 if (kind >= BuiltinType::Float && kind <= BuiltinType::LongDouble)
3611 {
3612 count = 1;
3613 is_complex = false;
3614 return true;
3615 }
3616 }
3617 else if (const ComplexType *CT = dyn_cast<ComplexType>(qual_type->getCanonicalTypeInternal()))
3618 {
3619 if (IsFloatingPointType(CT->getElementType().getAsOpaquePtr(), count, is_complex))
3620 {
3621 count = 2;
3622 is_complex = true;
3623 return true;
3624 }
3625 }
3626 else if (const VectorType *VT = dyn_cast<VectorType>(qual_type->getCanonicalTypeInternal()))
3627 {
3628 if (IsFloatingPointType(VT->getElementType().getAsOpaquePtr(), count, is_complex))
3629 {
3630 count = VT->getNumElements();
3631 is_complex = false;
3632 return true;
3633 }
3634 }
3635 }
3636 return false;
3637}
3638
Greg Claytonbf8e42b2010-10-14 22:52:14 +00003639
3640bool
3641ClangASTContext::GetCXXClassName (clang_type_t clang_type, std::string &class_name)
3642{
3643 if (clang_type)
3644 {
3645 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3646
3647 CXXRecordDecl *cxx_record_decl = qual_type->getAsCXXRecordDecl();
3648 if (cxx_record_decl)
3649 {
3650 class_name.assign (cxx_record_decl->getIdentifier()->getNameStart());
3651 return true;
3652 }
3653 }
3654 class_name.clear();
3655 return false;
3656}
3657
3658
Greg Clayton1d8173f2010-09-24 05:15:53 +00003659bool
Greg Clayton462d4142010-09-29 01:12:09 +00003660ClangASTContext::IsCXXClassType (clang_type_t clang_type)
Greg Clayton1d8173f2010-09-24 05:15:53 +00003661{
3662 if (clang_type)
3663 {
3664 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3665 if (qual_type->getAsCXXRecordDecl() != NULL)
3666 return true;
3667 }
3668 return false;
3669}
3670
3671bool
Greg Clayton462d4142010-09-29 01:12:09 +00003672ClangASTContext::IsObjCClassType (clang_type_t clang_type)
Greg Clayton1d8173f2010-09-24 05:15:53 +00003673{
3674 if (clang_type)
3675 {
3676 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3677 if (qual_type->isObjCObjectOrInterfaceType())
3678 return true;
3679 }
3680 return false;
3681}
3682
3683
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003684bool
3685ClangASTContext::IsCharType (clang_type_t clang_type)
3686{
3687 if (clang_type)
3688 return QualType::getFromOpaquePtr(clang_type)->isCharType();
3689 return false;
3690}
Chris Lattner24943d22010-06-08 16:52:24 +00003691
3692bool
Greg Clayton462d4142010-09-29 01:12:09 +00003693ClangASTContext::IsCStringType (clang_type_t clang_type, uint32_t &length)
Chris Lattner24943d22010-06-08 16:52:24 +00003694{
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003695 clang_type_t pointee_or_element_clang_type = NULL;
3696 Flags type_flags (ClangASTContext::GetTypeInfo (clang_type, NULL, &pointee_or_element_clang_type));
3697
3698 if (pointee_or_element_clang_type == NULL)
3699 return false;
3700
3701 if (type_flags.AnySet (eTypeIsArray | eTypeIsPointer))
Chris Lattner24943d22010-06-08 16:52:24 +00003702 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003703 QualType pointee_or_element_qual_type (QualType::getFromOpaquePtr (pointee_or_element_clang_type));
3704
3705 if (pointee_or_element_qual_type.getUnqualifiedType()->isCharType())
Chris Lattner24943d22010-06-08 16:52:24 +00003706 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003707 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3708 if (type_flags.Test (eTypeIsArray))
Chris Lattner24943d22010-06-08 16:52:24 +00003709 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003710 // We know the size of the array and it could be a C string
3711 // since it is an array of characters
3712 length = cast<ConstantArrayType>(qual_type.getTypePtr())->getSize().getLimitedValue();
3713 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003714 }
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003715 else
Chris Lattner24943d22010-06-08 16:52:24 +00003716 {
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003717 length = 0;
3718 return true;
Chris Lattner24943d22010-06-08 16:52:24 +00003719 }
Chris Lattner24943d22010-06-08 16:52:24 +00003720
Chris Lattner24943d22010-06-08 16:52:24 +00003721 }
3722 }
3723 return false;
3724}
3725
3726bool
Greg Clayton462d4142010-09-29 01:12:09 +00003727ClangASTContext::IsFunctionPointerType (clang_type_t clang_type)
Greg Clayton03e0f972010-09-13 03:32:57 +00003728{
3729 if (clang_type)
3730 {
3731 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3732
3733 if (qual_type->isFunctionPointerType())
3734 return true;
3735
3736 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3737 switch (type_class)
3738 {
3739 case clang::Type::Typedef:
3740 return ClangASTContext::IsFunctionPointerType (cast<TypedefType>(qual_type)->LookThroughTypedefs().getAsOpaquePtr());
3741
3742 case clang::Type::LValueReference:
3743 case clang::Type::RValueReference:
3744 {
3745 ReferenceType *reference_type = cast<ReferenceType>(qual_type.getTypePtr());
3746 if (reference_type)
3747 return ClangASTContext::IsFunctionPointerType (reference_type->getPointeeType().getAsOpaquePtr());
3748 }
3749 break;
3750 }
3751 }
3752 return false;
3753}
3754
Greg Claytonf3d0b0c2010-10-27 03:32:59 +00003755size_t
3756ClangASTContext::GetArraySize (clang_type_t clang_type)
3757{
3758 if (clang_type)
3759 {
3760 ConstantArrayType *array = cast<ConstantArrayType>(QualType::getFromOpaquePtr(clang_type).getTypePtr());
3761 if (array)
3762 return array->getSize().getLimitedValue();
3763 }
3764 return 0;
3765}
Greg Clayton03e0f972010-09-13 03:32:57 +00003766
3767bool
Greg Clayton462d4142010-09-29 01:12:09 +00003768ClangASTContext::IsArrayType (clang_type_t clang_type, clang_type_t*member_type, uint64_t *size)
Chris Lattner24943d22010-06-08 16:52:24 +00003769{
3770 if (!clang_type)
3771 return false;
3772
3773 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3774
Greg Clayton03e0f972010-09-13 03:32:57 +00003775 const clang::Type::TypeClass type_class = qual_type->getTypeClass();
3776 switch (type_class)
Chris Lattner24943d22010-06-08 16:52:24 +00003777 {
Greg Clayton1674b122010-07-21 22:12:05 +00003778 case clang::Type::ConstantArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003779 if (member_type)
3780 *member_type = cast<ConstantArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3781 if (size)
3782 *size = cast<ConstantArrayType>(qual_type)->getSize().getLimitedValue(ULONG_LONG_MAX);
3783 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003784 case clang::Type::IncompleteArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003785 if (member_type)
3786 *member_type = cast<IncompleteArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3787 if (size)
3788 *size = 0;
3789 return true;
Greg Clayton1674b122010-07-21 22:12:05 +00003790 case clang::Type::VariableArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003791 if (member_type)
3792 *member_type = cast<VariableArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3793 if (size)
3794 *size = 0;
Greg Clayton1674b122010-07-21 22:12:05 +00003795 case clang::Type::DependentSizedArray:
Chris Lattner24943d22010-06-08 16:52:24 +00003796 if (member_type)
3797 *member_type = cast<DependentSizedArrayType>(qual_type)->getElementType().getAsOpaquePtr();
3798 if (size)
3799 *size = 0;
3800 return true;
3801 }
3802 return false;
3803}
3804
3805
3806#pragma mark Typedefs
3807
Greg Clayton462d4142010-09-29 01:12:09 +00003808clang_type_t
3809ClangASTContext::CreateTypedefType (const char *name, clang_type_t clang_type, DeclContext *decl_ctx)
Chris Lattner24943d22010-06-08 16:52:24 +00003810{
3811 if (clang_type)
3812 {
3813 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3814 ASTContext *ast_context = getASTContext();
3815 IdentifierTable *identifier_table = getIdentifierTable();
3816 assert (ast_context != NULL);
3817 assert (identifier_table != NULL);
3818 if (decl_ctx == NULL)
3819 decl_ctx = ast_context->getTranslationUnitDecl();
3820 TypedefDecl *decl = TypedefDecl::Create(*ast_context,
3821 decl_ctx,
3822 SourceLocation(),
3823 name ? &identifier_table->get(name) : NULL, // Identifier
3824 ast_context->CreateTypeSourceInfo(qual_type));
3825
3826 // Get a uniqued QualType for the typedef decl type
3827 return ast_context->getTypedefType (decl).getAsOpaquePtr();
3828 }
3829 return NULL;
3830}
3831
3832
3833std::string
Greg Clayton462d4142010-09-29 01:12:09 +00003834ClangASTContext::GetTypeName (clang_type_t opaque_qual_type)
Chris Lattner24943d22010-06-08 16:52:24 +00003835{
3836 std::string return_name;
3837
Greg Clayton462d4142010-09-29 01:12:09 +00003838 QualType qual_type(QualType::getFromOpaquePtr(opaque_qual_type));
Chris Lattner24943d22010-06-08 16:52:24 +00003839
Greg Clayton462d4142010-09-29 01:12:09 +00003840 const TypedefType *typedef_type = qual_type->getAs<TypedefType>();
Chris Lattner24943d22010-06-08 16:52:24 +00003841 if (typedef_type)
3842 {
Greg Clayton462d4142010-09-29 01:12:09 +00003843 const TypedefDecl *typedef_decl = typedef_type->getDecl();
Chris Lattner24943d22010-06-08 16:52:24 +00003844 return_name = typedef_decl->getQualifiedNameAsString();
3845 }
3846 else
3847 {
3848 return_name = qual_type.getAsString();
3849 }
3850
3851 return return_name;
3852}
3853
3854// Disable this for now since I can't seem to get a nicely formatted float
3855// out of the APFloat class without just getting the float, double or quad
3856// and then using a formatted print on it which defeats the purpose. We ideally
3857// would like to get perfect string values for any kind of float semantics
3858// so we can support remote targets. The code below also requires a patch to
3859// llvm::APInt.
3860//bool
Greg Clayton462d4142010-09-29 01:12:09 +00003861//ClangASTContext::ConvertFloatValueToString (ASTContext *ast_context, clang_type_t clang_type, const uint8_t* bytes, size_t byte_size, int apint_byte_order, std::string &float_str)
Chris Lattner24943d22010-06-08 16:52:24 +00003862//{
3863// uint32_t count = 0;
3864// bool is_complex = false;
3865// if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
3866// {
3867// unsigned num_bytes_per_float = byte_size / count;
3868// unsigned num_bits_per_float = num_bytes_per_float * 8;
3869//
3870// float_str.clear();
3871// uint32_t i;
3872// for (i=0; i<count; i++)
3873// {
3874// APInt ap_int(num_bits_per_float, bytes + i * num_bytes_per_float, (APInt::ByteOrder)apint_byte_order);
3875// bool is_ieee = false;
3876// APFloat ap_float(ap_int, is_ieee);
3877// char s[1024];
3878// unsigned int hex_digits = 0;
3879// bool upper_case = false;
3880//
3881// if (ap_float.convertToHexString(s, hex_digits, upper_case, APFloat::rmNearestTiesToEven) > 0)
3882// {
3883// if (i > 0)
3884// float_str.append(", ");
3885// float_str.append(s);
3886// if (i == 1 && is_complex)
3887// float_str.append(1, 'i');
3888// }
3889// }
3890// return !float_str.empty();
3891// }
3892// return false;
3893//}
3894
3895size_t
Greg Clayton462d4142010-09-29 01:12:09 +00003896ClangASTContext::ConvertStringToFloatValue (ASTContext *ast_context, clang_type_t clang_type, const char *s, uint8_t *dst, size_t dst_size)
Chris Lattner24943d22010-06-08 16:52:24 +00003897{
3898 if (clang_type)
3899 {
3900 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3901 uint32_t count = 0;
3902 bool is_complex = false;
3903 if (ClangASTContext::IsFloatingPointType (clang_type, count, is_complex))
3904 {
3905 // TODO: handle complex and vector types
3906 if (count != 1)
3907 return false;
3908
3909 StringRef s_sref(s);
3910 APFloat ap_float(ast_context->getFloatTypeSemantics(qual_type), s_sref);
3911
3912 const uint64_t bit_size = ast_context->getTypeSize (qual_type);
3913 const uint64_t byte_size = bit_size / 8;
3914 if (dst_size >= byte_size)
3915 {
3916 if (bit_size == sizeof(float)*8)
3917 {
3918 float float32 = ap_float.convertToFloat();
3919 ::memcpy (dst, &float32, byte_size);
3920 return byte_size;
3921 }
3922 else if (bit_size >= 64)
3923 {
3924 llvm::APInt ap_int(ap_float.bitcastToAPInt());
3925 ::memcpy (dst, ap_int.getRawData(), byte_size);
3926 return byte_size;
3927 }
3928 }
3929 }
3930 }
3931 return 0;
3932}
Sean Callanana751f7b2010-09-17 02:24:29 +00003933
3934unsigned
Greg Clayton462d4142010-09-29 01:12:09 +00003935ClangASTContext::GetTypeQualifiers(clang_type_t clang_type)
Sean Callanana751f7b2010-09-17 02:24:29 +00003936{
3937 assert (clang_type);
3938
3939 QualType qual_type (QualType::getFromOpaquePtr(clang_type));
3940
3941 return qual_type.getQualifiers().getCVRQualifiers();
3942}