March 2010 - Wine-Commits - list.winehq.org

Rob Shearman : widl: Remove func_t type.
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: 979bdf28b60dbb10782dc8a34e1f308112a8a81a URL: http://source.winehq.org/git/wine.git/?a=commit;h=979bdf28b60dbb10782dc8a34… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:36 2010 +0000 widl: Remove func_t type. It was just a simple indirection to get to a var_t, so just replace all uses of it with the latter. --- tools/widl/parser.y | 41 ++++++++--------------------------------- tools/widl/typetree.c | 2 +- tools/widl/typetree.h | 2 +- tools/widl/widltypes.h | 12 +----------- tools/widl/write_msft.c | 8 ++++---- 5 files changed, 15 insertions(+), 50 deletions(-) diff --git a/tools/widl/parser.y b/tools/widl/parser.y index 5c021ae..d0985e9 100644 --- a/tools/widl/parser.y +++ b/tools/widl/parser.y @@ -108,8 +108,6 @@ static ifref_t *make_ifref(type_t *iface); static var_list_t *append_var_list(var_list_t *list, var_list_t *vars); static declarator_list_t *append_declarator(declarator_list_t *list, declarator_t *p); static declarator_t *make_declarator(var_t *var); -static func_list_t *append_func(func_list_t *list, func_t *func); -static func_t *make_func(var_t *def); static type_t *make_safearray(type_t *type); static typelib_t *make_library(const char *name, const attr_list_t *attrs); static type_t *append_ptrchain_type(type_t *ptrchain, type_t *type); @@ -165,8 +163,6 @@ static statement_list_t *append_statement(statement_list_t *list, statement_t *s var_list_t *var_list; declarator_t *declarator; declarator_list_t *declarator_list; - func_t *func; - func_list_t *func_list; statement_t *statement; statement_list_t *stmt_list; ifref_t *ifref; @@ -293,14 +289,14 @@ static statement_list_t *append_statement(statement_list_t *list, statement_t *s %type <ifref> coclass_int %type <ifref_list> coclass_ints %type <var> arg ne_union_field union_field s_field case enum declaration -%type <var_list> m_args arg_list args +%type <var> funcdef +%type <var_list> m_args arg_list args dispint_meths %type <var_list> fields ne_union_fields cases enums enum_list dispint_props field %type <var> m_ident ident %type <declarator> declarator direct_declarator init_declarator struct_declarator %type <declarator> m_any_declarator any_declarator any_declarator_no_direct any_direct_declarator %type <declarator> m_abstract_declarator abstract_declarator abstract_declarator_no_direct abstract_direct_declarator %type <declarator_list> declarator_list struct_declarator_list -%type <func> funcdef %type <type> coclass coclasshdr coclassdef %type <num> pointer_type version %type <str> libraryhdr callconv cppquote importlib import t_ident @@ -308,7 +304,7 @@ static statement_list_t *append_statement(statement_list_t *list, statement_t *s %type <import> import_start %type <typelib> library_start librarydef %type <statement> statement typedef -%type <stmt_list> gbl_statements imp_statements int_statements dispint_meths +%type <stmt_list> gbl_statements imp_statements int_statements %left ',' %right '?' ':' @@ -720,12 +716,10 @@ s_field: m_attributes decl_spec declarator { $$ = declare_var(check_field_attrs } ; -funcdef: - m_attributes decl_spec declarator { var_t *v; - v = declare_var(check_function_attrs($3->var->name, $1), - $2, $3, FALSE); - free($3); - $$ = make_func(v); +funcdef: declaration { $$ = $1; + if (type_get_type($$->type) != TYPE_FUNCTION) + error_loc("only methods may be declared inside the methods section of a dispinterface\n"); + check_function_attrs($$->name, $$->attrs); } ; @@ -826,7 +820,7 @@ dispint_props: tPROPERTIES ':' { $$ = NULL; } ; dispint_meths: tMETHODS ':' { $$ = NULL; } - | dispint_meths funcdef ';' { $$ = append_func( $1, $2 ); } + | dispint_meths funcdef ';' { $$ = append_var( $1, $2 ); } ; dispinterfacedef: dispinterfacehdr '{' @@ -1693,25 +1687,6 @@ static declarator_t *make_declarator(var_t *var) return d; } -static func_list_t *append_func(func_list_t *list, func_t *func) -{ - if (!func) return list; - if (!list) - { - list = xmalloc( sizeof(*list) ); - list_init( list ); - } - list_add_tail( list, &func->entry ); - return list; -} - -static func_t *make_func(var_t *def) -{ - func_t *f = xmalloc(sizeof(func_t)); - f->def = def; - return f; -} - static type_t *make_safearray(type_t *type) { return type_new_array(NULL, type_new_alias(type, "SAFEARRAY"), TRUE, 0, diff --git a/tools/widl/typetree.c b/tools/widl/typetree.c index a60e757..a9e71be 100644 --- a/tools/widl/typetree.c +++ b/tools/widl/typetree.c @@ -386,7 +386,7 @@ void type_interface_define(type_t *iface, type_t *inherit, statement_list_t *stm compute_method_indexes(iface); } -void type_dispinterface_define(type_t *iface, var_list_t *props, func_list_t *methods) +void type_dispinterface_define(type_t *iface, var_list_t *props, var_list_t *methods) { iface->details.iface = xmalloc(sizeof(*iface->details.iface)); iface->details.iface->disp_props = props; diff --git a/tools/widl/typetree.h b/tools/widl/typetree.h index 591406b..8b19739 100644 --- a/tools/widl/typetree.h +++ b/tools/widl/typetree.h @@ -41,7 +41,7 @@ type_t *type_new_nonencapsulated_union(const char *name, int defined, var_list_t type_t *type_new_encapsulated_union(char *name, var_t *switch_field, var_t *union_field, var_list_t *cases); type_t *type_new_bitfield(type_t *field_type, const expr_t *bits); void type_interface_define(type_t *iface, type_t *inherit, statement_list_t *stmts); -void type_dispinterface_define(type_t *iface, var_list_t *props, func_list_t *methods); +void type_dispinterface_define(type_t *iface, var_list_t *props, var_list_t *methods); void type_dispinterface_define_from_iface(type_t *dispiface, type_t *iface); void type_module_define(type_t *module, statement_list_t *stmts); type_t *type_coclass_define(type_t *coclass, ifref_list_t *ifaces); diff --git a/tools/widl/widltypes.h b/tools/widl/widltypes.h index 18f601c..d40fe1e 100644 --- a/tools/widl/widltypes.h +++ b/tools/widl/widltypes.h @@ -41,7 +41,6 @@ typedef struct _expr_t expr_t; typedef struct _type_t type_t; typedef struct _var_t var_t; typedef struct _declarator_t declarator_t; -typedef struct _func_t func_t; typedef struct _ifref_t ifref_t; typedef struct _typelib_entry_t typelib_entry_t; typedef struct _importlib_t importlib_t; @@ -54,7 +53,6 @@ typedef struct _statement_t statement_t; typedef struct list attr_list_t; typedef struct list str_list_t; -typedef struct list func_list_t; typedef struct list expr_list_t; typedef struct list var_list_t; typedef struct list declarator_list_t; @@ -301,7 +299,7 @@ struct func_details struct iface_details { statement_list_t *stmts; - func_list_t *disp_methods; + var_list_t *disp_methods; var_list_t *disp_props; struct _type_t *inherit; }; @@ -309,7 +307,6 @@ struct iface_details struct module_details { statement_list_t *stmts; - func_list_t *funcs; }; struct array_details @@ -418,13 +415,6 @@ struct _declarator_t { struct list entry; }; -struct _func_t { - var_t *def; - - /* parser-internal */ - struct list entry; -}; - struct _ifref_t { type_t *iface; attr_list_t *attrs; diff --git a/tools/widl/write_msft.c b/tools/widl/write_msft.c index 5bbc95e..15761a0 100644 --- a/tools/widl/write_msft.c +++ b/tools/widl/write_msft.c @@ -1950,7 +1950,7 @@ static void add_dispatch(msft_typelib_t *typelib) static void add_dispinterface_typeinfo(msft_typelib_t *typelib, type_t *dispinterface) { int idx = 0; - const func_t *func; + var_t *func; var_t *var; msft_typeinfo_t *msft_typeinfo; @@ -1970,7 +1970,7 @@ static void add_dispinterface_typeinfo(msft_typelib_t *typelib, type_t *dispinte /* count the no of methods, as the variable indices come after the funcs */ if (dispinterface->details.iface->disp_methods) - LIST_FOR_EACH_ENTRY( func, dispinterface->details.iface->disp_methods, const func_t, entry ) + LIST_FOR_EACH_ENTRY( func, dispinterface->details.iface->disp_methods, var_t, entry ) idx++; if (type_dispiface_get_props(dispinterface)) @@ -1980,8 +1980,8 @@ static void add_dispinterface_typeinfo(msft_typelib_t *typelib, type_t *dispinte if (type_dispiface_get_methods(dispinterface)) { idx = 0; - LIST_FOR_EACH_ENTRY( func, type_dispiface_get_methods(dispinterface), const func_t, entry ) - if(add_func_desc(msft_typeinfo, func->def, idx) == S_OK) + LIST_FOR_EACH_ENTRY( func, type_dispiface_get_methods(dispinterface), var_t, entry ) + if(add_func_desc(msft_typeinfo, func, idx) == S_OK) idx++; } }

1 0

Rob Shearman : widl: Issue an error if a context handle variable is declared outside of a function .
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: 361a39fff3fedaf38e686cd47542f874f0d0684e URL: http://source.winehq.org/git/wine.git/?a=commit;h=361a39fff3fedaf38e686cd47… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:24 2010 +0000 widl: Issue an error if a context handle variable is declared outside of a function. --- tools/widl/parser.y | 6 +++++- 1 files changed, 5 insertions(+), 1 deletions(-) diff --git a/tools/widl/parser.y b/tools/widl/parser.y index c3e1af4..a6b6bce 100644 --- a/tools/widl/parser.y +++ b/tools/widl/parser.y @@ -2439,7 +2439,11 @@ static void check_field_common(const type_t *container_type, } case TGT_CTXT_HANDLE: case TGT_CTXT_HANDLE_POINTER: - /* FIXME */ + if (type_get_type(container_type) != TYPE_FUNCTION) + error_loc_info(&arg->loc_info, + "%s \'%s\' of %s \'%s\' cannot be a context handle\n", + var_type, arg->name, container_type_name, + container_name); break; case TGT_STRING: {

1 0

Rob Shearman : widl: Issue an error if an out parameter is a conformant string.
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: a3f649f730ed9f8881e6f2572fe9475728caf670 URL: http://source.winehq.org/git/wine.git/?a=commit;h=a3f649f730ed9f8881e6f2572… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:32 2010 +0000 widl: Issue an error if an out parameter is a conformant string. --- tools/widl/parser.y | 9 +++++---- 1 files changed, 5 insertions(+), 4 deletions(-) diff --git a/tools/widl/parser.y b/tools/widl/parser.y index a6b6bce..5c021ae 100644 --- a/tools/widl/parser.y +++ b/tools/widl/parser.y @@ -2527,10 +2527,11 @@ static void check_remoting_args(const var_t *func) error_loc_info(&arg->loc_info, "out interface pointer \'%s\' of function \'%s\' is not a double pointer\n", arg->name, funcname); break; case TGT_STRING: - if (!is_array(type)) - { - /* FIXME */ - } + if (is_ptr(type) || + (is_array(type) && + (!type_array_has_conformance(type) || + type_array_get_conformance(type)->type == EXPR_VOID))) + error_loc_info(&arg->loc_info, "out parameter \'%s\' of function \'%s\' cannot be an unsized string\n", arg->name, funcname); break; case TGT_INVALID: /* already error'd before we get here */

1 0

Rob Shearman : widl: Fix the calculation of casted integer constant expressions.
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: b544014b8e1bb1e3e6f89d96edbeead320375afc URL: http://source.winehq.org/git/wine.git/?a=commit;h=b544014b8e1bb1e3e6f89d96e… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:46 2010 +0000 widl: Fix the calculation of casted integer constant expressions. --- tools/widl/expr.c | 141 +++++++++++++++++++++++++++++++++++++---------------- 1 files changed, 98 insertions(+), 43 deletions(-) diff --git a/tools/widl/expr.c b/tools/widl/expr.c index bca7c5a..67c5e71 100644 --- a/tools/widl/expr.c +++ b/tools/widl/expr.c @@ -35,8 +35,76 @@ #include "typetree.h" #include "typegen.h" -static int is_integer_type(const type_t *type); -static int is_float_type(const type_t *type); +static int is_integer_type(const type_t *type) +{ + switch (type_get_type(type)) + { + case TYPE_ENUM: + return TRUE; + case TYPE_BASIC: + switch (type_basic_get_type(type)) + { + case TYPE_BASIC_INT8: + case TYPE_BASIC_INT16: + case TYPE_BASIC_INT32: + case TYPE_BASIC_INT64: + case TYPE_BASIC_INT: + case TYPE_BASIC_INT3264: + case TYPE_BASIC_CHAR: + case TYPE_BASIC_HYPER: + case TYPE_BASIC_BYTE: + case TYPE_BASIC_WCHAR: + case TYPE_BASIC_ERROR_STATUS_T: + return TRUE; + case TYPE_BASIC_FLOAT: + case TYPE_BASIC_DOUBLE: + case TYPE_BASIC_HANDLE: + return FALSE; + } + return FALSE; + default: + return FALSE; + } +} + +static int is_signed_integer_type(const type_t *type) +{ + switch (type_get_type(type)) + { + case TYPE_ENUM: + return FALSE; + case TYPE_BASIC: + switch (type_basic_get_type(type)) + { + case TYPE_BASIC_INT8: + case TYPE_BASIC_INT16: + case TYPE_BASIC_INT32: + case TYPE_BASIC_INT64: + case TYPE_BASIC_INT: + case TYPE_BASIC_INT3264: + return type_basic_get_sign(type) < 0; + case TYPE_BASIC_CHAR: + return TRUE; + case TYPE_BASIC_HYPER: + case TYPE_BASIC_BYTE: + case TYPE_BASIC_WCHAR: + case TYPE_BASIC_ERROR_STATUS_T: + case TYPE_BASIC_FLOAT: + case TYPE_BASIC_DOUBLE: + case TYPE_BASIC_HANDLE: + return FALSE; + } + default: + return FALSE; + } +} + +static int is_float_type(const type_t *type) +{ + return (type_get_type(type) == TYPE_BASIC && + (type_basic_get_type(type) == TYPE_BASIC_FLOAT || + type_basic_get_type(type) == TYPE_BASIC_DOUBLE)); +} expr_t *make_expr(enum expr_type type) { @@ -146,8 +214,34 @@ expr_t *make_exprt(enum expr_type type, var_t *var, expr_t *expr) /* check for cast of constant expression */ if (type == EXPR_CAST && expr->is_const) { - e->is_const = TRUE; - e->cval = expr->cval; + if (is_integer_type(tref)) + { + unsigned int align = 0; + unsigned int cast_type_bits = type_memsize(tref, &align) * 8; + unsigned long cast_mask; + + e->is_const = TRUE; + if (is_signed_integer_type(tref)) + { + cast_mask = (1 << (cast_type_bits - 1)) - 1; + if (expr->cval & (1 << (cast_type_bits - 1))) + e->cval = -((-expr->cval) & cast_mask); + else + e->cval = expr->cval & cast_mask; + } + else + { + /* calculate ((1 << cast_type_bits) - 1) avoiding overflow */ + cast_mask = ((1 << (cast_type_bits - 1)) - 1) | + 1 << (cast_type_bits - 1); + e->cval = expr->cval & cast_mask; + } + } + else + { + e->is_const = TRUE; + e->cval = expr->cval; + } } free(var); return e; @@ -308,45 +402,6 @@ struct expression_type type_t *type; }; -static int is_integer_type(const type_t *type) -{ - switch (type_get_type(type)) - { - case TYPE_ENUM: - return TRUE; - case TYPE_BASIC: - switch (type_basic_get_type(type)) - { - case TYPE_BASIC_INT8: - case TYPE_BASIC_INT16: - case TYPE_BASIC_INT32: - case TYPE_BASIC_INT64: - case TYPE_BASIC_INT: - case TYPE_BASIC_INT3264: - case TYPE_BASIC_CHAR: - case TYPE_BASIC_HYPER: - case TYPE_BASIC_BYTE: - case TYPE_BASIC_WCHAR: - case TYPE_BASIC_ERROR_STATUS_T: - return TRUE; - case TYPE_BASIC_FLOAT: - case TYPE_BASIC_DOUBLE: - case TYPE_BASIC_HANDLE: - return FALSE; - } - return FALSE; - default: - return FALSE; - } -} - -static int is_float_type(const type_t *type) -{ - return (type_get_type(type) == TYPE_BASIC && - (type_basic_get_type(type) == TYPE_BASIC_FLOAT || - type_basic_get_type(type) == TYPE_BASIC_DOUBLE)); -} - static void check_scalar_type(const struct expr_loc *expr_loc, const type_t *cont_type, const type_t *type) {

1 0

Rob Shearman : widl: Return a pointer to the correct part of the string from the lexer for WSTRQUOTE tokens .
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: 8a8fff6415e7e03c4c51b3abbabac816208563f8 URL: http://source.winehq.org/git/wine.git/?a=commit;h=8a8fff6415e7e03c4c51b3abb… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:51 2010 +0000 widl: Return a pointer to the correct part of the string from the lexer for WSTRQUOTE tokens. --- tools/widl/parser.l | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/tools/widl/parser.l b/tools/widl/parser.l index 0d231fc..bcf7436 100644 --- a/tools/widl/parser.l +++ b/tools/widl/parser.l @@ -150,7 +150,7 @@ UUID *parse_uuid(const char *u) parser_lval.str = get_buffered_cstring(); return aSTRING; } -<INITIAL,ATTR>L\" yy_push_state(WSTRQUOTE); +<INITIAL,ATTR>L\" yy_push_state(WSTRQUOTE); cbufidx = 0; <WSTRQUOTE>\" { yy_pop_state(); parser_lval.str = get_buffered_cstring();

1 0

Rob Shearman : widl: Fix crash when trying to declare a fixed size array with a size_is attribute .
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: 50534b87d0702965339b365258f246d3f6b6501f URL: http://source.winehq.org/git/wine.git/?a=commit;h=50534b87d0702965339b36525… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:21 2010 +0000 widl: Fix crash when trying to declare a fixed size array with a size_is attribute. In this case type_array_get_conformance will return NULL. The code here is actually replacing an existing array with an EXPR_VOID conformance with the specified conformance, so issue an error if type_array_get_conformance returns NULL or the conformance has already been defined. --- tools/widl/parser.y | 5 +++-- 1 files changed, 3 insertions(+), 2 deletions(-) diff --git a/tools/widl/parser.y b/tools/widl/parser.y index 8a23a82..c3e1af4 100644 --- a/tools/widl/parser.y +++ b/tools/widl/parser.y @@ -1514,8 +1514,9 @@ static var_t *declare_var(attr_list_t *attrs, decl_spec_t *decl_spec, const decl { if (is_array(*ptype)) { - if (type_array_get_conformance(*ptype)->is_const) - error_loc("%s: cannot specify size_is for a fixed sized array\n", v->name); + if (!type_array_get_conformance(*ptype) || + type_array_get_conformance(*ptype)->type != EXPR_VOID) + error_loc("%s: cannot specify size_is for an already sized array\n", v->name); else *ptype = type_new_array((*ptype)->name, type_array_get_element(*ptype), FALSE,

1 0

Rob Shearman : include: Change an unsized [out] string to be sized in IMultiLanguage2.
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: cf45d599124a7bbb53a511e271d7864a0548e722 URL: http://source.winehq.org/git/wine.git/?a=commit;h=cf45d599124a7bbb53a511e27… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:29 2010 +0000 include: Change an unsized [out] string to be sized in IMultiLanguage2. Unsized [out] strings are not allowed because of the potential to overflow the buffer passed in. --- include/mlang.idl | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/include/mlang.idl b/include/mlang.idl index a5b1b47..7664a22 100644 --- a/include/mlang.idl +++ b/include/mlang.idl @@ -668,7 +668,7 @@ interface IMultiLanguage2 : IUnknown HRESULT GetCodePageDescription( [in] UINT uiCodePage, [in] LCID lcid, - [in,out] LPWSTR lpWideCharStr, + [in,out,size_is(cchWideChar)] LPWSTR lpWideCharStr, [in] int cchWideChar); HRESULT IsCodePageInstallable(

1 0

Rob Shearman : widl: Don't pre-calculate buffer size for arrays that aren' t treated as reference pointers.
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: f6b53be0d9c051265846c92ef480bd74dde0a03d URL: http://source.winehq.org/git/wine.git/?a=commit;h=f6b53be0d9c051265846c92ef… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:01 2010 +0000 widl: Don't pre-calculate buffer size for arrays that aren't treated as reference pointers. --- tools/widl/typegen.c | 7 ++++--- 1 files changed, 4 insertions(+), 3 deletions(-) diff --git a/tools/widl/typegen.c b/tools/widl/typegen.c index ca0faf1..c9f9549 100644 --- a/tools/widl/typegen.c +++ b/tools/widl/typegen.c @@ -3069,9 +3069,10 @@ static unsigned int get_required_buffer_size_type( break; case TGT_ARRAY: - /* FIXME: depends on pointer type */ - return type_array_get_dim(type) * - get_required_buffer_size_type(type_array_get_element(type), name, NULL, FALSE, alignment); + if (get_pointer_fc(type, attrs, toplevel_param) == RPC_FC_RP) + return type_array_get_dim(type) * + get_required_buffer_size_type(type_array_get_element(type), name, + NULL, FALSE, alignment); default: break;

1 0

Rob Shearman : widl: Fix writing of MaxCount expressions for conformant strings declared using array form .
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: 096b3cd090154cb3e47cbf8e2b635b446238cb8f URL: http://source.winehq.org/git/wine.git/?a=commit;h=096b3cd090154cb3e47cbf8e2… Author: Rob Shearman <robertshearman(a)gmail.com> Date: Tue Mar 23 13:33:17 2010 +0000 widl: Fix writing of MaxCount expressions for conformant strings declared using array form. --- tools/widl/typegen.c | 6 ++++-- 1 files changed, 4 insertions(+), 2 deletions(-) diff --git a/tools/widl/typegen.c b/tools/widl/typegen.c index 155e01b..771cd2a 100644 --- a/tools/widl/typegen.c +++ b/tools/widl/typegen.c @@ -3305,7 +3305,8 @@ expr_t *get_size_is_expr(const type_t *t, const char *name) expr_t *x = NULL; for ( ; is_array(t); t = type_array_get_element(t)) - if (type_array_has_conformance(t)) + if (type_array_has_conformance(t) && + type_array_get_conformance(t)->type != EXPR_VOID) { if (!x) x = type_array_get_conformance(t); @@ -3330,7 +3331,8 @@ static void write_parameter_conf_or_var_exprs(FILE *file, int indent, const char case TGT_ARRAY: if (is_conformance_needed_for_phase(phase)) { - if (type_array_has_conformance(type)) + if (type_array_has_conformance(type) && + type_array_get_conformance(type)->type != EXPR_VOID) { print_file(file, indent, "__frame->_StubMsg.MaxCount = (ULONG_PTR)"); write_expr(file, type_array_get_conformance(type), 1, 1, NULL, NULL, local_var_prefix);

1 0

Huw Davies : dispex: Check whether the server function changes the type of the arguments.
by Alexandre Julliard March 23, 2010

March 23, 2010

Module: wine Branch: master Commit: f1ebd2d8948243afc2e2f2a0d4222c8093112e8d URL: http://source.winehq.org/git/wine.git/?a=commit;h=f1ebd2d8948243afc2e2f2a0d… Author: Huw Davies <huw(a)codeweavers.com> Date: Mon Mar 22 14:44:52 2010 +0000 dispex: Check whether the server function changes the type of the arguments. --- dlls/dispex/tests/marshal.c | 1 - dlls/dispex/usrmarshal.c | 24 ++++++++++++++++++++++++ 2 files changed, 24 insertions(+), 1 deletions(-) diff --git a/dlls/dispex/tests/marshal.c b/dlls/dispex/tests/marshal.c index b277719..4380621 100644 --- a/dlls/dispex/tests/marshal.c +++ b/dlls/dispex/tests/marshal.c @@ -405,7 +405,6 @@ static void test_dispex(void) /* change one of the argument vts */ i = 0xbeef; hr = IDispatchEx_InvokeEx(dispex, 3, LOCALE_SYSTEM_DEFAULT, DISPATCH_METHOD, &params, NULL, NULL, NULL); -todo_wine ok(hr == DISP_E_BADCALLEE, "got %08x\n", hr); hr = IDispatchEx_InvokeEx(dispex, 4, LOCALE_SYSTEM_DEFAULT, 0xffff, &params, NULL, NULL, NULL); diff --git a/dlls/dispex/usrmarshal.c b/dlls/dispex/usrmarshal.c index 915e5bc..cc72469 100644 --- a/dlls/dispex/usrmarshal.c +++ b/dlls/dispex/usrmarshal.c @@ -118,6 +118,7 @@ HRESULT __RPC_STUB IDispatchEx_InvokeEx_Stub(IDispatchEx* This, DISPID id, LCID { HRESULT hr; UINT arg; + VARTYPE *vt_list = NULL; TRACE("(%p)->(%08x, %04x, %08x, %p, %p, %p, %p, %d, %p, %p)\n", This, id, lcid, dwFlags, pdp, result, pei, pspCaller, byref_args, ref_idx, ref_arg); @@ -131,8 +132,30 @@ HRESULT __RPC_STUB IDispatchEx_InvokeEx_Stub(IDispatchEx* This, DISPID id, LCID if(dwFlags & NULL_RESULT) result = NULL; if(dwFlags & NULL_EXCEPINFO) pei = NULL; + /* Create an array of the original VTs to check that the function doesn't change + any on return. */ + if(byref_args) + { + vt_list = HeapAlloc(GetProcessHeap(), 0, pdp->cArgs * sizeof(vt_list[0])); + if(!vt_list) return E_OUTOFMEMORY; + for(arg = 0; arg < pdp->cArgs; arg++) + vt_list[arg] = V_VT(pdp->rgvarg + arg); + } + hr = IDispatchEx_InvokeEx(This, id, lcid, dwFlags & 0xffff, pdp, result, pei, pspCaller); + if(SUCCEEDED(hr) && byref_args) + { + for(arg = 0; arg < pdp->cArgs; arg++) + { + if(vt_list[arg] != V_VT(pdp->rgvarg + arg)) + { + hr = DISP_E_BADCALLEE; + break; + } + } + } + if(hr == DISP_E_EXCEPTION) { if(pei && pei->pfnDeferredFillIn) @@ -145,5 +168,6 @@ HRESULT __RPC_STUB IDispatchEx_InvokeEx_Stub(IDispatchEx* This, DISPID id, LCID for(arg = 0; arg < byref_args; arg++) VariantInit(pdp->rgvarg + ref_idx[arg]); + HeapFree(GetProcessHeap(), 0, vt_list); return hr; }

1 0