Branch: Tag:

2011-12-11

2011-12-11 18:56:23 by Henrik Grubbström (Grubba) <grubba@grubba.org>

Type-checker: CALL_NOT_LAST_ARG gives a super-set for get_first_arg_type().

61:      /*    * Flags used by low_get_first_arg_type() +  * +  * Note that these differ for the flags to get_first_arg_type().    */   #define FILTER_KEEP_VOID 1 /* Keep void during the filtering. */   
5212:    {    /* Get the type of the first argument of the function. */    struct pike_type *res = -  get_first_arg_type(ID_FROM_INT(p, i)->type, 0); +  get_first_arg_type(ID_FROM_INT(p, i)->type, CALL_NOT_LAST_ARG);    if (res) return res;    /* FIXME: Warn? */    add_ref(string_type_string);
5225:    {    /* Get the type of the first argument of the function. */    struct pike_type *res = -  get_first_arg_type(ID_FROM_INT(p, i)->type, 0); +  get_first_arg_type(ID_FROM_INT(p, i)->type, CALL_NOT_LAST_ARG);    if (res) return res;    /* FIXME: Warn? */    add_ref(mixed_type_string);