Ruby 3.2.1p31 (2023-02-08 revision 31819e82c88c6f8ecfaeb162519bfa26a14b21fd)
fl_type.h
Go to the documentation of this file.
1#ifndef RBIMPL_FL_TYPE_H /*-*-C++-*-vi:se ft=cpp:*/
2#define RBIMPL_FL_TYPE_H
23#include "ruby/internal/config.h" /* for ENUM_OVER_INT */
30#include "ruby/internal/cast.h"
37#include "ruby/internal/value.h"
39#include "ruby/assert.h"
40#include "ruby/defines.h"
41
43#if RBIMPL_HAS_EXTENSION(enumerator_attributes)
44# define RBIMPL_HAVE_ENUM_ATTRIBUTE 1
45#elif RBIMPL_COMPILER_SINCE(GCC, 6, 0, 0)
46# define RBIMPL_HAVE_ENUM_ATTRIBUTE 1
47#endif
48
49#ifdef ENUM_OVER_INT
50# define RBIMPL_WIDER_ENUM 1
51#elif SIZEOF_INT * CHAR_BIT > 12+19+1
52# define RBIMPL_WIDER_ENUM 1
53#else
54# define RBIMPL_WIDER_ENUM 0
55#endif
58#define FL_SINGLETON RBIMPL_CAST((VALUE)RUBY_FL_SINGLETON)
59#define FL_WB_PROTECTED RBIMPL_CAST((VALUE)RUBY_FL_WB_PROTECTED)
60#define FL_PROMOTED0 RBIMPL_CAST((VALUE)RUBY_FL_PROMOTED0)
61#define FL_PROMOTED1 RBIMPL_CAST((VALUE)RUBY_FL_PROMOTED1)
62#define FL_FINALIZE RBIMPL_CAST((VALUE)RUBY_FL_FINALIZE)
63#define FL_TAINT RBIMPL_CAST((VALUE)RUBY_FL_TAINT)
64#define FL_SHAREABLE RBIMPL_CAST((VALUE)RUBY_FL_SHAREABLE)
65#define FL_UNTRUSTED RBIMPL_CAST((VALUE)RUBY_FL_UNTRUSTED)
66#define FL_SEEN_OBJ_ID RBIMPL_CAST((VALUE)RUBY_FL_SEEN_OBJ_ID)
67#define FL_EXIVAR RBIMPL_CAST((VALUE)RUBY_FL_EXIVAR)
68#define FL_FREEZE RBIMPL_CAST((VALUE)RUBY_FL_FREEZE)
70#define FL_USHIFT RBIMPL_CAST((VALUE)RUBY_FL_USHIFT)
72#define FL_USER0 RBIMPL_CAST((VALUE)RUBY_FL_USER0)
73#define FL_USER1 RBIMPL_CAST((VALUE)RUBY_FL_USER1)
74#define FL_USER2 RBIMPL_CAST((VALUE)RUBY_FL_USER2)
75#define FL_USER3 RBIMPL_CAST((VALUE)RUBY_FL_USER3)
76#define FL_USER4 RBIMPL_CAST((VALUE)RUBY_FL_USER4)
77#define FL_USER5 RBIMPL_CAST((VALUE)RUBY_FL_USER5)
78#define FL_USER6 RBIMPL_CAST((VALUE)RUBY_FL_USER6)
79#define FL_USER7 RBIMPL_CAST((VALUE)RUBY_FL_USER7)
80#define FL_USER8 RBIMPL_CAST((VALUE)RUBY_FL_USER8)
81#define FL_USER9 RBIMPL_CAST((VALUE)RUBY_FL_USER9)
82#define FL_USER10 RBIMPL_CAST((VALUE)RUBY_FL_USER10)
83#define FL_USER11 RBIMPL_CAST((VALUE)RUBY_FL_USER11)
84#define FL_USER12 RBIMPL_CAST((VALUE)RUBY_FL_USER12)
85#define FL_USER13 RBIMPL_CAST((VALUE)RUBY_FL_USER13)
86#define FL_USER14 RBIMPL_CAST((VALUE)RUBY_FL_USER14)
87#define FL_USER15 RBIMPL_CAST((VALUE)RUBY_FL_USER15)
88#define FL_USER16 RBIMPL_CAST((VALUE)RUBY_FL_USER16)
89#define FL_USER17 RBIMPL_CAST((VALUE)RUBY_FL_USER17)
90#define FL_USER18 RBIMPL_CAST((VALUE)RUBY_FL_USER18)
91#define FL_USER19 RBIMPL_CAST((VALUE)(unsigned int)RUBY_FL_USER19)
93#define ELTS_SHARED RUBY_ELTS_SHARED
94#define RB_OBJ_FREEZE rb_obj_freeze_inline
97#define RUBY_ELTS_SHARED RUBY_ELTS_SHARED
98#define RB_FL_ABLE RB_FL_ABLE
99#define RB_FL_ALL RB_FL_ALL
100#define RB_FL_ALL_RAW RB_FL_ALL_RAW
101#define RB_FL_ANY RB_FL_ANY
102#define RB_FL_ANY_RAW RB_FL_ANY_RAW
103#define RB_FL_REVERSE RB_FL_REVERSE
104#define RB_FL_REVERSE_RAW RB_FL_REVERSE_RAW
105#define RB_FL_SET RB_FL_SET
106#define RB_FL_SET_RAW RB_FL_SET_RAW
107#define RB_FL_TEST RB_FL_TEST
108#define RB_FL_TEST_RAW RB_FL_TEST_RAW
109#define RB_FL_UNSET RB_FL_UNSET
110#define RB_FL_UNSET_RAW RB_FL_UNSET_RAW
111#define RB_OBJ_FREEZE_RAW RB_OBJ_FREEZE_RAW
112#define RB_OBJ_FROZEN RB_OBJ_FROZEN
113#define RB_OBJ_FROZEN_RAW RB_OBJ_FROZEN_RAW
114#define RB_OBJ_INFECT RB_OBJ_INFECT
115#define RB_OBJ_INFECT_RAW RB_OBJ_INFECT_RAW
116#define RB_OBJ_TAINT RB_OBJ_TAINT
117#define RB_OBJ_TAINTABLE RB_OBJ_TAINTABLE
118#define RB_OBJ_TAINTED RB_OBJ_TAINTED
119#define RB_OBJ_TAINTED_RAW RB_OBJ_TAINTED_RAW
120#define RB_OBJ_TAINT_RAW RB_OBJ_TAINT_RAW
121#define RB_OBJ_UNTRUST RB_OBJ_TAINT
122#define RB_OBJ_UNTRUSTED RB_OBJ_TAINTED
130#define FL_ABLE RB_FL_ABLE
131#define FL_ALL RB_FL_ALL
132#define FL_ALL_RAW RB_FL_ALL_RAW
133#define FL_ANY RB_FL_ANY
134#define FL_ANY_RAW RB_FL_ANY_RAW
135#define FL_REVERSE RB_FL_REVERSE
136#define FL_REVERSE_RAW RB_FL_REVERSE_RAW
137#define FL_SET RB_FL_SET
138#define FL_SET_RAW RB_FL_SET_RAW
139#define FL_TEST RB_FL_TEST
140#define FL_TEST_RAW RB_FL_TEST_RAW
141#define FL_UNSET RB_FL_UNSET
142#define FL_UNSET_RAW RB_FL_UNSET_RAW
143#define OBJ_FREEZE RB_OBJ_FREEZE
144#define OBJ_FREEZE_RAW RB_OBJ_FREEZE_RAW
145#define OBJ_FROZEN RB_OBJ_FROZEN
146#define OBJ_FROZEN_RAW RB_OBJ_FROZEN_RAW
147#define OBJ_INFECT RB_OBJ_INFECT
148#define OBJ_INFECT_RAW RB_OBJ_INFECT_RAW
149#define OBJ_TAINT RB_OBJ_TAINT
150#define OBJ_TAINTABLE RB_OBJ_TAINTABLE
151#define OBJ_TAINTED RB_OBJ_TAINTED
152#define OBJ_TAINTED_RAW RB_OBJ_TAINTED_RAW
153#define OBJ_TAINT_RAW RB_OBJ_TAINT_RAW
154#define OBJ_UNTRUST RB_OBJ_UNTRUST
155#define OBJ_UNTRUSTED RB_OBJ_UNTRUSTED
167 RUBY_FL_USHIFT = 12
169
170/* > The expression that defines the value of an enumeration constant shall be
171 * > an integer constant expression that has a value representable as an `int`.
172 *
173 * -- ISO/IEC 9899:2018 section 6.7.2.2
174 *
175 * So ENUM_OVER_INT situation is an extension to the standard. Note however
176 * that we do not support 16 bit `int` environment. */
191enum
194
208
224
241
258
272
279
280#if defined(RBIMPL_HAVE_ENUM_ATTRIBUTE)
281 RBIMPL_ATTR_DEPRECATED(("taintedness turned out to be a wrong idea."))
282#elif defined(_MSC_VER)
283# pragma deprecated(RUBY_FL_TAINT)
284#endif
285
286 = (1<<8),
287
299
306
307#if defined(RBIMPL_HAVE_ENUM_ATTRIBUTE)
308 RBIMPL_ATTR_DEPRECATED(("trustedness turned out to be a wrong idea."))
309#elif defined(_MSC_VER)
310# pragma deprecated(RUBY_FL_UNTRUSTED)
311#endif
312
313 = (1<<8),
314
333
345 RUBY_FL_EXIVAR = (1<<10),
346
356 RUBY_FL_FREEZE = (1<<11),
357
359#define RBIMPL_FL_USER_N(n) RUBY_FL_USER##n = (1<<(RUBY_FL_USHIFT+n))
379#ifdef ENUM_OVER_INT
381#else
382# define RUBY_FL_USER19 (RBIMPL_VALUE_ONE<<(RUBY_FL_USHIFT+19))
383#endif
384#undef RBIMPL_FL_USER_N
385#undef RBIMPL_WIDER_ENUM
386
406
431};
432
433enum {
440
441#if defined(RBIMPL_HAVE_ENUM_ATTRIBUTE)
442 RBIMPL_ATTR_DEPRECATED(("It seems there is no actual usage of this enum."))
443#elif defined(_MSC_VER)
444# pragma deprecated(RUBY_FL_DUPPED)
445#endif
446
447 = (int)RUBY_T_MASK | (int)RUBY_FL_EXIVAR
449
450#undef RBIMPL_HAVE_ENUM_ATTRIBUTE
451
462
475static bool
476RB_FL_ABLE(VALUE obj)
477{
478 if (RB_SPECIAL_CONST_P(obj)) {
479 return false;
480 }
481 else if (RB_TYPE_P(obj, RUBY_T_NODE)) {
482 return false;
483 }
484 else {
485 return true;
486 }
487}
488
500static inline VALUE
501RB_FL_TEST_RAW(VALUE obj, VALUE flags)
502{
503 RBIMPL_ASSERT_OR_ASSUME(RB_FL_ABLE(obj));
504 return RBASIC(obj)->flags & flags;
505}
506
526static inline VALUE
527RB_FL_TEST(VALUE obj, VALUE flags)
528{
529 if (RB_FL_ABLE(obj)) {
530 return RB_FL_TEST_RAW(obj, flags);
531 }
532 else {
533 return RBIMPL_VALUE_NULL;
534 }
535}
536
549static inline bool
550RB_FL_ANY_RAW(VALUE obj, VALUE flags)
551{
552 return RB_FL_TEST_RAW(obj, flags);
553}
554
565static inline bool
566RB_FL_ANY(VALUE obj, VALUE flags)
567{
568 return RB_FL_TEST(obj, flags);
569}
570
583static inline bool
584RB_FL_ALL_RAW(VALUE obj, VALUE flags)
585{
586 return RB_FL_TEST_RAW(obj, flags) == flags;
587}
588
599static inline bool
600RB_FL_ALL(VALUE obj, VALUE flags)
601{
602 return RB_FL_TEST(obj, flags) == flags;
603}
604
622static inline void
623rbimpl_fl_set_raw_raw(struct RBasic *obj, VALUE flags)
624{
625 obj->flags |= flags;
626}
627
637static inline void
638RB_FL_SET_RAW(VALUE obj, VALUE flags)
639{
640 RBIMPL_ASSERT_OR_ASSUME(RB_FL_ABLE(obj));
641 rbimpl_fl_set_raw_raw(RBASIC(obj), flags);
642}
643
657static inline void
658RB_FL_SET(VALUE obj, VALUE flags)
659{
660 if (RB_FL_ABLE(obj)) {
661 RB_FL_SET_RAW(obj, flags);
662 }
663}
664
682static inline void
683rbimpl_fl_unset_raw_raw(struct RBasic *obj, VALUE flags)
684{
685 obj->flags &= ~flags;
686}
687
697static inline void
698RB_FL_UNSET_RAW(VALUE obj, VALUE flags)
699{
700 RBIMPL_ASSERT_OR_ASSUME(RB_FL_ABLE(obj));
701 rbimpl_fl_unset_raw_raw(RBASIC(obj), flags);
702}
703
712static inline void
713RB_FL_UNSET(VALUE obj, VALUE flags)
714{
715 if (RB_FL_ABLE(obj)) {
716 RB_FL_UNSET_RAW(obj, flags);
717 }
718}
719
737static inline void
738rbimpl_fl_reverse_raw_raw(struct RBasic *obj, VALUE flags)
739{
740 obj->flags ^= flags;
741}
742
752static inline void
753RB_FL_REVERSE_RAW(VALUE obj, VALUE flags)
754{
755 RBIMPL_ASSERT_OR_ASSUME(RB_FL_ABLE(obj));
756 rbimpl_fl_reverse_raw_raw(RBASIC(obj), flags);
757}
758
768static inline void
769RB_FL_REVERSE(VALUE obj, VALUE flags)
770{
771 if (RB_FL_ABLE(obj)) {
772 RB_FL_REVERSE_RAW(obj, flags);
773 }
774}
775
778RBIMPL_ATTR_DEPRECATED(("taintedness turned out to be a wrong idea."))
787static inline bool
788RB_OBJ_TAINTABLE(VALUE obj)
789{
790 return false;
791}
792
795RBIMPL_ATTR_DEPRECATED(("taintedness turned out to be a wrong idea."))
804static inline VALUE
805RB_OBJ_TAINTED_RAW(VALUE obj)
806{
807 return false;
808}
809
812RBIMPL_ATTR_DEPRECATED(("taintedness turned out to be a wrong idea."))
821static inline bool
822RB_OBJ_TAINTED(VALUE obj)
823{
824 return false;
825}
826
828RBIMPL_ATTR_DEPRECATED(("taintedness turned out to be a wrong idea."))
836static inline void
837RB_OBJ_TAINT_RAW(VALUE obj)
838{
839 return;
840}
841
843RBIMPL_ATTR_DEPRECATED(("taintedness turned out to be a wrong idea."))
851static inline void
852RB_OBJ_TAINT(VALUE obj)
853{
854 return;
855}
856
858RBIMPL_ATTR_DEPRECATED(("taintedness turned out to be a wrong idea."))
867static inline void
868RB_OBJ_INFECT_RAW(VALUE dst, VALUE src)
869{
870 return;
871}
872
874RBIMPL_ATTR_DEPRECATED(("taintedness turned out to be a wrong idea."))
883static inline void
884RB_OBJ_INFECT(VALUE dst, VALUE src)
885{
886 return;
887}
888
905static inline VALUE
906RB_OBJ_FROZEN_RAW(VALUE obj)
907{
908 return RB_FL_TEST_RAW(obj, RUBY_FL_FREEZE);
909}
910
920static inline bool
921RB_OBJ_FROZEN(VALUE obj)
922{
923 if (! RB_FL_ABLE(obj)) {
924 return true;
925 }
926 else {
927 return RB_OBJ_FROZEN_RAW(obj);
928 }
929}
930
938static inline void
939RB_OBJ_FREEZE_RAW(VALUE obj)
940{
941 RB_FL_SET_RAW(obj, RUBY_FL_FREEZE);
942}
943
944RUBY_SYMBOL_EXPORT_BEGIN
946RUBY_SYMBOL_EXPORT_END
947
948#endif /* RBIMPL_FL_TYPE_H */
Defines RBIMPL_ATTR_ARTIFICIAL.
#define RBIMPL_ATTR_ARTIFICIAL()
Wraps (or simulates) __attribute__((artificial))
Definition: artificial.h:43
#define RBIMPL_ASSERT_OR_ASSUME(expr)
This is either RUBY_ASSERT or RBIMPL_ASSUME, depending on RUBY_DEBUG.
Definition: assert.h:229
Defines RBIMPL_COMPILER_SINCE.
#define RB_GNUC_EXTENSION
This is expanded to nothing for non-GCC compilers.
Definition: defines.h:89
Defines RBIMPL_ATTR_DEPRECATED.
#define RBIMPL_ATTR_DEPRECATED(msg)
Wraps (or simulates) [[deprecated]]
Definition: deprecated.h:64
Tweaking visibility of C variables/functions.
#define RBIMPL_SYMBOL_EXPORT_END()
Counterpart of RBIMPL_SYMBOL_EXPORT_BEGIN.
Definition: dllexport.h:106
#define RBIMPL_SYMBOL_EXPORT_BEGIN()
Shortcut macro equivalent to RUBY_SYMBOL_EXPORT_BEGIN extern "C" {.
Definition: dllexport.h:97
Defines RBIMPL_HAS_EXTENSION.
ruby_fl_ushift
This is an enum because GDB wants it (rather than a macro).
Definition: fl_type.h:162
@ RUBY_FL_USHIFT
Number of bits in ruby_fl_type that are not open to users.
Definition: fl_type.h:167
@ RUBY_FL_DUPPED
Definition: fl_type.h:439
void rb_obj_freeze_inline(VALUE obj)
Prevents further modifications to the given object.
Definition: variable.c:1556
ruby_fl_type
The flags.
Definition: fl_type.h:193
@ RUBY_FL_PROMOTED1
This flag has something to do with our garbage collector.
Definition: fl_type.h:240
@ RUBY_ELTS_SHARED
This flag has something to do with data structures.
Definition: fl_type.h:405
@ RUBY_FL_SINGLETON
This flag has something to do with an object's class.
Definition: fl_type.h:430
@ RUBY_FL_TAINT
Definition: fl_type.h:278
@ RUBY_FL_WB_PROTECTED
Definition: fl_type.h:207
@ RUBY_FL_PROMOTED0
This flag has something to do with our garbage collector.
Definition: fl_type.h:223
@ RUBY_FL_EXIVAR
This flag has something to do with instance variables.
Definition: fl_type.h:345
@ RUBY_FL_UNTRUSTED
Definition: fl_type.h:305
@ RUBY_FL_PROMOTED
This flag has something to do with our garbage collector.
Definition: fl_type.h:257
@ RUBY_FL_USER0
User-defined flag.
Definition: fl_type.h:360
@ RUBY_FL_FREEZE
This flag has something to do with data immutability.
Definition: fl_type.h:356
@ RUBY_FL_SEEN_OBJ_ID
This flag has something to do with object IDs.
Definition: fl_type.h:332
@ RUBY_FL_USER2
User-defined flag.
Definition: fl_type.h:362
@ RUBY_FL_SHAREABLE
This flag has something to do with Ractor.
Definition: fl_type.h:298
@ RUBY_FL_FINALIZE
This flag has something to do with finalisers.
Definition: fl_type.h:271
#define RBIMPL_FL_USER_N(n)
(@shyouhei doesn't know how to excude this macro from doxygen).
Definition: fl_type.h:359
Defines RBIMPL_ATTR_FLAG_ENUM.
#define RBIMPL_ATTR_FLAG_ENUM()
Wraps (or simulates) __attribute__((flag_enum)
Definition: flag_enum.h:30
Defines RBIMPL_ATTR_FORCEINLINE.
#define RBIMPL_ATTR_FORCEINLINE()
Wraps (or simulates) __forceinline.
Definition: forceinline.h:37
void rb_freeze_singleton_class(VALUE klass)
This is an implementation detail of RB_OBJ_FREEZE().
Definition: class.c:2167
Defines RBIMPL_ATTR_NOALIAS.
#define RBIMPL_ATTR_NOALIAS()
Wraps (or simulates) __declspec((noalias))
Definition: noalias.h:66
Defines RBIMPL_ATTR_PURE.
#define RBIMPL_ATTR_PURE_UNLESS_DEBUG()
Enables RBIMPL_ATTR_PURE if and only if.
Definition: pure.h:38
Defines struct RBasic.
#define RBASIC(obj)
Convenient casting macro.
Definition: rbasic.h:40
Defines enum ruby_special_consts.
C99 shim for <stdbool.h>
Ruby's object's, base components.
Definition: rbasic.h:64
Defines VALUE and ID.
#define RBIMPL_VALUE_NULL
A compile-time constant of type VALUE whose value is 0.
Definition: value.h:76
uintptr_t VALUE
Type that represents a Ruby object.
Definition: value.h:40
Defines enum ruby_value_type.
@ RUBY_T_NODE
Definition: value_type.h:139
@ RUBY_T_MASK
Bitmask of ruby_value_type.
Definition: value_type.h:144