pike.git/ src/ pike_types.h

2016-10-30

2016-10-30 11:40:44 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• 8ec3c672c89a6bc81984cbea8c3af361d6a569a1 (3 lines) (+3/-0) ^{[ Show | Annotate ]}
  Branch: 8.1

Compiler [Type checker]: Added check_variant_overload().

This function is intended to be used to check whether all variants
of a variant function are reachable.

95:   #endif   #define LE_USE_HANDLERS 16 /* Call handlers if appropriate. */   #define LE_EXPLICIT_ZERO 32 /* Zero is not subtype of all others. */ + #define LE_TYPE_SVALUE 64 /* Same matching as match_type_svalue(). */      /*    * Flags used by low_get_first_arg_type()
287:   int check_soft_cast(struct pike_type *to, struct pike_type *from);   int match_types(struct pike_type *a,struct pike_type *b);   int pike_types_le(struct pike_type *a, struct pike_type *b); + int check_variant_overload(struct pike_type *a, struct pike_type *b);   struct pike_type *index_type(struct pike_type *type,    struct pike_type *type_of_index,    node *n);