1 /* Implement classes and message passing for Objective C.
2 Copyright (C) 1992, 1993, 1994, 1995, 1997, 1998, 1999, 2000,
3 2001, 2002, 2003, 2004, 2005 Free Software Foundation, Inc.
4 Contributed by Steve Naroff.
6 This file is part of GCC.
8 GCC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GCC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING. If not, write to
20 the Free Software Foundation, 51 Franklin Street, Fifth Floor,
21 Boston, MA 02110-1301, USA. */
23 /* Purpose: This module implements the Objective-C 4.0 language.
25 compatibility issues (with the Stepstone translator):
27 - does not recognize the following 3.3 constructs.
28 @requires, @classes, @messages, = (...)
29 - methods with variable arguments must conform to ANSI standard.
30 - tagged structure definitions that appear in BOTH the interface
31 and implementation are not allowed.
32 - public/private: all instance variables are public within the
33 context of the implementation...I consider this to be a bug in
35 - statically allocated objects are not supported. the user will
36 receive an error if this service is requested.
38 code generation `options':
44 #include "coretypes.h"
60 #include "langhooks.h"
71 #include "diagnostic.h"
73 #include "tree-iterator.h"
76 #include "langhooks-def.h"
78 #define OBJC_VOID_AT_END void_list_node
80 static unsigned int should_call_super_dealloc = 0;
82 /* When building Objective-C++, we are not linking against the C front-end
83 and so need to replicate the C tree-construction functions in some way. */
85 #define OBJCP_REMAP_FUNCTIONS
86 #include "objcp-decl.h"
89 /* This is the default way of generating a method name. */
90 /* I am not sure it is really correct.
91 Perhaps there's a danger that it will make name conflicts
92 if method names contain underscores. -- rms. */
93 #ifndef OBJC_GEN_METHOD_LABEL
94 #define OBJC_GEN_METHOD_LABEL(BUF, IS_INST, CLASS_NAME, CAT_NAME, SEL_NAME, NUM) \
97 sprintf ((BUF), "_%s_%s_%s_%s", \
98 ((IS_INST) ? "i" : "c"), \
100 ((CAT_NAME)? (CAT_NAME) : ""), \
102 for (temp = (BUF); *temp; temp++) \
103 if (*temp == ':') *temp = '_'; \
107 /* These need specifying. */
108 #ifndef OBJC_FORWARDING_STACK_OFFSET
109 #define OBJC_FORWARDING_STACK_OFFSET 0
112 #ifndef OBJC_FORWARDING_MIN_OFFSET
113 #define OBJC_FORWARDING_MIN_OFFSET 0
116 /* Set up for use of obstacks. */
120 /* This obstack is used to accumulate the encoding of a data type. */
121 static struct obstack util_obstack;
123 /* This points to the beginning of obstack contents, so we can free
124 the whole contents. */
127 /* The version identifies which language generation and runtime
128 the module (file) was compiled for, and is recorded in the
129 module descriptor. */
131 #define OBJC_VERSION (flag_next_runtime ? 6 : 8)
132 #define PROTOCOL_VERSION 2
134 /* (Decide if these can ever be validly changed.) */
135 #define OBJC_ENCODE_INLINE_DEFS 0
136 #define OBJC_ENCODE_DONT_INLINE_DEFS 1
138 /*** Private Interface (procedures) ***/
140 /* Used by compile_file. */
142 static void init_objc (void);
143 static void finish_objc (void);
145 /* Code generation. */
147 static tree objc_build_constructor (tree, tree);
148 static tree build_objc_method_call (int, tree, tree, tree, tree);
149 static tree get_proto_encoding (tree);
150 static tree lookup_interface (tree);
151 static tree objc_add_static_instance (tree, tree);
153 static tree start_class (enum tree_code, tree, tree, tree);
154 static tree continue_class (tree);
155 static void finish_class (tree);
156 static void start_method_def (tree);
158 static void objc_start_function (tree, tree, tree, tree);
160 static void objc_start_function (tree, tree, tree, struct c_arg_info *);
162 static tree start_protocol (enum tree_code, tree, tree);
163 static tree build_method_decl (enum tree_code, tree, tree, tree, bool);
164 static tree objc_add_method (tree, tree, int);
165 static tree add_instance_variable (tree, int, tree);
166 static tree build_ivar_reference (tree);
167 static tree is_ivar (tree, tree);
169 static void build_objc_exception_stuff (void);
170 static void build_next_objc_exception_stuff (void);
172 /* We only need the following for ObjC; ObjC++ will use C++'s definition
173 of DERIVED_FROM_P. */
175 static bool objc_derived_from_p (tree, tree);
176 #define DERIVED_FROM_P(PARENT, CHILD) objc_derived_from_p (PARENT, CHILD)
178 static void objc_xref_basetypes (tree, tree);
180 static void build_class_template (void);
181 static void build_selector_template (void);
182 static void build_category_template (void);
183 static void build_super_template (void);
184 static tree build_protocol_initializer (tree, tree, tree, tree, tree);
185 static tree get_class_ivars (tree, bool);
186 static tree generate_protocol_list (tree);
187 static void build_protocol_reference (tree);
190 static void objc_generate_cxx_cdtors (void);
193 static const char *synth_id_with_class_suffix (const char *, tree);
195 /* Hash tables to manage the global pool of method prototypes. */
197 hash *nst_method_hash_list = 0;
198 hash *cls_method_hash_list = 0;
200 static hash hash_lookup (hash *, tree);
201 static tree lookup_method (tree, tree);
202 static tree lookup_method_static (tree, tree, int);
206 class_names, /* class, category, protocol, module names */
207 meth_var_names, /* method and variable names */
208 meth_var_types /* method and variable type descriptors */
211 static tree add_objc_string (tree, enum string_section);
212 static tree build_objc_string_decl (enum string_section);
213 static void build_selector_table_decl (void);
215 /* Protocol additions. */
217 static tree lookup_protocol (tree);
218 static tree lookup_and_install_protocols (tree);
222 static void encode_type_qualifiers (tree);
223 static void encode_type (tree, int, int);
224 static void encode_field_decl (tree, int, int);
227 static void really_start_method (tree, tree);
229 static void really_start_method (tree, struct c_arg_info *);
231 static int comp_proto_with_proto (tree, tree, int);
232 static void objc_push_parm (tree);
234 static tree objc_get_parm_info (int);
236 static struct c_arg_info *objc_get_parm_info (int);
239 /* Utilities for debugging and error diagnostics. */
241 static void warn_with_method (const char *, int, tree);
242 static char *gen_type_name (tree);
243 static char *gen_type_name_0 (tree);
244 static char *gen_method_decl (tree);
245 static char *gen_declaration (tree);
247 /* Everything else. */
249 static tree create_field_decl (tree, const char *);
250 static void add_class_reference (tree);
251 static void build_protocol_template (void);
252 static tree encode_method_prototype (tree);
253 static void generate_classref_translation_entry (tree);
254 static void handle_class_ref (tree);
255 static void generate_struct_by_value_array (void)
257 static void mark_referenced_methods (void);
258 static void generate_objc_image_info (void);
260 /*** Private Interface (data) ***/
262 /* Reserved tag definitions. */
264 #define OBJECT_TYPEDEF_NAME "id"
265 #define CLASS_TYPEDEF_NAME "Class"
267 #define TAG_OBJECT "objc_object"
268 #define TAG_CLASS "objc_class"
269 #define TAG_SUPER "objc_super"
270 #define TAG_SELECTOR "objc_selector"
272 #define UTAG_CLASS "_objc_class"
273 #define UTAG_IVAR "_objc_ivar"
274 #define UTAG_IVAR_LIST "_objc_ivar_list"
275 #define UTAG_METHOD "_objc_method"
276 #define UTAG_METHOD_LIST "_objc_method_list"
277 #define UTAG_CATEGORY "_objc_category"
278 #define UTAG_MODULE "_objc_module"
279 #define UTAG_SYMTAB "_objc_symtab"
280 #define UTAG_SUPER "_objc_super"
281 #define UTAG_SELECTOR "_objc_selector"
283 #define UTAG_PROTOCOL "_objc_protocol"
284 #define UTAG_METHOD_PROTOTYPE "_objc_method_prototype"
285 #define UTAG_METHOD_PROTOTYPE_LIST "_objc__method_prototype_list"
287 /* Note that the string object global name is only needed for the
289 #define STRING_OBJECT_GLOBAL_FORMAT "_%sClassReference"
291 #define PROTOCOL_OBJECT_CLASS_NAME "Protocol"
293 static const char *TAG_GETCLASS;
294 static const char *TAG_GETMETACLASS;
295 static const char *TAG_MSGSEND;
296 static const char *TAG_MSGSENDSUPER;
297 /* The NeXT Objective-C messenger may have two extra entry points, for use
298 when returning a structure. */
299 static const char *TAG_MSGSEND_STRET;
300 static const char *TAG_MSGSENDSUPER_STRET;
301 static const char *default_constant_string_class_name;
303 /* Runtime metadata flags. */
304 #define CLS_FACTORY 0x0001L
305 #define CLS_META 0x0002L
306 #define CLS_HAS_CXX_STRUCTORS 0x2000L
308 #define OBJC_MODIFIER_STATIC 0x00000001
309 #define OBJC_MODIFIER_FINAL 0x00000002
310 #define OBJC_MODIFIER_PUBLIC 0x00000004
311 #define OBJC_MODIFIER_PRIVATE 0x00000008
312 #define OBJC_MODIFIER_PROTECTED 0x00000010
313 #define OBJC_MODIFIER_NATIVE 0x00000020
314 #define OBJC_MODIFIER_SYNCHRONIZED 0x00000040
315 #define OBJC_MODIFIER_ABSTRACT 0x00000080
316 #define OBJC_MODIFIER_VOLATILE 0x00000100
317 #define OBJC_MODIFIER_TRANSIENT 0x00000200
318 #define OBJC_MODIFIER_NONE_SPECIFIED 0x80000000
320 /* NeXT-specific tags. */
322 #define TAG_MSGSEND_NONNIL "objc_msgSendNonNil"
323 #define TAG_MSGSEND_NONNIL_STRET "objc_msgSendNonNil_stret"
324 #define TAG_EXCEPTIONEXTRACT "objc_exception_extract"
325 #define TAG_EXCEPTIONTRYENTER "objc_exception_try_enter"
326 #define TAG_EXCEPTIONTRYEXIT "objc_exception_try_exit"
327 #define TAG_EXCEPTIONMATCH "objc_exception_match"
328 #define TAG_EXCEPTIONTHROW "objc_exception_throw"
329 #define TAG_SYNCENTER "objc_sync_enter"
330 #define TAG_SYNCEXIT "objc_sync_exit"
331 #define TAG_SETJMP "_setjmp"
332 #define UTAG_EXCDATA "_objc_exception_data"
334 #define TAG_ASSIGNIVAR "objc_assign_ivar"
335 #define TAG_ASSIGNGLOBAL "objc_assign_global"
336 #define TAG_ASSIGNSTRONGCAST "objc_assign_strongCast"
338 /* Branch entry points. All that matters here are the addresses;
339 functions with these names do not really exist in libobjc. */
341 #define TAG_MSGSEND_FAST "objc_msgSend_Fast"
342 #define TAG_ASSIGNIVAR_FAST "objc_assign_ivar_Fast"
344 #define TAG_CXX_CONSTRUCT ".cxx_construct"
345 #define TAG_CXX_DESTRUCT ".cxx_destruct"
347 /* GNU-specific tags. */
349 #define TAG_EXECCLASS "__objc_exec_class"
350 #define TAG_GNUINIT "__objc_gnu_init"
352 /* Flags for lookup_method_static(). */
353 #define OBJC_LOOKUP_CLASS 1 /* Look for class methods. */
354 #define OBJC_LOOKUP_NO_SUPER 2 /* Do not examine superclasses. */
356 /* The OCTI_... enumeration itself is in objc/objc-act.h. */
357 tree objc_global_trees[OCTI_MAX];
359 static void handle_impent (struct imp_entry *);
361 struct imp_entry *imp_list = 0;
362 int imp_count = 0; /* `@implementation' */
363 int cat_count = 0; /* `@category' */
365 enum tree_code objc_inherit_code;
366 int objc_public_flag;
368 /* Use to generate method labels. */
369 static int method_slot = 0;
373 static char *errbuf; /* Buffer for error diagnostics */
375 /* Data imported from tree.c. */
377 extern enum debug_info_type write_symbols;
379 /* Data imported from toplev.c. */
381 extern const char *dump_base_name;
383 static int flag_typed_selectors;
385 /* Store all constructed constant strings in a hash table so that
386 they get uniqued properly. */
388 struct string_descriptor GTY(())
390 /* The literal argument . */
393 /* The resulting constant string. */
397 static GTY((param_is (struct string_descriptor))) htab_t string_htab;
399 /* Store the EH-volatilized types in a hash table, for easy retrieval. */
400 struct volatilized_type GTY(())
405 static GTY((param_is (struct volatilized_type))) htab_t volatilized_htab;
407 FILE *gen_declaration_file;
409 /* Tells "encode_pointer/encode_aggregate" whether we are generating
410 type descriptors for instance variables (as opposed to methods).
411 Type descriptors for instance variables contain more information
412 than methods (for static typing and embedded structures). */
414 static int generating_instance_variables = 0;
416 /* Some platforms pass small structures through registers versus
417 through an invisible pointer. Determine at what size structure is
418 the transition point between the two possibilities. */
421 generate_struct_by_value_array (void)
424 tree field_decl, field_decl_chain;
426 int aggregate_in_mem[32];
429 /* Presumably no platform passes 32 byte structures in a register. */
430 for (i = 1; i < 32; i++)
434 /* Create an unnamed struct that has `i' character components */
435 type = start_struct (RECORD_TYPE, NULL_TREE);
437 strcpy (buffer, "c1");
438 field_decl = create_field_decl (char_type_node,
440 field_decl_chain = field_decl;
442 for (j = 1; j < i; j++)
444 sprintf (buffer, "c%d", j + 1);
445 field_decl = create_field_decl (char_type_node,
447 chainon (field_decl_chain, field_decl);
449 finish_struct (type, field_decl_chain, NULL_TREE);
451 aggregate_in_mem[i] = aggregate_value_p (type, 0);
452 if (!aggregate_in_mem[i])
456 /* We found some structures that are returned in registers instead of memory
457 so output the necessary data. */
460 for (i = 31; i >= 0; i--)
461 if (!aggregate_in_mem[i])
463 printf ("#define OBJC_MAX_STRUCT_BY_VALUE %d\n\n", i);
465 /* The first member of the structure is always 0 because we don't handle
466 structures with 0 members */
467 printf ("static int struct_forward_array[] = {\n 0");
469 for (j = 1; j <= i; j++)
470 printf (", %d", aggregate_in_mem[j]);
481 if (cxx_init () == false)
483 if (c_objc_common_init () == false)
487 #ifndef USE_MAPPED_LOCATION
488 /* Force the line number back to 0; check_newline will have
489 raised it to 1, which will make the builtin functions appear
490 not to be built in. */
494 /* If gen_declaration desired, open the output file. */
495 if (flag_gen_declaration)
497 register char * const dumpname = concat (dump_base_name, ".decl", NULL);
498 gen_declaration_file = fopen (dumpname, "w");
499 if (gen_declaration_file == 0)
500 fatal_error ("can't open %s: %m", dumpname);
504 if (flag_next_runtime)
506 TAG_GETCLASS = "objc_getClass";
507 TAG_GETMETACLASS = "objc_getMetaClass";
508 TAG_MSGSEND = "objc_msgSend";
509 TAG_MSGSENDSUPER = "objc_msgSendSuper";
510 TAG_MSGSEND_STRET = "objc_msgSend_stret";
511 TAG_MSGSENDSUPER_STRET = "objc_msgSendSuper_stret";
512 default_constant_string_class_name = "NSConstantString";
516 TAG_GETCLASS = "objc_get_class";
517 TAG_GETMETACLASS = "objc_get_meta_class";
518 TAG_MSGSEND = "objc_msg_lookup";
519 TAG_MSGSENDSUPER = "objc_msg_lookup_super";
520 /* GNU runtime does not provide special functions to support
521 structure-returning methods. */
522 default_constant_string_class_name = "NXConstantString";
523 flag_typed_selectors = 1;
528 if (print_struct_values)
529 generate_struct_by_value_array ();
535 objc_finish_file (void)
537 mark_referenced_methods ();
540 /* We need to instantiate templates _before_ we emit ObjC metadata;
541 if we do not, some metadata (such as selectors) may go missing. */
543 instantiate_pending_templates (0);
546 /* Finalize Objective-C runtime data. No need to generate tables
547 and code if only checking syntax, or if generating a PCH file. */
548 if (!flag_syntax_only && !pch_file)
551 if (gen_declaration_file)
552 fclose (gen_declaration_file);
559 /* Return the first occurrence of a method declaration corresponding
560 to sel_name in rproto_list. Search rproto_list recursively.
561 If is_class is 0, search for instance methods, otherwise for class
564 lookup_method_in_protocol_list (tree rproto_list, tree sel_name,
570 for (rproto = rproto_list; rproto; rproto = TREE_CHAIN (rproto))
572 p = TREE_VALUE (rproto);
574 if (TREE_CODE (p) == PROTOCOL_INTERFACE_TYPE)
576 if ((fnd = lookup_method (is_class
577 ? PROTOCOL_CLS_METHODS (p)
578 : PROTOCOL_NST_METHODS (p), sel_name)))
580 else if (PROTOCOL_LIST (p))
581 fnd = lookup_method_in_protocol_list (PROTOCOL_LIST (p),
586 ; /* An identifier...if we could not find a protocol. */
597 lookup_protocol_in_reflist (tree rproto_list, tree lproto)
601 /* Make sure the protocol is supported by the object on the rhs. */
602 if (TREE_CODE (lproto) == PROTOCOL_INTERFACE_TYPE)
605 for (rproto = rproto_list; rproto; rproto = TREE_CHAIN (rproto))
607 p = TREE_VALUE (rproto);
609 if (TREE_CODE (p) == PROTOCOL_INTERFACE_TYPE)
614 else if (PROTOCOL_LIST (p))
615 fnd = lookup_protocol_in_reflist (PROTOCOL_LIST (p), lproto);
624 ; /* An identifier...if we could not find a protocol. */
631 objc_start_class_interface (tree class, tree super_class, tree protos)
633 objc_interface_context
635 = start_class (CLASS_INTERFACE_TYPE, class, super_class, protos);
636 objc_public_flag = 0;
640 objc_start_category_interface (tree class, tree categ, tree protos)
642 objc_interface_context
643 = start_class (CATEGORY_INTERFACE_TYPE, class, categ, protos);
645 = continue_class (objc_interface_context);
649 objc_start_protocol (tree name, tree protos)
651 objc_interface_context
652 = start_protocol (PROTOCOL_INTERFACE_TYPE, name, protos);
656 objc_continue_interface (void)
659 = continue_class (objc_interface_context);
663 objc_finish_interface (void)
665 finish_class (objc_interface_context);
666 objc_interface_context = NULL_TREE;
670 objc_start_class_implementation (tree class, tree super_class)
672 objc_implementation_context
674 = start_class (CLASS_IMPLEMENTATION_TYPE, class, super_class, NULL_TREE);
675 objc_public_flag = 0;
679 objc_start_category_implementation (tree class, tree categ)
681 objc_implementation_context
682 = start_class (CATEGORY_IMPLEMENTATION_TYPE, class, categ, NULL_TREE);
684 = continue_class (objc_implementation_context);
688 objc_continue_implementation (void)
691 = continue_class (objc_implementation_context);
695 objc_finish_implementation (void)
698 if (flag_objc_call_cxx_cdtors)
699 objc_generate_cxx_cdtors ();
702 if (objc_implementation_context)
704 finish_class (objc_implementation_context);
705 objc_ivar_chain = NULL_TREE;
706 objc_implementation_context = NULL_TREE;
709 warning (0, "%<@end%> must appear in an @implementation context");
713 objc_set_visibility (int visibility)
715 objc_public_flag = visibility;
719 objc_set_method_type (enum tree_code type)
721 objc_inherit_code = (type == PLUS_EXPR
723 : INSTANCE_METHOD_DECL);
727 objc_build_method_signature (tree rettype, tree selector,
728 tree optparms, bool ellipsis)
730 return build_method_decl (objc_inherit_code, rettype, selector,
735 objc_add_method_declaration (tree decl)
737 if (!objc_interface_context)
738 fatal_error ("method declaration not in @interface context");
740 objc_add_method (objc_interface_context,
742 objc_inherit_code == CLASS_METHOD_DECL);
746 objc_start_method_definition (tree decl)
748 if (!objc_implementation_context)
749 fatal_error ("method definition not in @implementation context");
751 objc_add_method (objc_implementation_context,
753 objc_inherit_code == CLASS_METHOD_DECL);
754 start_method_def (decl);
758 objc_add_instance_variable (tree decl)
760 (void) add_instance_variable (objc_ivar_context,
765 /* Return 1 if IDENT is an ObjC/ObjC++ reserved keyword in the context of
769 objc_is_reserved_word (tree ident)
771 unsigned char code = C_RID_CODE (ident);
773 return (OBJC_IS_AT_KEYWORD (code)
775 || code == RID_CLASS || code == RID_PUBLIC
776 || code == RID_PROTECTED || code == RID_PRIVATE
777 || code == RID_TRY || code == RID_THROW || code == RID_CATCH
782 /* Return true if TYPE is 'id'. */
785 objc_is_object_id (tree type)
787 return OBJC_TYPE_NAME (type) == objc_object_id;
791 objc_is_class_id (tree type)
793 return OBJC_TYPE_NAME (type) == objc_class_id;
796 /* Construct a C struct with same name as CLASS, a base struct with tag
797 SUPER_NAME (if any), and FIELDS indicated. */
800 objc_build_struct (tree class, tree fields, tree super_name)
802 tree name = CLASS_NAME (class);
803 tree s = start_struct (RECORD_TYPE, name);
804 tree super = (super_name ? xref_tag (RECORD_TYPE, super_name) : NULL_TREE);
805 tree t, objc_info = NULL_TREE;
809 /* Prepend a packed variant of the base class into the layout. This
810 is necessary to preserve ObjC ABI compatibility. */
811 tree base = build_decl (FIELD_DECL, NULL_TREE, super);
812 tree field = TYPE_FIELDS (super);
814 while (field && TREE_CHAIN (field)
815 && TREE_CODE (TREE_CHAIN (field)) == FIELD_DECL)
816 field = TREE_CHAIN (field);
818 /* For ObjC ABI purposes, the "packed" size of a base class is the
819 the sum of the offset and the size (in bits) of the last field
822 = (field && TREE_CODE (field) == FIELD_DECL
823 ? size_binop (PLUS_EXPR,
824 size_binop (PLUS_EXPR,
827 convert (bitsizetype,
828 DECL_FIELD_OFFSET (field)),
829 bitsize_int (BITS_PER_UNIT)),
830 DECL_FIELD_BIT_OFFSET (field)),
832 : bitsize_zero_node);
833 DECL_SIZE_UNIT (base)
834 = size_binop (FLOOR_DIV_EXPR, convert (sizetype, DECL_SIZE (base)),
835 size_int (BITS_PER_UNIT));
836 DECL_ARTIFICIAL (base) = 1;
837 DECL_ALIGN (base) = 1;
838 DECL_FIELD_CONTEXT (base) = s;
840 DECL_FIELD_IS_BASE (base) = 1;
843 TREE_NO_WARNING (fields) = 1; /* Suppress C++ ABI warnings -- we */
844 #endif /* are following the ObjC ABI here. */
845 TREE_CHAIN (base) = fields;
849 /* NB: Calling finish_struct() may cause type TYPE_LANG_SPECIFIC fields
850 in all variants of this RECORD_TYPE to be clobbered, but it is therein
851 that we store protocol conformance info (e.g., 'NSObject <MyProtocol>').
852 Hence, we must squirrel away the ObjC-specific information before calling
853 finish_struct(), and then reinstate it afterwards. */
855 for (t = TYPE_NEXT_VARIANT (s); t; t = TYPE_NEXT_VARIANT (t))
857 = chainon (objc_info,
858 build_tree_list (NULL_TREE, TYPE_OBJC_INFO (t)));
860 /* Point the struct at its related Objective-C class. */
861 INIT_TYPE_OBJC_INFO (s);
862 TYPE_OBJC_INTERFACE (s) = class;
864 s = finish_struct (s, fields, NULL_TREE);
866 for (t = TYPE_NEXT_VARIANT (s); t;
867 t = TYPE_NEXT_VARIANT (t), objc_info = TREE_CHAIN (objc_info))
869 TYPE_OBJC_INFO (t) = TREE_VALUE (objc_info);
870 /* Replace the IDENTIFIER_NODE with an actual @interface. */
871 TYPE_OBJC_INTERFACE (t) = class;
874 /* Use TYPE_BINFO structures to point at the super class, if any. */
875 objc_xref_basetypes (s, super);
877 /* Mark this struct as a class template. */
878 CLASS_STATIC_TEMPLATE (class) = s;
883 /* Build a type differing from TYPE only in that TYPE_VOLATILE is set.
884 Unlike tree.c:build_qualified_type(), preserve TYPE_LANG_SPECIFIC in the
887 objc_build_volatilized_type (tree type)
891 /* Check if we have not constructed the desired variant already. */
892 for (t = TYPE_MAIN_VARIANT (type); t; t = TYPE_NEXT_VARIANT (t))
894 /* The type qualifiers must (obviously) match up. */
895 if (!TYPE_VOLATILE (t)
896 || (TYPE_READONLY (t) != TYPE_READONLY (type))
897 || (TYPE_RESTRICT (t) != TYPE_RESTRICT (type)))
900 /* For pointer types, the pointees (and hence their TYPE_LANG_SPECIFIC
901 info, if any) must match up. */
902 if (POINTER_TYPE_P (t)
903 && (TREE_TYPE (t) != TREE_TYPE (type)))
906 /* Everything matches up! */
910 /* Ok, we could not re-use any of the pre-existing variants. Create
912 t = build_variant_type_copy (type);
913 TYPE_VOLATILE (t) = 1;
918 /* Mark DECL as being 'volatile' for purposes of Darwin
919 _setjmp()/_longjmp() exception handling. Called from
920 objc_mark_locals_volatile(). */
922 objc_volatilize_decl (tree decl)
924 /* Do not mess with variables that are 'static' or (already)
926 if (!TREE_THIS_VOLATILE (decl) && !TREE_STATIC (decl)
927 && (TREE_CODE (decl) == VAR_DECL
928 || TREE_CODE (decl) == PARM_DECL))
930 tree t = TREE_TYPE (decl);
931 struct volatilized_type key;
934 t = objc_build_volatilized_type (t);
936 loc = htab_find_slot (volatilized_htab, &key, INSERT);
940 *loc = ggc_alloc (sizeof (key));
941 ((struct volatilized_type *) *loc)->type = t;
944 TREE_TYPE (decl) = t;
945 TREE_THIS_VOLATILE (decl) = 1;
946 TREE_SIDE_EFFECTS (decl) = 1;
947 DECL_REGISTER (decl) = 0;
949 C_DECL_REGISTER (decl) = 0;
954 /* Check if protocol PROTO is adopted (directly or indirectly) by class CLS
955 (including its categoreis and superclasses) or by object type TYP.
956 Issue a warning if PROTO is not adopted anywhere and WARN is set. */
959 objc_lookup_protocol (tree proto, tree cls, tree typ, bool warn)
961 bool class_type = (cls != NULL_TREE);
967 /* Check protocols adopted by the class and its categories. */
968 for (c = cls; c; c = CLASS_CATEGORY_LIST (c))
970 if (lookup_protocol_in_reflist (CLASS_PROTOCOL_LIST (c), proto))
974 /* Repeat for superclasses. */
975 cls = lookup_interface (CLASS_SUPER_NAME (cls));
978 /* Check for any protocols attached directly to the object type. */
979 if (TYPE_HAS_OBJC_INFO (typ))
981 if (lookup_protocol_in_reflist (TYPE_OBJC_PROTOCOL_LIST (typ), proto))
987 strcpy (errbuf, class_type ? "class \'" : "type \'");
988 gen_type_name_0 (class_type ? typ : TYPE_POINTER_TO (typ));
989 strcat (errbuf, "\' does not ");
990 /* NB: Types 'id' and 'Class' cannot reasonably be described as
991 "implementing" a given protocol, since they do not have an
993 strcat (errbuf, class_type ? "implement" : "conform to");
994 strcat (errbuf, " the \'");
995 strcat (errbuf, IDENTIFIER_POINTER (PROTOCOL_NAME (proto)));
996 strcat (errbuf, "\' protocol");
1003 /* Check if class RCLS and instance struct type RTYP conform to at least the
1004 same protocols that LCLS and LTYP conform to. */
1007 objc_compare_protocols (tree lcls, tree ltyp, tree rcls, tree rtyp, bool warn)
1010 bool have_lproto = false;
1014 /* NB: We do _not_ look at categories defined for LCLS; these may or
1015 may not get loaded in, and therefore it is unreasonable to require
1016 that RCLS/RTYP must implement any of their protocols. */
1017 for (p = CLASS_PROTOCOL_LIST (lcls); p; p = TREE_CHAIN (p))
1021 if (!objc_lookup_protocol (TREE_VALUE (p), rcls, rtyp, warn))
1025 /* Repeat for superclasses. */
1026 lcls = lookup_interface (CLASS_SUPER_NAME (lcls));
1029 /* Check for any protocols attached directly to the object type. */
1030 if (TYPE_HAS_OBJC_INFO (ltyp))
1032 for (p = TYPE_OBJC_PROTOCOL_LIST (ltyp); p; p = TREE_CHAIN (p))
1036 if (!objc_lookup_protocol (TREE_VALUE (p), rcls, rtyp, warn))
1041 /* NB: If LTYP and LCLS have no protocols to search for, return 'true'
1042 vacuously, _unless_ RTYP is a protocol-qualified 'id'. We can get
1043 away with simply checking for 'id' or 'Class' (!RCLS), since this
1044 routine will not get called in other cases. */
1045 return have_lproto || (rcls != NULL_TREE);
1048 /* Determine if it is permissible to assign (if ARGNO is greater than -3)
1049 an instance of RTYP to an instance of LTYP or to compare the two
1050 (if ARGNO is equal to -3), per ObjC type system rules. Before
1051 returning 'true', this routine may issue warnings related to, e.g.,
1052 protocol conformance. When returning 'false', the routine must
1053 produce absolutely no warnings; the C or C++ front-end will do so
1054 instead, if needed. If either LTYP or RTYP is not an Objective-C type,
1055 the routine must return 'false'.
1057 The ARGNO parameter is encoded as follows:
1058 >= 1 Parameter number (CALLEE contains function being called);
1062 -3 Comparison (LTYP and RTYP may match in either direction). */
1065 objc_compare_types (tree ltyp, tree rtyp, int argno, tree callee)
1067 tree lcls, rcls, lproto, rproto;
1068 bool pointers_compatible;
1070 /* We must be dealing with pointer types */
1071 if (!POINTER_TYPE_P (ltyp) || !POINTER_TYPE_P (rtyp))
1076 ltyp = TREE_TYPE (ltyp); /* Remove indirections. */
1077 rtyp = TREE_TYPE (rtyp);
1079 while (POINTER_TYPE_P (ltyp) && POINTER_TYPE_P (rtyp));
1081 /* Past this point, we are only interested in ObjC class instances,
1082 or 'id' or 'Class'. */
1083 if (TREE_CODE (ltyp) != RECORD_TYPE || TREE_CODE (rtyp) != RECORD_TYPE)
1086 if (!objc_is_object_id (ltyp) && !objc_is_class_id (ltyp)
1087 && !TYPE_HAS_OBJC_INFO (ltyp))
1090 if (!objc_is_object_id (rtyp) && !objc_is_class_id (rtyp)
1091 && !TYPE_HAS_OBJC_INFO (rtyp))
1094 /* Past this point, we are committed to returning 'true' to the caller.
1095 However, we can still warn about type and/or protocol mismatches. */
1097 if (TYPE_HAS_OBJC_INFO (ltyp))
1099 lcls = TYPE_OBJC_INTERFACE (ltyp);
1100 lproto = TYPE_OBJC_PROTOCOL_LIST (ltyp);
1103 lcls = lproto = NULL_TREE;
1105 if (TYPE_HAS_OBJC_INFO (rtyp))
1107 rcls = TYPE_OBJC_INTERFACE (rtyp);
1108 rproto = TYPE_OBJC_PROTOCOL_LIST (rtyp);
1111 rcls = rproto = NULL_TREE;
1113 /* If we could not find an @interface declaration, we must have
1114 only seen a @class declaration; for purposes of type comparison,
1115 treat it as a stand-alone (root) class. */
1117 if (lcls && TREE_CODE (lcls) == IDENTIFIER_NODE)
1120 if (rcls && TREE_CODE (rcls) == IDENTIFIER_NODE)
1123 /* If either type is an unqualified 'id', we're done. */
1124 if ((!lproto && objc_is_object_id (ltyp))
1125 || (!rproto && objc_is_object_id (rtyp)))
1128 pointers_compatible = (TYPE_MAIN_VARIANT (ltyp) == TYPE_MAIN_VARIANT (rtyp));
1130 /* If the underlying types are the same, and at most one of them has
1131 a protocol list, we do not need to issue any diagnostics. */
1132 if (pointers_compatible && (!lproto || !rproto))
1135 /* If exactly one of the types is 'Class', issue a diagnostic; any
1136 exceptions of this rule have already been handled. */
1137 if (objc_is_class_id (ltyp) ^ objc_is_class_id (rtyp))
1138 pointers_compatible = false;
1139 /* Otherwise, check for inheritance relations. */
1142 if (!pointers_compatible)
1144 = (objc_is_object_id (ltyp) || objc_is_object_id (rtyp));
1146 if (!pointers_compatible)
1147 pointers_compatible = DERIVED_FROM_P (ltyp, rtyp);
1149 if (!pointers_compatible && argno == -3)
1150 pointers_compatible = DERIVED_FROM_P (rtyp, ltyp);
1153 /* If the pointers match modulo protocols, check for protocol conformance
1155 if (pointers_compatible)
1157 pointers_compatible = objc_compare_protocols (lcls, ltyp, rcls, rtyp,
1160 if (!pointers_compatible && argno == -3)
1161 pointers_compatible = objc_compare_protocols (rcls, rtyp, lcls, ltyp,
1165 if (!pointers_compatible)
1167 /* NB: For the time being, we shall make our warnings look like their
1168 C counterparts. In the future, we may wish to make them more
1173 warning (0, "comparison of distinct Objective-C types lacks a cast");
1177 warning (0, "initialization from distinct Objective-C type");
1181 warning (0, "assignment from distinct Objective-C type");
1185 warning (0, "distinct Objective-C type in return");
1189 warning (0, "passing argument %d of %qE from distinct "
1190 "Objective-C type", argno, callee);
1198 /* Check if LTYP and RTYP have the same type qualifiers. If either type
1199 lives in the volatilized hash table, ignore the 'volatile' bit when
1200 making the comparison. */
1203 objc_type_quals_match (tree ltyp, tree rtyp)
1205 int lquals = TYPE_QUALS (ltyp), rquals = TYPE_QUALS (rtyp);
1206 struct volatilized_type key;
1210 if (htab_find_slot (volatilized_htab, &key, NO_INSERT))
1211 lquals &= ~TYPE_QUAL_VOLATILE;
1215 if (htab_find_slot (volatilized_htab, &key, NO_INSERT))
1216 rquals &= ~TYPE_QUAL_VOLATILE;
1218 return (lquals == rquals);
1222 /* Determine if CHILD is derived from PARENT. The routine assumes that
1223 both parameters are RECORD_TYPEs, and is non-reflexive. */
1226 objc_derived_from_p (tree parent, tree child)
1228 parent = TYPE_MAIN_VARIANT (parent);
1230 for (child = TYPE_MAIN_VARIANT (child);
1231 TYPE_BINFO (child) && BINFO_N_BASE_BINFOS (TYPE_BINFO (child));)
1233 child = TYPE_MAIN_VARIANT (BINFO_TYPE (BINFO_BASE_BINFO
1234 (TYPE_BINFO (child),
1237 if (child == parent)
1246 objc_build_component_ref (tree datum, tree component)
1248 /* If COMPONENT is NULL, the caller is referring to the anonymous
1249 base class field. */
1252 tree base = TYPE_FIELDS (TREE_TYPE (datum));
1254 return build3 (COMPONENT_REF, TREE_TYPE (base), datum, base, NULL_TREE);
1257 /* The 'build_component_ref' routine has been removed from the C++
1258 front-end, but 'finish_class_member_access_expr' seems to be
1259 a worthy substitute. */
1261 return finish_class_member_access_expr (datum, component, false);
1263 return build_component_ref (datum, component);
1267 /* Recursively copy inheritance information rooted at BINFO. To do this,
1268 we emulate the song and dance performed by cp/tree.c:copy_binfo(). */
1271 objc_copy_binfo (tree binfo)
1273 tree btype = BINFO_TYPE (binfo);
1274 tree binfo2 = make_tree_binfo (BINFO_N_BASE_BINFOS (binfo));
1278 BINFO_TYPE (binfo2) = btype;
1279 BINFO_OFFSET (binfo2) = BINFO_OFFSET (binfo);
1280 BINFO_BASE_ACCESSES (binfo2) = BINFO_BASE_ACCESSES (binfo);
1282 /* Recursively copy base binfos of BINFO. */
1283 for (ix = 0; BINFO_BASE_ITERATE (binfo, ix, base_binfo); ix++)
1285 tree base_binfo2 = objc_copy_binfo (base_binfo);
1287 BINFO_INHERITANCE_CHAIN (base_binfo2) = binfo2;
1288 BINFO_BASE_APPEND (binfo2, base_binfo2);
1294 /* Record superclass information provided in BASETYPE for ObjC class REF.
1295 This is loosely based on cp/decl.c:xref_basetypes(). */
1298 objc_xref_basetypes (tree ref, tree basetype)
1300 tree binfo = make_tree_binfo (basetype ? 1 : 0);
1302 TYPE_BINFO (ref) = binfo;
1303 BINFO_OFFSET (binfo) = size_zero_node;
1304 BINFO_TYPE (binfo) = ref;
1308 tree base_binfo = objc_copy_binfo (TYPE_BINFO (basetype));
1310 BINFO_INHERITANCE_CHAIN (base_binfo) = binfo;
1311 BINFO_BASE_ACCESSES (binfo) = VEC_alloc (tree, gc, 1);
1312 BINFO_BASE_APPEND (binfo, base_binfo);
1313 BINFO_BASE_ACCESS_APPEND (binfo, access_public_node);
1318 volatilized_hash (const void *ptr)
1320 tree typ = ((struct volatilized_type *)ptr)->type;
1322 return htab_hash_pointer(typ);
1326 volatilized_eq (const void *ptr1, const void *ptr2)
1328 tree typ1 = ((struct volatilized_type *)ptr1)->type;
1329 tree typ2 = ((struct volatilized_type *)ptr2)->type;
1331 return typ1 == typ2;
1334 /* Called from finish_decl. */
1337 objc_check_decl (tree decl)
1339 tree type = TREE_TYPE (decl);
1341 if (TREE_CODE (type) != RECORD_TYPE)
1343 if (OBJC_TYPE_NAME (type) && (type = objc_is_class_name (OBJC_TYPE_NAME (type))))
1344 error ("statically allocated instance of Objective-C class %qs",
1345 IDENTIFIER_POINTER (type));
1348 /* Construct a PROTOCOLS-qualified variant of INTERFACE, where INTERFACE may
1349 either name an Objective-C class, or refer to the special 'id' or 'Class'
1350 types. If INTERFACE is not a valid ObjC type, just return it unchanged. */
1353 objc_get_protocol_qualified_type (tree interface, tree protocols)
1355 /* If INTERFACE is not provided, default to 'id'. */
1356 tree type = (interface ? objc_is_id (interface) : objc_object_type);
1357 bool is_ptr = (type != NULL_TREE);
1361 type = objc_is_class_name (interface);
1364 type = xref_tag (RECORD_TYPE, type);
1371 type = build_variant_type_copy (type);
1373 /* For pointers (i.e., 'id' or 'Class'), attach the protocol(s)
1377 TREE_TYPE (type) = build_variant_type_copy (TREE_TYPE (type));
1378 TYPE_POINTER_TO (TREE_TYPE (type)) = type;
1379 type = TREE_TYPE (type);
1382 /* Look up protocols and install in lang specific list. */
1383 DUP_TYPE_OBJC_INFO (type, TYPE_MAIN_VARIANT (type));
1384 TYPE_OBJC_PROTOCOL_LIST (type) = lookup_and_install_protocols (protocols);
1386 /* For RECORD_TYPEs, point to the @interface; for 'id' and 'Class',
1387 return the pointer to the new pointee variant. */
1389 type = TYPE_POINTER_TO (type);
1391 TYPE_OBJC_INTERFACE (type)
1392 = TYPE_OBJC_INTERFACE (TYPE_MAIN_VARIANT (type));
1398 /* Check for circular dependencies in protocols. The arguments are
1399 PROTO, the protocol to check, and LIST, a list of protocol it
1403 check_protocol_recursively (tree proto, tree list)
1407 for (p = list; p; p = TREE_CHAIN (p))
1409 tree pp = TREE_VALUE (p);
1411 if (TREE_CODE (pp) == IDENTIFIER_NODE)
1412 pp = lookup_protocol (pp);
1415 fatal_error ("protocol %qs has circular dependency",
1416 IDENTIFIER_POINTER (PROTOCOL_NAME (pp)));
1418 check_protocol_recursively (proto, PROTOCOL_LIST (pp));
1422 /* Look up PROTOCOLS, and return a list of those that are found.
1423 If none are found, return NULL. */
1426 lookup_and_install_protocols (tree protocols)
1429 tree return_value = NULL_TREE;
1431 for (proto = protocols; proto; proto = TREE_CHAIN (proto))
1433 tree ident = TREE_VALUE (proto);
1434 tree p = lookup_protocol (ident);
1437 return_value = chainon (return_value,
1438 build_tree_list (NULL_TREE, p));
1439 else if (ident != error_mark_node)
1440 error ("cannot find protocol declaration for %qs",
1441 IDENTIFIER_POINTER (ident));
1444 return return_value;
1447 /* Create a declaration for field NAME of a given TYPE. */
1450 create_field_decl (tree type, const char *name)
1452 return build_decl (FIELD_DECL, get_identifier (name), type);
1455 /* Create a global, static declaration for variable NAME of a given TYPE. The
1456 finish_var_decl() routine will need to be called on it afterwards. */
1459 start_var_decl (tree type, const char *name)
1461 tree var = build_decl (VAR_DECL, get_identifier (name), type);
1463 TREE_STATIC (var) = 1;
1464 DECL_INITIAL (var) = error_mark_node; /* A real initializer is coming... */
1465 DECL_IGNORED_P (var) = 1;
1466 DECL_ARTIFICIAL (var) = 1;
1467 DECL_CONTEXT (var) = NULL_TREE;
1469 DECL_THIS_STATIC (var) = 1; /* squash redeclaration errors */
1475 /* Finish off the variable declaration created by start_var_decl(). */
1478 finish_var_decl (tree var, tree initializer)
1480 finish_decl (var, initializer, NULL_TREE);
1481 /* Ensure that the variable actually gets output. */
1482 mark_decl_referenced (var);
1483 /* Mark the decl to avoid "defined but not used" warning. */
1484 TREE_USED (var) = 1;
1487 /* Find the decl for the constant string class reference. This is only
1488 used for the NeXT runtime. */
1491 setup_string_decl (void)
1496 /* %s in format will provide room for terminating null */
1497 length = strlen (STRING_OBJECT_GLOBAL_FORMAT)
1498 + strlen (constant_string_class_name);
1499 name = xmalloc (length);
1500 sprintf (name, STRING_OBJECT_GLOBAL_FORMAT,
1501 constant_string_class_name);
1502 constant_string_global_id = get_identifier (name);
1503 string_class_decl = lookup_name (constant_string_global_id);
1505 return string_class_decl;
1508 /* Purpose: "play" parser, creating/installing representations
1509 of the declarations that are required by Objective-C.
1513 type_spec--------->sc_spec
1514 (tree_list) (tree_list)
1517 identifier_node identifier_node */
1520 synth_module_prologue (void)
1523 enum debug_info_type save_write_symbols = write_symbols;
1524 const struct gcc_debug_hooks *const save_hooks = debug_hooks;
1526 /* Suppress outputting debug symbols, because
1527 dbxout_init hasn'r been called yet. */
1528 write_symbols = NO_DEBUG;
1529 debug_hooks = &do_nothing_debug_hooks;
1532 push_lang_context (lang_name_c); /* extern "C" */
1535 /* The following are also defined in <objc/objc.h> and friends. */
1537 objc_object_id = get_identifier (TAG_OBJECT);
1538 objc_class_id = get_identifier (TAG_CLASS);
1540 objc_object_reference = xref_tag (RECORD_TYPE, objc_object_id);
1541 objc_class_reference = xref_tag (RECORD_TYPE, objc_class_id);
1543 objc_object_type = build_pointer_type (objc_object_reference);
1544 objc_class_type = build_pointer_type (objc_class_reference);
1546 objc_object_name = get_identifier (OBJECT_TYPEDEF_NAME);
1547 objc_class_name = get_identifier (CLASS_TYPEDEF_NAME);
1549 /* Declare the 'id' and 'Class' typedefs. */
1551 type = lang_hooks.decls.pushdecl (build_decl (TYPE_DECL,
1554 DECL_IN_SYSTEM_HEADER (type) = 1;
1555 type = lang_hooks.decls.pushdecl (build_decl (TYPE_DECL,
1558 DECL_IN_SYSTEM_HEADER (type) = 1;
1560 /* Forward-declare '@interface Protocol'. */
1562 type = get_identifier (PROTOCOL_OBJECT_CLASS_NAME);
1563 objc_declare_class (tree_cons (NULL_TREE, type, NULL_TREE));
1564 objc_protocol_type = build_pointer_type (xref_tag (RECORD_TYPE,
1567 /* Declare type of selector-objects that represent an operation name. */
1569 if (flag_next_runtime)
1570 /* `struct objc_selector *' */
1572 = build_pointer_type (xref_tag (RECORD_TYPE,
1573 get_identifier (TAG_SELECTOR)));
1575 /* `const struct objc_selector *' */
1577 = build_pointer_type
1578 (build_qualified_type (xref_tag (RECORD_TYPE,
1579 get_identifier (TAG_SELECTOR)),
1582 /* Declare receiver type used for dispatching messages to 'super'. */
1584 /* `struct objc_super *' */
1585 objc_super_type = build_pointer_type (xref_tag (RECORD_TYPE,
1586 get_identifier (TAG_SUPER)));
1588 /* Declare pointers to method and ivar lists. */
1589 objc_method_list_ptr = build_pointer_type
1590 (xref_tag (RECORD_TYPE,
1591 get_identifier (UTAG_METHOD_LIST)));
1592 objc_method_proto_list_ptr
1593 = build_pointer_type (xref_tag (RECORD_TYPE,
1594 get_identifier (UTAG_METHOD_PROTOTYPE_LIST)));
1595 objc_ivar_list_ptr = build_pointer_type
1596 (xref_tag (RECORD_TYPE,
1597 get_identifier (UTAG_IVAR_LIST)));
1599 /* TREE_NOTHROW is cleared for the message-sending functions,
1600 because the function that gets called can throw in Obj-C++, or
1601 could itself call something that can throw even in Obj-C. */
1603 if (flag_next_runtime)
1605 /* NB: In order to call one of the ..._stret (struct-returning)
1606 functions, the function *MUST* first be cast to a signature that
1607 corresponds to the actual ObjC method being invoked. This is
1608 what is done by the build_objc_method_call() routine below. */
1610 /* id objc_msgSend (id, SEL, ...); */
1611 /* id objc_msgSendNonNil (id, SEL, ...); */
1612 /* id objc_msgSend_stret (id, SEL, ...); */
1613 /* id objc_msgSendNonNil_stret (id, SEL, ...); */
1615 = build_function_type (objc_object_type,
1616 tree_cons (NULL_TREE, objc_object_type,
1617 tree_cons (NULL_TREE, objc_selector_type,
1619 umsg_decl = builtin_function (TAG_MSGSEND,
1620 type, 0, NOT_BUILT_IN,
1622 umsg_nonnil_decl = builtin_function (TAG_MSGSEND_NONNIL,
1623 type, 0, NOT_BUILT_IN,
1625 umsg_stret_decl = builtin_function (TAG_MSGSEND_STRET,
1626 type, 0, NOT_BUILT_IN,
1628 umsg_nonnil_stret_decl = builtin_function (TAG_MSGSEND_NONNIL_STRET,
1629 type, 0, NOT_BUILT_IN,
1632 /* These can throw, because the function that gets called can throw
1633 in Obj-C++, or could itself call something that can throw even
1635 TREE_NOTHROW (umsg_decl) = 0;
1636 TREE_NOTHROW (umsg_nonnil_decl) = 0;
1637 TREE_NOTHROW (umsg_stret_decl) = 0;
1638 TREE_NOTHROW (umsg_nonnil_stret_decl) = 0;
1640 /* id objc_msgSend_Fast (id, SEL, ...)
1641 __attribute__ ((hard_coded_address (OFFS_MSGSEND_FAST))); */
1642 #ifdef OFFS_MSGSEND_FAST
1643 umsg_fast_decl = builtin_function (TAG_MSGSEND_FAST,
1644 type, 0, NOT_BUILT_IN,
1646 TREE_NOTHROW (umsg_fast_decl) = 0;
1647 DECL_ATTRIBUTES (umsg_fast_decl)
1648 = tree_cons (get_identifier ("hard_coded_address"),
1649 build_int_cst (NULL_TREE, OFFS_MSGSEND_FAST),
1652 /* No direct dispatch availible. */
1653 umsg_fast_decl = umsg_decl;
1656 /* id objc_msgSendSuper (struct objc_super *, SEL, ...); */
1657 /* id objc_msgSendSuper_stret (struct objc_super *, SEL, ...); */
1659 = build_function_type (objc_object_type,
1660 tree_cons (NULL_TREE, objc_super_type,
1661 tree_cons (NULL_TREE, objc_selector_type,
1663 umsg_super_decl = builtin_function (TAG_MSGSENDSUPER,
1664 type, 0, NOT_BUILT_IN,
1666 umsg_super_stret_decl = builtin_function (TAG_MSGSENDSUPER_STRET,
1667 type, 0, NOT_BUILT_IN, 0,
1669 TREE_NOTHROW (umsg_super_decl) = 0;
1670 TREE_NOTHROW (umsg_super_stret_decl) = 0;
1674 /* GNU runtime messenger entry points. */
1676 /* typedef id (*IMP)(id, SEL, ...); */
1678 = build_pointer_type
1679 (build_function_type (objc_object_type,
1680 tree_cons (NULL_TREE, objc_object_type,
1681 tree_cons (NULL_TREE, objc_selector_type,
1684 /* IMP objc_msg_lookup (id, SEL); */
1686 = build_function_type (IMP_type,
1687 tree_cons (NULL_TREE, objc_object_type,
1688 tree_cons (NULL_TREE, objc_selector_type,
1689 OBJC_VOID_AT_END)));
1690 umsg_decl = builtin_function (TAG_MSGSEND,
1691 type, 0, NOT_BUILT_IN,
1693 TREE_NOTHROW (umsg_decl) = 0;
1695 /* IMP objc_msg_lookup_super (struct objc_super *, SEL); */
1697 = build_function_type (IMP_type,
1698 tree_cons (NULL_TREE, objc_super_type,
1699 tree_cons (NULL_TREE, objc_selector_type,
1700 OBJC_VOID_AT_END)));
1701 umsg_super_decl = builtin_function (TAG_MSGSENDSUPER,
1702 type, 0, NOT_BUILT_IN,
1704 TREE_NOTHROW (umsg_super_decl) = 0;
1706 /* The following GNU runtime entry point is called to initialize
1709 __objc_exec_class (void *); */
1711 = build_function_type (void_type_node,
1712 tree_cons (NULL_TREE, ptr_type_node,
1714 execclass_decl = builtin_function (TAG_EXECCLASS,
1715 type, 0, NOT_BUILT_IN,
1719 /* id objc_getClass (const char *); */
1721 type = build_function_type (objc_object_type,
1722 tree_cons (NULL_TREE,
1723 const_string_type_node,
1727 = builtin_function (TAG_GETCLASS, type, 0, NOT_BUILT_IN,
1730 /* id objc_getMetaClass (const char *); */
1732 objc_get_meta_class_decl
1733 = builtin_function (TAG_GETMETACLASS, type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
1735 build_class_template ();
1736 build_super_template ();
1737 build_protocol_template ();
1738 build_category_template ();
1739 build_objc_exception_stuff ();
1741 if (flag_next_runtime)
1742 build_next_objc_exception_stuff ();
1744 /* static SEL _OBJC_SELECTOR_TABLE[]; */
1746 if (! flag_next_runtime)
1747 build_selector_table_decl ();
1749 /* Forward declare constant_string_id and constant_string_type. */
1750 if (!constant_string_class_name)
1751 constant_string_class_name = default_constant_string_class_name;
1753 constant_string_id = get_identifier (constant_string_class_name);
1754 objc_declare_class (tree_cons (NULL_TREE, constant_string_id, NULL_TREE));
1756 /* Pre-build the following entities - for speed/convenience. */
1757 self_id = get_identifier ("self");
1758 ucmd_id = get_identifier ("_cmd");
1761 pop_lang_context ();
1764 write_symbols = save_write_symbols;
1765 debug_hooks = save_hooks;
1768 /* Ensure that the ivar list for NSConstantString/NXConstantString
1769 (or whatever was specified via `-fconstant-string-class')
1770 contains fields at least as large as the following three, so that
1771 the runtime can stomp on them with confidence:
1773 struct STRING_OBJECT_CLASS_NAME
1777 unsigned int length;
1781 check_string_class_template (void)
1783 tree field_decl = objc_get_class_ivars (constant_string_id);
1785 #define AT_LEAST_AS_LARGE_AS(F, T) \
1786 (F && TREE_CODE (F) == FIELD_DECL \
1787 && (TREE_INT_CST_LOW (TYPE_SIZE (TREE_TYPE (F))) \
1788 >= TREE_INT_CST_LOW (TYPE_SIZE (T))))
1790 if (!AT_LEAST_AS_LARGE_AS (field_decl, ptr_type_node))
1793 field_decl = TREE_CHAIN (field_decl);
1794 if (!AT_LEAST_AS_LARGE_AS (field_decl, ptr_type_node))
1797 field_decl = TREE_CHAIN (field_decl);
1798 return AT_LEAST_AS_LARGE_AS (field_decl, unsigned_type_node);
1800 #undef AT_LEAST_AS_LARGE_AS
1803 /* Avoid calling `check_string_class_template ()' more than once. */
1804 static GTY(()) int string_layout_checked;
1806 /* Construct an internal string layout to be used as a template for
1807 creating NSConstantString/NXConstantString instances. */
1810 objc_build_internal_const_str_type (void)
1812 tree type = (*lang_hooks.types.make_type) (RECORD_TYPE);
1813 tree fields = build_decl (FIELD_DECL, NULL_TREE, ptr_type_node);
1814 tree field = build_decl (FIELD_DECL, NULL_TREE, ptr_type_node);
1816 TREE_CHAIN (field) = fields; fields = field;
1817 field = build_decl (FIELD_DECL, NULL_TREE, unsigned_type_node);
1818 TREE_CHAIN (field) = fields; fields = field;
1819 /* NB: The finish_builtin_struct() routine expects FIELD_DECLs in
1821 finish_builtin_struct (type, "__builtin_ObjCString",
1827 /* Custom build_string which sets TREE_TYPE! */
1830 my_build_string (int len, const char *str)
1832 return fix_string_type (build_string (len, str));
1835 /* Build a string with contents STR and length LEN and convert it to a
1839 my_build_string_pointer (int len, const char *str)
1841 tree string = my_build_string (len, str);
1842 tree ptrtype = build_pointer_type (TREE_TYPE (TREE_TYPE (string)));
1843 return build1 (ADDR_EXPR, ptrtype, string);
1847 string_hash (const void *ptr)
1849 tree str = ((struct string_descriptor *)ptr)->literal;
1850 const unsigned char *p = (const unsigned char *) TREE_STRING_POINTER (str);
1851 int i, len = TREE_STRING_LENGTH (str);
1854 for (i = 0; i < len; i++)
1855 h = ((h * 613) + p[i]);
1861 string_eq (const void *ptr1, const void *ptr2)
1863 tree str1 = ((struct string_descriptor *)ptr1)->literal;
1864 tree str2 = ((struct string_descriptor *)ptr2)->literal;
1865 int len1 = TREE_STRING_LENGTH (str1);
1867 return (len1 == TREE_STRING_LENGTH (str2)
1868 && !memcmp (TREE_STRING_POINTER (str1), TREE_STRING_POINTER (str2),
1872 /* Given a chain of STRING_CST's, build a static instance of
1873 NXConstantString which points at the concatenation of those
1874 strings. We place the string object in the __string_objects
1875 section of the __OBJC segment. The Objective-C runtime will
1876 initialize the isa pointers of the string objects to point at the
1877 NXConstantString class object. */
1880 objc_build_string_object (tree string)
1882 tree initlist, constructor, constant_string_class;
1885 struct string_descriptor *desc, key;
1888 /* Prep the string argument. */
1889 string = fix_string_type (string);
1890 TREE_SET_CODE (string, STRING_CST);
1891 length = TREE_STRING_LENGTH (string) - 1;
1893 /* Check whether the string class being used actually exists and has the
1894 correct ivar layout. */
1895 if (!string_layout_checked)
1897 string_layout_checked = -1;
1898 constant_string_class = lookup_interface (constant_string_id);
1899 internal_const_str_type = objc_build_internal_const_str_type ();
1901 if (!constant_string_class
1902 || !(constant_string_type
1903 = CLASS_STATIC_TEMPLATE (constant_string_class)))
1904 error ("cannot find interface declaration for %qs",
1905 IDENTIFIER_POINTER (constant_string_id));
1906 /* The NSConstantString/NXConstantString ivar layout is now known. */
1907 else if (!check_string_class_template ())
1908 error ("interface %qs does not have valid constant string layout",
1909 IDENTIFIER_POINTER (constant_string_id));
1910 /* For the NeXT runtime, we can generate a literal reference
1911 to the string class, don't need to run a constructor. */
1912 else if (flag_next_runtime && !setup_string_decl ())
1913 error ("cannot find reference tag for class %qs",
1914 IDENTIFIER_POINTER (constant_string_id));
1917 string_layout_checked = 1; /* Success! */
1918 add_class_reference (constant_string_id);
1922 if (string_layout_checked == -1)
1923 return error_mark_node;
1925 /* Perhaps we already constructed a constant string just like this one? */
1926 key.literal = string;
1927 loc = htab_find_slot (string_htab, &key, INSERT);
1933 *loc = desc = ggc_alloc (sizeof (*desc));
1934 desc->literal = string;
1936 /* GNU: (NXConstantString *) & ((__builtin_ObjCString) { NULL, string, length }) */
1937 /* NeXT: (NSConstantString *) & ((__builtin_ObjCString) { isa, string, length }) */
1938 fields = TYPE_FIELDS (internal_const_str_type);
1940 = build_tree_list (fields,
1942 ? build_unary_op (ADDR_EXPR, string_class_decl, 0)
1943 : build_int_cst (NULL_TREE, 0));
1944 fields = TREE_CHAIN (fields);
1945 initlist = tree_cons (fields, build_unary_op (ADDR_EXPR, string, 1),
1947 fields = TREE_CHAIN (fields);
1948 initlist = tree_cons (fields, build_int_cst (NULL_TREE, length),
1950 constructor = objc_build_constructor (internal_const_str_type,
1951 nreverse (initlist));
1952 TREE_INVARIANT (constructor) = true;
1954 if (!flag_next_runtime)
1956 = objc_add_static_instance (constructor, constant_string_type);
1959 var = build_decl (CONST_DECL, NULL, TREE_TYPE (constructor));
1960 DECL_INITIAL (var) = constructor;
1961 TREE_STATIC (var) = 1;
1962 pushdecl_top_level (var);
1965 desc->constructor = constructor;
1968 addr = convert (build_pointer_type (constant_string_type),
1969 build_unary_op (ADDR_EXPR, desc->constructor, 1));
1974 /* Declare a static instance of CLASS_DECL initialized by CONSTRUCTOR. */
1976 static GTY(()) int num_static_inst;
1979 objc_add_static_instance (tree constructor, tree class_decl)
1984 /* Find the list of static instances for the CLASS_DECL. Create one if
1986 for (chain = &objc_static_instances;
1987 *chain && TREE_VALUE (*chain) != class_decl;
1988 chain = &TREE_CHAIN (*chain));
1991 *chain = tree_cons (NULL_TREE, class_decl, NULL_TREE);
1992 add_objc_string (OBJC_TYPE_NAME (class_decl), class_names);
1995 sprintf (buf, "_OBJC_INSTANCE_%d", num_static_inst++);
1996 decl = build_decl (VAR_DECL, get_identifier (buf), class_decl);
1997 DECL_COMMON (decl) = 1;
1998 TREE_STATIC (decl) = 1;
1999 DECL_ARTIFICIAL (decl) = 1;
2000 TREE_USED (decl) = 1;
2001 DECL_INITIAL (decl) = constructor;
2003 /* We may be writing something else just now.
2004 Postpone till end of input. */
2005 DECL_DEFER_OUTPUT (decl) = 1;
2006 pushdecl_top_level (decl);
2007 rest_of_decl_compilation (decl, 1, 0);
2009 /* Add the DECL to the head of this CLASS' list. */
2010 TREE_PURPOSE (*chain) = tree_cons (NULL_TREE, decl, TREE_PURPOSE (*chain));
2015 /* Build a static constant CONSTRUCTOR
2016 with type TYPE and elements ELTS. */
2019 objc_build_constructor (tree type, tree elts)
2021 tree constructor = build_constructor_from_list (type, elts);
2023 TREE_CONSTANT (constructor) = 1;
2024 TREE_STATIC (constructor) = 1;
2025 TREE_READONLY (constructor) = 1;
2028 /* Adjust for impedance mismatch. We should figure out how to build
2029 CONSTRUCTORs that consistently please both the C and C++ gods. */
2030 if (!TREE_PURPOSE (elts))
2031 TREE_TYPE (constructor) = NULL_TREE;
2032 TREE_HAS_CONSTRUCTOR (constructor) = 1;
2038 /* Take care of defining and initializing _OBJC_SYMBOLS. */
2040 /* Predefine the following data type:
2048 void *defs[cls_def_cnt + cat_def_cnt];
2052 build_objc_symtab_template (void)
2054 tree field_decl, field_decl_chain;
2056 objc_symtab_template
2057 = start_struct (RECORD_TYPE, get_identifier (UTAG_SYMTAB));
2059 /* long sel_ref_cnt; */
2060 field_decl = create_field_decl (long_integer_type_node, "sel_ref_cnt");
2061 field_decl_chain = field_decl;
2064 field_decl = create_field_decl (build_pointer_type (objc_selector_type),
2066 chainon (field_decl_chain, field_decl);
2068 /* short cls_def_cnt; */
2069 field_decl = create_field_decl (short_integer_type_node, "cls_def_cnt");
2070 chainon (field_decl_chain, field_decl);
2072 /* short cat_def_cnt; */
2073 field_decl = create_field_decl (short_integer_type_node,
2075 chainon (field_decl_chain, field_decl);
2077 if (imp_count || cat_count || !flag_next_runtime)
2079 /* void *defs[imp_count + cat_count (+ 1)]; */
2080 /* NB: The index is one less than the size of the array. */
2081 int index = imp_count + cat_count
2082 + (flag_next_runtime? -1: 0);
2083 field_decl = create_field_decl
2086 build_index_type (build_int_cst (NULL_TREE, index))),
2088 chainon (field_decl_chain, field_decl);
2091 finish_struct (objc_symtab_template, field_decl_chain, NULL_TREE);
2094 /* Create the initial value for the `defs' field of _objc_symtab.
2095 This is a CONSTRUCTOR. */
2098 init_def_list (tree type)
2100 tree expr, initlist = NULL_TREE;
2101 struct imp_entry *impent;
2104 for (impent = imp_list; impent; impent = impent->next)
2106 if (TREE_CODE (impent->imp_context) == CLASS_IMPLEMENTATION_TYPE)
2108 expr = build_unary_op (ADDR_EXPR, impent->class_decl, 0);
2109 initlist = tree_cons (NULL_TREE, expr, initlist);
2114 for (impent = imp_list; impent; impent = impent->next)
2116 if (TREE_CODE (impent->imp_context) == CATEGORY_IMPLEMENTATION_TYPE)
2118 expr = build_unary_op (ADDR_EXPR, impent->class_decl, 0);
2119 initlist = tree_cons (NULL_TREE, expr, initlist);
2123 if (!flag_next_runtime)
2125 /* statics = { ..., _OBJC_STATIC_INSTANCES, ... } */
2128 if (static_instances_decl)
2129 expr = build_unary_op (ADDR_EXPR, static_instances_decl, 0);
2131 expr = build_int_cst (NULL_TREE, 0);
2133 initlist = tree_cons (NULL_TREE, expr, initlist);
2136 return objc_build_constructor (type, nreverse (initlist));
2139 /* Construct the initial value for all of _objc_symtab. */
2142 init_objc_symtab (tree type)
2146 /* sel_ref_cnt = { ..., 5, ... } */
2148 initlist = build_tree_list (NULL_TREE,
2149 build_int_cst (long_integer_type_node, 0));
2151 /* refs = { ..., _OBJC_SELECTOR_TABLE, ... } */
2153 if (flag_next_runtime || ! sel_ref_chain)
2154 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
2157 = tree_cons (NULL_TREE,
2158 convert (build_pointer_type (objc_selector_type),
2159 build_unary_op (ADDR_EXPR,
2160 UOBJC_SELECTOR_TABLE_decl, 1)),
2163 /* cls_def_cnt = { ..., 5, ... } */
2165 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, imp_count), initlist);
2167 /* cat_def_cnt = { ..., 5, ... } */
2169 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, cat_count), initlist);
2171 /* cls_def = { ..., { &Foo, &Bar, ...}, ... } */
2173 if (imp_count || cat_count || !flag_next_runtime)
2176 tree field = TYPE_FIELDS (type);
2177 field = TREE_CHAIN (TREE_CHAIN (TREE_CHAIN (TREE_CHAIN (field))));
2179 initlist = tree_cons (NULL_TREE, init_def_list (TREE_TYPE (field)),
2183 return objc_build_constructor (type, nreverse (initlist));
2186 /* Generate forward declarations for metadata such as
2187 'OBJC_CLASS_...'. */
2190 build_metadata_decl (const char *name, tree type)
2194 /* struct TYPE NAME_<name>; */
2195 decl = start_var_decl (type, synth_id_with_class_suffix
2197 objc_implementation_context));
2202 /* Push forward-declarations of all the categories so that
2203 init_def_list can use them in a CONSTRUCTOR. */
2206 forward_declare_categories (void)
2208 struct imp_entry *impent;
2209 tree sav = objc_implementation_context;
2211 for (impent = imp_list; impent; impent = impent->next)
2213 if (TREE_CODE (impent->imp_context) == CATEGORY_IMPLEMENTATION_TYPE)
2215 /* Set an invisible arg to synth_id_with_class_suffix. */
2216 objc_implementation_context = impent->imp_context;
2217 /* extern struct objc_category _OBJC_CATEGORY_<name>; */
2218 impent->class_decl = build_metadata_decl ("_OBJC_CATEGORY",
2219 objc_category_template);
2222 objc_implementation_context = sav;
2225 /* Create the declaration of _OBJC_SYMBOLS, with type `struct _objc_symtab'
2226 and initialized appropriately. */
2229 generate_objc_symtab_decl (void)
2231 /* forward declare categories */
2233 forward_declare_categories ();
2235 build_objc_symtab_template ();
2236 UOBJC_SYMBOLS_decl = start_var_decl (objc_symtab_template, "_OBJC_SYMBOLS");
2237 finish_var_decl (UOBJC_SYMBOLS_decl,
2238 init_objc_symtab (TREE_TYPE (UOBJC_SYMBOLS_decl)));
2242 init_module_descriptor (tree type)
2244 tree initlist, expr;
2246 /* version = { 1, ... } */
2248 expr = build_int_cst (long_integer_type_node, OBJC_VERSION);
2249 initlist = build_tree_list (NULL_TREE, expr);
2251 /* size = { ..., sizeof (struct _objc_module), ... } */
2253 expr = convert (long_integer_type_node,
2254 size_in_bytes (objc_module_template));
2255 initlist = tree_cons (NULL_TREE, expr, initlist);
2257 /* Don't provide any file name for security reasons. */
2258 /* name = { ..., "", ... } */
2260 expr = add_objc_string (get_identifier (""), class_names);
2261 initlist = tree_cons (NULL_TREE, expr, initlist);
2263 /* symtab = { ..., _OBJC_SYMBOLS, ... } */
2265 if (UOBJC_SYMBOLS_decl)
2266 expr = build_unary_op (ADDR_EXPR, UOBJC_SYMBOLS_decl, 0);
2268 expr = build_int_cst (NULL_TREE, 0);
2269 initlist = tree_cons (NULL_TREE, expr, initlist);
2271 return objc_build_constructor (type, nreverse (initlist));
2274 /* Write out the data structures to describe Objective C classes defined.
2276 struct _objc_module { ... } _OBJC_MODULE = { ... }; */
2279 build_module_descriptor (void)
2281 tree field_decl, field_decl_chain;
2284 push_lang_context (lang_name_c); /* extern "C" */
2287 objc_module_template
2288 = start_struct (RECORD_TYPE, get_identifier (UTAG_MODULE));
2291 field_decl = create_field_decl (long_integer_type_node, "version");
2292 field_decl_chain = field_decl;
2295 field_decl = create_field_decl (long_integer_type_node, "size");
2296 chainon (field_decl_chain, field_decl);
2299 field_decl = create_field_decl (string_type_node, "name");
2300 chainon (field_decl_chain, field_decl);
2302 /* struct _objc_symtab *symtab; */
2304 = create_field_decl (build_pointer_type
2305 (xref_tag (RECORD_TYPE,
2306 get_identifier (UTAG_SYMTAB))),
2308 chainon (field_decl_chain, field_decl);
2310 finish_struct (objc_module_template, field_decl_chain, NULL_TREE);
2312 /* Create an instance of "_objc_module". */
2313 UOBJC_MODULES_decl = start_var_decl (objc_module_template, "_OBJC_MODULES");
2314 finish_var_decl (UOBJC_MODULES_decl,
2315 init_module_descriptor (TREE_TYPE (UOBJC_MODULES_decl)));
2318 pop_lang_context ();
2322 /* The GNU runtime requires us to provide a static initializer function
2325 static void __objc_gnu_init (void) {
2326 __objc_exec_class (&L_OBJC_MODULES);
2330 build_module_initializer_routine (void)
2335 push_lang_context (lang_name_c); /* extern "C" */
2338 objc_push_parm (build_decl (PARM_DECL, NULL_TREE, void_type_node));
2339 objc_start_function (get_identifier (TAG_GNUINIT),
2340 build_function_type (void_type_node,
2342 NULL_TREE, objc_get_parm_info (0));
2344 body = c_begin_compound_stmt (true);
2345 add_stmt (build_function_call
2349 build_unary_op (ADDR_EXPR,
2350 UOBJC_MODULES_decl, 0))));
2351 add_stmt (c_end_compound_stmt (body, true));
2353 TREE_PUBLIC (current_function_decl) = 0;
2356 /* For Objective-C++, we will need to call __objc_gnu_init
2357 from objc_generate_static_init_call() below. */
2358 DECL_STATIC_CONSTRUCTOR (current_function_decl) = 1;
2361 GNU_INIT_decl = current_function_decl;
2365 pop_lang_context ();
2370 /* Return 1 if the __objc_gnu_init function has been synthesized and needs
2371 to be called by the module initializer routine. */
2374 objc_static_init_needed_p (void)
2376 return (GNU_INIT_decl != NULL_TREE);
2379 /* Generate a call to the __objc_gnu_init initializer function. */
2382 objc_generate_static_init_call (tree ctors ATTRIBUTE_UNUSED)
2384 add_stmt (build_stmt (EXPR_STMT,
2385 build_function_call (GNU_INIT_decl, NULL_TREE)));
2389 #endif /* OBJCPLUS */
2391 /* Return the DECL of the string IDENT in the SECTION. */
2394 get_objc_string_decl (tree ident, enum string_section section)
2398 if (section == class_names)
2399 chain = class_names_chain;
2400 else if (section == meth_var_names)
2401 chain = meth_var_names_chain;
2402 else if (section == meth_var_types)
2403 chain = meth_var_types_chain;
2407 for (; chain != 0; chain = TREE_CHAIN (chain))
2408 if (TREE_VALUE (chain) == ident)
2409 return (TREE_PURPOSE (chain));
2415 /* Output references to all statically allocated objects. Return the DECL
2416 for the array built. */
2419 generate_static_references (void)
2421 tree decls = NULL_TREE, expr = NULL_TREE;
2422 tree class_name, class, decl, initlist;
2423 tree cl_chain, in_chain, type
2424 = build_array_type (build_pointer_type (void_type_node), NULL_TREE);
2425 int num_inst, num_class;
2428 if (flag_next_runtime)
2431 for (cl_chain = objc_static_instances, num_class = 0;
2432 cl_chain; cl_chain = TREE_CHAIN (cl_chain), num_class++)
2434 for (num_inst = 0, in_chain = TREE_PURPOSE (cl_chain);
2435 in_chain; num_inst++, in_chain = TREE_CHAIN (in_chain));
2437 sprintf (buf, "_OBJC_STATIC_INSTANCES_%d", num_class);
2438 decl = start_var_decl (type, buf);
2440 /* Output {class_name, ...}. */
2441 class = TREE_VALUE (cl_chain);
2442 class_name = get_objc_string_decl (OBJC_TYPE_NAME (class), class_names);
2443 initlist = build_tree_list (NULL_TREE,
2444 build_unary_op (ADDR_EXPR, class_name, 1));
2446 /* Output {..., instance, ...}. */
2447 for (in_chain = TREE_PURPOSE (cl_chain);
2448 in_chain; in_chain = TREE_CHAIN (in_chain))
2450 expr = build_unary_op (ADDR_EXPR, TREE_VALUE (in_chain), 1);
2451 initlist = tree_cons (NULL_TREE, expr, initlist);
2454 /* Output {..., NULL}. */
2455 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
2457 expr = objc_build_constructor (TREE_TYPE (decl), nreverse (initlist));
2458 finish_var_decl (decl, expr);
2460 = tree_cons (NULL_TREE, build_unary_op (ADDR_EXPR, decl, 1), decls);
2463 decls = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), decls);
2464 expr = objc_build_constructor (type, nreverse (decls));
2465 static_instances_decl = start_var_decl (type, "_OBJC_STATIC_INSTANCES");
2466 finish_var_decl (static_instances_decl, expr);
2469 static GTY(()) int selector_reference_idx;
2472 build_selector_reference_decl (void)
2477 sprintf (buf, "_OBJC_SELECTOR_REFERENCES_%d", selector_reference_idx++);
2478 decl = start_var_decl (objc_selector_type, buf);
2484 build_selector_table_decl (void)
2488 if (flag_typed_selectors)
2490 build_selector_template ();
2491 temp = build_array_type (objc_selector_template, NULL_TREE);
2494 temp = build_array_type (objc_selector_type, NULL_TREE);
2496 UOBJC_SELECTOR_TABLE_decl = start_var_decl (temp, "_OBJC_SELECTOR_TABLE");
2499 /* Just a handy wrapper for add_objc_string. */
2502 build_selector (tree ident)
2504 return convert (objc_selector_type,
2505 add_objc_string (ident, meth_var_names));
2509 build_selector_translation_table (void)
2511 tree chain, initlist = NULL_TREE;
2513 tree decl = NULL_TREE;
2515 for (chain = sel_ref_chain; chain; chain = TREE_CHAIN (chain))
2519 if (warn_selector && objc_implementation_context)
2523 for (method_chain = meth_var_names_chain;
2525 method_chain = TREE_CHAIN (method_chain))
2527 if (TREE_VALUE (method_chain) == TREE_VALUE (chain))
2536 if (flag_next_runtime && TREE_PURPOSE (chain))
2537 loc = &DECL_SOURCE_LOCATION (TREE_PURPOSE (chain));
2539 loc = &input_location;
2540 warning (0, "%Hcreating selector for nonexistent method %qE",
2541 loc, TREE_VALUE (chain));
2545 expr = build_selector (TREE_VALUE (chain));
2546 /* add one for the '\0' character */
2547 offset += IDENTIFIER_LENGTH (TREE_VALUE (chain)) + 1;
2549 if (flag_next_runtime)
2551 decl = TREE_PURPOSE (chain);
2552 finish_var_decl (decl, expr);
2556 if (flag_typed_selectors)
2558 tree eltlist = NULL_TREE;
2559 tree encoding = get_proto_encoding (TREE_PURPOSE (chain));
2560 eltlist = tree_cons (NULL_TREE, expr, NULL_TREE);
2561 eltlist = tree_cons (NULL_TREE, encoding, eltlist);
2562 expr = objc_build_constructor (objc_selector_template,
2563 nreverse (eltlist));
2566 initlist = tree_cons (NULL_TREE, expr, initlist);
2570 if (! flag_next_runtime)
2572 /* Cause the selector table (previously forward-declared)
2573 to be actually output. */
2574 initlist = tree_cons (NULL_TREE,
2575 flag_typed_selectors
2576 ? objc_build_constructor
2577 (objc_selector_template,
2578 tree_cons (NULL_TREE,
2579 build_int_cst (NULL_TREE, 0),
2580 tree_cons (NULL_TREE,
2581 build_int_cst (NULL_TREE, 0),
2583 : build_int_cst (NULL_TREE, 0), initlist);
2584 initlist = objc_build_constructor (TREE_TYPE (UOBJC_SELECTOR_TABLE_decl),
2585 nreverse (initlist));
2586 finish_var_decl (UOBJC_SELECTOR_TABLE_decl, initlist);
2591 get_proto_encoding (tree proto)
2596 if (! METHOD_ENCODING (proto))
2598 encoding = encode_method_prototype (proto);
2599 METHOD_ENCODING (proto) = encoding;
2602 encoding = METHOD_ENCODING (proto);
2604 return add_objc_string (encoding, meth_var_types);
2607 return build_int_cst (NULL_TREE, 0);
2610 /* sel_ref_chain is a list whose "value" fields will be instances of
2611 identifier_node that represent the selector. */
2614 build_typed_selector_reference (tree ident, tree prototype)
2616 tree *chain = &sel_ref_chain;
2622 if (TREE_PURPOSE (*chain) == prototype && TREE_VALUE (*chain) == ident)
2623 goto return_at_index;
2626 chain = &TREE_CHAIN (*chain);
2629 *chain = tree_cons (prototype, ident, NULL_TREE);
2632 expr = build_unary_op (ADDR_EXPR,
2633 build_array_ref (UOBJC_SELECTOR_TABLE_decl,
2634 build_int_cst (NULL_TREE, index)),
2636 return convert (objc_selector_type, expr);
2640 build_selector_reference (tree ident)
2642 tree *chain = &sel_ref_chain;
2648 if (TREE_VALUE (*chain) == ident)
2649 return (flag_next_runtime
2650 ? TREE_PURPOSE (*chain)
2651 : build_array_ref (UOBJC_SELECTOR_TABLE_decl,
2652 build_int_cst (NULL_TREE, index)));
2655 chain = &TREE_CHAIN (*chain);
2658 expr = (flag_next_runtime ? build_selector_reference_decl (): NULL_TREE);
2660 *chain = tree_cons (expr, ident, NULL_TREE);
2662 return (flag_next_runtime
2664 : build_array_ref (UOBJC_SELECTOR_TABLE_decl,
2665 build_int_cst (NULL_TREE, index)));
2668 static GTY(()) int class_reference_idx;
2671 build_class_reference_decl (void)
2676 sprintf (buf, "_OBJC_CLASS_REFERENCES_%d", class_reference_idx++);
2677 decl = start_var_decl (objc_class_type, buf);
2682 /* Create a class reference, but don't create a variable to reference
2686 add_class_reference (tree ident)
2690 if ((chain = cls_ref_chain))
2695 if (ident == TREE_VALUE (chain))
2699 chain = TREE_CHAIN (chain);
2703 /* Append to the end of the list */
2704 TREE_CHAIN (tail) = tree_cons (NULL_TREE, ident, NULL_TREE);
2707 cls_ref_chain = tree_cons (NULL_TREE, ident, NULL_TREE);
2710 /* Get a class reference, creating it if necessary. Also create the
2711 reference variable. */
2714 objc_get_class_reference (tree ident)
2716 tree orig_ident = (DECL_P (ident)
2719 ? OBJC_TYPE_NAME (ident)
2721 bool local_scope = false;
2724 if (processing_template_decl)
2725 /* Must wait until template instantiation time. */
2726 return build_min_nt (CLASS_REFERENCE_EXPR, ident);
2729 if (TREE_CODE (ident) == TYPE_DECL)
2730 ident = (DECL_ORIGINAL_TYPE (ident)
2731 ? DECL_ORIGINAL_TYPE (ident)
2732 : TREE_TYPE (ident));
2735 if (TYPE_P (ident) && TYPE_CONTEXT (ident)
2736 && TYPE_CONTEXT (ident) != global_namespace)
2740 if (local_scope || !(ident = objc_is_class_name (ident)))
2742 error ("%qs is not an Objective-C class name or alias",
2743 IDENTIFIER_POINTER (orig_ident));
2744 return error_mark_node;
2747 if (flag_next_runtime && !flag_zero_link)
2752 for (chain = &cls_ref_chain; *chain; chain = &TREE_CHAIN (*chain))
2753 if (TREE_VALUE (*chain) == ident)
2755 if (! TREE_PURPOSE (*chain))
2756 TREE_PURPOSE (*chain) = build_class_reference_decl ();
2758 return TREE_PURPOSE (*chain);
2761 decl = build_class_reference_decl ();
2762 *chain = tree_cons (decl, ident, NULL_TREE);
2769 add_class_reference (ident);
2771 params = build_tree_list (NULL_TREE,
2772 my_build_string_pointer
2773 (IDENTIFIER_LENGTH (ident) + 1,
2774 IDENTIFIER_POINTER (ident)));
2776 assemble_external (objc_get_class_decl);
2777 return build_function_call (objc_get_class_decl, params);
2781 /* For each string section we have a chain which maps identifier nodes
2782 to decls for the strings. */
2785 add_objc_string (tree ident, enum string_section section)
2787 tree *chain, decl, type, string_expr;
2789 if (section == class_names)
2790 chain = &class_names_chain;
2791 else if (section == meth_var_names)
2792 chain = &meth_var_names_chain;
2793 else if (section == meth_var_types)
2794 chain = &meth_var_types_chain;
2800 if (TREE_VALUE (*chain) == ident)
2801 return convert (string_type_node,
2802 build_unary_op (ADDR_EXPR, TREE_PURPOSE (*chain), 1));
2804 chain = &TREE_CHAIN (*chain);
2807 decl = build_objc_string_decl (section);
2809 type = build_array_type
2812 (build_int_cst (NULL_TREE,
2813 IDENTIFIER_LENGTH (ident))));
2814 decl = start_var_decl (type, IDENTIFIER_POINTER (DECL_NAME (decl)));
2815 string_expr = my_build_string (IDENTIFIER_LENGTH (ident) + 1,
2816 IDENTIFIER_POINTER (ident));
2817 finish_var_decl (decl, string_expr);
2819 *chain = tree_cons (decl, ident, NULL_TREE);
2821 return convert (string_type_node, build_unary_op (ADDR_EXPR, decl, 1));
2824 static GTY(()) int class_names_idx;
2825 static GTY(()) int meth_var_names_idx;
2826 static GTY(()) int meth_var_types_idx;
2829 build_objc_string_decl (enum string_section section)
2834 if (section == class_names)
2835 sprintf (buf, "_OBJC_CLASS_NAME_%d", class_names_idx++);
2836 else if (section == meth_var_names)
2837 sprintf (buf, "_OBJC_METH_VAR_NAME_%d", meth_var_names_idx++);
2838 else if (section == meth_var_types)
2839 sprintf (buf, "_OBJC_METH_VAR_TYPE_%d", meth_var_types_idx++);
2841 ident = get_identifier (buf);
2843 decl = build_decl (VAR_DECL, ident, build_array_type (char_type_node, 0));
2844 DECL_EXTERNAL (decl) = 1;
2845 TREE_PUBLIC (decl) = 0;
2846 TREE_USED (decl) = 1;
2847 TREE_CONSTANT (decl) = 1;
2848 DECL_CONTEXT (decl) = 0;
2849 DECL_ARTIFICIAL (decl) = 1;
2851 DECL_THIS_STATIC (decl) = 1; /* squash redeclaration errors */
2854 make_decl_rtl (decl);
2855 pushdecl_top_level (decl);
2862 objc_declare_alias (tree alias_ident, tree class_ident)
2864 tree underlying_class;
2867 if (current_namespace != global_namespace) {
2868 error ("Objective-C declarations may only appear in global scope");
2870 #endif /* OBJCPLUS */
2872 if (!(underlying_class = objc_is_class_name (class_ident)))
2873 warning (0, "cannot find class %qs", IDENTIFIER_POINTER (class_ident));
2874 else if (objc_is_class_name (alias_ident))
2875 warning (0, "class %qs already exists", IDENTIFIER_POINTER (alias_ident));
2878 /* Implement @compatibility_alias as a typedef. */
2880 push_lang_context (lang_name_c); /* extern "C" */
2882 lang_hooks.decls.pushdecl (build_decl
2885 xref_tag (RECORD_TYPE, underlying_class)));
2887 pop_lang_context ();
2889 alias_chain = tree_cons (underlying_class, alias_ident, alias_chain);
2894 objc_declare_class (tree ident_list)
2898 if (current_namespace != global_namespace) {
2899 error ("Objective-C declarations may only appear in global scope");
2901 #endif /* OBJCPLUS */
2903 for (list = ident_list; list; list = TREE_CHAIN (list))
2905 tree ident = TREE_VALUE (list);
2907 if (! objc_is_class_name (ident))
2909 tree record = lookup_name (ident), type = record;
2913 if (TREE_CODE (record) == TYPE_DECL)
2914 type = DECL_ORIGINAL_TYPE (record);
2916 if (!TYPE_HAS_OBJC_INFO (type)
2917 || !TYPE_OBJC_INTERFACE (type))
2919 error ("%qs redeclared as different kind of symbol",
2920 IDENTIFIER_POINTER (ident));
2921 error ("previous declaration of %q+D",
2926 record = xref_tag (RECORD_TYPE, ident);
2927 INIT_TYPE_OBJC_INFO (record);
2928 TYPE_OBJC_INTERFACE (record) = ident;
2929 class_chain = tree_cons (NULL_TREE, ident, class_chain);
2935 objc_is_class_name (tree ident)
2939 if (ident && TREE_CODE (ident) == IDENTIFIER_NODE
2940 && identifier_global_value (ident))
2941 ident = identifier_global_value (ident);
2942 while (ident && TREE_CODE (ident) == TYPE_DECL && DECL_ORIGINAL_TYPE (ident))
2943 ident = OBJC_TYPE_NAME (DECL_ORIGINAL_TYPE (ident));
2945 if (ident && TREE_CODE (ident) == RECORD_TYPE)
2946 ident = OBJC_TYPE_NAME (ident);
2948 if (ident && TREE_CODE (ident) == TYPE_DECL)
2949 ident = DECL_NAME (ident);
2951 if (!ident || TREE_CODE (ident) != IDENTIFIER_NODE)
2954 if (lookup_interface (ident))
2957 for (chain = class_chain; chain; chain = TREE_CHAIN (chain))
2959 if (ident == TREE_VALUE (chain))
2963 for (chain = alias_chain; chain; chain = TREE_CHAIN (chain))
2965 if (ident == TREE_VALUE (chain))
2966 return TREE_PURPOSE (chain);
2972 /* Check whether TYPE is either 'id' or 'Class'. */
2975 objc_is_id (tree type)
2977 if (type && TREE_CODE (type) == IDENTIFIER_NODE
2978 && identifier_global_value (type))
2979 type = identifier_global_value (type);
2981 if (type && TREE_CODE (type) == TYPE_DECL)
2982 type = TREE_TYPE (type);
2984 /* NB: This function may be called before the ObjC front-end has
2985 been initialized, in which case OBJC_OBJECT_TYPE will (still) be NULL. */
2986 return (objc_object_type && type
2987 && (IS_ID (type) || IS_CLASS (type) || IS_SUPER (type))
2992 /* Check whether TYPE is either 'id', 'Class', or a pointer to an ObjC
2993 class instance. This is needed by other parts of the compiler to
2994 handle ObjC types gracefully. */
2997 objc_is_object_ptr (tree type)
3001 type = TYPE_MAIN_VARIANT (type);
3002 if (!POINTER_TYPE_P (type))
3005 ret = objc_is_id (type);
3007 ret = objc_is_class_name (TREE_TYPE (type));
3013 objc_is_gcable_type (tree type, int or_strong_p)
3019 if (objc_is_id (TYPE_MAIN_VARIANT (type)))
3021 if (or_strong_p && lookup_attribute ("objc_gc", TYPE_ATTRIBUTES (type)))
3023 if (TREE_CODE (type) != POINTER_TYPE && TREE_CODE (type) != INDIRECT_REF)
3025 type = TREE_TYPE (type);
3026 if (TREE_CODE (type) != RECORD_TYPE)
3028 name = TYPE_NAME (type);
3029 return (objc_is_class_name (name) != NULL_TREE);
3033 objc_substitute_decl (tree expr, tree oldexpr, tree newexpr)
3035 if (expr == oldexpr)
3038 switch (TREE_CODE (expr))
3041 return objc_build_component_ref
3042 (objc_substitute_decl (TREE_OPERAND (expr, 0),
3045 DECL_NAME (TREE_OPERAND (expr, 1)));
3047 return build_array_ref (objc_substitute_decl (TREE_OPERAND (expr, 0),
3050 TREE_OPERAND (expr, 1));
3052 return build_indirect_ref (objc_substitute_decl (TREE_OPERAND (expr, 0),
3061 objc_build_ivar_assignment (tree outervar, tree lhs, tree rhs)
3064 /* The LHS parameter contains the expression 'outervar->memberspec';
3065 we need to transform it into '&((typeof(outervar) *) 0)->memberspec',
3066 where memberspec may be arbitrarily complex (e.g., 'g->f.d[2].g[3]').
3069 = objc_substitute_decl
3070 (lhs, outervar, convert (TREE_TYPE (outervar), integer_zero_node));
3072 = (flag_objc_direct_dispatch
3073 ? objc_assign_ivar_fast_decl
3074 : objc_assign_ivar_decl);
3076 offs = convert (integer_type_node, build_unary_op (ADDR_EXPR, offs, 0));
3078 func_params = tree_cons (NULL_TREE,
3079 convert (objc_object_type, rhs),
3080 tree_cons (NULL_TREE, convert (objc_object_type, outervar),
3081 tree_cons (NULL_TREE, offs,
3084 assemble_external (func);
3085 return build_function_call (func, func_params);
3089 objc_build_global_assignment (tree lhs, tree rhs)
3091 tree func_params = tree_cons (NULL_TREE,
3092 convert (objc_object_type, rhs),
3093 tree_cons (NULL_TREE, convert (build_pointer_type (objc_object_type),
3094 build_unary_op (ADDR_EXPR, lhs, 0)),
3097 assemble_external (objc_assign_global_decl);
3098 return build_function_call (objc_assign_global_decl, func_params);
3102 objc_build_strong_cast_assignment (tree lhs, tree rhs)
3104 tree func_params = tree_cons (NULL_TREE,
3105 convert (objc_object_type, rhs),
3106 tree_cons (NULL_TREE, convert (build_pointer_type (objc_object_type),
3107 build_unary_op (ADDR_EXPR, lhs, 0)),
3110 assemble_external (objc_assign_strong_cast_decl);
3111 return build_function_call (objc_assign_strong_cast_decl, func_params);
3115 objc_is_gcable_p (tree expr)
3117 return (TREE_CODE (expr) == COMPONENT_REF
3118 ? objc_is_gcable_p (TREE_OPERAND (expr, 1))
3119 : TREE_CODE (expr) == ARRAY_REF
3120 ? (objc_is_gcable_p (TREE_TYPE (expr))
3121 || objc_is_gcable_p (TREE_OPERAND (expr, 0)))
3122 : TREE_CODE (expr) == ARRAY_TYPE
3123 ? objc_is_gcable_p (TREE_TYPE (expr))
3125 ? objc_is_gcable_type (expr, 1)
3126 : (objc_is_gcable_p (TREE_TYPE (expr))
3128 && lookup_attribute ("objc_gc", DECL_ATTRIBUTES (expr)))));
3132 objc_is_ivar_reference_p (tree expr)
3134 return (TREE_CODE (expr) == ARRAY_REF
3135 ? objc_is_ivar_reference_p (TREE_OPERAND (expr, 0))
3136 : TREE_CODE (expr) == COMPONENT_REF
3137 ? TREE_CODE (TREE_OPERAND (expr, 1)) == FIELD_DECL
3142 objc_is_global_reference_p (tree expr)
3144 return (TREE_CODE (expr) == INDIRECT_REF || TREE_CODE (expr) == PLUS_EXPR
3145 ? objc_is_global_reference_p (TREE_OPERAND (expr, 0))
3147 ? (!DECL_CONTEXT (expr) || TREE_STATIC (expr))
3152 objc_generate_write_barrier (tree lhs, enum tree_code modifycode, tree rhs)
3154 tree result = NULL_TREE, outer;
3155 int strong_cast_p = 0, outer_gc_p = 0, indirect_p = 0;
3157 /* See if we have any lhs casts, and strip them out. NB: The lvalue casts
3158 will have been transformed to the form '*(type *)&expr'. */
3159 if (TREE_CODE (lhs) == INDIRECT_REF)
3161 outer = TREE_OPERAND (lhs, 0);
3163 while (!strong_cast_p
3164 && (TREE_CODE (outer) == CONVERT_EXPR
3165 || TREE_CODE (outer) == NOP_EXPR
3166 || TREE_CODE (outer) == NON_LVALUE_EXPR))
3168 tree lhstype = TREE_TYPE (outer);
3170 /* Descend down the cast chain, and record the first objc_gc
3172 if (POINTER_TYPE_P (lhstype))
3175 = lookup_attribute ("objc_gc",
3176 TYPE_ATTRIBUTES (TREE_TYPE (lhstype)));
3182 outer = TREE_OPERAND (outer, 0);
3186 /* If we have a __strong cast, it trumps all else. */
3189 if (modifycode != NOP_EXPR)
3190 goto invalid_pointer_arithmetic;
3192 if (warn_assign_intercept)
3193 warning (0, "strong-cast assignment has been intercepted");
3195 result = objc_build_strong_cast_assignment (lhs, rhs);
3200 /* the lhs must be of a suitable type, regardless of its underlying
3202 if (!objc_is_gcable_p (lhs))
3208 && (TREE_CODE (outer) == COMPONENT_REF
3209 || TREE_CODE (outer) == ARRAY_REF))
3210 outer = TREE_OPERAND (outer, 0);
3212 if (TREE_CODE (outer) == INDIRECT_REF)
3214 outer = TREE_OPERAND (outer, 0);
3218 outer_gc_p = objc_is_gcable_p (outer);
3220 /* Handle ivar assignments. */
3221 if (objc_is_ivar_reference_p (lhs))
3223 /* if the struct to the left of the ivar is not an Objective-C object (__strong
3224 doesn't cut it here), the best we can do here is suggest a cast. */
3225 if (!objc_is_gcable_type (TREE_TYPE (outer), 0))
3227 /* We may still be able to use the global write barrier... */
3228 if (!indirect_p && objc_is_global_reference_p (outer))
3229 goto global_reference;
3232 if (modifycode == NOP_EXPR)
3234 if (warn_assign_intercept)
3235 warning (0, "strong-cast may possibly be needed");
3241 if (modifycode != NOP_EXPR)
3242 goto invalid_pointer_arithmetic;
3244 if (warn_assign_intercept)
3245 warning (0, "instance variable assignment has been intercepted");
3247 result = objc_build_ivar_assignment (outer, lhs, rhs);
3252 /* Likewise, intercept assignment to global/static variables if their type is
3254 if (objc_is_global_reference_p (outer))
3260 if (modifycode != NOP_EXPR)
3262 invalid_pointer_arithmetic:
3264 warning (0, "pointer arithmetic for garbage-collected objects not allowed");
3269 if (warn_assign_intercept)
3270 warning (0, "global/static variable assignment has been intercepted");
3272 result = objc_build_global_assignment (lhs, rhs);
3275 /* In all other cases, fall back to the normal mechanism. */
3280 struct interface_tuple GTY(())
3286 static GTY ((param_is (struct interface_tuple))) htab_t interface_htab;
3289 hash_interface (const void *p)
3291 const struct interface_tuple *d = p;
3292 return IDENTIFIER_HASH_VALUE (d->id);
3296 eq_interface (const void *p1, const void *p2)
3298 const struct interface_tuple *d = p1;
3303 lookup_interface (tree ident)
3306 if (ident && TREE_CODE (ident) == TYPE_DECL)
3307 ident = DECL_NAME (ident);
3310 if (ident == NULL_TREE || TREE_CODE (ident) != IDENTIFIER_NODE)
3314 struct interface_tuple **slot;
3319 slot = (struct interface_tuple **)
3320 htab_find_slot_with_hash (interface_htab, ident,
3321 IDENTIFIER_HASH_VALUE (ident),
3324 i = (*slot)->class_name;
3330 /* Implement @defs (<classname>) within struct bodies. */
3333 objc_get_class_ivars (tree class_name)
3335 tree interface = lookup_interface (class_name);
3338 return get_class_ivars (interface, true);
3340 error ("cannot find interface declaration for %qs",
3341 IDENTIFIER_POINTER (class_name));
3343 return error_mark_node;
3346 /* Used by: build_private_template, continue_class,
3347 and for @defs constructs. */
3350 get_class_ivars (tree interface, bool inherited)
3352 tree ivar_chain = copy_list (CLASS_RAW_IVARS (interface));
3354 /* Both CLASS_RAW_IVARS and CLASS_IVARS contain a list of ivars declared
3355 by the current class (i.e., they do not include super-class ivars).
3356 However, the CLASS_IVARS list will be side-effected by a call to
3357 finish_struct(), which will fill in field offsets. */
3358 if (!CLASS_IVARS (interface))
3359 CLASS_IVARS (interface) = ivar_chain;
3364 while (CLASS_SUPER_NAME (interface))
3366 /* Prepend super-class ivars. */
3367 interface = lookup_interface (CLASS_SUPER_NAME (interface));
3368 ivar_chain = chainon (copy_list (CLASS_RAW_IVARS (interface)),
3376 objc_create_temporary_var (tree type)
3380 decl = build_decl (VAR_DECL, NULL_TREE, type);
3381 TREE_USED (decl) = 1;
3382 DECL_ARTIFICIAL (decl) = 1;
3383 DECL_IGNORED_P (decl) = 1;
3384 DECL_CONTEXT (decl) = current_function_decl;
3389 /* Exception handling constructs. We begin by having the parser do most
3390 of the work and passing us blocks. What we do next depends on whether
3391 we're doing "native" exception handling or legacy Darwin setjmp exceptions.
3392 We abstract all of this in a handful of appropriately named routines. */
3394 /* Stack of open try blocks. */
3396 struct objc_try_context
3398 struct objc_try_context *outer;
3400 /* Statements (or statement lists) as processed by the parser. */
3404 /* Some file position locations. */
3405 location_t try_locus;
3406 location_t end_try_locus;
3407 location_t end_catch_locus;
3408 location_t finally_locus;
3409 location_t end_finally_locus;
3411 /* A STATEMENT_LIST of CATCH_EXPRs, appropriate for sticking into op1
3412 of a TRY_CATCH_EXPR. Even when doing Darwin setjmp. */
3415 /* The CATCH_EXPR of an open @catch clause. */
3418 /* The VAR_DECL holding the Darwin equivalent of EXC_PTR_EXPR. */
3424 static struct objc_try_context *cur_try_context;
3426 /* This hook, called via lang_eh_runtime_type, generates a runtime object
3427 that represents TYPE. For Objective-C, this is just the class name. */
3428 /* ??? Isn't there a class object or some such? Is it easy to get? */
3432 objc_eh_runtime_type (tree type)
3434 return add_objc_string (OBJC_TYPE_NAME (TREE_TYPE (type)), class_names);
3438 /* Initialize exception handling. */
3441 objc_init_exceptions (void)
3443 static bool done = false;
3448 if (flag_objc_sjlj_exceptions)
3450 /* On Darwin, ObjC exceptions require a sufficiently recent
3451 version of the runtime, so the user must ask for them explicitly. */
3452 if (!flag_objc_exceptions)
3453 warning (0, "use %<-fobjc-exceptions%> to enable Objective-C "
3454 "exception syntax");
3459 c_eh_initialized_p = true;
3460 eh_personality_libfunc
3461 = init_one_libfunc (USING_SJLJ_EXCEPTIONS
3462 ? "__gnu_objc_personality_sj0"
3463 : "__gnu_objc_personality_v0");
3464 default_init_unwind_resume_libfunc ();
3465 using_eh_for_cleanups ();
3466 lang_eh_runtime_type = objc_eh_runtime_type;
3471 /* Build an EXC_PTR_EXPR, or the moral equivalent. In the case of Darwin,
3472 we'll arrange for it to be initialized (and associated with a binding)
3476 objc_build_exc_ptr (void)
3478 if (flag_objc_sjlj_exceptions)
3480 tree var = cur_try_context->caught_decl;
3483 var = objc_create_temporary_var (objc_object_type);
3484 cur_try_context->caught_decl = var;
3489 return build0 (EXC_PTR_EXPR, objc_object_type);
3492 /* Build "objc_exception_try_exit(&_stack)". */
3495 next_sjlj_build_try_exit (void)
3498 t = build_fold_addr_expr (cur_try_context->stack_decl);
3499 t = tree_cons (NULL, t, NULL);
3500 t = build_function_call (objc_exception_try_exit_decl, t);
3505 objc_exception_try_enter (&_stack);
3506 if (_setjmp(&_stack.buf))
3510 Return the COND_EXPR. Note that the THEN and ELSE fields are left
3511 empty, ready for the caller to fill them in. */
3514 next_sjlj_build_enter_and_setjmp (void)
3516 tree t, enter, sj, cond;
3518 t = build_fold_addr_expr (cur_try_context->stack_decl);
3519 t = tree_cons (NULL, t, NULL);
3520 enter = build_function_call (objc_exception_try_enter_decl, t);
3522 t = objc_build_component_ref (cur_try_context->stack_decl,
3523 get_identifier ("buf"));
3524 t = build_fold_addr_expr (t);
3526 /* Convert _setjmp argument to type that is expected. */
3527 if (TYPE_ARG_TYPES (TREE_TYPE (objc_setjmp_decl)))
3528 t = convert (TREE_VALUE (TYPE_ARG_TYPES (TREE_TYPE (objc_setjmp_decl))), t);
3530 t = convert (ptr_type_node, t);
3532 t = convert (ptr_type_node, t);
3534 t = tree_cons (NULL, t, NULL);
3535 sj = build_function_call (objc_setjmp_decl, t);
3537 cond = build2 (COMPOUND_EXPR, TREE_TYPE (sj), enter, sj);
3538 cond = c_common_truthvalue_conversion (cond);
3540 return build3 (COND_EXPR, void_type_node, cond, NULL, NULL);
3545 DECL = objc_exception_extract(&_stack); */
3548 next_sjlj_build_exc_extract (tree decl)
3552 t = build_fold_addr_expr (cur_try_context->stack_decl);
3553 t = tree_cons (NULL, t, NULL);
3554 t = build_function_call (objc_exception_extract_decl, t);
3555 t = convert (TREE_TYPE (decl), t);
3556 t = build2 (MODIFY_EXPR, void_type_node, decl, t);
3562 if (objc_exception_match(obj_get_class(TYPE), _caught)
3569 objc_exception_try_exit(&_stack);
3571 from the sequence of CATCH_EXPRs in the current try context. */
3574 next_sjlj_build_catch_list (void)
3576 tree_stmt_iterator i = tsi_start (cur_try_context->catch_list);
3578 tree *last = &catch_seq;
3579 bool saw_id = false;
3581 for (; !tsi_end_p (i); tsi_next (&i))
3583 tree stmt = tsi_stmt (i);
3584 tree type = CATCH_TYPES (stmt);
3585 tree body = CATCH_BODY (stmt);
3597 if (type == error_mark_node)
3598 cond = error_mark_node;
3601 args = tree_cons (NULL, cur_try_context->caught_decl, NULL);
3602 t = objc_get_class_reference (OBJC_TYPE_NAME (TREE_TYPE (type)));
3603 args = tree_cons (NULL, t, args);
3604 t = build_function_call (objc_exception_match_decl, args);
3605 cond = c_common_truthvalue_conversion (t);
3607 t = build3 (COND_EXPR, void_type_node, cond, body, NULL);
3608 SET_EXPR_LOCUS (t, EXPR_LOCUS (stmt));
3611 last = &COND_EXPR_ELSE (t);
3617 t = build2 (MODIFY_EXPR, void_type_node, cur_try_context->rethrow_decl,
3618 cur_try_context->caught_decl);
3619 SET_EXPR_LOCATION (t, cur_try_context->end_catch_locus);
3620 append_to_statement_list (t, last);
3622 t = next_sjlj_build_try_exit ();
3623 SET_EXPR_LOCATION (t, cur_try_context->end_catch_locus);
3624 append_to_statement_list (t, last);
3630 /* Build a complete @try-@catch-@finally block for legacy Darwin setjmp
3631 exception handling. We aim to build:
3634 struct _objc_exception_data _stack;
3638 objc_exception_try_enter (&_stack);
3639 if (_setjmp(&_stack.buf))
3641 id _caught = objc_exception_extract(&_stack);
3642 objc_exception_try_enter (&_stack);
3643 if (_setjmp(&_stack.buf))
3644 _rethrow = objc_exception_extract(&_stack);
3654 objc_exception_try_exit(&_stack);
3657 objc_exception_throw(_rethrow);
3661 If CATCH-LIST is empty, we can omit all of the block containing
3662 "_caught" except for the setting of _rethrow. Note the use of
3663 a real TRY_FINALLY_EXPR here, which is not involved in EH per-se,
3664 but handles goto and other exits from the block. */
3667 next_sjlj_build_try_catch_finally (void)
3669 tree rethrow_decl, stack_decl, t;
3670 tree catch_seq, try_fin, bind;
3672 /* Create the declarations involved. */
3673 t = xref_tag (RECORD_TYPE, get_identifier (UTAG_EXCDATA));
3674 stack_decl = objc_create_temporary_var (t);
3675 cur_try_context->stack_decl = stack_decl;
3677 rethrow_decl = objc_create_temporary_var (objc_object_type);
3678 cur_try_context->rethrow_decl = rethrow_decl;
3679 TREE_CHAIN (rethrow_decl) = stack_decl;
3681 /* Build the outermost variable binding level. */
3682 bind = build3 (BIND_EXPR, void_type_node, rethrow_decl, NULL, NULL);
3683 SET_EXPR_LOCATION (bind, cur_try_context->try_locus);
3684 TREE_SIDE_EFFECTS (bind) = 1;
3686 /* Initialize rethrow_decl. */
3687 t = build2 (MODIFY_EXPR, void_type_node, rethrow_decl,
3688 convert (objc_object_type, null_pointer_node));
3689 SET_EXPR_LOCATION (t, cur_try_context->try_locus);
3690 append_to_statement_list (t, &BIND_EXPR_BODY (bind));
3692 /* Build the outermost TRY_FINALLY_EXPR. */
3693 try_fin = build2 (TRY_FINALLY_EXPR, void_type_node, NULL, NULL);
3694 SET_EXPR_LOCATION (try_fin, cur_try_context->try_locus);
3695 TREE_SIDE_EFFECTS (try_fin) = 1;
3696 append_to_statement_list (try_fin, &BIND_EXPR_BODY (bind));
3698 /* Create the complete catch sequence. */
3699 if (cur_try_context->catch_list)
3701 tree caught_decl = objc_build_exc_ptr ();
3702 catch_seq = build_stmt (BIND_EXPR, caught_decl, NULL, NULL);
3703 TREE_SIDE_EFFECTS (catch_seq) = 1;
3705 t = next_sjlj_build_exc_extract (caught_decl);
3706 append_to_statement_list (t, &BIND_EXPR_BODY (catch_seq));
3708 t = next_sjlj_build_enter_and_setjmp ();
3709 COND_EXPR_THEN (t) = next_sjlj_build_exc_extract (rethrow_decl);
3710 COND_EXPR_ELSE (t) = next_sjlj_build_catch_list ();
3711 append_to_statement_list (t, &BIND_EXPR_BODY (catch_seq));
3714 catch_seq = next_sjlj_build_exc_extract (rethrow_decl);
3715 SET_EXPR_LOCATION (catch_seq, cur_try_context->end_try_locus);
3717 /* Build the main register-and-try if statement. */
3718 t = next_sjlj_build_enter_and_setjmp ();
3719 SET_EXPR_LOCATION (t, cur_try_context->try_locus);
3720 COND_EXPR_THEN (t) = catch_seq;
3721 COND_EXPR_ELSE (t) = cur_try_context->try_body;
3722 TREE_OPERAND (try_fin, 0) = t;
3724 /* Build the complete FINALLY statement list. */
3725 t = next_sjlj_build_try_exit ();
3726 t = build_stmt (COND_EXPR,
3727 c_common_truthvalue_conversion (rethrow_decl),
3729 SET_EXPR_LOCATION (t, cur_try_context->finally_locus);
3730 append_to_statement_list (t, &TREE_OPERAND (try_fin, 1));
3732 append_to_statement_list (cur_try_context->finally_body,
3733 &TREE_OPERAND (try_fin, 1));
3735 t = tree_cons (NULL, rethrow_decl, NULL);
3736 t = build_function_call (objc_exception_throw_decl, t);
3737 t = build_stmt (COND_EXPR,
3738 c_common_truthvalue_conversion (rethrow_decl),
3740 SET_EXPR_LOCATION (t, cur_try_context->end_finally_locus);
3741 append_to_statement_list (t, &TREE_OPERAND (try_fin, 1));
3746 /* Called just after parsing the @try and its associated BODY. We now
3747 must prepare for the tricky bits -- handling the catches and finally. */
3750 objc_begin_try_stmt (location_t try_locus, tree body)
3752 struct objc_try_context *c = xcalloc (1, sizeof (*c));
3753 c->outer = cur_try_context;
3755 c->try_locus = try_locus;
3756 c->end_try_locus = input_location;
3757 cur_try_context = c;
3759 objc_init_exceptions ();
3761 if (flag_objc_sjlj_exceptions)
3762 objc_mark_locals_volatile (NULL);
3765 /* Called just after parsing "@catch (parm)". Open a binding level,
3766 enter DECL into the binding level, and initialize it. Leave the
3767 binding level open while the body of the compound statement is parsed. */
3770 objc_begin_catch_clause (tree decl)
3772 tree compound, type, t;
3774 /* Begin a new scope that the entire catch clause will live in. */
3775 compound = c_begin_compound_stmt (true);
3777 /* The parser passed in a PARM_DECL, but what we really want is a VAR_DECL. */
3778 decl = build_decl (VAR_DECL, DECL_NAME (decl), TREE_TYPE (decl));
3779 lang_hooks.decls.pushdecl (decl);
3781 /* Since a decl is required here by syntax, don't warn if its unused. */
3782 /* ??? As opposed to __attribute__((unused))? Anyway, this appears to
3783 be what the previous objc implementation did. */
3784 TREE_USED (decl) = 1;
3786 /* Verify that the type of the catch is valid. It must be a pointer
3787 to an Objective-C class, or "id" (which is catch-all). */
3788 type = TREE_TYPE (decl);
3790 if (POINTER_TYPE_P (type) && objc_is_object_id (TREE_TYPE (type)))
3792 else if (!POINTER_TYPE_P (type) || !TYPED_OBJECT (TREE_TYPE (type)))
3794 error ("@catch parameter is not a known Objective-C class type");
3795 type = error_mark_node;
3797 else if (cur_try_context->catch_list)
3799 /* Examine previous @catch clauses and see if we've already
3800 caught the type in question. */
3801 tree_stmt_iterator i = tsi_start (cur_try_context->catch_list);
3802 for (; !tsi_end_p (i); tsi_next (&i))
3804 tree stmt = tsi_stmt (i);
3805 t = CATCH_TYPES (stmt);
3806 if (t == error_mark_node)
3808 if (!t || DERIVED_FROM_P (TREE_TYPE (t), TREE_TYPE (type)))
3810 warning (0, "exception of type %<%T%> will be caught",
3812 warning (0, "%H by earlier handler for %<%T%>",
3813 EXPR_LOCUS (stmt), TREE_TYPE (t ? t : objc_object_type));
3819 /* Record the data for the catch in the try context so that we can
3820 finalize it later. */
3821 t = build_stmt (CATCH_EXPR, type, compound);
3822 cur_try_context->current_catch = t;
3824 /* Initialize the decl from the EXC_PTR_EXPR we get from the runtime. */
3825 t = objc_build_exc_ptr ();
3826 t = convert (TREE_TYPE (decl), t);
3827 t = build2 (MODIFY_EXPR, void_type_node, decl, t);
3831 /* Called just after parsing the closing brace of a @catch clause. Close
3832 the open binding level, and record a CATCH_EXPR for it. */
3835 objc_finish_catch_clause (void)
3837 tree c = cur_try_context->current_catch;
3838 cur_try_context->current_catch = NULL;
3839 cur_try_context->end_catch_locus = input_location;
3841 CATCH_BODY (c) = c_end_compound_stmt (CATCH_BODY (c), 1);
3842 append_to_statement_list (c, &cur_try_context->catch_list);
3845 /* Called after parsing a @finally clause and its associated BODY.
3846 Record the body for later placement. */
3849 objc_build_finally_clause (location_t finally_locus, tree body)
3851 cur_try_context->finally_body = body;
3852 cur_try_context->finally_locus = finally_locus;
3853 cur_try_context->end_finally_locus = input_location;
3856 /* Called to finalize a @try construct. */
3859 objc_finish_try_stmt (void)
3861 struct objc_try_context *c = cur_try_context;
3864 if (c->catch_list == NULL && c->finally_body == NULL)
3865 error ("%<@try%> without %<@catch%> or %<@finally%>");
3867 /* If we're doing Darwin setjmp exceptions, build the big nasty. */
3868 if (flag_objc_sjlj_exceptions)
3870 if (!cur_try_context->finally_body)
3872 cur_try_context->finally_locus = input_location;
3873 cur_try_context->end_finally_locus = input_location;
3875 stmt = next_sjlj_build_try_catch_finally ();
3879 /* Otherwise, nest the CATCH inside a FINALLY. */
3883 stmt = build_stmt (TRY_CATCH_EXPR, stmt, c->catch_list);
3884 SET_EXPR_LOCATION (stmt, cur_try_context->try_locus);
3886 if (c->finally_body)
3888 stmt = build_stmt (TRY_FINALLY_EXPR, stmt, c->finally_body);
3889 SET_EXPR_LOCATION (stmt, cur_try_context->try_locus);
3894 cur_try_context = c->outer;
3900 objc_build_throw_stmt (tree throw_expr)
3904 objc_init_exceptions ();
3906 if (throw_expr == NULL)
3908 /* If we're not inside a @catch block, there is no "current
3909 exception" to be rethrown. */
3910 if (cur_try_context == NULL
3911 || cur_try_context->current_catch == NULL)
3913 error ("%<@throw%> (rethrow) used outside of a @catch block");
3917 /* Otherwise the object is still sitting in the EXC_PTR_EXPR
3918 value that we get from the runtime. */
3919 throw_expr = objc_build_exc_ptr ();
3922 /* A throw is just a call to the runtime throw function with the
3923 object as a parameter. */
3924 args = tree_cons (NULL, throw_expr, NULL);
3925 return add_stmt (build_function_call (objc_exception_throw_decl, args));
3929 objc_build_synchronized (location_t start_locus, tree mutex, tree body)
3933 /* First lock the mutex. */
3934 mutex = save_expr (mutex);
3935 args = tree_cons (NULL, mutex, NULL);
3936 call = build_function_call (objc_sync_enter_decl, args);
3937 SET_EXPR_LOCATION (call, start_locus);
3940 /* Build the mutex unlock. */
3941 args = tree_cons (NULL, mutex, NULL);
3942 call = build_function_call (objc_sync_exit_decl, args);
3943 SET_EXPR_LOCATION (call, input_location);
3945 /* Put the that and the body in a TRY_FINALLY. */
3946 objc_begin_try_stmt (start_locus, body);
3947 objc_build_finally_clause (input_location, call);
3948 return objc_finish_try_stmt ();
3952 /* Predefine the following data type:
3954 struct _objc_exception_data
3956 int buf[OBJC_JBLEN];
3960 /* The following yuckiness should prevent users from having to #include
3961 <setjmp.h> in their code... */
3963 /* Define to a harmless positive value so the below code doesn't die. */
3965 #define OBJC_JBLEN 18
3969 build_next_objc_exception_stuff (void)
3971 tree field_decl, field_decl_chain, index, temp_type;
3973 objc_exception_data_template
3974 = start_struct (RECORD_TYPE, get_identifier (UTAG_EXCDATA));
3976 /* int buf[OBJC_JBLEN]; */
3978 index = build_index_type (build_int_cst (NULL_TREE, OBJC_JBLEN - 1));
3979 field_decl = create_field_decl (build_array_type (integer_type_node, index),
3981 field_decl_chain = field_decl;
3983 /* void *pointers[4]; */
3985 index = build_index_type (build_int_cst (NULL_TREE, 4 - 1));
3986 field_decl = create_field_decl (build_array_type (ptr_type_node, index),
3988 chainon (field_decl_chain, field_decl);
3990 finish_struct (objc_exception_data_template, field_decl_chain, NULL_TREE);
3992 /* int _setjmp(...); */
3993 /* If the user includes <setjmp.h>, this shall be superseded by
3994 'int _setjmp(jmp_buf);' */
3995 temp_type = build_function_type (integer_type_node, NULL_TREE);
3997 = builtin_function (TAG_SETJMP, temp_type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
3999 /* id objc_exception_extract(struct _objc_exception_data *); */
4001 = build_function_type (objc_object_type,
4002 tree_cons (NULL_TREE,
4003 build_pointer_type (objc_exception_data_template),
4005 objc_exception_extract_decl
4006 = builtin_function (TAG_EXCEPTIONEXTRACT, temp_type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
4007 /* void objc_exception_try_enter(struct _objc_exception_data *); */
4008 /* void objc_exception_try_exit(struct _objc_exception_data *); */
4010 = build_function_type (void_type_node,
4011 tree_cons (NULL_TREE,
4012 build_pointer_type (objc_exception_data_template),
4014 objc_exception_try_enter_decl
4015 = builtin_function (TAG_EXCEPTIONTRYENTER, temp_type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
4016 objc_exception_try_exit_decl
4017 = builtin_function (TAG_EXCEPTIONTRYEXIT, temp_type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
4019 /* int objc_exception_match(id, id); */
4021 = build_function_type (integer_type_node,
4022 tree_cons (NULL_TREE, objc_object_type,
4023 tree_cons (NULL_TREE, objc_object_type,
4024 OBJC_VOID_AT_END)));
4025 objc_exception_match_decl
4026 = builtin_function (TAG_EXCEPTIONMATCH, temp_type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
4028 /* id objc_assign_ivar (id, id, unsigned int); */
4029 /* id objc_assign_ivar_Fast (id, id, unsigned int)
4030 __attribute__ ((hard_coded_address (OFFS_ASSIGNIVAR_FAST))); */
4032 = build_function_type (objc_object_type,
4034 (NULL_TREE, objc_object_type,
4035 tree_cons (NULL_TREE, objc_object_type,
4036 tree_cons (NULL_TREE,
4038 OBJC_VOID_AT_END))));
4039 objc_assign_ivar_decl
4040 = builtin_function (TAG_ASSIGNIVAR, temp_type, 0, NOT_BUILT_IN,
4042 #ifdef OFFS_ASSIGNIVAR_FAST
4043 objc_assign_ivar_fast_decl
4044 = builtin_function (TAG_ASSIGNIVAR_FAST, temp_type, 0,
4045 NOT_BUILT_IN, NULL, NULL_TREE);
4046 DECL_ATTRIBUTES (objc_assign_ivar_fast_decl)
4047 = tree_cons (get_identifier ("hard_coded_address"),
4048 build_int_cst (NULL_TREE, OFFS_ASSIGNIVAR_FAST),
4051 /* Default to slower ivar method. */
4052 objc_assign_ivar_fast_decl = objc_assign_ivar_decl;
4055 /* id objc_assign_global (id, id *); */
4056 /* id objc_assign_strongCast (id, id *); */
4057 temp_type = build_function_type (objc_object_type,
4058 tree_cons (NULL_TREE, objc_object_type,
4059 tree_cons (NULL_TREE, build_pointer_type (objc_object_type),
4060 OBJC_VOID_AT_END)));
4061 objc_assign_global_decl
4062 = builtin_function (TAG_ASSIGNGLOBAL, temp_type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
4063 objc_assign_strong_cast_decl
4064 = builtin_function (TAG_ASSIGNSTRONGCAST, temp_type, 0, NOT_BUILT_IN, NULL, NULL_TREE);
4068 build_objc_exception_stuff (void)
4070 tree noreturn_list, nothrow_list, temp_type;
4072 noreturn_list = tree_cons (get_identifier ("noreturn"), NULL, NULL);
4073 nothrow_list = tree_cons (get_identifier ("nothrow"), NULL, NULL);
4075 /* void objc_exception_throw(id) __attribute__((noreturn)); */
4076 /* void objc_sync_enter(id); */
4077 /* void objc_sync_exit(id); */
4078 temp_type = build_function_type (void_type_node,
4079 tree_cons (NULL_TREE, objc_object_type,
4081 objc_exception_throw_decl
4082 = builtin_function (TAG_EXCEPTIONTHROW, temp_type, 0, NOT_BUILT_IN, NULL,
4084 objc_sync_enter_decl
4085 = builtin_function (TAG_SYNCENTER, temp_type, 0, NOT_BUILT_IN,
4086 NULL, nothrow_list);
4088 = builtin_function (TAG_SYNCEXIT, temp_type, 0, NOT_BUILT_IN,
4089 NULL, nothrow_list);
4092 /* Construct a C struct corresponding to ObjC class CLASS, with the same
4095 struct <classname> {
4096 struct _objc_class *isa;
4101 build_private_template (tree class)
4103 if (!CLASS_STATIC_TEMPLATE (class))
4105 tree record = objc_build_struct (class,
4106 get_class_ivars (class, false),
4107 CLASS_SUPER_NAME (class));
4109 /* Set the TREE_USED bit for this struct, so that stab generator
4110 can emit stabs for this struct type. */
4111 if (flag_debug_only_used_symbols && TYPE_STUB_DECL (record))
4112 TREE_USED (TYPE_STUB_DECL (record)) = 1;
4116 /* Begin code generation for protocols... */
4118 /* struct _objc_protocol {
4119 struct _objc_class *isa;
4120 char *protocol_name;
4121 struct _objc_protocol **protocol_list;
4122 struct _objc__method_prototype_list *instance_methods;
4123 struct _objc__method_prototype_list *class_methods;
4127 build_protocol_template (void)
4129 tree field_decl, field_decl_chain;
4131 objc_protocol_template = start_struct (RECORD_TYPE,
4132 get_identifier (UTAG_PROTOCOL));
4134 /* struct _objc_class *isa; */
4135 field_decl = create_field_decl (build_pointer_type
4136 (xref_tag (RECORD_TYPE,
4137 get_identifier (UTAG_CLASS))),
4139 field_decl_chain = field_decl;
4141 /* char *protocol_name; */
4142 field_decl = create_field_decl (string_type_node, "protocol_name");
4143 chainon (field_decl_chain, field_decl);
4145 /* struct _objc_protocol **protocol_list; */
4146 field_decl = create_field_decl (build_pointer_type
4148 (objc_protocol_template)),
4150 chainon (field_decl_chain, field_decl);
4152 /* struct _objc__method_prototype_list *instance_methods; */
4153 field_decl = create_field_decl (objc_method_proto_list_ptr,
4154 "instance_methods");
4155 chainon (field_decl_chain, field_decl);
4157 /* struct _objc__method_prototype_list *class_methods; */
4158 field_decl = create_field_decl (objc_method_proto_list_ptr,
4160 chainon (field_decl_chain, field_decl);
4162 finish_struct (objc_protocol_template, field_decl_chain, NULL_TREE);
4166 build_descriptor_table_initializer (tree type, tree entries)
4168 tree initlist = NULL_TREE;
4172 tree eltlist = NULL_TREE;
4175 = tree_cons (NULL_TREE,
4176 build_selector (METHOD_SEL_NAME (entries)), NULL_TREE);
4178 = tree_cons (NULL_TREE,
4179 add_objc_string (METHOD_ENCODING (entries),
4184 = tree_cons (NULL_TREE,
4185 objc_build_constructor (type, nreverse (eltlist)),
4188 entries = TREE_CHAIN (entries);
4192 return objc_build_constructor (build_array_type (type, 0),
4193 nreverse (initlist));
4196 /* struct objc_method_prototype_list {
4198 struct objc_method_prototype {
4205 build_method_prototype_list_template (tree list_type, int size)
4207 tree objc_ivar_list_record;
4208 tree field_decl, field_decl_chain;
4210 /* Generate an unnamed struct definition. */
4212 objc_ivar_list_record = start_struct (RECORD_TYPE, NULL_TREE);
4214 /* int method_count; */
4215 field_decl = create_field_decl (integer_type_node, "method_count");
4216 field_decl_chain = field_decl;
4218 /* struct objc_method method_list[]; */
4219 field_decl = create_field_decl (build_array_type
4222 (build_int_cst (NULL_TREE, size - 1))),
4224 chainon (field_decl_chain, field_decl);
4226 finish_struct (objc_ivar_list_record, field_decl_chain, NULL_TREE);
4228 return objc_ivar_list_record;
4232 build_method_prototype_template (void)
4235 tree field_decl, field_decl_chain;
4238 = start_struct (RECORD_TYPE, get_identifier (UTAG_METHOD_PROTOTYPE));
4241 field_decl = create_field_decl (objc_selector_type, "_cmd");
4242 field_decl_chain = field_decl;
4244 /* char *method_types; */
4245 field_decl = create_field_decl (string_type_node, "method_types");
4246 chainon (field_decl_chain, field_decl);
4248 finish_struct (proto_record, field_decl_chain, NULL_TREE);
4250 return proto_record;
4254 objc_method_parm_type (tree type)
4256 type = TREE_VALUE (TREE_TYPE (type));
4257 if (TREE_CODE (type) == TYPE_DECL)
4258 type = TREE_TYPE (type);
4263 objc_encoded_type_size (tree type)
4265 int sz = int_size_in_bytes (type);
4267 /* Make all integer and enum types at least as large
4269 if (sz > 0 && INTEGRAL_TYPE_P (type))
4270 sz = MAX (sz, int_size_in_bytes (integer_type_node));
4271 /* Treat arrays as pointers, since that's how they're
4273 else if (TREE_CODE (type) == ARRAY_TYPE)
4274 sz = int_size_in_bytes (ptr_type_node);
4279 encode_method_prototype (tree method_decl)
4286 /* ONEWAY and BYCOPY, for remote object are the only method qualifiers. */
4287 encode_type_qualifiers (TREE_PURPOSE (TREE_TYPE (method_decl)));
4289 /* Encode return type. */
4290 encode_type (objc_method_parm_type (method_decl),
4291 obstack_object_size (&util_obstack),
4292 OBJC_ENCODE_INLINE_DEFS);
4295 /* The first two arguments (self and _cmd) are pointers; account for
4297 i = int_size_in_bytes (ptr_type_node);
4298 parm_offset = 2 * i;
4299 for (parms = METHOD_SEL_ARGS (method_decl); parms;
4300 parms = TREE_CHAIN (parms))
4302 tree type = objc_method_parm_type (parms);
4303 int sz = objc_encoded_type_size (type);
4305 /* If a type size is not known, bail out. */
4308 error ("type %q+D does not have a known size",
4310 /* Pretend that the encoding succeeded; the compilation will
4311 fail nevertheless. */
4312 goto finish_encoding;
4317 sprintf (buf, "%d@0:%d", parm_offset, i);
4318 obstack_grow (&util_obstack, buf, strlen (buf));
4320 /* Argument types. */
4321 parm_offset = 2 * i;
4322 for (parms = METHOD_SEL_ARGS (method_decl); parms;
4323 parms = TREE_CHAIN (parms))
4325 tree type = objc_method_parm_type (parms);
4327 /* Process argument qualifiers for user supplied arguments. */
4328 encode_type_qualifiers (TREE_PURPOSE (TREE_TYPE (parms)));
4331 encode_type (type, obstack_object_size (&util_obstack),
4332 OBJC_ENCODE_INLINE_DEFS);
4334 /* Compute offset. */
4335 sprintf (buf, "%d", parm_offset);
4336 parm_offset += objc_encoded_type_size (type);
4338 obstack_grow (&util_obstack, buf, strlen (buf));
4342 obstack_1grow (&util_obstack, '\0');
4343 result = get_identifier (obstack_finish (&util_obstack));
4344 obstack_free (&util_obstack, util_firstobj);
4349 generate_descriptor_table (tree type, const char *name, int size, tree list,
4352 tree decl, initlist;
4354 decl = start_var_decl (type, synth_id_with_class_suffix (name, proto));
4356 initlist = build_tree_list (NULL_TREE, build_int_cst (NULL_TREE, size));
4357 initlist = tree_cons (NULL_TREE, list, initlist);
4359 finish_var_decl (decl, objc_build_constructor (type, nreverse (initlist)));
4365 generate_method_descriptors (tree protocol)
4367 tree initlist, chain, method_list_template;
4370 if (!objc_method_prototype_template)
4371 objc_method_prototype_template = build_method_prototype_template ();
4373 chain = PROTOCOL_CLS_METHODS (protocol);
4376 size = list_length (chain);
4378 method_list_template
4379 = build_method_prototype_list_template (objc_method_prototype_template,
4383 = build_descriptor_table_initializer (objc_method_prototype_template,
4386 UOBJC_CLASS_METHODS_decl
4387 = generate_descriptor_table (method_list_template,
4388 "_OBJC_PROTOCOL_CLASS_METHODS",
4389 size, initlist, protocol);
4392 UOBJC_CLASS_METHODS_decl = 0;
4394 chain = PROTOCOL_NST_METHODS (protocol);
4397 size = list_length (chain);
4399 method_list_template
4400 = build_method_prototype_list_template (objc_method_prototype_template,
4403 = build_descriptor_table_initializer (objc_method_prototype_template,
4406 UOBJC_INSTANCE_METHODS_decl
4407 = generate_descriptor_table (method_list_template,
4408 "_OBJC_PROTOCOL_INSTANCE_METHODS",
4409 size, initlist, protocol);
4412 UOBJC_INSTANCE_METHODS_decl = 0;
4416 generate_protocol_references (tree plist)
4420 /* Forward declare protocols referenced. */
4421 for (lproto = plist; lproto; lproto = TREE_CHAIN (lproto))
4423 tree proto = TREE_VALUE (lproto);
4425 if (TREE_CODE (proto) == PROTOCOL_INTERFACE_TYPE
4426 && PROTOCOL_NAME (proto))
4428 if (! PROTOCOL_FORWARD_DECL (proto))
4429 build_protocol_reference (proto);
4431 if (PROTOCOL_LIST (proto))
4432 generate_protocol_references (PROTOCOL_LIST (proto));
4437 /* Generate either '- .cxx_construct' or '- .cxx_destruct' for the
4441 objc_generate_cxx_ctor_or_dtor (bool dtor)
4443 tree fn, body, compound_stmt, ivar;
4445 /* - (id) .cxx_construct { ... return self; } */
4446 /* - (void) .cxx_construct { ... } */
4448 objc_set_method_type (MINUS_EXPR);
4449 objc_start_method_definition
4450 (objc_build_method_signature (build_tree_list (NULL_TREE,
4453 : objc_object_type),
4454 get_identifier (dtor
4456 : TAG_CXX_CONSTRUCT),
4457 make_node (TREE_LIST),
4459 body = begin_function_body ();
4460 compound_stmt = begin_compound_stmt (0);
4462 ivar = CLASS_IVARS (implementation_template);
4463 /* Destroy ivars in reverse order. */
4465 ivar = nreverse (copy_list (ivar));
4467 for (; ivar; ivar = TREE_CHAIN (ivar))
4469 if (TREE_CODE (ivar) == FIELD_DECL)
4471 tree type = TREE_TYPE (ivar);
4473 /* Call the ivar's default constructor or destructor. Do not
4474 call the destructor unless a corresponding constructor call
4475 has also been made (or is not needed). */
4476 if (IS_AGGR_TYPE (type)
4478 ? (TYPE_HAS_NONTRIVIAL_DESTRUCTOR (type)
4479 && (!TYPE_NEEDS_CONSTRUCTING (type)
4480 || TYPE_HAS_DEFAULT_CONSTRUCTOR (type)))
4481 : (TYPE_NEEDS_CONSTRUCTING (type)
4482 && TYPE_HAS_DEFAULT_CONSTRUCTOR (type))))
4484 (build_special_member_call
4485 (build_ivar_reference (DECL_NAME (ivar)),
4486 dtor ? complete_dtor_identifier : complete_ctor_identifier,
4487 NULL_TREE, type, LOOKUP_NORMAL));
4491 /* The constructor returns 'self'. */
4493 finish_return_stmt (self_decl);
4495 finish_compound_stmt (compound_stmt);
4496 finish_function_body (body);
4497 fn = current_function_decl;
4499 objc_finish_method_definition (fn);
4502 /* The following routine will examine the current @interface for any
4503 non-POD C++ ivars requiring non-trivial construction and/or
4504 destruction, and then synthesize special '- .cxx_construct' and/or
4505 '- .cxx_destruct' methods which will run the appropriate
4506 construction or destruction code. Note that ivars inherited from
4507 super-classes are _not_ considered. */
4509 objc_generate_cxx_cdtors (void)
4511 bool need_ctor = false, need_dtor = false;
4514 /* We do not want to do this for categories, since they do not have
4517 if (TREE_CODE (objc_implementation_context) != CLASS_IMPLEMENTATION_TYPE)
4520 /* First, determine if we even need a constructor and/or destructor. */
4522 for (ivar = CLASS_IVARS (implementation_template); ivar;
4523 ivar = TREE_CHAIN (ivar))
4525 if (TREE_CODE (ivar) == FIELD_DECL)
4527 tree type = TREE_TYPE (ivar);
4529 if (IS_AGGR_TYPE (type))
4531 if (TYPE_NEEDS_CONSTRUCTING (type)
4532 && TYPE_HAS_DEFAULT_CONSTRUCTOR (type))
4533 /* NB: If a default constructor is not available, we will not
4534 be able to initialize this ivar; the add_instance_variable()
4535 routine will already have warned about this. */
4538 if (TYPE_HAS_NONTRIVIAL_DESTRUCTOR (type)
4539 && (!TYPE_NEEDS_CONSTRUCTING (type)
4540 || TYPE_HAS_DEFAULT_CONSTRUCTOR (type)))
4541 /* NB: If a default constructor is not available, we will not
4542 call the destructor either, for symmetry. */
4548 /* Generate '- .cxx_construct' if needed. */
4551 objc_generate_cxx_ctor_or_dtor (false);
4553 /* Generate '- .cxx_destruct' if needed. */
4556 objc_generate_cxx_ctor_or_dtor (true);
4558 /* The 'imp_list' variable points at an imp_entry record for the current
4559 @implementation. Record the existence of '- .cxx_construct' and/or
4560 '- .cxx_destruct' methods therein; it will be included in the
4561 metadata for the class. */
4562 if (flag_next_runtime)
4563 imp_list->has_cxx_cdtors = (need_ctor || need_dtor);
4567 /* For each protocol which was referenced either from a @protocol()
4568 expression, or because a class/category implements it (then a
4569 pointer to the protocol is stored in the struct describing the
4570 class/category), we create a statically allocated instance of the
4571 Protocol class. The code is written in such a way as to generate
4572 as few Protocol objects as possible; we generate a unique Protocol
4573 instance for each protocol, and we don't generate a Protocol
4574 instance if the protocol is never referenced (either from a
4575 @protocol() or from a class/category implementation). These
4576 statically allocated objects can be referred to via the static
4577 (that is, private to this module) symbols _OBJC_PROTOCOL_n.
4579 The statically allocated Protocol objects that we generate here
4580 need to be fixed up at runtime in order to be used: the 'isa'
4581 pointer of the objects need to be set up to point to the 'Protocol'
4582 class, as known at runtime.
4584 The NeXT runtime fixes up all protocols at program startup time,
4585 before main() is entered. It uses a low-level trick to look up all
4586 those symbols, then loops on them and fixes them up.
4588 The GNU runtime as well fixes up all protocols before user code
4589 from the module is executed; it requires pointers to those symbols
4590 to be put in the objc_symtab (which is then passed as argument to
4591 the function __objc_exec_class() which the compiler sets up to be
4592 executed automatically when the module is loaded); setup of those
4593 Protocol objects happen in two ways in the GNU runtime: all
4594 Protocol objects referred to by a class or category implementation
4595 are fixed up when the class/category is loaded; all Protocol
4596 objects referred to by a @protocol() expression are added by the
4597 compiler to the list of statically allocated instances to fixup
4598 (the same list holding the statically allocated constant string
4599 objects). Because, as explained above, the compiler generates as
4600 few Protocol objects as possible, some Protocol object might end up
4601 being referenced multiple times when compiled with the GNU runtime,
4602 and end up being fixed up multiple times at runtime initialization.
4603 But that doesn't hurt, it's just a little inefficient. */
4606 generate_protocols (void)
4610 tree initlist, protocol_name_expr, refs_decl, refs_expr;
4612 /* If a protocol was directly referenced, pull in indirect references. */
4613 for (p = protocol_chain; p; p = TREE_CHAIN (p))
4614 if (PROTOCOL_FORWARD_DECL (p) && PROTOCOL_LIST (p))
4615 generate_protocol_references (PROTOCOL_LIST (p));
4617 for (p = protocol_chain; p; p = TREE_CHAIN (p))
4619 tree nst_methods = PROTOCOL_NST_METHODS (p);
4620 tree cls_methods = PROTOCOL_CLS_METHODS (p);
4622 /* If protocol wasn't referenced, don't generate any code. */
4623 decl = PROTOCOL_FORWARD_DECL (p);
4628 /* Make sure we link in the Protocol class. */
4629 add_class_reference (get_identifier (PROTOCOL_OBJECT_CLASS_NAME));
4633 if (! METHOD_ENCODING (nst_methods))
4635 encoding = encode_method_prototype (nst_methods);
4636 METHOD_ENCODING (nst_methods) = encoding;
4638 nst_methods = TREE_CHAIN (nst_methods);
4643 if (! METHOD_ENCODING (cls_methods))
4645 encoding = encode_method_prototype (cls_methods);
4646 METHOD_ENCODING (cls_methods) = encoding;
4649 cls_methods = TREE_CHAIN (cls_methods);
4651 generate_method_descriptors (p);
4653 if (PROTOCOL_LIST (p))
4654 refs_decl = generate_protocol_list (p);
4658 /* static struct objc_protocol _OBJC_PROTOCOL_<mumble>; */
4659 protocol_name_expr = add_objc_string (PROTOCOL_NAME (p), class_names);
4662 refs_expr = convert (build_pointer_type (build_pointer_type
4663 (objc_protocol_template)),
4664 build_unary_op (ADDR_EXPR, refs_decl, 0));
4666 refs_expr = build_int_cst (NULL_TREE, 0);
4668 /* UOBJC_INSTANCE_METHODS_decl/UOBJC_CLASS_METHODS_decl are set
4669 by generate_method_descriptors, which is called above. */
4670 initlist = build_protocol_initializer (TREE_TYPE (decl),
4671 protocol_name_expr, refs_expr,
4672 UOBJC_INSTANCE_METHODS_decl,
4673 UOBJC_CLASS_METHODS_decl);
4674 finish_var_decl (decl, initlist);
4679 build_protocol_initializer (tree type, tree protocol_name,
4680 tree protocol_list, tree instance_methods,
4683 tree initlist = NULL_TREE, expr;
4684 tree cast_type = build_pointer_type
4685 (xref_tag (RECORD_TYPE,
4686 get_identifier (UTAG_CLASS)));
4688 /* Filling the "isa" in with one allows the runtime system to
4689 detect that the version change...should remove before final release. */
4691 expr = build_int_cst (cast_type, PROTOCOL_VERSION);
4692 initlist = tree_cons (NULL_TREE, expr, initlist);
4693 initlist = tree_cons (NULL_TREE, protocol_name, initlist);
4694 initlist = tree_cons (NULL_TREE, protocol_list, initlist);
4696 if (!instance_methods)
4697 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
4700 expr = convert (objc_method_proto_list_ptr,
4701 build_unary_op (ADDR_EXPR, instance_methods, 0));
4702 initlist = tree_cons (NULL_TREE, expr, initlist);
4706 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
4709 expr = convert (objc_method_proto_list_ptr,
4710 build_unary_op (ADDR_EXPR, class_methods, 0));
4711 initlist = tree_cons (NULL_TREE, expr, initlist);
4714 return objc_build_constructor (type, nreverse (initlist));
4717 /* struct _objc_category {
4718 char *category_name;
4720 struct _objc_method_list *instance_methods;
4721 struct _objc_method_list *class_methods;
4722 struct _objc_protocol_list *protocols;
4726 build_category_template (void)
4728 tree field_decl, field_decl_chain;
4730 objc_category_template = start_struct (RECORD_TYPE,
4731 get_identifier (UTAG_CATEGORY));
4733 /* char *category_name; */
4734 field_decl = create_field_decl (string_type_node, "category_name");
4735 field_decl_chain = field_decl;
4737 /* char *class_name; */
4738 field_decl = create_field_decl (string_type_node, "class_name");
4739 chainon (field_decl_chain, field_decl);
4741 /* struct _objc_method_list *instance_methods; */
4742 field_decl = create_field_decl (objc_method_list_ptr,
4743 "instance_methods");
4744 chainon (field_decl_chain, field_decl);
4746 /* struct _objc_method_list *class_methods; */
4747 field_decl = create_field_decl (objc_method_list_ptr,
4749 chainon (field_decl_chain, field_decl);
4751 /* struct _objc_protocol **protocol_list; */
4752 field_decl = create_field_decl (build_pointer_type
4754 (objc_protocol_template)),
4756 chainon (field_decl_chain, field_decl);
4758 finish_struct (objc_category_template, field_decl_chain, NULL_TREE);
4761 /* struct _objc_selector {
4767 build_selector_template (void)
4770 tree field_decl, field_decl_chain;
4772 objc_selector_template
4773 = start_struct (RECORD_TYPE, get_identifier (UTAG_SELECTOR));
4776 field_decl = create_field_decl (objc_selector_type, "sel_id");
4777 field_decl_chain = field_decl;
4779 /* char *sel_type; */
4780 field_decl = create_field_decl (string_type_node, "sel_type");
4781 chainon (field_decl_chain, field_decl);
4783 finish_struct (objc_selector_template, field_decl_chain, NULL_TREE);
4786 /* struct _objc_class {
4787 struct _objc_class *isa;
4788 struct _objc_class *super_class;
4793 struct _objc_ivar_list *ivars;
4794 struct _objc_method_list *methods;
4795 #ifdef __NEXT_RUNTIME__
4796 struct objc_cache *cache;
4798 struct sarray *dtable;
4799 struct _objc_class *subclass_list;
4800 struct _objc_class *sibling_class;
4802 struct _objc_protocol_list *protocols;
4803 #ifdef __NEXT_RUNTIME__
4806 void *gc_object_type;
4809 /* NB: The 'sel_id' and 'gc_object_type' fields are not being used by
4810 the NeXT/Apple runtime; still, the compiler must generate them to
4811 maintain backward binary compatibility (and to allow for future
4815 build_class_template (void)
4817 tree field_decl, field_decl_chain;
4820 = start_struct (RECORD_TYPE, get_identifier (UTAG_CLASS));
4822 /* struct _objc_class *isa; */
4823 field_decl = create_field_decl (build_pointer_type (objc_class_template),
4825 field_decl_chain = field_decl;
4827 /* struct _objc_class *super_class; */
4828 field_decl = create_field_decl (build_pointer_type (objc_class_template),
4830 chainon (field_decl_chain, field_decl);
4833 field_decl = create_field_decl (string_type_node, "name");
4834 chainon (field_decl_chain, field_decl);
4837 field_decl = create_field_decl (long_integer_type_node, "version");
4838 chainon (field_decl_chain, field_decl);
4841 field_decl = create_field_decl (long_integer_type_node, "info");
4842 chainon (field_decl_chain, field_decl);
4844 /* long instance_size; */
4845 field_decl = create_field_decl (long_integer_type_node, "instance_size");
4846 chainon (field_decl_chain, field_decl);
4848 /* struct _objc_ivar_list *ivars; */
4849 field_decl = create_field_decl (objc_ivar_list_ptr,
4851 chainon (field_decl_chain, field_decl);
4853 /* struct _objc_method_list *methods; */
4854 field_decl = create_field_decl (objc_method_list_ptr,
4856 chainon (field_decl_chain, field_decl);
4858 if (flag_next_runtime)
4860 /* struct objc_cache *cache; */
4861 field_decl = create_field_decl (build_pointer_type
4862 (xref_tag (RECORD_TYPE,
4866 chainon (field_decl_chain, field_decl);
4870 /* struct sarray *dtable; */
4871 field_decl = create_field_decl (build_pointer_type
4872 (xref_tag (RECORD_TYPE,
4876 chainon (field_decl_chain, field_decl);
4878 /* struct objc_class *subclass_list; */
4879 field_decl = create_field_decl (build_pointer_type
4880 (objc_class_template),
4882 chainon (field_decl_chain, field_decl);
4884 /* struct objc_class *sibling_class; */
4885 field_decl = create_field_decl (build_pointer_type
4886 (objc_class_template),
4888 chainon (field_decl_chain, field_decl);
4891 /* struct _objc_protocol **protocol_list; */
4892 field_decl = create_field_decl (build_pointer_type
4894 (xref_tag (RECORD_TYPE,
4898 chainon (field_decl_chain, field_decl);
4900 if (flag_next_runtime)
4903 field_decl = create_field_decl (build_pointer_type (void_type_node),
4905 chainon (field_decl_chain, field_decl);
4908 /* void *gc_object_type; */
4909 field_decl = create_field_decl (build_pointer_type (void_type_node),
4911 chainon (field_decl_chain, field_decl);
4913 finish_struct (objc_class_template, field_decl_chain, NULL_TREE);
4916 /* Generate appropriate forward declarations for an implementation. */
4919 synth_forward_declarations (void)
4923 /* static struct objc_class _OBJC_CLASS_<my_name>; */
4924 UOBJC_CLASS_decl = build_metadata_decl ("_OBJC_CLASS",
4925 objc_class_template);
4927 /* static struct objc_class _OBJC_METACLASS_<my_name>; */
4928 UOBJC_METACLASS_decl = build_metadata_decl ("_OBJC_METACLASS",
4929 objc_class_template);
4931 /* Pre-build the following entities - for speed/convenience. */
4933 an_id = get_identifier ("super_class");
4934 ucls_super_ref = objc_build_component_ref (UOBJC_CLASS_decl, an_id);
4935 uucls_super_ref = objc_build_component_ref (UOBJC_METACLASS_decl, an_id);
4939 error_with_ivar (const char *message, tree decl)
4941 error ("%J%s %qs", decl,
4942 message, gen_declaration (decl));
4947 check_ivars (tree inter, tree imp)
4949 tree intdecls = CLASS_RAW_IVARS (inter);
4950 tree impdecls = CLASS_RAW_IVARS (imp);
4957 if (intdecls && TREE_CODE (intdecls) == TYPE_DECL)
4958 intdecls = TREE_CHAIN (intdecls);
4960 if (intdecls == 0 && impdecls == 0)
4962 if (intdecls == 0 || impdecls == 0)
4964 error ("inconsistent instance variable specification");
4968 t1 = TREE_TYPE (intdecls); t2 = TREE_TYPE (impdecls);
4970 if (!comptypes (t1, t2)
4971 || !tree_int_cst_equal (DECL_INITIAL (intdecls),
4972 DECL_INITIAL (impdecls)))
4974 if (DECL_NAME (intdecls) == DECL_NAME (impdecls))
4976 error_with_ivar ("conflicting instance variable type",
4978 error_with_ivar ("previous declaration of",
4981 else /* both the type and the name don't match */
4983 error ("inconsistent instance variable specification");
4988 else if (DECL_NAME (intdecls) != DECL_NAME (impdecls))
4990 error_with_ivar ("conflicting instance variable name",
4992 error_with_ivar ("previous declaration of",
4996 intdecls = TREE_CHAIN (intdecls);
4997 impdecls = TREE_CHAIN (impdecls);
5001 /* Set 'objc_super_template' to the data type node for 'struct _objc_super'.
5002 This needs to be done just once per compilation. */
5004 /* struct _objc_super {
5005 struct _objc_object *self;
5006 struct _objc_class *super_class;
5010 build_super_template (void)
5012 tree field_decl, field_decl_chain;
5014 objc_super_template = start_struct (RECORD_TYPE, get_identifier (UTAG_SUPER));
5016 /* struct _objc_object *self; */
5017 field_decl = create_field_decl (objc_object_type, "self");
5018 field_decl_chain = field_decl;
5020 /* struct _objc_class *super_class; */
5021 field_decl = create_field_decl (build_pointer_type (objc_class_template),
5023 chainon (field_decl_chain, field_decl);
5025 finish_struct (objc_super_template, field_decl_chain, NULL_TREE);
5028 /* struct _objc_ivar {
5035 build_ivar_template (void)
5037 tree objc_ivar_id, objc_ivar_record;
5038 tree field_decl, field_decl_chain;
5040 objc_ivar_id = get_identifier (UTAG_IVAR);
5041 objc_ivar_record = start_struct (RECORD_TYPE, objc_ivar_id);
5043 /* char *ivar_name; */
5044 field_decl = create_field_decl (string_type_node, "ivar_name");
5045 field_decl_chain = field_decl;
5047 /* char *ivar_type; */
5048 field_decl = create_field_decl (string_type_node, "ivar_type");
5049 chainon (field_decl_chain, field_decl);
5051 /* int ivar_offset; */
5052 field_decl = create_field_decl (integer_type_node, "ivar_offset");
5053 chainon (field_decl_chain, field_decl);
5055 finish_struct (objc_ivar_record, field_decl_chain, NULL_TREE);
5057 return objc_ivar_record;
5062 struct objc_ivar ivar_list[ivar_count];
5066 build_ivar_list_template (tree list_type, int size)
5068 tree objc_ivar_list_record;
5069 tree field_decl, field_decl_chain;
5071 objc_ivar_list_record = start_struct (RECORD_TYPE, NULL_TREE);
5073 /* int ivar_count; */
5074 field_decl = create_field_decl (integer_type_node, "ivar_count");
5075 field_decl_chain = field_decl;
5077 /* struct objc_ivar ivar_list[]; */
5078 field_decl = create_field_decl (build_array_type
5081 (build_int_cst (NULL_TREE, size - 1))),
5083 chainon (field_decl_chain, field_decl);
5085 finish_struct (objc_ivar_list_record, field_decl_chain, NULL_TREE);
5087 return objc_ivar_list_record;
5091 struct _objc__method_prototype_list *method_next;
5093 struct objc_method method_list[method_count];
5097 build_method_list_template (tree list_type, int size)
5099 tree objc_ivar_list_record;
5100 tree field_decl, field_decl_chain;
5102 objc_ivar_list_record = start_struct (RECORD_TYPE, NULL_TREE);
5104 /* struct _objc__method_prototype_list *method_next; */
5105 field_decl = create_field_decl (objc_method_proto_list_ptr,
5107 field_decl_chain = field_decl;
5109 /* int method_count; */
5110 field_decl = create_field_decl (integer_type_node, "method_count");
5111 chainon (field_decl_chain, field_decl);
5113 /* struct objc_method method_list[]; */
5114 field_decl = create_field_decl (build_array_type
5117 (build_int_cst (NULL_TREE, size - 1))),
5119 chainon (field_decl_chain, field_decl);
5121 finish_struct (objc_ivar_list_record, field_decl_chain, NULL_TREE);
5123 return objc_ivar_list_record;
5127 build_ivar_list_initializer (tree type, tree field_decl)
5129 tree initlist = NULL_TREE;
5133 tree ivar = NULL_TREE;
5136 if (DECL_NAME (field_decl))
5137 ivar = tree_cons (NULL_TREE,
5138 add_objc_string (DECL_NAME (field_decl),
5142 /* Unnamed bit-field ivar (yuck). */
5143 ivar = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), ivar);
5146 encode_field_decl (field_decl,
5147 obstack_object_size (&util_obstack),
5148 OBJC_ENCODE_DONT_INLINE_DEFS);
5150 /* Null terminate string. */
5151 obstack_1grow (&util_obstack, 0);
5155 add_objc_string (get_identifier (obstack_finish (&util_obstack)),
5158 obstack_free (&util_obstack, util_firstobj);
5161 ivar = tree_cons (NULL_TREE, byte_position (field_decl), ivar);
5162 initlist = tree_cons (NULL_TREE,
5163 objc_build_constructor (type, nreverse (ivar)),
5166 field_decl = TREE_CHAIN (field_decl);
5167 while (field_decl && TREE_CODE (field_decl) != FIELD_DECL);
5171 return objc_build_constructor (build_array_type (type, 0),
5172 nreverse (initlist));
5176 generate_ivars_list (tree type, const char *name, int size, tree list)
5178 tree decl, initlist;
5180 decl = start_var_decl (type, synth_id_with_class_suffix
5181 (name, objc_implementation_context));
5183 initlist = build_tree_list (NULL_TREE, build_int_cst (NULL_TREE, size));
5184 initlist = tree_cons (NULL_TREE, list, initlist);
5186 finish_var_decl (decl,
5187 objc_build_constructor (TREE_TYPE (decl),
5188 nreverse (initlist)));
5193 /* Count only the fields occurring in T. */
5196 ivar_list_length (tree t)
5200 for (; t; t = TREE_CHAIN (t))
5201 if (TREE_CODE (t) == FIELD_DECL)
5208 generate_ivar_lists (void)
5210 tree initlist, ivar_list_template, chain;
5213 generating_instance_variables = 1;
5215 if (!objc_ivar_template)
5216 objc_ivar_template = build_ivar_template ();
5218 /* Only generate class variables for the root of the inheritance
5219 hierarchy since these will be the same for every class. */
5221 if (CLASS_SUPER_NAME (implementation_template) == NULL_TREE
5222 && (chain = TYPE_FIELDS (objc_class_template)))
5224 size = ivar_list_length (chain);
5226 ivar_list_template = build_ivar_list_template (objc_ivar_template, size);
5227 initlist = build_ivar_list_initializer (objc_ivar_template, chain);
5229 UOBJC_CLASS_VARIABLES_decl
5230 = generate_ivars_list (ivar_list_template, "_OBJC_CLASS_VARIABLES",
5234 UOBJC_CLASS_VARIABLES_decl = 0;
5236 chain = CLASS_IVARS (implementation_template);
5239 size = ivar_list_length (chain);
5240 ivar_list_template = build_ivar_list_template (objc_ivar_template, size);
5241 initlist = build_ivar_list_initializer (objc_ivar_template, chain);
5243 UOBJC_INSTANCE_VARIABLES_decl
5244 = generate_ivars_list (ivar_list_template, "_OBJC_INSTANCE_VARIABLES",
5248 UOBJC_INSTANCE_VARIABLES_decl = 0;
5250 generating_instance_variables = 0;
5254 build_dispatch_table_initializer (tree type, tree entries)
5256 tree initlist = NULL_TREE;
5260 tree elemlist = NULL_TREE;
5262 elemlist = tree_cons (NULL_TREE,
5263 build_selector (METHOD_SEL_NAME (entries)),
5266 /* Generate the method encoding if we don't have one already. */
5267 if (! METHOD_ENCODING (entries))
5268 METHOD_ENCODING (entries) =
5269 encode_method_prototype (entries);
5271 elemlist = tree_cons (NULL_TREE,
5272 add_objc_string (METHOD_ENCODING (entries),
5277 = tree_cons (NULL_TREE,
5278 convert (ptr_type_node,
5279 build_unary_op (ADDR_EXPR,
5280 METHOD_DEFINITION (entries), 1)),
5283 initlist = tree_cons (NULL_TREE,
5284 objc_build_constructor (type, nreverse (elemlist)),
5287 entries = TREE_CHAIN (entries);
5291 return objc_build_constructor (build_array_type (type, 0),
5292 nreverse (initlist));
5295 /* To accomplish method prototyping without generating all kinds of
5296 inane warnings, the definition of the dispatch table entries were
5299 struct objc_method { SEL _cmd; ...; id (*_imp)(); };
5301 struct objc_method { SEL _cmd; ...; void *_imp; }; */
5304 build_method_template (void)
5307 tree field_decl, field_decl_chain;
5309 _SLT_record = start_struct (RECORD_TYPE, get_identifier (UTAG_METHOD));
5312 field_decl = create_field_decl (objc_selector_type, "_cmd");
5313 field_decl_chain = field_decl;
5315 /* char *method_types; */
5316 field_decl = create_field_decl (string_type_node, "method_types");
5317 chainon (field_decl_chain, field_decl);
5320 field_decl = create_field_decl (build_pointer_type (void_type_node),
5322 chainon (field_decl_chain, field_decl);
5324 finish_struct (_SLT_record, field_decl_chain, NULL_TREE);
5331 generate_dispatch_table (tree type, const char *name, int size, tree list)
5333 tree decl, initlist;
5335 decl = start_var_decl (type, synth_id_with_class_suffix
5336 (name, objc_implementation_context));
5338 initlist = build_tree_list (NULL_TREE, build_int_cst (NULL_TREE, 0));
5339 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, size), initlist);
5340 initlist = tree_cons (NULL_TREE, list, initlist);
5342 finish_var_decl (decl,
5343 objc_build_constructor (TREE_TYPE (decl),
5344 nreverse (initlist)));
5350 mark_referenced_methods (void)
5352 struct imp_entry *impent;
5355 for (impent = imp_list; impent; impent = impent->next)
5357 chain = CLASS_CLS_METHODS (impent->imp_context);
5360 cgraph_mark_needed_node (cgraph_node (METHOD_DEFINITION (chain)));
5361 chain = TREE_CHAIN (chain);
5364 chain = CLASS_NST_METHODS (impent->imp_context);
5367 cgraph_mark_needed_node (cgraph_node (METHOD_DEFINITION (chain)));
5368 chain = TREE_CHAIN (chain);
5374 generate_dispatch_tables (void)
5376 tree initlist, chain, method_list_template;
5379 if (!objc_method_template)
5380 objc_method_template = build_method_template ();
5382 chain = CLASS_CLS_METHODS (objc_implementation_context);
5385 size = list_length (chain);
5387 method_list_template
5388 = build_method_list_template (objc_method_template, size);
5390 = build_dispatch_table_initializer (objc_method_template, chain);
5392 UOBJC_CLASS_METHODS_decl
5393 = generate_dispatch_table (method_list_template,
5394 ((TREE_CODE (objc_implementation_context)
5395 == CLASS_IMPLEMENTATION_TYPE)
5396 ? "_OBJC_CLASS_METHODS"
5397 : "_OBJC_CATEGORY_CLASS_METHODS"),
5401 UOBJC_CLASS_METHODS_decl = 0;
5403 chain = CLASS_NST_METHODS (objc_implementation_context);
5406 size = list_length (chain);
5408 method_list_template
5409 = build_method_list_template (objc_method_template, size);
5411 = build_dispatch_table_initializer (objc_method_template, chain);
5413 if (TREE_CODE (objc_implementation_context) == CLASS_IMPLEMENTATION_TYPE)
5414 UOBJC_INSTANCE_METHODS_decl
5415 = generate_dispatch_table (method_list_template,
5416 "_OBJC_INSTANCE_METHODS",
5419 /* We have a category. */
5420 UOBJC_INSTANCE_METHODS_decl
5421 = generate_dispatch_table (method_list_template,
5422 "_OBJC_CATEGORY_INSTANCE_METHODS",
5426 UOBJC_INSTANCE_METHODS_decl = 0;
5430 generate_protocol_list (tree i_or_p)
5433 tree refs_decl, lproto, e, plist;
5435 const char *ref_name;
5437 if (TREE_CODE (i_or_p) == CLASS_INTERFACE_TYPE
5438 || TREE_CODE (i_or_p) == CATEGORY_INTERFACE_TYPE)
5439 plist = CLASS_PROTOCOL_LIST (i_or_p);
5440 else if (TREE_CODE (i_or_p) == PROTOCOL_INTERFACE_TYPE)
5441 plist = PROTOCOL_LIST (i_or_p);
5446 for (lproto = plist; lproto; lproto = TREE_CHAIN (lproto))
5447 if (TREE_CODE (TREE_VALUE (lproto)) == PROTOCOL_INTERFACE_TYPE
5448 && PROTOCOL_FORWARD_DECL (TREE_VALUE (lproto)))
5451 /* Build initializer. */
5452 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), NULL_TREE);
5453 e = build_int_cst (build_pointer_type (objc_protocol_template), size);
5454 initlist = tree_cons (NULL_TREE, e, initlist);
5456 for (lproto = plist; lproto; lproto = TREE_CHAIN (lproto))
5458 tree pval = TREE_VALUE (lproto);
5460 if (TREE_CODE (pval) == PROTOCOL_INTERFACE_TYPE
5461 && PROTOCOL_FORWARD_DECL (pval))
5463 e = build_unary_op (ADDR_EXPR, PROTOCOL_FORWARD_DECL (pval), 0);
5464 initlist = tree_cons (NULL_TREE, e, initlist);
5468 /* static struct objc_protocol *refs[n]; */
5470 if (TREE_CODE (i_or_p) == PROTOCOL_INTERFACE_TYPE)
5471 ref_name = synth_id_with_class_suffix ("_OBJC_PROTOCOL_REFS", i_or_p);
5472 else if (TREE_CODE (i_or_p) == CLASS_INTERFACE_TYPE)
5473 ref_name = synth_id_with_class_suffix ("_OBJC_CLASS_PROTOCOLS", i_or_p);
5474 else if (TREE_CODE (i_or_p) == CATEGORY_INTERFACE_TYPE)
5475 ref_name = synth_id_with_class_suffix ("_OBJC_CATEGORY_PROTOCOLS", i_or_p);
5479 refs_decl = start_var_decl
5481 (build_pointer_type (objc_protocol_template),
5482 build_index_type (build_int_cst (NULL_TREE, size + 2))),
5485 finish_var_decl (refs_decl, objc_build_constructor (TREE_TYPE (refs_decl),
5486 nreverse (initlist)));
5492 build_category_initializer (tree type, tree cat_name, tree class_name,
5493 tree instance_methods, tree class_methods,
5496 tree initlist = NULL_TREE, expr;
5498 initlist = tree_cons (NULL_TREE, cat_name, initlist);
5499 initlist = tree_cons (NULL_TREE, class_name, initlist);
5501 if (!instance_methods)
5502 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5505 expr = convert (objc_method_list_ptr,
5506 build_unary_op (ADDR_EXPR, instance_methods, 0));
5507 initlist = tree_cons (NULL_TREE, expr, initlist);
5510 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5513 expr = convert (objc_method_list_ptr,
5514 build_unary_op (ADDR_EXPR, class_methods, 0));
5515 initlist = tree_cons (NULL_TREE, expr, initlist);
5518 /* protocol_list = */
5520 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5523 expr = convert (build_pointer_type
5525 (objc_protocol_template)),
5526 build_unary_op (ADDR_EXPR, protocol_list, 0));
5527 initlist = tree_cons (NULL_TREE, expr, initlist);
5530 return objc_build_constructor (type, nreverse (initlist));
5533 /* struct _objc_class {
5534 struct objc_class *isa;
5535 struct objc_class *super_class;
5540 struct objc_ivar_list *ivars;
5541 struct objc_method_list *methods;
5542 if (flag_next_runtime)
5543 struct objc_cache *cache;
5545 struct sarray *dtable;
5546 struct objc_class *subclass_list;
5547 struct objc_class *sibling_class;
5549 struct objc_protocol_list *protocols;
5550 if (flag_next_runtime)
5552 void *gc_object_type;
5556 build_shared_structure_initializer (tree type, tree isa, tree super,
5557 tree name, tree size, int status,
5558 tree dispatch_table, tree ivar_list,
5561 tree initlist = NULL_TREE, expr;
5564 initlist = tree_cons (NULL_TREE, isa, initlist);
5567 initlist = tree_cons (NULL_TREE, super, initlist);
5570 initlist = tree_cons (NULL_TREE, default_conversion (name), initlist);
5573 initlist = tree_cons (NULL_TREE, build_int_cst (long_integer_type_node, 0),
5577 initlist = tree_cons (NULL_TREE,
5578 build_int_cst (long_integer_type_node, status),
5581 /* instance_size = */
5582 initlist = tree_cons (NULL_TREE, convert (long_integer_type_node, size),
5585 /* objc_ivar_list = */
5587 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5590 expr = convert (objc_ivar_list_ptr,
5591 build_unary_op (ADDR_EXPR, ivar_list, 0));
5592 initlist = tree_cons (NULL_TREE, expr, initlist);
5595 /* objc_method_list = */
5596 if (!dispatch_table)
5597 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5600 expr = convert (objc_method_list_ptr,
5601 build_unary_op (ADDR_EXPR, dispatch_table, 0));
5602 initlist = tree_cons (NULL_TREE, expr, initlist);
5605 if (flag_next_runtime)
5606 /* method_cache = */
5607 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5611 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5613 /* subclass_list = */
5614 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5616 /* sibling_class = */
5617 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5620 /* protocol_list = */
5621 if (! protocol_list)
5622 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5625 expr = convert (build_pointer_type
5627 (objc_protocol_template)),
5628 build_unary_op (ADDR_EXPR, protocol_list, 0));
5629 initlist = tree_cons (NULL_TREE, expr, initlist);
5632 if (flag_next_runtime)
5634 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5636 /* gc_object_type = NULL */
5637 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, 0), initlist);
5639 return objc_build_constructor (type, nreverse (initlist));
5642 /* Retrieve category interface CAT_NAME (if any) associated with CLASS. */
5645 lookup_category (tree class, tree cat_name)
5647 tree category = CLASS_CATEGORY_LIST (class);
5649 while (category && CLASS_SUPER_NAME (category) != cat_name)
5650 category = CLASS_CATEGORY_LIST (category);
5654 /* static struct objc_category _OBJC_CATEGORY_<name> = { ... }; */
5657 generate_category (tree cat)
5660 tree initlist, cat_name_expr, class_name_expr;
5661 tree protocol_decl, category;
5663 add_class_reference (CLASS_NAME (cat));
5664 cat_name_expr = add_objc_string (CLASS_SUPER_NAME (cat), class_names);
5666 class_name_expr = add_objc_string (CLASS_NAME (cat), class_names);
5668 category = lookup_category (implementation_template,
5669 CLASS_SUPER_NAME (cat));
5671 if (category && CLASS_PROTOCOL_LIST (category))
5673 generate_protocol_references (CLASS_PROTOCOL_LIST (category));
5674 protocol_decl = generate_protocol_list (category);
5679 decl = start_var_decl (objc_category_template,
5680 synth_id_with_class_suffix
5681 ("_OBJC_CATEGORY", objc_implementation_context));
5683 initlist = build_category_initializer (TREE_TYPE (decl),
5684 cat_name_expr, class_name_expr,
5685 UOBJC_INSTANCE_METHODS_decl,
5686 UOBJC_CLASS_METHODS_decl,
5689 finish_var_decl (decl, initlist);
5692 /* static struct objc_class _OBJC_METACLASS_Foo={ ... };
5693 static struct objc_class _OBJC_CLASS_Foo={ ... }; */
5696 generate_shared_structures (int cls_flags)
5698 tree sc_spec, decl_specs, decl;
5699 tree name_expr, super_expr, root_expr;
5700 tree my_root_id = NULL_TREE, my_super_id = NULL_TREE;
5701 tree cast_type, initlist, protocol_decl;
5703 my_super_id = CLASS_SUPER_NAME (implementation_template);
5706 add_class_reference (my_super_id);
5708 /* Compute "my_root_id" - this is required for code generation.
5709 the "isa" for all meta class structures points to the root of
5710 the inheritance hierarchy (e.g. "__Object")... */
5711 my_root_id = my_super_id;
5714 tree my_root_int = lookup_interface (my_root_id);
5716 if (my_root_int && CLASS_SUPER_NAME (my_root_int))
5717 my_root_id = CLASS_SUPER_NAME (my_root_int);
5724 /* No super class. */
5725 my_root_id = CLASS_NAME (implementation_template);
5727 cast_type = build_pointer_type (objc_class_template);
5728 name_expr = add_objc_string (CLASS_NAME (implementation_template),
5731 /* Install class `isa' and `super' pointers at runtime. */
5734 super_expr = add_objc_string (my_super_id, class_names);
5735 super_expr = build_c_cast (cast_type, super_expr); /* cast! */
5738 super_expr = build_int_cst (NULL_TREE, 0);
5740 root_expr = add_objc_string (my_root_id, class_names);
5741 root_expr = build_c_cast (cast_type, root_expr); /* cast! */
5743 if (CLASS_PROTOCOL_LIST (implementation_template))
5745 generate_protocol_references
5746 (CLASS_PROTOCOL_LIST (implementation_template));
5747 protocol_decl = generate_protocol_list (implementation_template);
5752 /* static struct objc_class _OBJC_METACLASS_Foo = { ... }; */
5754 sc_spec = build_tree_list (NULL_TREE, ridpointers[(int) RID_STATIC]);
5755 decl_specs = tree_cons (NULL_TREE, objc_class_template, sc_spec);
5757 decl = start_var_decl (objc_class_template,
5759 (DECL_NAME (UOBJC_METACLASS_decl)));
5762 = build_shared_structure_initializer
5764 root_expr, super_expr, name_expr,
5765 convert (integer_type_node, TYPE_SIZE_UNIT (objc_class_template)),
5767 UOBJC_CLASS_METHODS_decl,
5768 UOBJC_CLASS_VARIABLES_decl,
5771 finish_var_decl (decl, initlist);
5773 /* static struct objc_class _OBJC_CLASS_Foo={ ... }; */
5775 decl = start_var_decl (objc_class_template,
5777 (DECL_NAME (UOBJC_CLASS_decl)));
5780 = build_shared_structure_initializer
5782 build_unary_op (ADDR_EXPR, UOBJC_METACLASS_decl, 0),
5783 super_expr, name_expr,
5784 convert (integer_type_node,
5785 TYPE_SIZE_UNIT (CLASS_STATIC_TEMPLATE
5786 (implementation_template))),
5787 1 /*CLS_FACTORY*/ | cls_flags,
5788 UOBJC_INSTANCE_METHODS_decl,
5789 UOBJC_INSTANCE_VARIABLES_decl,
5792 finish_var_decl (decl, initlist);
5797 synth_id_with_class_suffix (const char *preamble, tree ctxt)
5799 static char string[BUFSIZE];
5801 if (TREE_CODE (ctxt) == CLASS_IMPLEMENTATION_TYPE
5802 || TREE_CODE (ctxt) == CLASS_INTERFACE_TYPE)
5804 sprintf (string, "%s_%s", preamble,
5805 IDENTIFIER_POINTER (CLASS_NAME (ctxt)));
5807 else if (TREE_CODE (ctxt) == CATEGORY_IMPLEMENTATION_TYPE
5808 || TREE_CODE (ctxt) == CATEGORY_INTERFACE_TYPE)
5810 /* We have a category. */
5811 const char *const class_name
5812 = IDENTIFIER_POINTER (CLASS_NAME (objc_implementation_context));
5813 const char *const class_super_name
5814 = IDENTIFIER_POINTER (CLASS_SUPER_NAME (objc_implementation_context));
5815 sprintf (string, "%s_%s_%s", preamble, class_name, class_super_name);
5817 else if (TREE_CODE (ctxt) == PROTOCOL_INTERFACE_TYPE)
5819 const char *protocol_name = IDENTIFIER_POINTER (PROTOCOL_NAME (ctxt));
5820 sprintf (string, "%s_%s", preamble, protocol_name);
5828 /* If type is empty or only type qualifiers are present, add default
5829 type of id (otherwise grokdeclarator will default to int). */
5832 adjust_type_for_id_default (tree type)
5835 type = make_node (TREE_LIST);
5837 if (!TREE_VALUE (type))
5838 TREE_VALUE (type) = objc_object_type;
5839 else if (TREE_CODE (TREE_VALUE (type)) == RECORD_TYPE
5840 && TYPED_OBJECT (TREE_VALUE (type)))
5841 error ("can not use an object as parameter to a method");
5848 selector ':' '(' typename ')' identifier
5851 Transform an Objective-C keyword argument into
5852 the C equivalent parameter declarator.
5854 In: key_name, an "identifier_node" (optional).
5855 arg_type, a "tree_list" (optional).
5856 arg_name, an "identifier_node".
5858 Note: It would be really nice to strongly type the preceding
5859 arguments in the function prototype; however, then I
5860 could not use the "accessor" macros defined in "tree.h".
5862 Out: an instance of "keyword_decl". */
5865 objc_build_keyword_decl (tree key_name, tree arg_type, tree arg_name)
5869 /* If no type is specified, default to "id". */
5870 arg_type = adjust_type_for_id_default (arg_type);
5872 keyword_decl = make_node (KEYWORD_DECL);
5874 TREE_TYPE (keyword_decl) = arg_type;
5875 KEYWORD_ARG_NAME (keyword_decl) = arg_name;
5876 KEYWORD_KEY_NAME (keyword_decl) = key_name;
5878 return keyword_decl;
5881 /* Given a chain of keyword_decl's, synthesize the full keyword selector. */
5884 build_keyword_selector (tree selector)
5887 tree key_chain, key_name;
5890 /* Scan the selector to see how much space we'll need. */
5891 for (key_chain = selector; key_chain; key_chain = TREE_CHAIN (key_chain))
5893 if (TREE_CODE (selector) == KEYWORD_DECL)
5894 key_name = KEYWORD_KEY_NAME (key_chain);
5895 else if (TREE_CODE (selector) == TREE_LIST)
5896 key_name = TREE_PURPOSE (key_chain);
5901 len += IDENTIFIER_LENGTH (key_name) + 1;
5903 /* Just a ':' arg. */
5907 buf = (char *) alloca (len + 1);
5908 /* Start the buffer out as an empty string. */
5911 for (key_chain = selector; key_chain; key_chain = TREE_CHAIN (key_chain))
5913 if (TREE_CODE (selector) == KEYWORD_DECL)
5914 key_name = KEYWORD_KEY_NAME (key_chain);
5915 else if (TREE_CODE (selector) == TREE_LIST)
5917 key_name = TREE_PURPOSE (key_chain);
5918 /* The keyword decl chain will later be used as a function argument
5919 chain. Unhook the selector itself so as to not confuse other
5920 parts of the compiler. */
5921 TREE_PURPOSE (key_chain) = NULL_TREE;
5927 strcat (buf, IDENTIFIER_POINTER (key_name));
5931 return get_identifier (buf);
5934 /* Used for declarations and definitions. */
5937 build_method_decl (enum tree_code code, tree ret_type, tree selector,
5938 tree add_args, bool ellipsis)
5942 /* If no type is specified, default to "id". */
5943 ret_type = adjust_type_for_id_default (ret_type);
5945 method_decl = make_node (code);
5946 TREE_TYPE (method_decl) = ret_type;
5948 /* If we have a keyword selector, create an identifier_node that
5949 represents the full selector name (`:' included)... */
5950 if (TREE_CODE (selector) == KEYWORD_DECL)
5952 METHOD_SEL_NAME (method_decl) = build_keyword_selector (selector);
5953 METHOD_SEL_ARGS (method_decl) = selector;
5954 METHOD_ADD_ARGS (method_decl) = add_args;
5955 METHOD_ADD_ARGS_ELLIPSIS_P (method_decl) = ellipsis;
5959 METHOD_SEL_NAME (method_decl) = selector;
5960 METHOD_SEL_ARGS (method_decl) = NULL_TREE;
5961 METHOD_ADD_ARGS (method_decl) = NULL_TREE;
5967 #define METHOD_DEF 0
5968 #define METHOD_REF 1
5970 /* Used by `build_objc_method_call' and `comp_proto_with_proto'. Return
5971 an argument list for method METH. CONTEXT is either METHOD_DEF or
5972 METHOD_REF, saying whether we are trying to define a method or call
5973 one. SUPERFLAG says this is for a send to super; this makes a
5974 difference for the NeXT calling sequence in which the lookup and
5975 the method call are done together. If METH is null, user-defined
5976 arguments (i.e., beyond self and _cmd) shall be represented by `...'. */
5979 get_arg_type_list (tree meth, int context, int superflag)
5983 /* Receiver type. */
5984 if (flag_next_runtime && superflag)
5985 arglist = build_tree_list (NULL_TREE, objc_super_type);
5986 else if (context == METHOD_DEF && TREE_CODE (meth) == INSTANCE_METHOD_DECL)
5987 arglist = build_tree_list (NULL_TREE, objc_instance_type);
5989 arglist = build_tree_list (NULL_TREE, objc_object_type);
5991 /* Selector type - will eventually change to `int'. */
5992 chainon (arglist, build_tree_list (NULL_TREE, objc_selector_type));
5994 /* No actual method prototype given -- assume that remaining arguments
5999 /* Build a list of argument types. */
6000 for (akey = METHOD_SEL_ARGS (meth); akey; akey = TREE_CHAIN (akey))
6002 tree arg_type = TREE_VALUE (TREE_TYPE (akey));
6004 /* Decay arrays and functions into pointers. */
6005 if (TREE_CODE (arg_type) == ARRAY_TYPE)
6006 arg_type = build_pointer_type (TREE_TYPE (arg_type));
6007 else if (TREE_CODE (arg_type) == FUNCTION_TYPE)
6008 arg_type = build_pointer_type (arg_type);
6010 chainon (arglist, build_tree_list (NULL_TREE, arg_type));
6013 if (METHOD_ADD_ARGS (meth))
6015 for (akey = TREE_CHAIN (METHOD_ADD_ARGS (meth));
6016 akey; akey = TREE_CHAIN (akey))
6018 tree arg_type = TREE_TYPE (TREE_VALUE (akey));
6020 chainon (arglist, build_tree_list (NULL_TREE, arg_type));
6023 if (!METHOD_ADD_ARGS_ELLIPSIS_P (meth))
6024 goto lack_of_ellipsis;
6029 chainon (arglist, OBJC_VOID_AT_END);
6036 check_duplicates (hash hsh, int methods, int is_class)
6038 tree meth = NULL_TREE;
6046 /* We have two or more methods with the same name but
6050 /* But just how different are those types? If
6051 -Wno-strict-selector-match is specified, we shall not
6052 complain if the differences are solely among types with
6053 identical size and alignment. */
6054 if (!warn_strict_selector_match)
6056 for (loop = hsh->list; loop; loop = loop->next)
6057 if (!comp_proto_with_proto (meth, loop->value, 0))
6064 warning (0, "multiple %s named %<%c%s%> found",
6065 methods ? "methods" : "selectors",
6066 (is_class ? '+' : '-'),
6067 IDENTIFIER_POINTER (METHOD_SEL_NAME (meth)));
6069 warn_with_method (methods ? "using" : "found",
6070 ((TREE_CODE (meth) == INSTANCE_METHOD_DECL)
6074 for (loop = hsh->list; loop; loop = loop->next)
6075 warn_with_method ("also found",
6076 ((TREE_CODE (loop->value) == INSTANCE_METHOD_DECL)
6085 /* If RECEIVER is a class reference, return the identifier node for
6086 the referenced class. RECEIVER is created by objc_get_class_reference,
6087 so we check the exact form created depending on which runtimes are
6091 receiver_is_class_object (tree receiver, int self, int super)
6093 tree chain, exp, arg;
6095 /* The receiver is 'self' or 'super' in the context of a class method. */
6096 if (objc_method_context
6097 && TREE_CODE (objc_method_context) == CLASS_METHOD_DECL
6100 ? CLASS_SUPER_NAME (implementation_template)
6101 : CLASS_NAME (implementation_template));
6103 if (flag_next_runtime)
6105 /* The receiver is a variable created by
6106 build_class_reference_decl. */
6107 if (TREE_CODE (receiver) == VAR_DECL && IS_CLASS (TREE_TYPE (receiver)))
6108 /* Look up the identifier. */
6109 for (chain = cls_ref_chain; chain; chain = TREE_CHAIN (chain))
6110 if (TREE_PURPOSE (chain) == receiver)
6111 return TREE_VALUE (chain);
6114 /* The receiver is a function call that returns an id. Check if
6115 it is a call to objc_getClass, if so, pick up the class name. */
6116 if (TREE_CODE (receiver) == CALL_EXPR
6117 && (exp = TREE_OPERAND (receiver, 0))
6118 && TREE_CODE (exp) == ADDR_EXPR
6119 && (exp = TREE_OPERAND (exp, 0))
6120 && TREE_CODE (exp) == FUNCTION_DECL
6121 /* For some reason, we sometimes wind up with multiple FUNCTION_DECL
6122 prototypes for objc_get_class(). Thankfully, they seem to share the
6123 same function type. */
6124 && TREE_TYPE (exp) == TREE_TYPE (objc_get_class_decl)
6125 && !strcmp (IDENTIFIER_POINTER (DECL_NAME (exp)), TAG_GETCLASS)
6126 /* We have a call to objc_get_class/objc_getClass! */
6127 && (arg = TREE_OPERAND (receiver, 1))
6128 && TREE_CODE (arg) == TREE_LIST
6129 && (arg = TREE_VALUE (arg)))
6132 if (TREE_CODE (arg) == ADDR_EXPR
6133 && (arg = TREE_OPERAND (arg, 0))
6134 && TREE_CODE (arg) == STRING_CST)
6135 /* Finally, we have the class name. */
6136 return get_identifier (TREE_STRING_POINTER (arg));
6141 /* If we are currently building a message expr, this holds
6142 the identifier of the selector of the message. This is
6143 used when printing warnings about argument mismatches. */
6145 static tree current_objc_message_selector = 0;
6148 objc_message_selector (void)
6150 return current_objc_message_selector;
6153 /* Construct an expression for sending a message.
6154 MESS has the object to send to in TREE_PURPOSE
6155 and the argument list (including selector) in TREE_VALUE.
6157 (*(<abstract_decl>(*)())_msg)(receiver, selTransTbl[n], ...);
6158 (*(<abstract_decl>(*)())_msgSuper)(receiver, selTransTbl[n], ...); */
6161 objc_build_message_expr (tree mess)
6163 tree receiver = TREE_PURPOSE (mess);
6166 tree args = TREE_PURPOSE (TREE_VALUE (mess));
6168 tree args = TREE_VALUE (mess);
6170 tree method_params = NULL_TREE;
6172 if (TREE_CODE (receiver) == ERROR_MARK)
6173 return error_mark_node;
6175 /* Obtain the full selector name. */
6176 if (TREE_CODE (args) == IDENTIFIER_NODE)
6177 /* A unary selector. */
6179 else if (TREE_CODE (args) == TREE_LIST)
6180 sel_name = build_keyword_selector (args);
6184 /* Build the parameter list to give to the method. */
6185 if (TREE_CODE (args) == TREE_LIST)
6187 method_params = chainon (args, TREE_VALUE (TREE_VALUE (mess)));
6190 tree chain = args, prev = NULL_TREE;
6192 /* We have a keyword selector--check for comma expressions. */
6195 tree element = TREE_VALUE (chain);
6197 /* We have a comma expression, must collapse... */
6198 if (TREE_CODE (element) == TREE_LIST)
6201 TREE_CHAIN (prev) = element;
6206 chain = TREE_CHAIN (chain);
6208 method_params = args;
6213 if (processing_template_decl)
6214 /* Must wait until template instantiation time. */
6215 return build_min_nt (MESSAGE_SEND_EXPR, receiver, sel_name,
6219 return objc_finish_message_expr (receiver, sel_name, method_params);
6222 /* Look up method SEL_NAME that would be suitable for receiver
6223 of type 'id' (if IS_CLASS is zero) or 'Class' (if IS_CLASS is
6224 nonzero), and report on any duplicates. */
6227 lookup_method_in_hash_lists (tree sel_name, int is_class)
6229 hash method_prototype = NULL;
6232 method_prototype = hash_lookup (nst_method_hash_list,
6235 if (!method_prototype)
6237 method_prototype = hash_lookup (cls_method_hash_list,
6242 return check_duplicates (method_prototype, 1, is_class);
6245 /* The 'objc_finish_message_expr' routine is called from within
6246 'objc_build_message_expr' for non-template functions. In the case of
6247 C++ template functions, it is called from 'build_expr_from_tree'
6248 (in decl2.c) after RECEIVER and METHOD_PARAMS have been expanded. */
6251 objc_finish_message_expr (tree receiver, tree sel_name, tree method_params)
6253 tree method_prototype = NULL_TREE, rprotos = NULL_TREE, rtype;
6254 tree selector, retval, class_tree;
6255 int self, super, have_cast;
6257 /* Extract the receiver of the message, as well as its type
6258 (where the latter may take the form of a cast or be inferred
6259 from the implementation context). */
6261 while (TREE_CODE (rtype) == COMPOUND_EXPR
6262 || TREE_CODE (rtype) == MODIFY_EXPR
6263 || TREE_CODE (rtype) == NOP_EXPR
6264 || TREE_CODE (rtype) == CONVERT_EXPR
6265 || TREE_CODE (rtype) == COMPONENT_REF)
6266 rtype = TREE_OPERAND (rtype, 0);
6267 self = (rtype == self_decl);
6268 super = (rtype == UOBJC_SUPER_decl);
6269 rtype = TREE_TYPE (receiver);
6270 have_cast = (TREE_CODE (receiver) == NOP_EXPR
6271 || (TREE_CODE (receiver) == COMPOUND_EXPR
6272 && !IS_SUPER (rtype)));
6274 /* If we are calling [super dealloc], reset our warning flag. */
6275 if (super && !strcmp ("dealloc", IDENTIFIER_POINTER (sel_name)))
6276 should_call_super_dealloc = 0;
6278 /* If the receiver is a class object, retrieve the corresponding
6279 @interface, if one exists. */
6280 class_tree = receiver_is_class_object (receiver, self, super);
6282 /* Now determine the receiver type (if an explicit cast has not been
6287 rtype = lookup_interface (class_tree);
6288 /* Handle `self' and `super'. */
6291 if (!CLASS_SUPER_NAME (implementation_template))
6293 error ("no super class declared in @interface for %qs",
6294 IDENTIFIER_POINTER (CLASS_NAME (implementation_template)));
6295 return error_mark_node;
6297 rtype = lookup_interface (CLASS_SUPER_NAME (implementation_template));
6300 rtype = lookup_interface (CLASS_NAME (implementation_template));
6303 /* If receiver is of type `id' or `Class' (or if the @interface for a
6304 class is not visible), we shall be satisfied with the existence of
6305 any instance or class method. */
6306 if (objc_is_id (rtype))
6308 class_tree = (IS_CLASS (rtype) ? objc_class_name : NULL_TREE);
6309 rprotos = (TYPE_HAS_OBJC_INFO (TREE_TYPE (rtype))
6310 ? TYPE_OBJC_PROTOCOL_LIST (TREE_TYPE (rtype))
6316 /* If messaging 'id <Protos>' or 'Class <Proto>', first search
6317 in protocols themselves for the method prototype. */
6319 = lookup_method_in_protocol_list (rprotos, sel_name,
6320 class_tree != NULL_TREE);
6322 /* If messaging 'Class <Proto>' but did not find a class method
6323 prototype, search for an instance method instead, and warn
6324 about having done so. */
6325 if (!method_prototype && !rtype && class_tree != NULL_TREE)
6328 = lookup_method_in_protocol_list (rprotos, sel_name, 0);
6330 if (method_prototype)
6331 warning (0, "found %<-%s%> instead of %<+%s%> in protocol(s)",
6332 IDENTIFIER_POINTER (sel_name),
6333 IDENTIFIER_POINTER (sel_name));
6339 tree orig_rtype = rtype, saved_rtype;
6341 if (TREE_CODE (rtype) == POINTER_TYPE)
6342 rtype = TREE_TYPE (rtype);
6343 /* Traverse typedef aliases */
6344 while (TREE_CODE (rtype) == RECORD_TYPE && OBJC_TYPE_NAME (rtype)
6345 && TREE_CODE (OBJC_TYPE_NAME (rtype)) == TYPE_DECL
6346 && DECL_ORIGINAL_TYPE (OBJC_TYPE_NAME (rtype)))
6347 rtype = DECL_ORIGINAL_TYPE (OBJC_TYPE_NAME (rtype));
6348 saved_rtype = rtype;
6349 if (TYPED_OBJECT (rtype))
6351 rprotos = TYPE_OBJC_PROTOCOL_LIST (rtype);
6352 rtype = TYPE_OBJC_INTERFACE (rtype);
6354 /* If we could not find an @interface declaration, we must have
6355 only seen a @class declaration; so, we cannot say anything
6356 more intelligent about which methods the receiver will
6358 if (!rtype || TREE_CODE (rtype) == IDENTIFIER_NODE)
6360 else if (TREE_CODE (rtype) == CLASS_INTERFACE_TYPE
6361 || TREE_CODE (rtype) == CLASS_IMPLEMENTATION_TYPE)
6363 /* We have a valid ObjC class name. Look up the method name
6364 in the published @interface for the class (and its
6367 = lookup_method_static (rtype, sel_name, class_tree != NULL_TREE);
6369 /* If the method was not found in the @interface, it may still
6370 exist locally as part of the @implementation. */
6371 if (!method_prototype && objc_implementation_context
6372 && CLASS_NAME (objc_implementation_context)
6373 == OBJC_TYPE_NAME (rtype))
6377 ? CLASS_CLS_METHODS (objc_implementation_context)
6378 : CLASS_NST_METHODS (objc_implementation_context)),
6381 /* If we haven't found a candidate method by now, try looking for
6382 it in the protocol list. */
6383 if (!method_prototype && rprotos)
6385 = lookup_method_in_protocol_list (rprotos, sel_name,
6386 class_tree != NULL_TREE);
6390 warning (0, "invalid receiver type %qs",
6391 gen_type_name (orig_rtype));
6392 /* After issuing the "invalid receiver" warning, perform method
6393 lookup as if we were messaging 'id'. */
6394 rtype = rprotos = NULL_TREE;
6399 /* For 'id' or 'Class' receivers, search in the global hash table
6400 as a last resort. For all receivers, warn if protocol searches
6402 if (!method_prototype)
6405 warning (0, "%<%c%s%> not found in protocol(s)",
6406 (class_tree ? '+' : '-'),
6407 IDENTIFIER_POINTER (sel_name));
6411 = lookup_method_in_hash_lists (sel_name, class_tree != NULL_TREE);
6414 if (!method_prototype)
6416 static bool warn_missing_methods = false;
6419 warning (0, "%qs may not respond to %<%c%s%>",
6420 IDENTIFIER_POINTER (OBJC_TYPE_NAME (rtype)),
6421 (class_tree ? '+' : '-'),
6422 IDENTIFIER_POINTER (sel_name));
6423 /* If we are messaging an 'id' or 'Class' object and made it here,
6424 then we have failed to find _any_ instance or class method,
6427 warning (0, "no %<%c%s%> method found",
6428 (class_tree ? '+' : '-'),
6429 IDENTIFIER_POINTER (sel_name));
6431 if (!warn_missing_methods)
6433 warning (0, "(Messages without a matching method signature");
6434 warning (0, "will be assumed to return %<id%> and accept");
6435 warning (0, "%<...%> as arguments.)");
6436 warn_missing_methods = true;
6440 /* Save the selector name for printing error messages. */
6441 current_objc_message_selector = sel_name;
6443 /* Build the parameters list for looking up the method.
6444 These are the object itself and the selector. */
6446 if (flag_typed_selectors)
6447 selector = build_typed_selector_reference (sel_name, method_prototype);
6449 selector = build_selector_reference (sel_name);
6451 retval = build_objc_method_call (super, method_prototype,
6453 selector, method_params);
6455 current_objc_message_selector = 0;
6460 /* Build a tree expression to send OBJECT the operation SELECTOR,
6461 looking up the method on object LOOKUP_OBJECT (often same as OBJECT),
6462 assuming the method has prototype METHOD_PROTOTYPE.
6463 (That is an INSTANCE_METHOD_DECL or CLASS_METHOD_DECL.)
6464 Use METHOD_PARAMS as list of args to pass to the method.
6465 If SUPER_FLAG is nonzero, we look up the superclass's method. */
6468 build_objc_method_call (int super_flag, tree method_prototype,
6469 tree lookup_object, tree selector,
6472 tree sender = (super_flag ? umsg_super_decl :
6473 (!flag_next_runtime || flag_nil_receivers
6474 ? (flag_objc_direct_dispatch
6477 : umsg_nonnil_decl));
6478 tree rcv_p = (super_flag ? objc_super_type : objc_object_type);
6480 /* If a prototype for the method to be called exists, then cast
6481 the sender's return type and arguments to match that of the method.
6482 Otherwise, leave sender as is. */
6485 ? TREE_VALUE (TREE_TYPE (method_prototype))
6486 : objc_object_type);
6488 = build_pointer_type
6489 (build_function_type
6492 (method_prototype, METHOD_REF, super_flag)));
6495 lookup_object = build_c_cast (rcv_p, lookup_object);
6497 /* Use SAVE_EXPR to avoid evaluating the receiver twice. */
6498 lookup_object = save_expr (lookup_object);
6500 if (flag_next_runtime)
6502 /* If we are returning a struct in memory, and the address
6503 of that memory location is passed as a hidden first
6504 argument, then change which messenger entry point this
6505 expr will call. NB: Note that sender_cast remains
6506 unchanged (it already has a struct return type). */
6507 if (!targetm.calls.struct_value_rtx (0, 0)
6508 && (TREE_CODE (ret_type) == RECORD_TYPE
6509 || TREE_CODE (ret_type) == UNION_TYPE)
6510 && targetm.calls.return_in_memory (ret_type, 0))
6511 sender = (super_flag ? umsg_super_stret_decl :
6512 flag_nil_receivers ? umsg_stret_decl : umsg_nonnil_stret_decl);
6514 method_params = tree_cons (NULL_TREE, lookup_object,
6515 tree_cons (NULL_TREE, selector,
6517 method = build_fold_addr_expr (sender);
6521 /* This is the portable (GNU) way. */
6524 /* First, call the lookup function to get a pointer to the method,
6525 then cast the pointer, then call it with the method arguments. */
6527 object = (super_flag ? self_decl : lookup_object);
6529 t = tree_cons (NULL_TREE, selector, NULL_TREE);
6530 t = tree_cons (NULL_TREE, lookup_object, t);
6531 method = build_function_call (sender, t);
6533 /* Pass the object to the method. */
6534 method_params = tree_cons (NULL_TREE, object,
6535 tree_cons (NULL_TREE, selector,
6539 /* ??? Selector is not at this point something we can use inside
6540 the compiler itself. Set it to garbage for the nonce. */
6541 t = build3 (OBJ_TYPE_REF, sender_cast, method, lookup_object, size_zero_node);
6542 return build_function_call (t, method_params);
6546 build_protocol_reference (tree p)
6549 const char *proto_name;
6551 /* static struct _objc_protocol _OBJC_PROTOCOL_<mumble>; */
6553 proto_name = synth_id_with_class_suffix ("_OBJC_PROTOCOL", p);
6554 decl = start_var_decl (objc_protocol_template, proto_name);
6556 PROTOCOL_FORWARD_DECL (p) = decl;
6559 /* This function is called by the parser when (and only when) a
6560 @protocol() expression is found, in order to compile it. */
6562 objc_build_protocol_expr (tree protoname)
6565 tree p = lookup_protocol (protoname);
6569 error ("cannot find protocol declaration for %qs",
6570 IDENTIFIER_POINTER (protoname));
6571 return error_mark_node;
6574 if (!PROTOCOL_FORWARD_DECL (p))
6575 build_protocol_reference (p);
6577 expr = build_unary_op (ADDR_EXPR, PROTOCOL_FORWARD_DECL (p), 0);
6579 /* ??? Ideally we'd build the reference with objc_protocol_type directly,
6580 if we have it, rather than converting it here. */
6581 expr = convert (objc_protocol_type, expr);
6583 /* The @protocol() expression is being compiled into a pointer to a
6584 statically allocated instance of the Protocol class. To become
6585 usable at runtime, the 'isa' pointer of the instance need to be
6586 fixed up at runtime by the runtime library, to point to the
6587 actual 'Protocol' class. */
6589 /* For the GNU runtime, put the static Protocol instance in the list
6590 of statically allocated instances, so that we make sure that its
6591 'isa' pointer is fixed up at runtime by the GNU runtime library
6592 to point to the Protocol class (at runtime, when loading the
6593 module, the GNU runtime library loops on the statically allocated
6594 instances (as found in the defs field in objc_symtab) and fixups
6595 all the 'isa' pointers of those objects). */
6596 if (! flag_next_runtime)
6598 /* This type is a struct containing the fields of a Protocol
6599 object. (Cfr. objc_protocol_type instead is the type of a pointer
6600 to such a struct). */
6601 tree protocol_struct_type = xref_tag
6602 (RECORD_TYPE, get_identifier (PROTOCOL_OBJECT_CLASS_NAME));
6605 /* Look for the list of Protocol statically allocated instances
6606 to fixup at runtime. Create a new list to hold Protocol
6607 statically allocated instances, if the list is not found. At
6608 present there is only another list, holding NSConstantString
6609 static instances to be fixed up at runtime. */
6610 for (chain = &objc_static_instances;
6611 *chain && TREE_VALUE (*chain) != protocol_struct_type;
6612 chain = &TREE_CHAIN (*chain));
6615 *chain = tree_cons (NULL_TREE, protocol_struct_type, NULL_TREE);
6616 add_objc_string (OBJC_TYPE_NAME (protocol_struct_type),
6620 /* Add this statically allocated instance to the Protocol list. */
6621 TREE_PURPOSE (*chain) = tree_cons (NULL_TREE,
6622 PROTOCOL_FORWARD_DECL (p),
6623 TREE_PURPOSE (*chain));
6630 /* This function is called by the parser when a @selector() expression
6631 is found, in order to compile it. It is only called by the parser
6632 and only to compile a @selector(). */
6634 objc_build_selector_expr (tree selnamelist)
6638 /* Obtain the full selector name. */
6639 if (TREE_CODE (selnamelist) == IDENTIFIER_NODE)
6640 /* A unary selector. */
6641 selname = selnamelist;
6642 else if (TREE_CODE (selnamelist) == TREE_LIST)
6643 selname = build_keyword_selector (selnamelist);
6647 /* If we are required to check @selector() expressions as they
6648 are found, check that the selector has been declared. */
6649 if (warn_undeclared_selector)
6651 /* Look the selector up in the list of all known class and
6652 instance methods (up to this line) to check that the selector
6656 /* First try with instance methods. */
6657 hsh = hash_lookup (nst_method_hash_list, selname);
6659 /* If not found, try with class methods. */
6662 hsh = hash_lookup (cls_method_hash_list, selname);
6665 /* If still not found, print out a warning. */
6668 warning (0, "undeclared selector %qs", IDENTIFIER_POINTER (selname));
6673 if (flag_typed_selectors)
6674 return build_typed_selector_reference (selname, 0);
6676 return build_selector_reference (selname);
6680 objc_build_encode_expr (tree type)
6685 encode_type (type, obstack_object_size (&util_obstack),
6686 OBJC_ENCODE_INLINE_DEFS);
6687 obstack_1grow (&util_obstack, 0); /* null terminate string */
6688 string = obstack_finish (&util_obstack);
6690 /* Synthesize a string that represents the encoded struct/union. */
6691 result = my_build_string (strlen (string) + 1, string);
6692 obstack_free (&util_obstack, util_firstobj);
6697 build_ivar_reference (tree id)
6699 if (TREE_CODE (objc_method_context) == CLASS_METHOD_DECL)
6701 /* Historically, a class method that produced objects (factory
6702 method) would assign `self' to the instance that it
6703 allocated. This would effectively turn the class method into
6704 an instance method. Following this assignment, the instance
6705 variables could be accessed. That practice, while safe,
6706 violates the simple rule that a class method should not refer
6707 to an instance variable. It's better to catch the cases
6708 where this is done unknowingly than to support the above
6710 warning (0, "instance variable %qs accessed in class method",
6711 IDENTIFIER_POINTER (id));
6712 self_decl = convert (objc_instance_type, self_decl); /* cast */
6715 return objc_build_component_ref (build_indirect_ref (self_decl, "->"), id);
6718 /* Compute a hash value for a given method SEL_NAME. */
6721 hash_func (tree sel_name)
6723 const unsigned char *s
6724 = (const unsigned char *)IDENTIFIER_POINTER (sel_name);
6728 h = h * 67 + *s++ - 113;
6735 nst_method_hash_list
6736 = (hash *) ggc_alloc_cleared (SIZEHASHTABLE * sizeof (hash));
6737 cls_method_hash_list
6738 = (hash *) ggc_alloc_cleared (SIZEHASHTABLE * sizeof (hash));
6740 /* Initialize the hash table used to hold the constant string objects. */
6741 string_htab = htab_create_ggc (31, string_hash,
6744 /* Initialize the hash table used to hold EH-volatilized types. */
6745 volatilized_htab = htab_create_ggc (31, volatilized_hash,
6746 volatilized_eq, NULL);
6749 /* WARNING!!!! hash_enter is called with a method, and will peek
6750 inside to find its selector! But hash_lookup is given a selector
6751 directly, and looks for the selector that's inside the found
6752 entry's key (method) for comparison. */
6755 hash_enter (hash *hashlist, tree method)
6758 int slot = hash_func (METHOD_SEL_NAME (method)) % SIZEHASHTABLE;
6760 obj = (hash) ggc_alloc (sizeof (struct hashed_entry));
6762 obj->next = hashlist[slot];
6765 hashlist[slot] = obj; /* append to front */
6769 hash_lookup (hash *hashlist, tree sel_name)
6773 target = hashlist[hash_func (sel_name) % SIZEHASHTABLE];
6777 if (sel_name == METHOD_SEL_NAME (target->key))
6780 target = target->next;
6786 hash_add_attr (hash entry, tree value)
6790 obj = (attr) ggc_alloc (sizeof (struct hashed_attribute));
6791 obj->next = entry->list;
6794 entry->list = obj; /* append to front */
6798 lookup_method (tree mchain, tree method)
6802 if (TREE_CODE (method) == IDENTIFIER_NODE)
6805 key = METHOD_SEL_NAME (method);
6809 if (METHOD_SEL_NAME (mchain) == key)
6812 mchain = TREE_CHAIN (mchain);
6817 /* Look up a class (if OBJC_LOOKUP_CLASS is set in FLAGS) or instance method
6818 in INTERFACE, along with any categories and protocols attached thereto.
6819 If method is not found, and the OBJC_LOOKUP_NO_SUPER is _not_ set in FLAGS,
6820 recursively examine the INTERFACE's superclass. If OBJC_LOOKUP_CLASS is
6821 set, OBJC_LOOKUP_NO_SUPER is cleared, and no suitable class method could
6822 be found in INTERFACE or any of its superclasses, look for an _instance_
6823 method of the same name in the root class as a last resort.
6825 If a suitable method cannot be found, return NULL_TREE. */
6828 lookup_method_static (tree interface, tree ident, int flags)
6830 tree meth = NULL_TREE, root_inter = NULL_TREE;
6831 tree inter = interface;
6832 int is_class = (flags & OBJC_LOOKUP_CLASS);
6833 int no_superclasses = (flags & OBJC_LOOKUP_NO_SUPER);
6837 tree chain = is_class ? CLASS_CLS_METHODS (inter) : CLASS_NST_METHODS (inter);
6838 tree category = inter;
6840 /* First, look up the method in the class itself. */
6841 if ((meth = lookup_method (chain, ident)))
6844 /* Failing that, look for the method in each category of the class. */
6845 while ((category = CLASS_CATEGORY_LIST (category)))
6847 chain = is_class ? CLASS_CLS_METHODS (category) : CLASS_NST_METHODS (category);
6849 /* Check directly in each category. */
6850 if ((meth = lookup_method (chain, ident)))
6853 /* Failing that, check in each category's protocols. */
6854 if (CLASS_PROTOCOL_LIST (category))
6856 if ((meth = (lookup_method_in_protocol_list
6857 (CLASS_PROTOCOL_LIST (category), ident, is_class))))
6862 /* If not found in categories, check in protocols of the main class. */
6863 if (CLASS_PROTOCOL_LIST (inter))
6865 if ((meth = (lookup_method_in_protocol_list
6866 (CLASS_PROTOCOL_LIST (inter), ident, is_class))))
6870 /* If we were instructed not to look in superclasses, don't. */
6871 if (no_superclasses)
6874 /* Failing that, climb up the inheritance hierarchy. */
6876 inter = lookup_interface (CLASS_SUPER_NAME (inter));
6880 /* If no class (factory) method was found, check if an _instance_
6881 method of the same name exists in the root class. This is what
6882 the Objective-C runtime will do. If an instance method was not
6884 return is_class ? lookup_method_static (root_inter, ident, 0): NULL_TREE;
6887 /* Add the method to the hash list if it doesn't contain an identical
6891 add_method_to_hash_list (hash *hash_list, tree method)
6895 if (!(hsh = hash_lookup (hash_list, METHOD_SEL_NAME (method))))
6897 /* Install on a global chain. */
6898 hash_enter (hash_list, method);
6902 /* Check types against those; if different, add to a list. */
6904 int already_there = comp_proto_with_proto (method, hsh->key, 1);
6905 for (loop = hsh->list; !already_there && loop; loop = loop->next)
6906 already_there |= comp_proto_with_proto (method, loop->value, 1);
6908 hash_add_attr (hsh, method);
6913 objc_add_method (tree class, tree method, int is_class)
6917 if (!(mth = lookup_method (is_class
6918 ? CLASS_CLS_METHODS (class)
6919 : CLASS_NST_METHODS (class), method)))
6921 /* put method on list in reverse order */
6924 TREE_CHAIN (method) = CLASS_CLS_METHODS (class);
6925 CLASS_CLS_METHODS (class) = method;
6929 TREE_CHAIN (method) = CLASS_NST_METHODS (class);
6930 CLASS_NST_METHODS (class) = method;
6935 /* When processing an @interface for a class or category, give hard
6936 errors on methods with identical selectors but differing argument
6937 and/or return types. We do not do this for @implementations, because
6938 C/C++ will do it for us (i.e., there will be duplicate function
6939 definition errors). */
6940 if ((TREE_CODE (class) == CLASS_INTERFACE_TYPE
6941 || TREE_CODE (class) == CATEGORY_INTERFACE_TYPE)
6942 && !comp_proto_with_proto (method, mth, 1))
6943 error ("duplicate declaration of method %<%c%s%>",
6944 is_class ? '+' : '-',
6945 IDENTIFIER_POINTER (METHOD_SEL_NAME (mth)));
6949 add_method_to_hash_list (cls_method_hash_list, method);
6952 add_method_to_hash_list (nst_method_hash_list, method);
6954 /* Instance methods in root classes (and categories thereof)
6955 may act as class methods as a last resort. We also add
6956 instance methods listed in @protocol declarations to
6957 the class hash table, on the assumption that @protocols
6958 may be adopted by root classes or categories. */
6959 if (TREE_CODE (class) == CATEGORY_INTERFACE_TYPE
6960 || TREE_CODE (class) == CATEGORY_IMPLEMENTATION_TYPE)
6961 class = lookup_interface (CLASS_NAME (class));
6963 if (TREE_CODE (class) == PROTOCOL_INTERFACE_TYPE
6964 || !CLASS_SUPER_NAME (class))
6965 add_method_to_hash_list (cls_method_hash_list, method);
6972 add_class (tree class_name, tree name)
6974 struct interface_tuple **slot;
6976 /* Put interfaces on list in reverse order. */
6977 TREE_CHAIN (class_name) = interface_chain;
6978 interface_chain = class_name;
6980 if (interface_htab == NULL)
6981 interface_htab = htab_create_ggc (31, hash_interface, eq_interface, NULL);
6982 slot = (struct interface_tuple **)
6983 htab_find_slot_with_hash (interface_htab, name,
6984 IDENTIFIER_HASH_VALUE (name),
6988 *slot = (struct interface_tuple *) ggc_alloc_cleared (sizeof (struct interface_tuple));
6991 (*slot)->class_name = class_name;
6993 return interface_chain;
6997 add_category (tree class, tree category)
6999 /* Put categories on list in reverse order. */
7000 tree cat = lookup_category (class, CLASS_SUPER_NAME (category));
7004 warning (0, "duplicate interface declaration for category %<%s(%s)%>",
7005 IDENTIFIER_POINTER (CLASS_NAME (class)),
7006 IDENTIFIER_POINTER (CLASS_SUPER_NAME (category)));
7010 CLASS_CATEGORY_LIST (category) = CLASS_CATEGORY_LIST (class);
7011 CLASS_CATEGORY_LIST (class) = category;
7015 /* Called after parsing each instance variable declaration. Necessary to
7016 preserve typedefs and implement public/private...
7018 PUBLIC is 1 for public, 0 for protected, and 2 for private. */
7021 add_instance_variable (tree class, int public, tree field_decl)
7023 tree field_type = TREE_TYPE (field_decl);
7024 const char *ivar_name = DECL_NAME (field_decl)
7025 ? IDENTIFIER_POINTER (DECL_NAME (field_decl))
7029 if (TREE_CODE (field_type) == REFERENCE_TYPE)
7031 error ("illegal reference type specified for instance variable %qs",
7033 /* Return class as is without adding this ivar. */
7038 if (field_type == error_mark_node || !TYPE_SIZE (field_type)
7039 || TYPE_SIZE (field_type) == error_mark_node)
7040 /* 'type[0]' is allowed, but 'type[]' is not! */
7042 error ("instance variable %qs has unknown size", ivar_name);
7043 /* Return class as is without adding this ivar. */
7048 /* Check if the ivar being added has a non-POD C++ type. If so, we will
7049 need to either (1) warn the user about it or (2) generate suitable
7050 constructor/destructor call from '- .cxx_construct' or '- .cxx_destruct'
7051 methods (if '-fobjc-call-cxx-cdtors' was specified). */
7052 if (IS_AGGR_TYPE (field_type)
7053 && (TYPE_NEEDS_CONSTRUCTING (field_type)
7054 || TYPE_HAS_NONTRIVIAL_DESTRUCTOR (field_type)
7055 || TYPE_POLYMORPHIC_P (field_type)))
7057 const char *type_name = IDENTIFIER_POINTER (OBJC_TYPE_NAME (field_type));
7059 if (flag_objc_call_cxx_cdtors)
7061 /* Since the ObjC runtime will be calling the constructors and
7062 destructors for us, the only thing we can't handle is the lack
7063 of a default constructor. */
7064 if (TYPE_NEEDS_CONSTRUCTING (field_type)
7065 && !TYPE_HAS_DEFAULT_CONSTRUCTOR (field_type))
7067 warning (0, "type %qs has no default constructor to call",
7070 /* If we cannot call a constructor, we should also avoid
7071 calling the destructor, for symmetry. */
7072 if (TYPE_HAS_NONTRIVIAL_DESTRUCTOR (field_type))
7073 warning (0, "destructor for %qs shall not be run either",
7079 static bool warn_cxx_ivars = false;
7081 if (TYPE_POLYMORPHIC_P (field_type))
7083 /* Vtable pointers are Real Bad(tm), since Obj-C cannot
7085 error ("type %qs has virtual member functions", type_name);
7086 error ("illegal aggregate type %qs specified "
7087 "for instance variable %qs",
7088 type_name, ivar_name);
7089 /* Return class as is without adding this ivar. */
7093 /* User-defined constructors and destructors are not known to Obj-C
7094 and hence will not be called. This may or may not be a problem. */
7095 if (TYPE_NEEDS_CONSTRUCTING (field_type))
7096 warning (0, "type %qs has a user-defined constructor", type_name);
7097 if (TYPE_HAS_NONTRIVIAL_DESTRUCTOR (field_type))
7098 warning (0, "type %qs has a user-defined destructor", type_name);
7100 if (!warn_cxx_ivars)
7102 warning (0, "C++ constructors and destructors will not "
7103 "be invoked for Objective-C fields");
7104 warn_cxx_ivars = true;
7110 /* Overload the public attribute, it is not used for FIELD_DECLs. */
7114 TREE_PUBLIC (field_decl) = 0;
7115 TREE_PRIVATE (field_decl) = 0;
7116 TREE_PROTECTED (field_decl) = 1;
7120 TREE_PUBLIC (field_decl) = 1;
7121 TREE_PRIVATE (field_decl) = 0;
7122 TREE_PROTECTED (field_decl) = 0;
7126 TREE_PUBLIC (field_decl) = 0;
7127 TREE_PRIVATE (field_decl) = 1;
7128 TREE_PROTECTED (field_decl) = 0;
7133 CLASS_RAW_IVARS (class) = chainon (CLASS_RAW_IVARS (class), field_decl);
7139 is_ivar (tree decl_chain, tree ident)
7141 for ( ; decl_chain; decl_chain = TREE_CHAIN (decl_chain))
7142 if (DECL_NAME (decl_chain) == ident)
7147 /* True if the ivar is private and we are not in its implementation. */
7150 is_private (tree decl)
7152 return (TREE_PRIVATE (decl)
7153 && ! is_ivar (CLASS_IVARS (implementation_template),
7157 /* We have an instance variable reference;, check to see if it is public. */
7160 objc_is_public (tree expr, tree identifier)
7162 tree basetype, decl;
7165 if (processing_template_decl)
7169 if (TREE_TYPE (expr) == error_mark_node)
7172 basetype = TYPE_MAIN_VARIANT (TREE_TYPE (expr));
7174 if (basetype && TREE_CODE (basetype) == RECORD_TYPE)
7176 if (TYPE_HAS_OBJC_INFO (basetype) && TYPE_OBJC_INTERFACE (basetype))
7178 tree class = lookup_interface (OBJC_TYPE_NAME (basetype));
7182 error ("cannot find interface declaration for %qs",
7183 IDENTIFIER_POINTER (OBJC_TYPE_NAME (basetype)));
7187 if ((decl = is_ivar (get_class_ivars (class, true), identifier)))
7189 if (TREE_PUBLIC (decl))
7192 /* Important difference between the Stepstone translator:
7193 all instance variables should be public within the context
7194 of the implementation. */
7195 if (objc_implementation_context
7196 && ((TREE_CODE (objc_implementation_context)
7197 == CLASS_IMPLEMENTATION_TYPE)
7198 || (TREE_CODE (objc_implementation_context)
7199 == CATEGORY_IMPLEMENTATION_TYPE)))
7201 tree curtype = TYPE_MAIN_VARIANT
7202 (CLASS_STATIC_TEMPLATE
7203 (implementation_template));
7205 if (basetype == curtype
7206 || DERIVED_FROM_P (basetype, curtype))
7208 int private = is_private (decl);
7211 error ("instance variable %qs is declared private",
7212 IDENTIFIER_POINTER (DECL_NAME (decl)));
7218 /* The 2.95.2 compiler sometimes allowed C functions to access
7219 non-@public ivars. We will let this slide for now... */
7220 if (!objc_method_context)
7222 warning (0, "instance variable %qs is %s; "
7223 "this will be a hard error in the future",
7224 IDENTIFIER_POINTER (identifier),
7225 TREE_PRIVATE (decl) ? "@private" : "@protected");
7229 error ("instance variable %qs is declared %s",
7230 IDENTIFIER_POINTER (identifier),
7231 TREE_PRIVATE (decl) ? "private" : "protected");
7240 /* Make sure all entries in CHAIN are also in LIST. */
7243 check_methods (tree chain, tree list, int mtype)
7249 if (!lookup_method (list, chain))
7253 if (TREE_CODE (objc_implementation_context)
7254 == CLASS_IMPLEMENTATION_TYPE)
7255 warning (0, "incomplete implementation of class %qs",
7256 IDENTIFIER_POINTER (CLASS_NAME (objc_implementation_context)));
7257 else if (TREE_CODE (objc_implementation_context)
7258 == CATEGORY_IMPLEMENTATION_TYPE)
7259 warning (0, "incomplete implementation of category %qs",
7260 IDENTIFIER_POINTER (CLASS_SUPER_NAME (objc_implementation_context)));
7264 warning (0, "method definition for %<%c%s%> not found",
7265 mtype, IDENTIFIER_POINTER (METHOD_SEL_NAME (chain)));
7268 chain = TREE_CHAIN (chain);
7274 /* Check if CLASS, or its superclasses, explicitly conforms to PROTOCOL. */
7277 conforms_to_protocol (tree class, tree protocol)
7279 if (TREE_CODE (protocol) == PROTOCOL_INTERFACE_TYPE)
7281 tree p = CLASS_PROTOCOL_LIST (class);
7282 while (p && TREE_VALUE (p) != protocol)
7287 tree super = (CLASS_SUPER_NAME (class)
7288 ? lookup_interface (CLASS_SUPER_NAME (class))
7290 int tmp = super ? conforms_to_protocol (super, protocol) : 0;
7299 /* Make sure all methods in CHAIN are accessible as MTYPE methods in
7300 CONTEXT. This is one of two mechanisms to check protocol integrity. */
7303 check_methods_accessible (tree chain, tree context, int mtype)
7307 tree base_context = context;
7311 context = base_context;
7315 list = CLASS_CLS_METHODS (context);
7317 list = CLASS_NST_METHODS (context);
7319 if (lookup_method (list, chain))
7322 else if (TREE_CODE (context) == CLASS_IMPLEMENTATION_TYPE
7323 || TREE_CODE (context) == CLASS_INTERFACE_TYPE)
7324 context = (CLASS_SUPER_NAME (context)
7325 ? lookup_interface (CLASS_SUPER_NAME (context))
7328 else if (TREE_CODE (context) == CATEGORY_IMPLEMENTATION_TYPE
7329 || TREE_CODE (context) == CATEGORY_INTERFACE_TYPE)
7330 context = (CLASS_NAME (context)
7331 ? lookup_interface (CLASS_NAME (context))
7337 if (context == NULL_TREE)
7341 if (TREE_CODE (objc_implementation_context)
7342 == CLASS_IMPLEMENTATION_TYPE)
7343 warning (0, "incomplete implementation of class %qs",
7345 (CLASS_NAME (objc_implementation_context)));
7346 else if (TREE_CODE (objc_implementation_context)
7347 == CATEGORY_IMPLEMENTATION_TYPE)
7348 warning (0, "incomplete implementation of category %qs",
7350 (CLASS_SUPER_NAME (objc_implementation_context)));
7353 warning (0, "method definition for %<%c%s%> not found",
7354 mtype, IDENTIFIER_POINTER (METHOD_SEL_NAME (chain)));
7357 chain = TREE_CHAIN (chain); /* next method... */
7362 /* Check whether the current interface (accessible via
7363 'objc_implementation_context') actually implements protocol P, along
7364 with any protocols that P inherits. */
7367 check_protocol (tree p, const char *type, const char *name)
7369 if (TREE_CODE (p) == PROTOCOL_INTERFACE_TYPE)
7373 /* Ensure that all protocols have bodies! */
7376 f1 = check_methods (PROTOCOL_CLS_METHODS (p),
7377 CLASS_CLS_METHODS (objc_implementation_context),
7379 f2 = check_methods (PROTOCOL_NST_METHODS (p),
7380 CLASS_NST_METHODS (objc_implementation_context),
7385 f1 = check_methods_accessible (PROTOCOL_CLS_METHODS (p),
7386 objc_implementation_context,
7388 f2 = check_methods_accessible (PROTOCOL_NST_METHODS (p),
7389 objc_implementation_context,
7394 warning (0, "%s %qs does not fully implement the %qs protocol",
7395 type, name, IDENTIFIER_POINTER (PROTOCOL_NAME (p)));
7398 /* Check protocols recursively. */
7399 if (PROTOCOL_LIST (p))
7401 tree subs = PROTOCOL_LIST (p);
7403 lookup_interface (CLASS_SUPER_NAME (implementation_template));
7407 tree sub = TREE_VALUE (subs);
7409 /* If the superclass does not conform to the protocols
7410 inherited by P, then we must! */
7411 if (!super_class || !conforms_to_protocol (super_class, sub))
7412 check_protocol (sub, type, name);
7413 subs = TREE_CHAIN (subs);
7418 /* Check whether the current interface (accessible via
7419 'objc_implementation_context') actually implements the protocols listed
7423 check_protocols (tree proto_list, const char *type, const char *name)
7425 for ( ; proto_list; proto_list = TREE_CHAIN (proto_list))
7427 tree p = TREE_VALUE (proto_list);
7429 check_protocol (p, type, name);
7433 /* Make sure that the class CLASS_NAME is defined
7434 CODE says which kind of thing CLASS_NAME ought to be.
7435 It can be CLASS_INTERFACE_TYPE, CLASS_IMPLEMENTATION_TYPE,
7436 CATEGORY_INTERFACE_TYPE, or CATEGORY_IMPLEMENTATION_TYPE. */
7439 start_class (enum tree_code code, tree class_name, tree super_name,
7445 if (current_namespace != global_namespace) {
7446 error ("Objective-C declarations may only appear in global scope");
7448 #endif /* OBJCPLUS */
7450 if (objc_implementation_context)
7452 warning (0, "%<@end%> missing in implementation context");
7453 finish_class (objc_implementation_context);
7454 objc_ivar_chain = NULL_TREE;
7455 objc_implementation_context = NULL_TREE;
7458 class = make_node (code);
7459 TYPE_LANG_SLOT_1 (class) = make_tree_vec (CLASS_LANG_SLOT_ELTS);
7461 /* Check for existence of the super class, if one was specified. Note
7462 that we must have seen an @interface, not just a @class. If we
7463 are looking at a @compatibility_alias, traverse it first. */
7464 if ((code == CLASS_INTERFACE_TYPE || code == CLASS_IMPLEMENTATION_TYPE)
7467 tree super = objc_is_class_name (super_name);
7469 if (!super || !lookup_interface (super))
7471 error ("cannot find interface declaration for %qs, superclass of %qs",
7472 IDENTIFIER_POINTER (super ? super : super_name),
7473 IDENTIFIER_POINTER (class_name));
7474 super_name = NULL_TREE;
7480 CLASS_NAME (class) = class_name;
7481 CLASS_SUPER_NAME (class) = super_name;
7482 CLASS_CLS_METHODS (class) = NULL_TREE;
7484 if (! objc_is_class_name (class_name)
7485 && (decl = lookup_name (class_name)))
7487 error ("%qs redeclared as different kind of symbol",
7488 IDENTIFIER_POINTER (class_name));
7489 error ("previous declaration of %q+D",
7493 if (code == CLASS_IMPLEMENTATION_TYPE)
7498 for (chain = implemented_classes; chain; chain = TREE_CHAIN (chain))
7499 if (TREE_VALUE (chain) == class_name)
7501 error ("reimplementation of class %qs",
7502 IDENTIFIER_POINTER (class_name));
7503 return error_mark_node;
7505 implemented_classes = tree_cons (NULL_TREE, class_name,
7506 implemented_classes);
7509 /* Reset for multiple classes per file. */
7512 objc_implementation_context = class;
7514 /* Lookup the interface for this implementation. */
7516 if (!(implementation_template = lookup_interface (class_name)))
7518 warning (0, "cannot find interface declaration for %qs",
7519 IDENTIFIER_POINTER (class_name));
7520 add_class (implementation_template = objc_implementation_context,
7524 /* If a super class has been specified in the implementation,
7525 insure it conforms to the one specified in the interface. */
7528 && (super_name != CLASS_SUPER_NAME (implementation_template)))
7530 tree previous_name = CLASS_SUPER_NAME (implementation_template);
7531 const char *const name =
7532 previous_name ? IDENTIFIER_POINTER (previous_name) : "";
7533 error ("conflicting super class name %qs",
7534 IDENTIFIER_POINTER (super_name));
7535 error ("previous declaration of %qs", name);
7538 else if (! super_name)
7540 CLASS_SUPER_NAME (objc_implementation_context)
7541 = CLASS_SUPER_NAME (implementation_template);
7545 else if (code == CLASS_INTERFACE_TYPE)
7547 if (lookup_interface (class_name))
7549 error ("duplicate interface declaration for class %qs",
7551 warning (0, "duplicate interface declaration for class %qs",
7553 IDENTIFIER_POINTER (class_name));
7555 add_class (class, class_name);
7558 CLASS_PROTOCOL_LIST (class)
7559 = lookup_and_install_protocols (protocol_list);
7562 else if (code == CATEGORY_INTERFACE_TYPE)
7564 tree class_category_is_assoc_with;
7566 /* For a category, class_name is really the name of the class that
7567 the following set of methods will be associated with. We must
7568 find the interface so that can derive the objects template. */
7570 if (!(class_category_is_assoc_with = lookup_interface (class_name)))
7572 error ("cannot find interface declaration for %qs",
7573 IDENTIFIER_POINTER (class_name));
7574 exit (FATAL_EXIT_CODE);
7577 add_category (class_category_is_assoc_with, class);
7580 CLASS_PROTOCOL_LIST (class)
7581 = lookup_and_install_protocols (protocol_list);
7584 else if (code == CATEGORY_IMPLEMENTATION_TYPE)
7586 /* Reset for multiple classes per file. */
7589 objc_implementation_context = class;
7591 /* For a category, class_name is really the name of the class that
7592 the following set of methods will be associated with. We must
7593 find the interface so that can derive the objects template. */
7595 if (!(implementation_template = lookup_interface (class_name)))
7597 error ("cannot find interface declaration for %qs",
7598 IDENTIFIER_POINTER (class_name));
7599 exit (FATAL_EXIT_CODE);
7606 continue_class (tree class)
7608 if (TREE_CODE (class) == CLASS_IMPLEMENTATION_TYPE
7609 || TREE_CODE (class) == CATEGORY_IMPLEMENTATION_TYPE)
7611 struct imp_entry *imp_entry;
7613 /* Check consistency of the instance variables. */
7615 if (CLASS_RAW_IVARS (class))
7616 check_ivars (implementation_template, class);
7618 /* code generation */
7621 push_lang_context (lang_name_c);
7624 build_private_template (implementation_template);
7625 uprivate_record = CLASS_STATIC_TEMPLATE (implementation_template);
7626 objc_instance_type = build_pointer_type (uprivate_record);
7628 imp_entry = (struct imp_entry *) ggc_alloc (sizeof (struct imp_entry));
7630 imp_entry->next = imp_list;
7631 imp_entry->imp_context = class;
7632 imp_entry->imp_template = implementation_template;
7634 synth_forward_declarations ();
7635 imp_entry->class_decl = UOBJC_CLASS_decl;
7636 imp_entry->meta_decl = UOBJC_METACLASS_decl;
7637 imp_entry->has_cxx_cdtors = 0;
7639 /* Append to front and increment count. */
7640 imp_list = imp_entry;
7641 if (TREE_CODE (class) == CLASS_IMPLEMENTATION_TYPE)
7647 pop_lang_context ();
7648 #endif /* OBJCPLUS */
7650 return get_class_ivars (implementation_template, true);
7653 else if (TREE_CODE (class) == CLASS_INTERFACE_TYPE)
7656 push_lang_context (lang_name_c);
7657 #endif /* OBJCPLUS */
7659 build_private_template (class);
7662 pop_lang_context ();
7663 #endif /* OBJCPLUS */
7669 return error_mark_node;
7672 /* This is called once we see the "@end" in an interface/implementation. */
7675 finish_class (tree class)
7677 if (TREE_CODE (class) == CLASS_IMPLEMENTATION_TYPE)
7679 /* All code generation is done in finish_objc. */
7681 if (implementation_template != objc_implementation_context)
7683 /* Ensure that all method listed in the interface contain bodies. */
7684 check_methods (CLASS_CLS_METHODS (implementation_template),
7685 CLASS_CLS_METHODS (objc_implementation_context), '+');
7686 check_methods (CLASS_NST_METHODS (implementation_template),
7687 CLASS_NST_METHODS (objc_implementation_context), '-');
7689 if (CLASS_PROTOCOL_LIST (implementation_template))
7690 check_protocols (CLASS_PROTOCOL_LIST (implementation_template),
7692 IDENTIFIER_POINTER (CLASS_NAME (objc_implementation_context)));
7696 else if (TREE_CODE (class) == CATEGORY_IMPLEMENTATION_TYPE)
7698 tree category = lookup_category (implementation_template, CLASS_SUPER_NAME (class));
7702 /* Ensure all method listed in the interface contain bodies. */
7703 check_methods (CLASS_CLS_METHODS (category),
7704 CLASS_CLS_METHODS (objc_implementation_context), '+');
7705 check_methods (CLASS_NST_METHODS (category),
7706 CLASS_NST_METHODS (objc_implementation_context), '-');
7708 if (CLASS_PROTOCOL_LIST (category))
7709 check_protocols (CLASS_PROTOCOL_LIST (category),
7711 IDENTIFIER_POINTER (CLASS_SUPER_NAME (objc_implementation_context)));
7717 add_protocol (tree protocol)
7719 /* Put protocol on list in reverse order. */
7720 TREE_CHAIN (protocol) = protocol_chain;
7721 protocol_chain = protocol;
7722 return protocol_chain;
7726 lookup_protocol (tree ident)
7730 for (chain = protocol_chain; chain; chain = TREE_CHAIN (chain))
7731 if (ident == PROTOCOL_NAME (chain))
7737 /* This function forward declares the protocols named by NAMES. If
7738 they are already declared or defined, the function has no effect. */
7741 objc_declare_protocols (tree names)
7746 if (current_namespace != global_namespace) {
7747 error ("Objective-C declarations may only appear in global scope");
7749 #endif /* OBJCPLUS */
7751 for (list = names; list; list = TREE_CHAIN (list))
7753 tree name = TREE_VALUE (list);
7755 if (lookup_protocol (name) == NULL_TREE)
7757 tree protocol = make_node (PROTOCOL_INTERFACE_TYPE);
7759 TYPE_LANG_SLOT_1 (protocol)
7760 = make_tree_vec (PROTOCOL_LANG_SLOT_ELTS);
7761 PROTOCOL_NAME (protocol) = name;
7762 PROTOCOL_LIST (protocol) = NULL_TREE;
7763 add_protocol (protocol);
7764 PROTOCOL_DEFINED (protocol) = 0;
7765 PROTOCOL_FORWARD_DECL (protocol) = NULL_TREE;
7771 start_protocol (enum tree_code code, tree name, tree list)
7776 if (current_namespace != global_namespace) {
7777 error ("Objective-C declarations may only appear in global scope");
7779 #endif /* OBJCPLUS */
7781 protocol = lookup_protocol (name);
7785 protocol = make_node (code);
7786 TYPE_LANG_SLOT_1 (protocol) = make_tree_vec (PROTOCOL_LANG_SLOT_ELTS);
7788 PROTOCOL_NAME (protocol) = name;
7789 PROTOCOL_LIST (protocol) = lookup_and_install_protocols (list);
7790 add_protocol (protocol);
7791 PROTOCOL_DEFINED (protocol) = 1;
7792 PROTOCOL_FORWARD_DECL (protocol) = NULL_TREE;
7794 check_protocol_recursively (protocol, list);
7796 else if (! PROTOCOL_DEFINED (protocol))
7798 PROTOCOL_DEFINED (protocol) = 1;
7799 PROTOCOL_LIST (protocol) = lookup_and_install_protocols (list);
7801 check_protocol_recursively (protocol, list);
7805 warning (0, "duplicate declaration for protocol %qs",
7806 IDENTIFIER_POINTER (name));
7812 /* "Encode" a data type into a string, which grows in util_obstack.
7813 ??? What is the FORMAT? Someone please document this! */
7816 encode_type_qualifiers (tree declspecs)
7820 for (spec = declspecs; spec; spec = TREE_CHAIN (spec))
7822 if (ridpointers[(int) RID_IN] == TREE_VALUE (spec))
7823 obstack_1grow (&util_obstack, 'n');
7824 else if (ridpointers[(int) RID_INOUT] == TREE_VALUE (spec))
7825 obstack_1grow (&util_obstack, 'N');
7826 else if (ridpointers[(int) RID_OUT] == TREE_VALUE (spec))
7827 obstack_1grow (&util_obstack, 'o');
7828 else if (ridpointers[(int) RID_BYCOPY] == TREE_VALUE (spec))
7829 obstack_1grow (&util_obstack, 'O');
7830 else if (ridpointers[(int) RID_BYREF] == TREE_VALUE (spec))
7831 obstack_1grow (&util_obstack, 'R');
7832 else if (ridpointers[(int) RID_ONEWAY] == TREE_VALUE (spec))
7833 obstack_1grow (&util_obstack, 'V');
7837 /* Encode a pointer type. */
7840 encode_pointer (tree type, int curtype, int format)
7842 tree pointer_to = TREE_TYPE (type);
7844 if (TREE_CODE (pointer_to) == RECORD_TYPE)
7846 if (OBJC_TYPE_NAME (pointer_to)
7847 && TREE_CODE (OBJC_TYPE_NAME (pointer_to)) == IDENTIFIER_NODE)
7849 const char *name = IDENTIFIER_POINTER (OBJC_TYPE_NAME (pointer_to));
7851 if (strcmp (name, TAG_OBJECT) == 0) /* '@' */
7853 obstack_1grow (&util_obstack, '@');
7856 else if (TYPE_HAS_OBJC_INFO (pointer_to)
7857 && TYPE_OBJC_INTERFACE (pointer_to))
7859 if (generating_instance_variables)
7861 obstack_1grow (&util_obstack, '@');
7862 obstack_1grow (&util_obstack, '"');
7863 obstack_grow (&util_obstack, name, strlen (name));
7864 obstack_1grow (&util_obstack, '"');
7869 obstack_1grow (&util_obstack, '@');
7873 else if (strcmp (name, TAG_CLASS) == 0) /* '#' */
7875 obstack_1grow (&util_obstack, '#');
7878 else if (strcmp (name, TAG_SELECTOR) == 0) /* ':' */
7880 obstack_1grow (&util_obstack, ':');
7885 else if (TREE_CODE (pointer_to) == INTEGER_TYPE
7886 && TYPE_MODE (pointer_to) == QImode)
7888 tree pname = TREE_CODE (OBJC_TYPE_NAME (pointer_to)) == IDENTIFIER_NODE
7889 ? OBJC_TYPE_NAME (pointer_to)
7890 : DECL_NAME (OBJC_TYPE_NAME (pointer_to));
7892 if (!flag_next_runtime || strcmp (IDENTIFIER_POINTER (pname), "BOOL"))
7894 /* It appears that "r*" means "const char *" rather than
7896 if (TYPE_READONLY (pointer_to))
7897 obstack_1grow (&util_obstack, 'r');
7899 obstack_1grow (&util_obstack, '*');
7904 /* We have a type that does not get special treatment. */
7906 /* NeXT extension */
7907 obstack_1grow (&util_obstack, '^');
7908 encode_type (pointer_to, curtype, format);
7912 encode_array (tree type, int curtype, int format)
7914 tree an_int_cst = TYPE_SIZE (type);
7915 tree array_of = TREE_TYPE (type);
7918 /* An incomplete array is treated like a pointer. */
7919 if (an_int_cst == NULL)
7921 encode_pointer (type, curtype, format);
7925 if (TREE_INT_CST_LOW (TYPE_SIZE (array_of)) == 0)
7926 sprintf (buffer, "[" HOST_WIDE_INT_PRINT_DEC, (HOST_WIDE_INT)0);
7928 sprintf (buffer, "[" HOST_WIDE_INT_PRINT_DEC,
7929 TREE_INT_CST_LOW (an_int_cst)
7930 / TREE_INT_CST_LOW (TYPE_SIZE (array_of)));
7932 obstack_grow (&util_obstack, buffer, strlen (buffer));
7933 encode_type (array_of, curtype, format);
7934 obstack_1grow (&util_obstack, ']');
7939 encode_aggregate_fields (tree type, int pointed_to, int curtype, int format)
7941 tree field = TYPE_FIELDS (type);
7943 for (; field; field = TREE_CHAIN (field))
7946 /* C++ static members, and things that are not field at all,
7947 should not appear in the encoding. */
7948 if (TREE_CODE (field) != FIELD_DECL || TREE_STATIC (field))
7952 /* Recursively encode fields of embedded base classes. */
7953 if (DECL_ARTIFICIAL (field) && !DECL_NAME (field)
7954 && TREE_CODE (TREE_TYPE (field)) == RECORD_TYPE)
7956 encode_aggregate_fields (TREE_TYPE (field),
7957 pointed_to, curtype, format);
7961 if (generating_instance_variables && !pointed_to)
7963 tree fname = DECL_NAME (field);
7965 obstack_1grow (&util_obstack, '"');
7967 if (fname && TREE_CODE (fname) == IDENTIFIER_NODE)
7968 obstack_grow (&util_obstack,
7969 IDENTIFIER_POINTER (fname),
7970 strlen (IDENTIFIER_POINTER (fname)));
7972 obstack_1grow (&util_obstack, '"');
7975 encode_field_decl (field, curtype, format);
7980 encode_aggregate_within (tree type, int curtype, int format, int left,
7984 /* NB: aggregates that are pointed to have slightly different encoding
7985 rules in that you never encode the names of instance variables. */
7986 int ob_size = obstack_object_size (&util_obstack);
7987 char c1 = ob_size > 1 ? *(obstack_next_free (&util_obstack) - 2) : 0;
7988 char c0 = ob_size > 0 ? *(obstack_next_free (&util_obstack) - 1) : 0;
7989 int pointed_to = (c0 == '^' || (c1 == '^' && c0 == 'r'));
7991 = ((format == OBJC_ENCODE_INLINE_DEFS || generating_instance_variables)
7992 && (!pointed_to || ob_size - curtype == (c1 == 'r' ? 2 : 1)));
7994 /* Traverse struct aliases; it is important to get the
7995 original struct and its tag name (if any). */
7996 type = TYPE_MAIN_VARIANT (type);
7997 name = OBJC_TYPE_NAME (type);
7998 /* Open parenth/bracket. */
7999 obstack_1grow (&util_obstack, left);
8001 /* Encode the struct/union tag name, or '?' if a tag was
8002 not provided. Typedef aliases do not qualify. */
8003 if (name && TREE_CODE (name) == IDENTIFIER_NODE
8005 /* Did this struct have a tag? */
8006 && !TYPE_WAS_ANONYMOUS (type)
8009 obstack_grow (&util_obstack,
8010 IDENTIFIER_POINTER (name),
8011 strlen (IDENTIFIER_POINTER (name)));
8013 obstack_1grow (&util_obstack, '?');
8015 /* Encode the types (and possibly names) of the inner fields,
8017 if (inline_contents)
8019 obstack_1grow (&util_obstack, '=');
8020 encode_aggregate_fields (type, pointed_to, curtype, format);
8022 /* Close parenth/bracket. */
8023 obstack_1grow (&util_obstack, right);
8027 encode_aggregate (tree type, int curtype, int format)
8029 enum tree_code code = TREE_CODE (type);
8035 encode_aggregate_within (type, curtype, format, '{', '}');
8040 encode_aggregate_within (type, curtype, format, '(', ')');
8045 obstack_1grow (&util_obstack, 'i');
8053 /* Encode a bitfield NeXT-style (i.e., without a bit offset or the underlying
8057 encode_next_bitfield (int width)
8060 sprintf (buffer, "b%d", width);
8061 obstack_grow (&util_obstack, buffer, strlen (buffer));
8064 /* FORMAT will be OBJC_ENCODE_INLINE_DEFS or OBJC_ENCODE_DONT_INLINE_DEFS. */
8066 encode_type (tree type, int curtype, int format)
8068 enum tree_code code = TREE_CODE (type);
8071 if (TYPE_READONLY (type))
8072 obstack_1grow (&util_obstack, 'r');
8074 if (code == INTEGER_TYPE)
8076 switch (GET_MODE_BITSIZE (TYPE_MODE (type)))
8078 case 8: c = TYPE_UNSIGNED (type) ? 'C' : 'c'; break;
8079 case 16: c = TYPE_UNSIGNED (type) ? 'S' : 's'; break;
8081 if (type == long_unsigned_type_node
8082 || type == long_integer_type_node)
8083 c = TYPE_UNSIGNED (type) ? 'L' : 'l';
8085 c = TYPE_UNSIGNED (type) ? 'I' : 'i';
8087 case 64: c = TYPE_UNSIGNED (type) ? 'Q' : 'q'; break;
8090 obstack_1grow (&util_obstack, c);
8093 else if (code == REAL_TYPE)
8095 /* Floating point types. */
8096 switch (GET_MODE_BITSIZE (TYPE_MODE (type)))
8098 case 32: c = 'f'; break;
8101 case 128: c = 'd'; break;
8104 obstack_1grow (&util_obstack, c);
8107 else if (code == VOID_TYPE)
8108 obstack_1grow (&util_obstack, 'v');
8110 else if (code == BOOLEAN_TYPE)
8111 obstack_1grow (&util_obstack, 'B');
8113 else if (code == ARRAY_TYPE)
8114 encode_array (type, curtype, format);
8116 else if (code == POINTER_TYPE)
8117 encode_pointer (type, curtype, format);
8119 else if (code == RECORD_TYPE || code == UNION_TYPE || code == ENUMERAL_TYPE)
8120 encode_aggregate (type, curtype, format);
8122 else if (code == FUNCTION_TYPE) /* '?' */
8123 obstack_1grow (&util_obstack, '?');
8125 else if (code == COMPLEX_TYPE)
8127 obstack_1grow (&util_obstack, 'j');
8128 encode_type (TREE_TYPE (type), curtype, format);
8133 encode_gnu_bitfield (int position, tree type, int size)
8135 enum tree_code code = TREE_CODE (type);
8137 char charType = '?';
8139 if (code == INTEGER_TYPE)
8141 if (integer_zerop (TYPE_MIN_VALUE (type)))
8143 /* Unsigned integer types. */
8145 if (TYPE_MODE (type) == QImode)
8147 else if (TYPE_MODE (type) == HImode)
8149 else if (TYPE_MODE (type) == SImode)
8151 if (type == long_unsigned_type_node)
8156 else if (TYPE_MODE (type) == DImode)
8161 /* Signed integer types. */
8163 if (TYPE_MODE (type) == QImode)
8165 else if (TYPE_MODE (type) == HImode)
8167 else if (TYPE_MODE (type) == SImode)
8169 if (type == long_integer_type_node)
8175 else if (TYPE_MODE (type) == DImode)
8179 else if (code == ENUMERAL_TYPE)
8184 sprintf (buffer, "b%d%c%d", position, charType, size);
8185 obstack_grow (&util_obstack, buffer, strlen (buffer));
8189 encode_field_decl (tree field_decl, int curtype, int format)
8194 /* C++ static members, and things that are not fields at all,
8195 should not appear in the encoding. */
8196 if (TREE_CODE (field_decl) != FIELD_DECL || TREE_STATIC (field_decl))
8200 type = TREE_TYPE (field_decl);
8202 /* Generate the bitfield typing information, if needed. Note the difference
8203 between GNU and NeXT runtimes. */
8204 if (DECL_BIT_FIELD_TYPE (field_decl))
8206 int size = tree_low_cst (DECL_SIZE (field_decl), 1);
8208 if (flag_next_runtime)
8209 encode_next_bitfield (size);
8211 encode_gnu_bitfield (int_bit_position (field_decl),
8212 DECL_BIT_FIELD_TYPE (field_decl), size);
8215 encode_type (TREE_TYPE (field_decl), curtype, format);
8218 static GTY(()) tree objc_parmlist = NULL_TREE;
8220 /* Append PARM to a list of formal parameters of a method, making a necessary
8221 array-to-pointer adjustment along the way. */
8224 objc_push_parm (tree parm)
8226 bool relayout_needed = false;
8227 /* Decay arrays and functions into pointers. */
8228 if (TREE_CODE (TREE_TYPE (parm)) == ARRAY_TYPE)
8230 TREE_TYPE (parm) = build_pointer_type (TREE_TYPE (TREE_TYPE (parm)));
8231 relayout_needed = true;
8233 else if (TREE_CODE (TREE_TYPE (parm)) == FUNCTION_TYPE)
8235 TREE_TYPE (parm) = build_pointer_type (TREE_TYPE (parm));
8236 relayout_needed = true;
8239 if (relayout_needed)
8240 relayout_decl (parm);
8243 DECL_ARG_TYPE (parm)
8244 = lang_hooks.types.type_promotes_to (TREE_TYPE (parm));
8246 /* Record constancy and volatility. */
8247 c_apply_type_quals_to_decl
8248 ((TYPE_READONLY (TREE_TYPE (parm)) ? TYPE_QUAL_CONST : 0)
8249 | (TYPE_RESTRICT (TREE_TYPE (parm)) ? TYPE_QUAL_RESTRICT : 0)
8250 | (TYPE_VOLATILE (TREE_TYPE (parm)) ? TYPE_QUAL_VOLATILE : 0), parm);
8252 objc_parmlist = chainon (objc_parmlist, parm);
8255 /* Retrieve the formal parameter list constructed via preceding calls to
8256 objc_push_parm(). */
8260 objc_get_parm_info (int have_ellipsis ATTRIBUTE_UNUSED)
8262 static struct c_arg_info *
8263 objc_get_parm_info (int have_ellipsis)
8267 tree parm_info = objc_parmlist;
8268 objc_parmlist = NULL_TREE;
8272 tree parm_info = objc_parmlist;
8273 struct c_arg_info *arg_info;
8274 /* The C front-end requires an elaborate song and dance at
8277 declare_parm_level ();
8280 tree next = TREE_CHAIN (parm_info);
8282 TREE_CHAIN (parm_info) = NULL_TREE;
8283 parm_info = pushdecl (parm_info);
8284 finish_decl (parm_info, NULL_TREE, NULL_TREE);
8287 arg_info = get_parm_info (have_ellipsis);
8289 objc_parmlist = NULL_TREE;
8294 /* Synthesize the formal parameters 'id self' and 'SEL _cmd' needed for ObjC
8295 method definitions. In the case of instance methods, we can be more
8296 specific as to the type of 'self'. */
8299 synth_self_and_ucmd_args (void)
8303 if (objc_method_context
8304 && TREE_CODE (objc_method_context) == INSTANCE_METHOD_DECL)
8305 self_type = objc_instance_type;
8307 /* Really a `struct objc_class *'. However, we allow people to
8308 assign to self, which changes its type midstream. */
8309 self_type = objc_object_type;
8312 objc_push_parm (build_decl (PARM_DECL, self_id, self_type));
8315 objc_push_parm (build_decl (PARM_DECL, ucmd_id, objc_selector_type));
8318 /* Transform an Objective-C method definition into a static C function
8319 definition, synthesizing the first two arguments, "self" and "_cmd",
8323 start_method_def (tree method)
8329 struct c_arg_info *parm_info;
8331 int have_ellipsis = 0;
8333 /* If we are defining a "dealloc" method in a non-root class, we
8334 will need to check if a [super dealloc] is missing, and warn if
8336 if(CLASS_SUPER_NAME (objc_implementation_context)
8337 && !strcmp ("dealloc", IDENTIFIER_POINTER (METHOD_SEL_NAME (method))))
8338 should_call_super_dealloc = 1;
8340 should_call_super_dealloc = 0;
8342 /* Required to implement _msgSuper. */
8343 objc_method_context = method;
8344 UOBJC_SUPER_decl = NULL_TREE;
8346 /* Generate prototype declarations for arguments..."new-style". */
8347 synth_self_and_ucmd_args ();
8349 /* Generate argument declarations if a keyword_decl. */
8350 parmlist = METHOD_SEL_ARGS (method);
8353 tree type = TREE_VALUE (TREE_TYPE (parmlist)), parm;
8355 parm = build_decl (PARM_DECL, KEYWORD_ARG_NAME (parmlist), type);
8356 objc_push_parm (parm);
8357 parmlist = TREE_CHAIN (parmlist);
8360 if (METHOD_ADD_ARGS (method))
8364 for (akey = TREE_CHAIN (METHOD_ADD_ARGS (method));
8365 akey; akey = TREE_CHAIN (akey))
8367 objc_push_parm (TREE_VALUE (akey));
8370 if (METHOD_ADD_ARGS_ELLIPSIS_P (method))
8374 parm_info = objc_get_parm_info (have_ellipsis);
8376 really_start_method (objc_method_context, parm_info);
8380 warn_with_method (const char *message, int mtype, tree method)
8382 /* Add a readable method name to the warning. */
8383 warning (0, "%J%s %<%c%s%>", method,
8384 message, mtype, gen_method_decl (method));
8387 /* Return 1 if TYPE1 is equivalent to TYPE2
8388 for purposes of method overloading. */
8391 objc_types_are_equivalent (tree type1, tree type2)
8396 /* Strip away indirections. */
8397 while ((TREE_CODE (type1) == ARRAY_TYPE || TREE_CODE (type1) == POINTER_TYPE)
8398 && (TREE_CODE (type1) == TREE_CODE (type2)))
8399 type1 = TREE_TYPE (type1), type2 = TREE_TYPE (type2);
8400 if (TYPE_MAIN_VARIANT (type1) != TYPE_MAIN_VARIANT (type2))
8403 type1 = (TYPE_HAS_OBJC_INFO (type1)
8404 ? TYPE_OBJC_PROTOCOL_LIST (type1)
8406 type2 = (TYPE_HAS_OBJC_INFO (type2)
8407 ? TYPE_OBJC_PROTOCOL_LIST (type2)
8410 if (list_length (type1) == list_length (type2))
8412 for (; type2; type2 = TREE_CHAIN (type2))
8413 if (!lookup_protocol_in_reflist (type1, TREE_VALUE (type2)))
8420 /* Return 1 if TYPE1 has the same size and alignment as TYPE2. */
8423 objc_types_share_size_and_alignment (tree type1, tree type2)
8425 return (simple_cst_equal (TYPE_SIZE (type1), TYPE_SIZE (type2))
8426 && TYPE_ALIGN (type1) == TYPE_ALIGN (type2));
8429 /* Return 1 if PROTO1 is equivalent to PROTO2
8430 for purposes of method overloading. Ordinarily, the type signatures
8431 should match up exactly, unless STRICT is zero, in which case we
8432 shall allow differences in which the size and alignment of a type
8436 comp_proto_with_proto (tree proto1, tree proto2, int strict)
8440 /* The following test is needed in case there are hashing
8442 if (METHOD_SEL_NAME (proto1) != METHOD_SEL_NAME (proto2))
8445 /* Compare return types. */
8446 type1 = TREE_VALUE (TREE_TYPE (proto1));
8447 type2 = TREE_VALUE (TREE_TYPE (proto2));
8449 if (!objc_types_are_equivalent (type1, type2)
8450 && (strict || !objc_types_share_size_and_alignment (type1, type2)))
8453 /* Compare argument types. */
8454 for (type1 = get_arg_type_list (proto1, METHOD_REF, 0),
8455 type2 = get_arg_type_list (proto2, METHOD_REF, 0);
8457 type1 = TREE_CHAIN (type1), type2 = TREE_CHAIN (type2))
8459 if (!objc_types_are_equivalent (TREE_VALUE (type1), TREE_VALUE (type2))
8461 || !objc_types_share_size_and_alignment (TREE_VALUE (type1),
8462 TREE_VALUE (type2))))
8466 return (!type1 && !type2);
8469 /* Fold an OBJ_TYPE_REF expression for ObjC method dispatches, where
8470 this occurs. ObjC method dispatches are _not_ like C++ virtual
8471 member function dispatches, and we account for the difference here. */
8474 objc_fold_obj_type_ref (tree ref, tree known_type)
8476 objc_fold_obj_type_ref (tree ref ATTRIBUTE_UNUSED,
8477 tree known_type ATTRIBUTE_UNUSED)
8481 tree v = BINFO_VIRTUALS (TYPE_BINFO (known_type));
8483 /* If the receiver does not have virtual member functions, there
8484 is nothing we can (or need to) do here. */
8488 /* Let C++ handle C++ virtual functions. */
8489 return cp_fold_obj_type_ref (ref, known_type);
8491 /* For plain ObjC, we currently do not need to do anything. */
8497 objc_start_function (tree name, tree type, tree attrs,
8501 struct c_arg_info *params
8505 tree fndecl = build_decl (FUNCTION_DECL, name, type);
8508 DECL_ARGUMENTS (fndecl) = params;
8509 DECL_INITIAL (fndecl) = error_mark_node;
8510 DECL_EXTERNAL (fndecl) = 0;
8511 TREE_STATIC (fndecl) = 1;
8512 retrofit_lang_decl (fndecl);
8513 cplus_decl_attributes (&fndecl, attrs, 0);
8514 start_preparsed_function (fndecl, attrs, /*flags=*/SF_DEFAULT);
8516 struct c_label_context_se *nstack_se;
8517 struct c_label_context_vm *nstack_vm;
8518 nstack_se = XOBNEW (&parser_obstack, struct c_label_context_se);
8519 nstack_se->labels_def = NULL;
8520 nstack_se->labels_used = NULL;
8521 nstack_se->next = label_context_stack_se;
8522 label_context_stack_se = nstack_se;
8523 nstack_vm = XOBNEW (&parser_obstack, struct c_label_context_vm);
8524 nstack_vm->labels_def = NULL;
8525 nstack_vm->labels_used = NULL;
8526 nstack_vm->scope = 0;
8527 nstack_vm->next = label_context_stack_vm;
8528 label_context_stack_vm = nstack_vm;
8529 current_function_returns_value = 0; /* Assume, until we see it does. */
8530 current_function_returns_null = 0;
8532 decl_attributes (&fndecl, attrs, 0);
8533 announce_function (fndecl);
8534 DECL_INITIAL (fndecl) = error_mark_node;
8535 DECL_EXTERNAL (fndecl) = 0;
8536 TREE_STATIC (fndecl) = 1;
8537 current_function_decl = pushdecl (fndecl);
8539 declare_parm_level ();
8540 DECL_RESULT (current_function_decl)
8541 = build_decl (RESULT_DECL, NULL_TREE,
8542 TREE_TYPE (TREE_TYPE (current_function_decl)));
8543 DECL_ARTIFICIAL (DECL_RESULT (current_function_decl)) = 1;
8544 DECL_IGNORED_P (DECL_RESULT (current_function_decl)) = 1;
8545 start_fname_decls ();
8546 store_parm_decls_from (params);
8549 TREE_USED (current_function_decl) = 1;
8552 /* - Generate an identifier for the function. the format is "_n_cls",
8553 where 1 <= n <= nMethods, and cls is the name the implementation we
8555 - Install the return type from the method declaration.
8556 - If we have a prototype, check for type consistency. */
8559 really_start_method (tree method,
8563 struct c_arg_info *parmlist
8567 tree ret_type, meth_type;
8569 const char *sel_name, *class_name, *cat_name;
8572 /* Synth the storage class & assemble the return type. */
8573 ret_type = TREE_VALUE (TREE_TYPE (method));
8575 sel_name = IDENTIFIER_POINTER (METHOD_SEL_NAME (method));
8576 class_name = IDENTIFIER_POINTER (CLASS_NAME (objc_implementation_context));
8577 cat_name = ((TREE_CODE (objc_implementation_context)
8578 == CLASS_IMPLEMENTATION_TYPE)
8580 : IDENTIFIER_POINTER (CLASS_SUPER_NAME (objc_implementation_context)));
8583 /* Make sure this is big enough for any plausible method label. */
8584 buf = (char *) alloca (50 + strlen (sel_name) + strlen (class_name)
8585 + (cat_name ? strlen (cat_name) : 0));
8587 OBJC_GEN_METHOD_LABEL (buf, TREE_CODE (method) == INSTANCE_METHOD_DECL,
8588 class_name, cat_name, sel_name, method_slot);
8590 method_id = get_identifier (buf);
8593 /* Objective-C methods cannot be overloaded, so we don't need
8594 the type encoding appended. It looks bad anyway... */
8595 push_lang_context (lang_name_c);
8599 = build_function_type (ret_type,
8600 get_arg_type_list (method, METHOD_DEF, 0));
8601 objc_start_function (method_id, meth_type, NULL_TREE, parmlist);
8603 /* Set self_decl from the first argument. */
8604 self_decl = DECL_ARGUMENTS (current_function_decl);
8606 /* Suppress unused warnings. */
8607 TREE_USED (self_decl) = 1;
8608 TREE_USED (TREE_CHAIN (self_decl)) = 1;
8610 pop_lang_context ();
8613 METHOD_DEFINITION (method) = current_function_decl;
8615 /* Check consistency...start_function, pushdecl, duplicate_decls. */
8617 if (implementation_template != objc_implementation_context)
8620 = lookup_method_static (implementation_template,
8621 METHOD_SEL_NAME (method),
8622 ((TREE_CODE (method) == CLASS_METHOD_DECL)
8623 | OBJC_LOOKUP_NO_SUPER));
8627 if (!comp_proto_with_proto (method, proto, 1))
8629 char type = (TREE_CODE (method) == INSTANCE_METHOD_DECL ? '-' : '+');
8631 warn_with_method ("conflicting types for", type, method);
8632 warn_with_method ("previous declaration of", type, proto);
8637 /* We have a method @implementation even though we did not
8638 see a corresponding @interface declaration (which is allowed
8639 by Objective-C rules). Go ahead and place the method in
8640 the @interface anyway, so that message dispatch lookups
8642 tree interface = implementation_template;
8644 if (TREE_CODE (objc_implementation_context)
8645 == CATEGORY_IMPLEMENTATION_TYPE)
8646 interface = lookup_category
8648 CLASS_SUPER_NAME (objc_implementation_context));
8651 objc_add_method (interface, copy_node (method),
8652 TREE_CODE (method) == CLASS_METHOD_DECL);
8657 static void *UOBJC_SUPER_scope = 0;
8659 /* _n_Method (id self, SEL sel, ...)
8661 struct objc_super _S;
8662 _msgSuper ((_S.self = self, _S.class = _cls, &_S), ...);
8666 get_super_receiver (void)
8668 if (objc_method_context)
8670 tree super_expr, super_expr_list;
8672 if (!UOBJC_SUPER_decl)
8674 UOBJC_SUPER_decl = build_decl (VAR_DECL, get_identifier (TAG_SUPER),
8675 objc_super_template);
8676 /* This prevents `unused variable' warnings when compiling with -Wall. */
8677 TREE_USED (UOBJC_SUPER_decl) = 1;
8678 lang_hooks.decls.pushdecl (UOBJC_SUPER_decl);
8679 finish_decl (UOBJC_SUPER_decl, NULL_TREE, NULL_TREE);
8680 UOBJC_SUPER_scope = objc_get_current_scope ();
8683 /* Set receiver to self. */
8684 super_expr = objc_build_component_ref (UOBJC_SUPER_decl, self_id);
8685 super_expr = build_modify_expr (super_expr, NOP_EXPR, self_decl);
8686 super_expr_list = super_expr;
8688 /* Set class to begin searching. */
8689 super_expr = objc_build_component_ref (UOBJC_SUPER_decl,
8690 get_identifier ("super_class"));
8692 if (TREE_CODE (objc_implementation_context) == CLASS_IMPLEMENTATION_TYPE)
8694 /* [_cls, __cls]Super are "pre-built" in
8695 synth_forward_declarations. */
8697 super_expr = build_modify_expr (super_expr, NOP_EXPR,
8698 ((TREE_CODE (objc_method_context)
8699 == INSTANCE_METHOD_DECL)
8701 : uucls_super_ref));
8705 /* We have a category. */
8707 tree super_name = CLASS_SUPER_NAME (implementation_template);
8710 /* Barf if super used in a category of Object. */
8713 error ("no super class declared in interface for %qs",
8714 IDENTIFIER_POINTER (CLASS_NAME (implementation_template)));
8715 return error_mark_node;
8718 if (flag_next_runtime && !flag_zero_link)
8720 super_class = objc_get_class_reference (super_name);
8721 if (TREE_CODE (objc_method_context) == CLASS_METHOD_DECL)
8722 /* If we are in a class method, we must retrieve the
8723 _metaclass_ for the current class, pointed at by
8724 the class's "isa" pointer. The following assumes that
8725 "isa" is the first ivar in a class (which it must be). */
8727 = build_indirect_ref
8728 (build_c_cast (build_pointer_type (objc_class_type),
8729 super_class), "unary *");
8733 add_class_reference (super_name);
8734 super_class = (TREE_CODE (objc_method_context) == INSTANCE_METHOD_DECL
8735 ? objc_get_class_decl : objc_get_meta_class_decl);
8736 assemble_external (super_class);
8738 = build_function_call
8742 my_build_string_pointer
8743 (IDENTIFIER_LENGTH (super_name) + 1,
8744 IDENTIFIER_POINTER (super_name))));
8748 = build_modify_expr (super_expr, NOP_EXPR,
8749 build_c_cast (TREE_TYPE (super_expr),
8753 super_expr_list = build_compound_expr (super_expr_list, super_expr);
8755 super_expr = build_unary_op (ADDR_EXPR, UOBJC_SUPER_decl, 0);
8756 super_expr_list = build_compound_expr (super_expr_list, super_expr);
8758 return super_expr_list;
8762 error ("[super ...] must appear in a method context");
8763 return error_mark_node;
8767 /* When exiting a scope, sever links to a 'super' declaration (if any)
8768 therein contained. */
8771 objc_clear_super_receiver (void)
8773 if (objc_method_context
8774 && UOBJC_SUPER_scope == objc_get_current_scope ()) {
8775 UOBJC_SUPER_decl = 0;
8776 UOBJC_SUPER_scope = 0;
8781 objc_finish_method_definition (tree fndecl)
8783 /* We cannot validly inline ObjC methods, at least not without a language
8784 extension to declare that a method need not be dynamically
8785 dispatched, so suppress all thoughts of doing so. */
8786 DECL_INLINE (fndecl) = 0;
8787 DECL_UNINLINABLE (fndecl) = 1;
8790 /* The C++ front-end will have called finish_function() for us. */
8794 METHOD_ENCODING (objc_method_context)
8795 = encode_method_prototype (objc_method_context);
8797 /* Required to implement _msgSuper. This must be done AFTER finish_function,
8798 since the optimizer may find "may be used before set" errors. */
8799 objc_method_context = NULL_TREE;
8801 if (should_call_super_dealloc)
8802 warning (0, "method possibly missing a [super dealloc] call");
8807 lang_report_error_function (tree decl)
8809 if (objc_method_context)
8811 fprintf (stderr, "In method %qs\n",
8812 IDENTIFIER_POINTER (METHOD_SEL_NAME (objc_method_context)));
8821 /* Given a tree DECL node, produce a printable description of it in the given
8822 buffer, overwriting the buffer. */
8825 gen_declaration (tree decl)
8831 gen_type_name_0 (TREE_TYPE (decl));
8833 if (DECL_NAME (decl))
8835 if (!POINTER_TYPE_P (TREE_TYPE (decl)))
8836 strcat (errbuf, " ");
8838 strcat (errbuf, IDENTIFIER_POINTER (DECL_NAME (decl)));
8841 if (DECL_INITIAL (decl)
8842 && TREE_CODE (DECL_INITIAL (decl)) == INTEGER_CST)
8843 sprintf (errbuf + strlen (errbuf), ": " HOST_WIDE_INT_PRINT_DEC,
8844 TREE_INT_CST_LOW (DECL_INITIAL (decl)));
8850 /* Given a tree TYPE node, produce a printable description of it in the given
8851 buffer, overwriting the buffer. */
8854 gen_type_name_0 (tree type)
8856 tree orig = type, proto;
8858 if (TYPE_P (type) && TYPE_NAME (type))
8859 type = TYPE_NAME (type);
8860 else if (POINTER_TYPE_P (type) || TREE_CODE (type) == ARRAY_TYPE)
8862 tree inner = TREE_TYPE (type);
8864 while (TREE_CODE (inner) == ARRAY_TYPE)
8865 inner = TREE_TYPE (inner);
8867 gen_type_name_0 (inner);
8869 if (!POINTER_TYPE_P (inner))
8870 strcat (errbuf, " ");
8872 if (POINTER_TYPE_P (type))
8873 strcat (errbuf, "*");
8875 while (type != inner)
8877 strcat (errbuf, "[");
8879 if (TYPE_DOMAIN (type))
8883 sprintf (sz, HOST_WIDE_INT_PRINT_DEC,
8885 (TYPE_MAX_VALUE (TYPE_DOMAIN (type))) + 1));
8886 strcat (errbuf, sz);
8889 strcat (errbuf, "]");
8890 type = TREE_TYPE (type);
8896 if (TREE_CODE (type) == TYPE_DECL && DECL_NAME (type))
8897 type = DECL_NAME (type);
8899 strcat (errbuf, TREE_CODE (type) == IDENTIFIER_NODE
8900 ? IDENTIFIER_POINTER (type)
8903 /* For 'id' and 'Class', adopted protocols are stored in the pointee. */
8904 if (objc_is_id (orig))
8905 orig = TREE_TYPE (orig);
8907 proto = TYPE_HAS_OBJC_INFO (orig) ? TYPE_OBJC_PROTOCOL_LIST (orig) : NULL_TREE;
8911 strcat (errbuf, " <");
8915 IDENTIFIER_POINTER (PROTOCOL_NAME (TREE_VALUE (proto))));
8916 proto = TREE_CHAIN (proto);
8917 strcat (errbuf, proto ? ", " : ">");
8926 gen_type_name (tree type)
8930 return gen_type_name_0 (type);
8933 /* Given a method tree, put a printable description into the given
8934 buffer (overwriting) and return a pointer to the buffer. */
8937 gen_method_decl (tree method)
8941 strcpy (errbuf, "("); /* NB: Do _not_ call strcat() here. */
8942 gen_type_name_0 (TREE_VALUE (TREE_TYPE (method)));
8943 strcat (errbuf, ")");
8944 chain = METHOD_SEL_ARGS (method);
8948 /* We have a chain of keyword_decls. */
8951 if (KEYWORD_KEY_NAME (chain))
8952 strcat (errbuf, IDENTIFIER_POINTER (KEYWORD_KEY_NAME (chain)));
8954 strcat (errbuf, ":(");
8955 gen_type_name_0 (TREE_VALUE (TREE_TYPE (chain)));
8956 strcat (errbuf, ")");
8958 strcat (errbuf, IDENTIFIER_POINTER (KEYWORD_ARG_NAME (chain)));
8959 if ((chain = TREE_CHAIN (chain)))
8960 strcat (errbuf, " ");
8964 if (METHOD_ADD_ARGS (method))
8966 chain = TREE_CHAIN (METHOD_ADD_ARGS (method));
8968 /* Know we have a chain of parm_decls. */
8971 strcat (errbuf, ", ");
8972 gen_type_name_0 (TREE_TYPE (TREE_VALUE (chain)));
8973 chain = TREE_CHAIN (chain);
8976 if (METHOD_ADD_ARGS_ELLIPSIS_P (method))
8977 strcat (errbuf, ", ...");
8982 /* We have a unary selector. */
8983 strcat (errbuf, IDENTIFIER_POINTER (METHOD_SEL_NAME (method)));
8991 /* Dump an @interface declaration of the supplied class CHAIN to the
8992 supplied file FP. Used to implement the -gen-decls option (which
8993 prints out an @interface declaration of all classes compiled in
8994 this run); potentially useful for debugging the compiler too. */
8996 dump_interface (FILE *fp, tree chain)
8998 /* FIXME: A heap overflow here whenever a method (or ivar)
8999 declaration is so long that it doesn't fit in the buffer. The
9000 code and all the related functions should be rewritten to avoid
9001 using fixed size buffers. */
9002 const char *my_name = IDENTIFIER_POINTER (CLASS_NAME (chain));
9003 tree ivar_decls = CLASS_RAW_IVARS (chain);
9004 tree nst_methods = CLASS_NST_METHODS (chain);
9005 tree cls_methods = CLASS_CLS_METHODS (chain);
9007 fprintf (fp, "\n@interface %s", my_name);
9009 /* CLASS_SUPER_NAME is used to store the superclass name for
9010 classes, and the category name for categories. */
9011 if (CLASS_SUPER_NAME (chain))
9013 const char *name = IDENTIFIER_POINTER (CLASS_SUPER_NAME (chain));
9015 if (TREE_CODE (chain) == CATEGORY_IMPLEMENTATION_TYPE
9016 || TREE_CODE (chain) == CATEGORY_INTERFACE_TYPE)
9018 fprintf (fp, " (%s)\n", name);
9022 fprintf (fp, " : %s\n", name);
9028 /* FIXME - the following doesn't seem to work at the moment. */
9031 fprintf (fp, "{\n");
9034 fprintf (fp, "\t%s;\n", gen_declaration (ivar_decls));
9035 ivar_decls = TREE_CHAIN (ivar_decls);
9038 fprintf (fp, "}\n");
9043 fprintf (fp, "- %s;\n", gen_method_decl (nst_methods));
9044 nst_methods = TREE_CHAIN (nst_methods);
9049 fprintf (fp, "+ %s;\n", gen_method_decl (cls_methods));
9050 cls_methods = TREE_CHAIN (cls_methods);
9053 fprintf (fp, "@end\n");
9056 /* Demangle function for Objective-C */
9058 objc_demangle (const char *mangled)
9060 char *demangled, *cp;
9062 if (mangled[0] == '_' &&
9063 (mangled[1] == 'i' || mangled[1] == 'c') &&
9066 cp = demangled = XNEWVEC (char, strlen(mangled) + 2);
9067 if (mangled[1] == 'i')
9068 *cp++ = '-'; /* for instance method */
9070 *cp++ = '+'; /* for class method */
9071 *cp++ = '['; /* opening left brace */
9072 strcpy(cp, mangled+3); /* tack on the rest of the mangled name */
9073 while (*cp && *cp == '_')
9074 cp++; /* skip any initial underbars in class name */
9075 cp = strchr(cp, '_'); /* find first non-initial underbar */
9078 free(demangled); /* not mangled name */
9081 if (cp[1] == '_') /* easy case: no category name */
9083 *cp++ = ' '; /* replace two '_' with one ' ' */
9084 strcpy(cp, mangled + (cp - demangled) + 2);
9088 *cp++ = '('; /* less easy case: category name */
9089 cp = strchr(cp, '_');
9092 free(demangled); /* not mangled name */
9096 *cp++ = ' '; /* overwriting 1st char of method name... */
9097 strcpy(cp, mangled + (cp - demangled)); /* get it back */
9099 while (*cp && *cp == '_')
9100 cp++; /* skip any initial underbars in method name */
9103 *cp = ':'; /* replace remaining '_' with ':' */
9104 *cp++ = ']'; /* closing right brace */
9105 *cp++ = 0; /* string terminator */
9109 return mangled; /* not an objc mangled name */
9113 objc_printable_name (tree decl, int kind ATTRIBUTE_UNUSED)
9115 return objc_demangle (IDENTIFIER_POINTER (DECL_NAME (decl)));
9121 gcc_obstack_init (&util_obstack);
9122 util_firstobj = (char *) obstack_finish (&util_obstack);
9124 errbuf = XNEWVEC (char, 1024 * 10);
9126 synth_module_prologue ();
9132 struct imp_entry *impent;
9134 /* The internally generated initializers appear to have missing braces.
9135 Don't warn about this. */
9136 int save_warn_missing_braces = warn_missing_braces;
9137 warn_missing_braces = 0;
9139 /* A missing @end may not be detected by the parser. */
9140 if (objc_implementation_context)
9142 warning (0, "%<@end%> missing in implementation context");
9143 finish_class (objc_implementation_context);
9144 objc_ivar_chain = NULL_TREE;
9145 objc_implementation_context = NULL_TREE;
9148 /* Process the static instances here because initialization of objc_symtab
9150 if (objc_static_instances)
9151 generate_static_references ();
9153 if (imp_list || class_names_chain
9154 || meth_var_names_chain || meth_var_types_chain || sel_ref_chain)
9155 generate_objc_symtab_decl ();
9157 for (impent = imp_list; impent; impent = impent->next)
9159 objc_implementation_context = impent->imp_context;
9160 implementation_template = impent->imp_template;
9162 UOBJC_CLASS_decl = impent->class_decl;
9163 UOBJC_METACLASS_decl = impent->meta_decl;
9165 /* Dump the @interface of each class as we compile it, if the
9166 -gen-decls option is in use. TODO: Dump the classes in the
9167 order they were found, rather than in reverse order as we
9169 if (flag_gen_declaration)
9171 dump_interface (gen_declaration_file, objc_implementation_context);
9174 if (TREE_CODE (objc_implementation_context) == CLASS_IMPLEMENTATION_TYPE)
9176 /* all of the following reference the string pool... */
9177 generate_ivar_lists ();
9178 generate_dispatch_tables ();
9179 generate_shared_structures (impent->has_cxx_cdtors
9180 ? CLS_HAS_CXX_STRUCTORS
9185 generate_dispatch_tables ();
9186 generate_category (objc_implementation_context);
9190 /* If we are using an array of selectors, we must always
9191 finish up the array decl even if no selectors were used. */
9192 if (! flag_next_runtime || sel_ref_chain)
9193 build_selector_translation_table ();
9196 generate_protocols ();
9198 if ((flag_replace_objc_classes && imp_list) || flag_objc_gc)
9199 generate_objc_image_info ();
9201 /* Arrange for ObjC data structures to be initialized at run time. */
9202 if (objc_implementation_context || class_names_chain || objc_static_instances
9203 || meth_var_names_chain || meth_var_types_chain || sel_ref_chain)
9205 build_module_descriptor ();
9207 if (!flag_next_runtime)
9208 build_module_initializer_routine ();
9211 /* Dump the class references. This forces the appropriate classes
9212 to be linked into the executable image, preserving unix archive
9213 semantics. This can be removed when we move to a more dynamically
9214 linked environment. */
9216 for (chain = cls_ref_chain; chain; chain = TREE_CHAIN (chain))
9218 handle_class_ref (chain);
9219 if (TREE_PURPOSE (chain))
9220 generate_classref_translation_entry (chain);
9223 for (impent = imp_list; impent; impent = impent->next)
9224 handle_impent (impent);
9231 /* Run through the selector hash tables and print a warning for any
9232 selector which has multiple methods. */
9234 for (slot = 0; slot < SIZEHASHTABLE; slot++)
9236 for (hsh = cls_method_hash_list[slot]; hsh; hsh = hsh->next)
9237 check_duplicates (hsh, 0, 1);
9238 for (hsh = nst_method_hash_list[slot]; hsh; hsh = hsh->next)
9239 check_duplicates (hsh, 0, 1);
9243 warn_missing_braces = save_warn_missing_braces;
9246 /* Subroutines of finish_objc. */
9249 generate_classref_translation_entry (tree chain)
9251 tree expr, decl, type;
9253 decl = TREE_PURPOSE (chain);
9254 type = TREE_TYPE (decl);
9256 expr = add_objc_string (TREE_VALUE (chain), class_names);
9257 expr = convert (type, expr); /* cast! */
9259 /* The decl that is the one that we
9260 forward declared in build_class_reference. */
9261 finish_var_decl (decl, expr);
9266 handle_class_ref (tree chain)
9268 const char *name = IDENTIFIER_POINTER (TREE_VALUE (chain));
9269 char *string = (char *) alloca (strlen (name) + 30);
9273 sprintf (string, "%sobjc_class_name_%s",
9274 (flag_next_runtime ? "." : "__"), name);
9276 #ifdef ASM_DECLARE_UNRESOLVED_REFERENCE
9277 if (flag_next_runtime)
9279 ASM_DECLARE_UNRESOLVED_REFERENCE (asm_out_file, string);
9284 /* Make a decl for this name, so we can use its address in a tree. */
9285 decl = build_decl (VAR_DECL, get_identifier (string), char_type_node);
9286 DECL_EXTERNAL (decl) = 1;
9287 TREE_PUBLIC (decl) = 1;
9290 rest_of_decl_compilation (decl, 0, 0);
9292 /* Make a decl for the address. */
9293 sprintf (string, "%sobjc_class_ref_%s",
9294 (flag_next_runtime ? "." : "__"), name);
9295 exp = build1 (ADDR_EXPR, string_type_node, decl);
9296 decl = build_decl (VAR_DECL, get_identifier (string), string_type_node);
9297 DECL_INITIAL (decl) = exp;
9298 TREE_STATIC (decl) = 1;
9299 TREE_USED (decl) = 1;
9300 /* Force the output of the decl as this forces the reference of the class. */
9301 mark_decl_referenced (decl);
9304 rest_of_decl_compilation (decl, 0, 0);
9308 handle_impent (struct imp_entry *impent)
9312 objc_implementation_context = impent->imp_context;
9313 implementation_template = impent->imp_template;
9315 if (TREE_CODE (impent->imp_context) == CLASS_IMPLEMENTATION_TYPE)
9317 const char *const class_name =
9318 IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context));
9320 string = (char *) alloca (strlen (class_name) + 30);
9322 sprintf (string, "%sobjc_class_name_%s",
9323 (flag_next_runtime ? "." : "__"), class_name);
9325 else if (TREE_CODE (impent->imp_context) == CATEGORY_IMPLEMENTATION_TYPE)
9327 const char *const class_name =
9328 IDENTIFIER_POINTER (CLASS_NAME (impent->imp_context));
9329 const char *const class_super_name =
9330 IDENTIFIER_POINTER (CLASS_SUPER_NAME (impent->imp_context));
9332 string = (char *) alloca (strlen (class_name)
9333 + strlen (class_super_name) + 30);
9335 /* Do the same for categories. Even though no references to
9336 these symbols are generated automatically by the compiler, it
9337 gives you a handle to pull them into an archive by hand. */
9338 sprintf (string, "*%sobjc_category_name_%s_%s",
9339 (flag_next_runtime ? "." : "__"), class_name, class_super_name);
9344 #ifdef ASM_DECLARE_CLASS_REFERENCE
9345 if (flag_next_runtime)
9347 ASM_DECLARE_CLASS_REFERENCE (asm_out_file, string);
9355 init = build_int_cst (c_common_type_for_size (BITS_PER_WORD, 1), 0);
9356 decl = build_decl (VAR_DECL, get_identifier (string), TREE_TYPE (init));
9357 TREE_PUBLIC (decl) = 1;
9358 TREE_READONLY (decl) = 1;
9359 TREE_USED (decl) = 1;
9360 TREE_CONSTANT (decl) = 1;
9361 DECL_CONTEXT (decl) = 0;
9362 DECL_ARTIFICIAL (decl) = 1;
9363 DECL_INITIAL (decl) = init;
9364 assemble_variable (decl, 1, 0, 0);
9368 /* The Fix-and-Continue functionality available in Mac OS X 10.3 and
9369 later requires that ObjC translation units participating in F&C be
9370 specially marked. The following routine accomplishes this. */
9372 /* static int _OBJC_IMAGE_INFO[2] = { 0, 1 }; */
9375 generate_objc_image_info (void)
9377 tree decl, initlist;
9379 = ((flag_replace_objc_classes && imp_list ? 1 : 0)
9380 | (flag_objc_gc ? 2 : 0));
9382 decl = start_var_decl (build_array_type
9384 build_index_type (build_int_cst (NULL_TREE, 2 - 1))),
9385 "_OBJC_IMAGE_INFO");
9387 initlist = build_tree_list (NULL_TREE, build_int_cst (NULL_TREE, 0));
9388 initlist = tree_cons (NULL_TREE, build_int_cst (NULL_TREE, flags), initlist);
9389 initlist = objc_build_constructor (TREE_TYPE (decl), nreverse (initlist));
9391 finish_var_decl (decl, initlist);
9394 /* Look up ID as an instance variable. OTHER contains the result of
9395 the C or C++ lookup, which we may want to use instead. */
9398 objc_lookup_ivar (tree other, tree id)
9402 /* If we are not inside of an ObjC method, ivar lookup makes no sense. */
9403 if (!objc_method_context)
9406 if (!strcmp (IDENTIFIER_POINTER (id), "super"))
9407 /* We have a message to super. */
9408 return get_super_receiver ();
9410 /* In a class method, look up an instance variable only as a last
9412 if (TREE_CODE (objc_method_context) == CLASS_METHOD_DECL
9413 && other && other != error_mark_node)
9416 /* Look up the ivar, but do not use it if it is not accessible. */
9417 ivar = is_ivar (objc_ivar_chain, id);
9419 if (!ivar || is_private (ivar))
9422 /* In an instance method, a local variable (or parameter) may hide the
9423 instance variable. */
9424 if (TREE_CODE (objc_method_context) == INSTANCE_METHOD_DECL
9425 && other && other != error_mark_node
9427 && CP_DECL_CONTEXT (other) != global_namespace)
9429 && !DECL_FILE_SCOPE_P (other))
9432 warning (0, "local declaration of %qs hides instance variable",
9433 IDENTIFIER_POINTER (id));
9438 /* At this point, we are either in an instance method with no obscuring
9439 local definitions, or in a class method with no alternate definitions
9441 return build_ivar_reference (id);
9444 /* Possibly rewrite a function CALL into an OBJ_TYPE_REF expression. This
9445 needs to be done if we are calling a function through a cast. */
9448 objc_rewrite_function_call (tree function, tree params)
9450 if (TREE_CODE (function) == NOP_EXPR
9451 && TREE_CODE (TREE_OPERAND (function, 0)) == ADDR_EXPR
9452 && TREE_CODE (TREE_OPERAND (TREE_OPERAND (function, 0), 0))
9455 function = build3 (OBJ_TYPE_REF, TREE_TYPE (function),
9456 TREE_OPERAND (function, 0),
9457 TREE_VALUE (params), size_zero_node);
9463 /* Look for the special case of OBJC_TYPE_REF with the address of
9464 a function in OBJ_TYPE_REF_EXPR (presumably objc_msgSend or one
9467 enum gimplify_status
9468 objc_gimplify_expr (tree *expr_p, tree *pre_p, tree *post_p)
9470 enum gimplify_status r0, r1;
9471 if (TREE_CODE (*expr_p) == OBJ_TYPE_REF
9472 && TREE_CODE (OBJ_TYPE_REF_EXPR (*expr_p)) == ADDR_EXPR
9473 && TREE_CODE (TREE_OPERAND (OBJ_TYPE_REF_EXPR (*expr_p), 0))
9476 /* Postincrements in OBJ_TYPE_REF_OBJECT don't affect the
9477 value of the OBJ_TYPE_REF, so force them to be emitted
9478 during subexpression evaluation rather than after the
9479 OBJ_TYPE_REF. This permits objc_msgSend calls in Objective
9480 C to use direct rather than indirect calls when the
9481 object expression has a postincrement. */
9482 r0 = gimplify_expr (&OBJ_TYPE_REF_OBJECT (*expr_p), pre_p, NULL,
9483 is_gimple_val, fb_rvalue);
9484 r1 = gimplify_expr (&OBJ_TYPE_REF_EXPR (*expr_p), pre_p, post_p,
9485 is_gimple_val, fb_rvalue);
9487 return MIN (r0, r1);
9491 return cp_gimplify_expr (expr_p, pre_p, post_p);
9493 return c_gimplify_expr (expr_p, pre_p, post_p);
9497 /* Given a CALL expression, find the function being called. The ObjC
9498 version looks for the OBJ_TYPE_REF_EXPR which is used for objc_msgSend. */
9501 objc_get_callee_fndecl (tree call_expr)
9503 tree addr = TREE_OPERAND (call_expr, 0);
9504 if (TREE_CODE (addr) != OBJ_TYPE_REF)
9507 addr = OBJ_TYPE_REF_EXPR (addr);
9509 /* If the address is just `&f' for some function `f', then we know
9510 that `f' is being called. */
9511 if (TREE_CODE (addr) == ADDR_EXPR
9512 && TREE_CODE (TREE_OPERAND (addr, 0)) == FUNCTION_DECL)
9513 return TREE_OPERAND (addr, 0);
9518 #include "gt-objc-objc-act.h"