git.oblomov.eu Git - wine/blob - dlls/oleaut32/variant.c

   1 /*
   2  * VARIANT
   3  *
   4  * Copyright 1998 Jean-Claude Cote
   5  * Copyright 2003 Jon Griffiths
   6  * Copyright 2005 Daniel Remenak
   7  * Copyright 2006 Google (Benjamin Arai)
   8  *
   9  * The algorithm for conversion from Julian days to day/month/year is based on
  10  * that devised by Henry Fliegel, as implemented in PostgreSQL, which is
  11  * Copyright 1994-7 Regents of the University of California
  12  *
  13  * This library is free software; you can redistribute it and/or
  14  * modify it under the terms of the GNU Lesser General Public
  15  * License as published by the Free Software Foundation; either
  16  * version 2.1 of the License, or (at your option) any later version.
  17  *
  18  * This library is distributed in the hope that it will be useful,
  19  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  20  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  21  * Lesser General Public License for more details.
  22  *
  23  * You should have received a copy of the GNU Lesser General Public
  24  * License along with this library; if not, write to the Free Software
  25  * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA
  26  */
  27
  28 #include "config.h"
  29
  30 #include <string.h>
  31 #include <stdlib.h>
  32 #include <stdarg.h>
  33
  34 #define COBJMACROS
  35 #define NONAMELESSUNION
  36 #define NONAMELESSSTRUCT
  37
  38 #include "windef.h"
  39 #include "winbase.h"
  40 #include "wine/unicode.h"
  41 #include "winerror.h"
  42 #include "variant.h"
  43 #include "resource.h"
  44 #include "wine/debug.h"
  45
  46 WINE_DEFAULT_DEBUG_CHANNEL(variant);
  47
  48 const char * const wine_vtypes[VT_CLSID+1] =
  49 {
  50   "VT_EMPTY","VT_NULL","VT_I2","VT_I4","VT_R4","VT_R8","VT_CY","VT_DATE",
  51   "VT_BSTR","VT_DISPATCH","VT_ERROR","VT_BOOL","VT_VARIANT","VT_UNKNOWN",
  52   "VT_DECIMAL","15","VT_I1","VT_UI1","VT_UI2","VT_UI4","VT_I8","VT_UI8",
  53   "VT_INT","VT_UINT","VT_VOID","VT_HRESULT","VT_PTR","VT_SAFEARRAY",
  54   "VT_CARRAY","VT_USERDEFINED","VT_LPSTR","VT_LPWSTR","32","33","34","35",
  55   "VT_RECORD","VT_INT_PTR","VT_UINT_PTR","39","40","41","42","43","44","45",
  56   "46","47","48","49","50","51","52","53","54","55","56","57","58","59","60",
  57   "61","62","63","VT_FILETIME","VT_BLOB","VT_STREAM","VT_STORAGE",
  58   "VT_STREAMED_OBJECT","VT_STORED_OBJECT","VT_BLOB_OBJECT","VT_CF","VT_CLSID"
  59 };
  60
  61 const char * const wine_vflags[16] =
  62 {
  63  "",
  64  "|VT_VECTOR",
  65  "|VT_ARRAY",
  66  "|VT_VECTOR|VT_ARRAY",
  67  "|VT_BYREF",
  68  "|VT_VECTOR|VT_ARRAY",
  69  "|VT_ARRAY|VT_BYREF",
  70  "|VT_VECTOR|VT_ARRAY|VT_BYREF",
  71  "|VT_HARDTYPE",
  72  "|VT_VECTOR|VT_HARDTYPE",
  73  "|VT_ARRAY|VT_HARDTYPE",
  74  "|VT_VECTOR|VT_ARRAY|VT_HARDTYPE",
  75  "|VT_BYREF|VT_HARDTYPE",
  76  "|VT_VECTOR|VT_ARRAY|VT_HARDTYPE",
  77  "|VT_ARRAY|VT_BYREF|VT_HARDTYPE",
  78  "|VT_VECTOR|VT_ARRAY|VT_BYREF|VT_HARDTYPE",
  79 };
  80
  81 /* Convert a variant from one type to another */
  82 static inline HRESULT VARIANT_Coerce(VARIANTARG* pd, LCID lcid, USHORT wFlags,
  83                                      VARIANTARG* ps, VARTYPE vt)
  84 {
  85   HRESULT res = DISP_E_TYPEMISMATCH;
  86   VARTYPE vtFrom =  V_TYPE(ps);
  87   DWORD dwFlags = 0;
  88
  89   TRACE("(%p->(%s%s),0x%08x,0x%04x,%p->(%s%s),%s%s)\n", pd, debugstr_VT(pd),
  90         debugstr_VF(pd), lcid, wFlags, ps, debugstr_VT(ps), debugstr_VF(ps),
  91         debugstr_vt(vt), debugstr_vf(vt));
  92
  93   if (vt == VT_BSTR || vtFrom == VT_BSTR)
  94   {
  95     /* All flags passed to low level function are only used for
  96      * changing to or from strings. Map these here.
  97      */
  98     if (wFlags & VARIANT_LOCALBOOL)
  99       dwFlags |= VAR_LOCALBOOL;
 100     if (wFlags & VARIANT_CALENDAR_HIJRI)
 101       dwFlags |= VAR_CALENDAR_HIJRI;
 102     if (wFlags & VARIANT_CALENDAR_THAI)
 103       dwFlags |= VAR_CALENDAR_THAI;
 104     if (wFlags & VARIANT_CALENDAR_GREGORIAN)
 105       dwFlags |= VAR_CALENDAR_GREGORIAN;
 106     if (wFlags & VARIANT_NOUSEROVERRIDE)
 107       dwFlags |= LOCALE_NOUSEROVERRIDE;
 108     if (wFlags & VARIANT_USE_NLS)
 109       dwFlags |= LOCALE_USE_NLS;
 110   }
 111
 112   /* Map int/uint to i4/ui4 */
 113   if (vt == VT_INT)
 114     vt = VT_I4;
 115   else if (vt == VT_UINT)
 116     vt = VT_UI4;
 117
 118   if (vtFrom == VT_INT)
 119     vtFrom = VT_I4;
 120   else if (vtFrom == VT_UINT)
 121     vtFrom = VT_UI4;
 122
 123   if (vt == vtFrom)
 124      return VariantCopy(pd, ps);
 125
 126   if (wFlags & VARIANT_NOVALUEPROP && vtFrom == VT_DISPATCH && vt != VT_UNKNOWN)
 127   {
 128     /* VARIANT_NOVALUEPROP prevents IDispatch objects from being coerced by
 129      * accessing the default object property.
 130      */
 131     return DISP_E_TYPEMISMATCH;
 132   }
 133
 134   switch (vt)
 135   {
 136   case VT_EMPTY:
 137     if (vtFrom == VT_NULL)
 138       return DISP_E_TYPEMISMATCH;
 139     /* ... Fall through */
 140   case VT_NULL:
 141     if (vtFrom <= VT_UINT && vtFrom != (VARTYPE)15 && vtFrom != VT_ERROR)
 142     {
 143       res = VariantClear( pd );
 144       if (vt == VT_NULL && SUCCEEDED(res))
 145         V_VT(pd) = VT_NULL;
 146     }
 147     return res;
 148
 149   case VT_I1:
 150     switch (vtFrom)
 151     {
 152     case VT_EMPTY:    V_I1(pd) = 0; return S_OK;
 153     case VT_I2:       return VarI1FromI2(V_I2(ps), &V_I1(pd));
 154     case VT_I4:       return VarI1FromI4(V_I4(ps), &V_I1(pd));
 155     case VT_UI1:      V_I1(pd) = V_UI1(ps); return S_OK;
 156     case VT_UI2:      return VarI1FromUI2(V_UI2(ps), &V_I1(pd));
 157     case VT_UI4:      return VarI1FromUI4(V_UI4(ps), &V_I1(pd));
 158     case VT_I8:       return VarI1FromI8(V_I8(ps), &V_I1(pd));
 159     case VT_UI8:      return VarI1FromUI8(V_UI8(ps), &V_I1(pd));
 160     case VT_R4:       return VarI1FromR4(V_R4(ps), &V_I1(pd));
 161     case VT_R8:       return VarI1FromR8(V_R8(ps), &V_I1(pd));
 162     case VT_DATE:     return VarI1FromDate(V_DATE(ps), &V_I1(pd));
 163     case VT_BOOL:     return VarI1FromBool(V_BOOL(ps), &V_I1(pd));
 164     case VT_CY:       return VarI1FromCy(V_CY(ps), &V_I1(pd));
 165     case VT_DECIMAL:  return VarI1FromDec(&V_DECIMAL(ps), &V_I1(pd) );
 166     case VT_DISPATCH: return VarI1FromDisp(V_DISPATCH(ps), lcid, &V_I1(pd) );
 167     case VT_BSTR:     return VarI1FromStr(V_BSTR(ps), lcid, dwFlags, &V_I1(pd) );
 168     }
 169     break;
 170
 171   case VT_I2:
 172     switch (vtFrom)
 173     {
 174     case VT_EMPTY:    V_I2(pd) = 0; return S_OK;
 175     case VT_I1:       return VarI2FromI1(V_I1(ps), &V_I2(pd));
 176     case VT_I4:       return VarI2FromI4(V_I4(ps), &V_I2(pd));
 177     case VT_UI1:      return VarI2FromUI1(V_UI1(ps), &V_I2(pd));
 178     case VT_UI2:      V_I2(pd) = V_UI2(ps); return S_OK;
 179     case VT_UI4:      return VarI2FromUI4(V_UI4(ps), &V_I2(pd));
 180     case VT_I8:       return VarI2FromI8(V_I8(ps), &V_I2(pd));
 181     case VT_UI8:      return VarI2FromUI8(V_UI8(ps), &V_I2(pd));
 182     case VT_R4:       return VarI2FromR4(V_R4(ps), &V_I2(pd));
 183     case VT_R8:       return VarI2FromR8(V_R8(ps), &V_I2(pd));
 184     case VT_DATE:     return VarI2FromDate(V_DATE(ps), &V_I2(pd));
 185     case VT_BOOL:     return VarI2FromBool(V_BOOL(ps), &V_I2(pd));
 186     case VT_CY:       return VarI2FromCy(V_CY(ps), &V_I2(pd));
 187     case VT_DECIMAL:  return VarI2FromDec(&V_DECIMAL(ps), &V_I2(pd));
 188     case VT_DISPATCH: return VarI2FromDisp(V_DISPATCH(ps), lcid, &V_I2(pd));
 189     case VT_BSTR:     return VarI2FromStr(V_BSTR(ps), lcid, dwFlags, &V_I2(pd));
 190     }
 191     break;
 192
 193   case VT_I4:
 194     switch (vtFrom)
 195     {
 196     case VT_EMPTY:    V_I4(pd) = 0; return S_OK;
 197     case VT_I1:       return VarI4FromI1(V_I1(ps), &V_I4(pd));
 198     case VT_I2:       return VarI4FromI2(V_I2(ps), &V_I4(pd));
 199     case VT_UI1:      return VarI4FromUI1(V_UI1(ps), &V_I4(pd));
 200     case VT_UI2:      return VarI4FromUI2(V_UI2(ps), &V_I4(pd));
 201     case VT_UI4:      V_I4(pd) = V_UI4(ps); return S_OK;
 202     case VT_I8:       return VarI4FromI8(V_I8(ps), &V_I4(pd));
 203     case VT_UI8:      return VarI4FromUI8(V_UI8(ps), &V_I4(pd));
 204     case VT_R4:       return VarI4FromR4(V_R4(ps), &V_I4(pd));
 205     case VT_R8:       return VarI4FromR8(V_R8(ps), &V_I4(pd));
 206     case VT_DATE:     return VarI4FromDate(V_DATE(ps), &V_I4(pd));
 207     case VT_BOOL:     return VarI4FromBool(V_BOOL(ps), &V_I4(pd));
 208     case VT_CY:       return VarI4FromCy(V_CY(ps), &V_I4(pd));
 209     case VT_DECIMAL:  return VarI4FromDec(&V_DECIMAL(ps), &V_I4(pd));
 210     case VT_DISPATCH: return VarI4FromDisp(V_DISPATCH(ps), lcid, &V_I4(pd));
 211     case VT_BSTR:     return VarI4FromStr(V_BSTR(ps), lcid, dwFlags, &V_I4(pd));
 212     }
 213     break;
 214
 215   case VT_UI1:
 216     switch (vtFrom)
 217     {
 218     case VT_EMPTY:    V_UI1(pd) = 0; return S_OK;
 219     case VT_I1:       V_UI1(pd) = V_I1(ps); return S_OK;
 220     case VT_I2:       return VarUI1FromI2(V_I2(ps), &V_UI1(pd));
 221     case VT_I4:       return VarUI1FromI4(V_I4(ps), &V_UI1(pd));
 222     case VT_UI2:      return VarUI1FromUI2(V_UI2(ps), &V_UI1(pd));
 223     case VT_UI4:      return VarUI1FromUI4(V_UI4(ps), &V_UI1(pd));
 224     case VT_I8:       return VarUI1FromI8(V_I8(ps), &V_UI1(pd));
 225     case VT_UI8:      return VarUI1FromUI8(V_UI8(ps), &V_UI1(pd));
 226     case VT_R4:       return VarUI1FromR4(V_R4(ps), &V_UI1(pd));
 227     case VT_R8:       return VarUI1FromR8(V_R8(ps), &V_UI1(pd));
 228     case VT_DATE:     return VarUI1FromDate(V_DATE(ps), &V_UI1(pd));
 229     case VT_BOOL:     return VarUI1FromBool(V_BOOL(ps), &V_UI1(pd));
 230     case VT_CY:       return VarUI1FromCy(V_CY(ps), &V_UI1(pd));
 231     case VT_DECIMAL:  return VarUI1FromDec(&V_DECIMAL(ps), &V_UI1(pd));
 232     case VT_DISPATCH: return VarUI1FromDisp(V_DISPATCH(ps), lcid, &V_UI1(pd));
 233     case VT_BSTR:     return VarUI1FromStr(V_BSTR(ps), lcid, dwFlags, &V_UI1(pd));
 234     }
 235     break;
 236
 237   case VT_UI2:
 238     switch (vtFrom)
 239     {
 240     case VT_EMPTY:    V_UI2(pd) = 0; return S_OK;
 241     case VT_I1:       return VarUI2FromI1(V_I1(ps), &V_UI2(pd));
 242     case VT_I2:       V_UI2(pd) = V_I2(ps); return S_OK;
 243     case VT_I4:       return VarUI2FromI4(V_I4(ps), &V_UI2(pd));
 244     case VT_UI1:      return VarUI2FromUI1(V_UI1(ps), &V_UI2(pd));
 245     case VT_UI4:      return VarUI2FromUI4(V_UI4(ps), &V_UI2(pd));
 246     case VT_I8:       return VarUI4FromI8(V_I8(ps), &V_UI4(pd));
 247     case VT_UI8:      return VarUI4FromUI8(V_UI8(ps), &V_UI4(pd));
 248     case VT_R4:       return VarUI2FromR4(V_R4(ps), &V_UI2(pd));
 249     case VT_R8:       return VarUI2FromR8(V_R8(ps), &V_UI2(pd));
 250     case VT_DATE:     return VarUI2FromDate(V_DATE(ps), &V_UI2(pd));
 251     case VT_BOOL:     return VarUI2FromBool(V_BOOL(ps), &V_UI2(pd));
 252     case VT_CY:       return VarUI2FromCy(V_CY(ps), &V_UI2(pd));
 253     case VT_DECIMAL:  return VarUI2FromDec(&V_DECIMAL(ps), &V_UI2(pd));
 254     case VT_DISPATCH: return VarUI2FromDisp(V_DISPATCH(ps), lcid, &V_UI2(pd));
 255     case VT_BSTR:     return VarUI2FromStr(V_BSTR(ps), lcid, dwFlags, &V_UI2(pd));
 256     }
 257     break;
 258
 259   case VT_UI4:
 260     switch (vtFrom)
 261     {
 262     case VT_EMPTY:    V_UI4(pd) = 0; return S_OK;
 263     case VT_I1:       return VarUI4FromI1(V_I1(ps), &V_UI4(pd));
 264     case VT_I2:       return VarUI4FromI2(V_I2(ps), &V_UI4(pd));
 265     case VT_I4:       V_UI4(pd) = V_I4(ps); return S_OK;
 266     case VT_UI1:      return VarUI4FromUI1(V_UI1(ps), &V_UI4(pd));
 267     case VT_UI2:      return VarUI4FromUI2(V_UI2(ps), &V_UI4(pd));
 268     case VT_I8:       return VarUI4FromI8(V_I8(ps), &V_UI4(pd));
 269     case VT_UI8:      return VarUI4FromUI8(V_UI8(ps), &V_UI4(pd));
 270     case VT_R4:       return VarUI4FromR4(V_R4(ps), &V_UI4(pd));
 271     case VT_R8:       return VarUI4FromR8(V_R8(ps), &V_UI4(pd));
 272     case VT_DATE:     return VarUI4FromDate(V_DATE(ps), &V_UI4(pd));
 273     case VT_BOOL:     return VarUI4FromBool(V_BOOL(ps), &V_UI4(pd));
 274     case VT_CY:       return VarUI4FromCy(V_CY(ps), &V_UI4(pd));
 275     case VT_DECIMAL:  return VarUI4FromDec(&V_DECIMAL(ps), &V_UI4(pd));
 276     case VT_DISPATCH: return VarUI4FromDisp(V_DISPATCH(ps), lcid, &V_UI4(pd));
 277     case VT_BSTR:     return VarUI4FromStr(V_BSTR(ps), lcid, dwFlags, &V_UI4(pd));
 278     }
 279     break;
 280
 281   case VT_UI8:
 282     switch (vtFrom)
 283     {
 284     case VT_EMPTY:    V_UI8(pd) = 0; return S_OK;
 285     case VT_I4:       if (V_I4(ps) < 0) return DISP_E_OVERFLOW; V_UI8(pd) = V_I4(ps); return S_OK;
 286     case VT_I1:       return VarUI8FromI1(V_I1(ps), &V_UI8(pd));
 287     case VT_I2:       return VarUI8FromI2(V_I2(ps), &V_UI8(pd));
 288     case VT_UI1:      return VarUI8FromUI1(V_UI1(ps), &V_UI8(pd));
 289     case VT_UI2:      return VarUI8FromUI2(V_UI2(ps), &V_UI8(pd));
 290     case VT_UI4:      return VarUI8FromUI4(V_UI4(ps), &V_UI8(pd));
 291     case VT_I8:       V_UI8(pd) = V_I8(ps); return S_OK;
 292     case VT_R4:       return VarUI8FromR4(V_R4(ps), &V_UI8(pd));
 293     case VT_R8:       return VarUI8FromR8(V_R8(ps), &V_UI8(pd));
 294     case VT_DATE:     return VarUI8FromDate(V_DATE(ps), &V_UI8(pd));
 295     case VT_BOOL:     return VarUI8FromBool(V_BOOL(ps), &V_UI8(pd));
 296     case VT_CY:       return VarUI8FromCy(V_CY(ps), &V_UI8(pd));
 297     case VT_DECIMAL:  return VarUI8FromDec(&V_DECIMAL(ps), &V_UI8(pd));
 298     case VT_DISPATCH: return VarUI8FromDisp(V_DISPATCH(ps), lcid, &V_UI8(pd));
 299     case VT_BSTR:     return VarUI8FromStr(V_BSTR(ps), lcid, dwFlags, &V_UI8(pd));
 300     }
 301     break;
 302
 303   case VT_I8:
 304     switch (vtFrom)
 305     {
 306     case VT_EMPTY:    V_I8(pd) = 0; return S_OK;
 307     case VT_I4:       V_I8(pd) = V_I4(ps); return S_OK;
 308     case VT_I1:       return VarI8FromI1(V_I1(ps), &V_I8(pd));
 309     case VT_I2:       return VarI8FromI2(V_I2(ps), &V_I8(pd));
 310     case VT_UI1:      return VarI8FromUI1(V_UI1(ps), &V_I8(pd));
 311     case VT_UI2:      return VarI8FromUI2(V_UI2(ps), &V_I8(pd));
 312     case VT_UI4:      return VarI8FromUI4(V_UI4(ps), &V_I8(pd));
 313     case VT_UI8:      V_I8(pd) = V_UI8(ps); return S_OK;
 314     case VT_R4:       return VarI8FromR4(V_R4(ps), &V_I8(pd));
 315     case VT_R8:       return VarI8FromR8(V_R8(ps), &V_I8(pd));
 316     case VT_DATE:     return VarI8FromDate(V_DATE(ps), &V_I8(pd));
 317     case VT_BOOL:     return VarI8FromBool(V_BOOL(ps), &V_I8(pd));
 318     case VT_CY:       return VarI8FromCy(V_CY(ps), &V_I8(pd));
 319     case VT_DECIMAL:  return VarI8FromDec(&V_DECIMAL(ps), &V_I8(pd));
 320     case VT_DISPATCH: return VarI8FromDisp(V_DISPATCH(ps), lcid, &V_I8(pd));
 321     case VT_BSTR:     return VarI8FromStr(V_BSTR(ps), lcid, dwFlags, &V_I8(pd));
 322     }
 323     break;
 324
 325   case VT_R4:
 326     switch (vtFrom)
 327     {
 328     case VT_EMPTY:    V_R4(pd) = 0.0f; return S_OK;
 329     case VT_I1:       return VarR4FromI1(V_I1(ps), &V_R4(pd));
 330     case VT_I2:       return VarR4FromI2(V_I2(ps), &V_R4(pd));
 331     case VT_I4:       return VarR4FromI4(V_I4(ps), &V_R4(pd));
 332     case VT_UI1:      return VarR4FromUI1(V_UI1(ps), &V_R4(pd));
 333     case VT_UI2:      return VarR4FromUI2(V_UI2(ps), &V_R4(pd));
 334     case VT_UI4:      return VarR4FromUI4(V_UI4(ps), &V_R4(pd));
 335     case VT_I8:       return VarR4FromI8(V_I8(ps), &V_R4(pd));
 336     case VT_UI8:      return VarR4FromUI8(V_UI8(ps), &V_R4(pd));
 337     case VT_R8:       return VarR4FromR8(V_R8(ps), &V_R4(pd));
 338     case VT_DATE:     return VarR4FromDate(V_DATE(ps), &V_R4(pd));
 339     case VT_BOOL:     return VarR4FromBool(V_BOOL(ps), &V_R4(pd));
 340     case VT_CY:       return VarR4FromCy(V_CY(ps), &V_R4(pd));
 341     case VT_DECIMAL:  return VarR4FromDec(&V_DECIMAL(ps), &V_R4(pd));
 342     case VT_DISPATCH: return VarR4FromDisp(V_DISPATCH(ps), lcid, &V_R4(pd));
 343     case VT_BSTR:     return VarR4FromStr(V_BSTR(ps), lcid, dwFlags, &V_R4(pd));
 344     }
 345     break;
 346
 347   case VT_R8:
 348     switch (vtFrom)
 349     {
 350     case VT_EMPTY:    V_R8(pd) = 0.0; return S_OK;
 351     case VT_I1:       return VarR8FromI1(V_I1(ps), &V_R8(pd));
 352     case VT_I2:       return VarR8FromI2(V_I2(ps), &V_R8(pd));
 353     case VT_I4:       return VarR8FromI4(V_I4(ps), &V_R8(pd));
 354     case VT_UI1:      return VarR8FromUI1(V_UI1(ps), &V_R8(pd));
 355     case VT_UI2:      return VarR8FromUI2(V_UI2(ps), &V_R8(pd));
 356     case VT_UI4:      return VarR8FromUI4(V_UI4(ps), &V_R8(pd));
 357     case VT_I8:       return VarR8FromI8(V_I8(ps), &V_R8(pd));
 358     case VT_UI8:      return VarR8FromUI8(V_UI8(ps), &V_R8(pd));
 359     case VT_R4:       return VarR8FromR4(V_R4(ps), &V_R8(pd));
 360     case VT_DATE:     return VarR8FromDate(V_DATE(ps), &V_R8(pd));
 361     case VT_BOOL:     return VarR8FromBool(V_BOOL(ps), &V_R8(pd));
 362     case VT_CY:       return VarR8FromCy(V_CY(ps), &V_R8(pd));
 363     case VT_DECIMAL:  return VarR8FromDec(&V_DECIMAL(ps), &V_R8(pd));
 364     case VT_DISPATCH: return VarR8FromDisp(V_DISPATCH(ps), lcid, &V_R8(pd));
 365     case VT_BSTR:     return VarR8FromStr(V_BSTR(ps), lcid, dwFlags, &V_R8(pd));
 366     }
 367     break;
 368
 369   case VT_DATE:
 370     switch (vtFrom)
 371     {
 372     case VT_EMPTY:    V_DATE(pd) = 0.0; return S_OK;
 373     case VT_I1:       return VarDateFromI1(V_I1(ps), &V_DATE(pd));
 374     case VT_I2:       return VarDateFromI2(V_I2(ps), &V_DATE(pd));
 375     case VT_I4:       return VarDateFromI4(V_I4(ps), &V_DATE(pd));
 376     case VT_UI1:      return VarDateFromUI1(V_UI1(ps), &V_DATE(pd));
 377     case VT_UI2:      return VarDateFromUI2(V_UI2(ps), &V_DATE(pd));
 378     case VT_UI4:      return VarDateFromUI4(V_UI4(ps), &V_DATE(pd));
 379     case VT_I8:       return VarDateFromI8(V_I8(ps), &V_DATE(pd));
 380     case VT_UI8:      return VarDateFromUI8(V_UI8(ps), &V_DATE(pd));
 381     case VT_R4:       return VarDateFromR4(V_R4(ps), &V_DATE(pd));
 382     case VT_R8:       return VarDateFromR8(V_R8(ps), &V_DATE(pd));
 383     case VT_BOOL:     return VarDateFromBool(V_BOOL(ps), &V_DATE(pd));
 384     case VT_CY:       return VarDateFromCy(V_CY(ps), &V_DATE(pd));
 385     case VT_DECIMAL:  return VarDateFromDec(&V_DECIMAL(ps), &V_DATE(pd));
 386     case VT_DISPATCH: return VarDateFromDisp(V_DISPATCH(ps), lcid, &V_DATE(pd));
 387     case VT_BSTR:     return VarDateFromStr(V_BSTR(ps), lcid, dwFlags, &V_DATE(pd));
 388     }
 389     break;
 390
 391   case VT_BOOL:
 392     switch (vtFrom)
 393     {
 394     case VT_EMPTY:    V_BOOL(pd) = 0; return S_OK;
 395     case VT_I1:       return VarBoolFromI1(V_I1(ps), &V_BOOL(pd));
 396     case VT_I2:       return VarBoolFromI2(V_I2(ps), &V_BOOL(pd));
 397     case VT_I4:       return VarBoolFromI4(V_I4(ps), &V_BOOL(pd));
 398     case VT_UI1:      return VarBoolFromUI1(V_UI1(ps), &V_BOOL(pd));
 399     case VT_UI2:      return VarBoolFromUI2(V_UI2(ps), &V_BOOL(pd));
 400     case VT_UI4:      return VarBoolFromUI4(V_UI4(ps), &V_BOOL(pd));
 401     case VT_I8:       return VarBoolFromI8(V_I8(ps), &V_BOOL(pd));
 402     case VT_UI8:      return VarBoolFromUI8(V_UI8(ps), &V_BOOL(pd));
 403     case VT_R4:       return VarBoolFromR4(V_R4(ps), &V_BOOL(pd));
 404     case VT_R8:       return VarBoolFromR8(V_R8(ps), &V_BOOL(pd));
 405     case VT_DATE:     return VarBoolFromDate(V_DATE(ps), &V_BOOL(pd));
 406     case VT_CY:       return VarBoolFromCy(V_CY(ps), &V_BOOL(pd));
 407     case VT_DECIMAL:  return VarBoolFromDec(&V_DECIMAL(ps), &V_BOOL(pd));
 408     case VT_DISPATCH: return VarBoolFromDisp(V_DISPATCH(ps), lcid, &V_BOOL(pd));
 409     case VT_BSTR:     return VarBoolFromStr(V_BSTR(ps), lcid, dwFlags, &V_BOOL(pd));
 410     }
 411     break;
 412
 413   case VT_BSTR:
 414     switch (vtFrom)
 415     {
 416     case VT_EMPTY:
 417       V_BSTR(pd) = SysAllocStringLen(NULL, 0);
 418       return V_BSTR(pd) ? S_OK : E_OUTOFMEMORY;
 419     case VT_BOOL:
 420       if (wFlags & (VARIANT_ALPHABOOL|VARIANT_LOCALBOOL))
 421          return VarBstrFromBool(V_BOOL(ps), lcid, dwFlags, &V_BSTR(pd));
 422       return VarBstrFromI2(V_BOOL(ps), lcid, dwFlags, &V_BSTR(pd));
 423     case VT_I1:       return VarBstrFromI1(V_I1(ps), lcid, dwFlags, &V_BSTR(pd));
 424     case VT_I2:       return VarBstrFromI2(V_I2(ps), lcid, dwFlags, &V_BSTR(pd));
 425     case VT_I4:       return VarBstrFromI4(V_I4(ps), lcid, dwFlags, &V_BSTR(pd));
 426     case VT_UI1:      return VarBstrFromUI1(V_UI1(ps), lcid, dwFlags, &V_BSTR(pd));
 427     case VT_UI2:      return VarBstrFromUI2(V_UI2(ps), lcid, dwFlags, &V_BSTR(pd));
 428     case VT_UI4:      return VarBstrFromUI4(V_UI4(ps), lcid, dwFlags, &V_BSTR(pd));
 429     case VT_I8:       return VarBstrFromI8(V_I8(ps), lcid, dwFlags, &V_BSTR(pd));
 430     case VT_UI8:      return VarBstrFromUI8(V_UI8(ps), lcid, dwFlags, &V_BSTR(pd));
 431     case VT_R4:       return VarBstrFromR4(V_R4(ps), lcid, dwFlags, &V_BSTR(pd));
 432     case VT_R8:       return VarBstrFromR8(V_R8(ps), lcid, dwFlags, &V_BSTR(pd));
 433     case VT_DATE:     return VarBstrFromDate(V_DATE(ps), lcid, dwFlags, &V_BSTR(pd));
 434     case VT_CY:       return VarBstrFromCy(V_CY(ps), lcid, dwFlags, &V_BSTR(pd));
 435     case VT_DECIMAL:  return VarBstrFromDec(&V_DECIMAL(ps), lcid, dwFlags, &V_BSTR(pd));
 436     case VT_DISPATCH: return VarBstrFromDisp(V_DISPATCH(ps), lcid, dwFlags, &V_BSTR(pd));
 437     }
 438     break;
 439
 440   case VT_CY:
 441     switch (vtFrom)
 442     {
 443     case VT_EMPTY:    V_CY(pd).int64 = 0; return S_OK;
 444     case VT_I1:       return VarCyFromI1(V_I1(ps), &V_CY(pd));
 445     case VT_I2:       return VarCyFromI2(V_I2(ps), &V_CY(pd));
 446     case VT_I4:       return VarCyFromI4(V_I4(ps), &V_CY(pd));
 447     case VT_UI1:      return VarCyFromUI1(V_UI1(ps), &V_CY(pd));
 448     case VT_UI2:      return VarCyFromUI2(V_UI2(ps), &V_CY(pd));
 449     case VT_UI4:      return VarCyFromUI4(V_UI4(ps), &V_CY(pd));
 450     case VT_I8:       return VarCyFromI8(V_I8(ps), &V_CY(pd));
 451     case VT_UI8:      return VarCyFromUI8(V_UI8(ps), &V_CY(pd));
 452     case VT_R4:       return VarCyFromR4(V_R4(ps), &V_CY(pd));
 453     case VT_R8:       return VarCyFromR8(V_R8(ps), &V_CY(pd));
 454     case VT_DATE:     return VarCyFromDate(V_DATE(ps), &V_CY(pd));
 455     case VT_BOOL:     return VarCyFromBool(V_BOOL(ps), &V_CY(pd));
 456     case VT_DECIMAL:  return VarCyFromDec(&V_DECIMAL(ps), &V_CY(pd));
 457     case VT_DISPATCH: return VarCyFromDisp(V_DISPATCH(ps), lcid, &V_CY(pd));
 458     case VT_BSTR:     return VarCyFromStr(V_BSTR(ps), lcid, dwFlags, &V_CY(pd));
 459     }
 460     break;
 461
 462   case VT_DECIMAL:
 463     switch (vtFrom)
 464     {
 465     case VT_EMPTY:
 466     case VT_BOOL:
 467        DEC_SIGNSCALE(&V_DECIMAL(pd)) = SIGNSCALE(DECIMAL_POS,0);
 468        DEC_HI32(&V_DECIMAL(pd)) = 0;
 469        DEC_MID32(&V_DECIMAL(pd)) = 0;
 470         /* VarDecFromBool() coerces to -1/0, ChangeTypeEx() coerces to 1/0.
 471          * VT_NULL and VT_EMPTY always give a 0 value.
 472          */
 473        DEC_LO32(&V_DECIMAL(pd)) = vtFrom == VT_BOOL && V_BOOL(ps) ? 1 : 0;
 474        return S_OK;
 475     case VT_I1:       return VarDecFromI1(V_I1(ps), &V_DECIMAL(pd));
 476     case VT_I2:       return VarDecFromI2(V_I2(ps), &V_DECIMAL(pd));
 477     case VT_I4:       return VarDecFromI4(V_I4(ps), &V_DECIMAL(pd));
 478     case VT_UI1:      return VarDecFromUI1(V_UI1(ps), &V_DECIMAL(pd));
 479     case VT_UI2:      return VarDecFromUI2(V_UI2(ps), &V_DECIMAL(pd));
 480     case VT_UI4:      return VarDecFromUI4(V_UI4(ps), &V_DECIMAL(pd));
 481     case VT_I8:       return VarDecFromI8(V_I8(ps), &V_DECIMAL(pd));
 482     case VT_UI8:      return VarDecFromUI8(V_UI8(ps), &V_DECIMAL(pd));
 483     case VT_R4:       return VarDecFromR4(V_R4(ps), &V_DECIMAL(pd));
 484     case VT_R8:       return VarDecFromR8(V_R8(ps), &V_DECIMAL(pd));
 485     case VT_DATE:     return VarDecFromDate(V_DATE(ps), &V_DECIMAL(pd));
 486     case VT_CY:       return VarDecFromCy(V_CY(ps), &V_DECIMAL(pd));
 487     case VT_DISPATCH: return VarDecFromDisp(V_DISPATCH(ps), lcid, &V_DECIMAL(pd));
 488     case VT_BSTR:     return VarDecFromStr(V_BSTR(ps), lcid, dwFlags, &V_DECIMAL(pd));
 489     }
 490     break;
 491
 492   case VT_UNKNOWN:
 493     switch (vtFrom)
 494     {
 495     case VT_DISPATCH:
 496       if (V_DISPATCH(ps) == NULL)
 497         V_UNKNOWN(pd) = NULL;
 498       else
 499         res = IDispatch_QueryInterface(V_DISPATCH(ps), &IID_IUnknown, (LPVOID*)&V_UNKNOWN(pd));
 500       break;
 501     }
 502     break;
 503
 504   case VT_DISPATCH:
 505     switch (vtFrom)
 506     {
 507     case VT_UNKNOWN:
 508       if (V_UNKNOWN(ps) == NULL)
 509         V_DISPATCH(pd) = NULL;
 510       else
 511         res = IUnknown_QueryInterface(V_UNKNOWN(ps), &IID_IDispatch, (LPVOID*)&V_DISPATCH(pd));
 512       break;
 513     }
 514     break;
 515
 516   case VT_RECORD:
 517     break;
 518   }
 519   return res;
 520 }
 521
 522 /* Coerce to/from an array */
 523 static inline HRESULT VARIANT_CoerceArray(VARIANTARG* pd, VARIANTARG* ps, VARTYPE vt)
 524 {
 525   if (vt == VT_BSTR && V_VT(ps) == (VT_ARRAY|VT_UI1))
 526     return BstrFromVector(V_ARRAY(ps), &V_BSTR(pd));
 527
 528   if (V_VT(ps) == VT_BSTR && vt == (VT_ARRAY|VT_UI1))
 529     return VectorFromBstr(V_BSTR(ps), &V_ARRAY(ps));
 530
 531   if (V_VT(ps) == vt)
 532     return SafeArrayCopy(V_ARRAY(ps), &V_ARRAY(pd));
 533
 534   return DISP_E_TYPEMISMATCH;
 535 }
 536
 537 /******************************************************************************
 538  * Check if a variants type is valid.
 539  */
 540 static inline HRESULT VARIANT_ValidateType(VARTYPE vt)
 541 {
 542   VARTYPE vtExtra = vt & VT_EXTRA_TYPE;
 543
 544   vt &= VT_TYPEMASK;
 545
 546   if (!(vtExtra & (VT_VECTOR|VT_RESERVED)))
 547   {
 548     if (vt < VT_VOID || vt == VT_RECORD || vt == VT_CLSID)
 549     {
 550       if ((vtExtra & (VT_BYREF|VT_ARRAY)) && vt <= VT_NULL)
 551         return DISP_E_BADVARTYPE;
 552       if (vt != (VARTYPE)15)
 553         return S_OK;
 554     }
 555   }
 556   return DISP_E_BADVARTYPE;
 557 }
 558
 559 /******************************************************************************
 560  *              VariantInit     [OLEAUT32.8]
 561  *
 562  * Initialise a variant.
 563  *
 564  * PARAMS
 565  *  pVarg [O] Variant to initialise
 566  *
 567  * RETURNS
 568  *  Nothing.
 569  *
 570  * NOTES
 571  *  This function simply sets the type of the variant to VT_EMPTY. It does not
 572  *  free any existing value, use VariantClear() for that.
 573  */
 574 void WINAPI VariantInit(VARIANTARG* pVarg)
 575 {
 576   TRACE("(%p)\n", pVarg);
 577
 578   V_VT(pVarg) = VT_EMPTY; /* Native doesn't set any other fields */
 579 }
 580
 581 HRESULT VARIANT_ClearInd(VARIANTARG *pVarg)
 582 {
 583     HRESULT hres;
 584
 585     TRACE("(%p->(%s%s))\n", pVarg, debugstr_VT(pVarg), debugstr_VF(pVarg));
 586
 587     hres = VARIANT_ValidateType(V_VT(pVarg));
 588     if (FAILED(hres))
 589         return hres;
 590
 591     switch (V_VT(pVarg))
 592     {
 593     case VT_DISPATCH:
 594     case VT_UNKNOWN:
 595         if (V_UNKNOWN(pVarg))
 596             IUnknown_Release(V_UNKNOWN(pVarg));
 597         break;
 598     case VT_UNKNOWN | VT_BYREF:
 599     case VT_DISPATCH | VT_BYREF:
 600         if(*V_UNKNOWNREF(pVarg))
 601             IUnknown_Release(*V_UNKNOWNREF(pVarg));
 602         break;
 603     case VT_BSTR:
 604         SysFreeString(V_BSTR(pVarg));
 605         break;
 606     case VT_BSTR | VT_BYREF:
 607         SysFreeString(*V_BSTRREF(pVarg));
 608         break;
 609     case VT_VARIANT | VT_BYREF:
 610         VariantClear(V_VARIANTREF(pVarg));
 611         break;
 612     case VT_RECORD:
 613     case VT_RECORD | VT_BYREF:
 614     {
 615         struct __tagBRECORD* pBr = &V_UNION(pVarg,brecVal);
 616         if (pBr->pRecInfo)
 617         {
 618             IRecordInfo_RecordClear(pBr->pRecInfo, pBr->pvRecord);
 619             IRecordInfo_Release(pBr->pRecInfo);
 620         }
 621         break;
 622     }
 623     default:
 624         if (V_ISARRAY(pVarg) || (V_VT(pVarg) & ~VT_BYREF) == VT_SAFEARRAY)
 625         {
 626             if (V_ISBYREF(pVarg))
 627             {
 628                 if (*V_ARRAYREF(pVarg))
 629                     hres = SafeArrayDestroy(*V_ARRAYREF(pVarg));
 630             }
 631             else if (V_ARRAY(pVarg))
 632                 hres = SafeArrayDestroy(V_ARRAY(pVarg));
 633         }
 634         break;
 635     }
 636
 637     V_VT(pVarg) = VT_EMPTY;
 638     return hres;
 639 }
 640
 641 /******************************************************************************
 642  *              VariantClear    [OLEAUT32.9]
 643  *
 644  * Clear a variant.
 645  *
 646  * PARAMS
 647  *  pVarg [I/O] Variant to clear
 648  *
 649  * RETURNS
 650  *  Success: S_OK. Any previous value in pVarg is freed and its type is set to VT_EMPTY.
 651  *  Failure: DISP_E_BADVARTYPE, if the variant is not a valid variant type.
 652  */
 653 HRESULT WINAPI VariantClear(VARIANTARG* pVarg)
 654 {
 655   HRESULT hres;
 656
 657   TRACE("(%p->(%s%s))\n", pVarg, debugstr_VT(pVarg), debugstr_VF(pVarg));
 658
 659   hres = VARIANT_ValidateType(V_VT(pVarg));
 660
 661   if (SUCCEEDED(hres))
 662   {
 663     if (!V_ISBYREF(pVarg))
 664     {
 665       if (V_ISARRAY(pVarg) || V_VT(pVarg) == VT_SAFEARRAY)
 666       {
 667         hres = SafeArrayDestroy(V_ARRAY(pVarg));
 668       }
 669       else if (V_VT(pVarg) == VT_BSTR)
 670       {
 671         SysFreeString(V_BSTR(pVarg));
 672       }
 673       else if (V_VT(pVarg) == VT_RECORD)
 674       {
 675         struct __tagBRECORD* pBr = &V_UNION(pVarg,brecVal);
 676         if (pBr->pRecInfo)
 677         {
 678           IRecordInfo_RecordClear(pBr->pRecInfo, pBr->pvRecord);
 679           IRecordInfo_Release(pBr->pRecInfo);
 680         }
 681       }
 682       else if (V_VT(pVarg) == VT_DISPATCH ||
 683                V_VT(pVarg) == VT_UNKNOWN)
 684       {
 685         if (V_UNKNOWN(pVarg))
 686           IUnknown_Release(V_UNKNOWN(pVarg));
 687       }
 688     }
 689     V_VT(pVarg) = VT_EMPTY;
 690   }
 691   return hres;
 692 }
 693
 694 /******************************************************************************
 695  * Copy an IRecordInfo object contained in a variant.
 696  */
 697 static HRESULT VARIANT_CopyIRecordInfo(struct __tagBRECORD* pBr)
 698 {
 699   HRESULT hres = S_OK;
 700
 701   if (pBr->pRecInfo)
 702   {
 703     ULONG ulSize;
 704
 705     hres = IRecordInfo_GetSize(pBr->pRecInfo, &ulSize);
 706     if (SUCCEEDED(hres))
 707     {
 708       PVOID pvRecord = HeapAlloc(GetProcessHeap(), 0, ulSize);
 709       if (!pvRecord)
 710         hres = E_OUTOFMEMORY;
 711       else
 712       {
 713         memcpy(pvRecord, pBr->pvRecord, ulSize);
 714         pBr->pvRecord = pvRecord;
 715
 716         hres = IRecordInfo_RecordCopy(pBr->pRecInfo, pvRecord, pvRecord);
 717         if (SUCCEEDED(hres))
 718           IRecordInfo_AddRef(pBr->pRecInfo);
 719       }
 720     }
 721   }
 722   else if (pBr->pvRecord)
 723     hres = E_INVALIDARG;
 724   return hres;
 725 }
 726
 727 /******************************************************************************
 728  *    VariantCopy  [OLEAUT32.10]
 729  *
 730  * Copy a variant.
 731  *
 732  * PARAMS
 733  *  pvargDest [O] Destination for copy
 734  *  pvargSrc  [I] Source variant to copy
 735  *
 736  * RETURNS
 737  *  Success: S_OK. pvargDest contains a copy of pvargSrc.
 738  *  Failure: DISP_E_BADVARTYPE, if either variant has an invalid type.
 739  *           E_OUTOFMEMORY, if memory cannot be allocated. Otherwise an
 740  *           HRESULT error code from SafeArrayCopy(), IRecordInfo_GetSize(),
 741  *           or IRecordInfo_RecordCopy(), depending on the type of pvargSrc.
 742  *
 743  * NOTES
 744  *  - If pvargSrc == pvargDest, this function does nothing, and succeeds if
 745  *    pvargSrc is valid. Otherwise, pvargDest is always cleared using
 746  *    VariantClear() before pvargSrc is copied to it. If clearing pvargDest
 747  *    fails, so does this function.
 748  *  - VT_CLSID is a valid type type for pvargSrc, but not for pvargDest.
 749  *  - For by-value non-intrinsic types, a deep copy is made, i.e. The whole value
 750  *    is copied rather than just any pointers to it.
 751  *  - For by-value object types the object pointer is copied and the objects
 752  *    reference count increased using IUnknown_AddRef().
 753  *  - For all by-reference types, only the referencing pointer is copied.
 754  */
 755 HRESULT WINAPI VariantCopy(VARIANTARG* pvargDest, VARIANTARG* pvargSrc)
 756 {
 757   HRESULT hres = S_OK;
 758
 759   TRACE("(%p->(%s%s),%p->(%s%s))\n", pvargDest, debugstr_VT(pvargDest),
 760         debugstr_VF(pvargDest), pvargSrc, debugstr_VT(pvargSrc),
 761         debugstr_VF(pvargSrc));
 762
 763   if (V_TYPE(pvargSrc) == VT_CLSID || /* VT_CLSID is a special case */
 764       FAILED(VARIANT_ValidateType(V_VT(pvargSrc))))
 765     return DISP_E_BADVARTYPE;
 766
 767   if (pvargSrc != pvargDest &&
 768       SUCCEEDED(hres = VariantClear(pvargDest)))
 769   {
 770     *pvargDest = *pvargSrc; /* Shallow copy the value */
 771
 772     if (!V_ISBYREF(pvargSrc))
 773     {
 774       if (V_ISARRAY(pvargSrc))
 775       {
 776         if (V_ARRAY(pvargSrc))
 777           hres = SafeArrayCopy(V_ARRAY(pvargSrc), &V_ARRAY(pvargDest));
 778       }
 779       else if (V_VT(pvargSrc) == VT_BSTR)
 780       {
 781         V_BSTR(pvargDest) = SysAllocStringByteLen((char*)V_BSTR(pvargSrc), SysStringByteLen(V_BSTR(pvargSrc)));
 782         if (!V_BSTR(pvargDest))
 783         {
 784           TRACE("!V_BSTR(pvargDest), SysAllocStringByteLen() failed to allocate %d bytes\n", SysStringByteLen(V_BSTR(pvargSrc)));
 785           hres = E_OUTOFMEMORY;
 786         }
 787       }
 788       else if (V_VT(pvargSrc) == VT_RECORD)
 789       {
 790         hres = VARIANT_CopyIRecordInfo(&V_UNION(pvargDest,brecVal));
 791       }
 792       else if (V_VT(pvargSrc) == VT_DISPATCH ||
 793                V_VT(pvargSrc) == VT_UNKNOWN)
 794       {
 795         if (V_UNKNOWN(pvargSrc))
 796           IUnknown_AddRef(V_UNKNOWN(pvargSrc));
 797       }
 798     }
 799   }
 800   return hres;
 801 }
 802
 803 /* Return the byte size of a variants data */
 804 static inline size_t VARIANT_DataSize(const VARIANT* pv)
 805 {
 806   switch (V_TYPE(pv))
 807   {
 808   case VT_I1:
 809   case VT_UI1:   return sizeof(BYTE);
 810   case VT_I2:
 811   case VT_UI2:   return sizeof(SHORT);
 812   case VT_INT:
 813   case VT_UINT:
 814   case VT_I4:
 815   case VT_UI4:   return sizeof(LONG);
 816   case VT_I8:
 817   case VT_UI8:   return sizeof(LONGLONG);
 818   case VT_R4:    return sizeof(float);
 819   case VT_R8:    return sizeof(double);
 820   case VT_DATE:  return sizeof(DATE);
 821   case VT_BOOL:  return sizeof(VARIANT_BOOL);
 822   case VT_DISPATCH:
 823   case VT_UNKNOWN:
 824   case VT_BSTR:  return sizeof(void*);
 825   case VT_CY:    return sizeof(CY);
 826   case VT_ERROR: return sizeof(SCODE);
 827   }
 828   TRACE("Shouldn't be called for vt %s%s!\n", debugstr_VT(pv), debugstr_VF(pv));
 829   return 0;
 830 }
 831
 832 /******************************************************************************
 833  *    VariantCopyInd  [OLEAUT32.11]
 834  *
 835  * Copy a variant, dereferencing it if it is by-reference.
 836  *
 837  * PARAMS
 838  *  pvargDest [O] Destination for copy
 839  *  pvargSrc  [I] Source variant to copy
 840  *
 841  * RETURNS
 842  *  Success: S_OK. pvargDest contains a copy of pvargSrc.
 843  *  Failure: An HRESULT error code indicating the error.
 844  *
 845  * NOTES
 846  *  Failure: DISP_E_BADVARTYPE, if either variant has an invalid by-value type.
 847  *           E_INVALIDARG, if pvargSrc  is an invalid by-reference type.
 848  *           E_OUTOFMEMORY, if memory cannot be allocated. Otherwise an
 849  *           HRESULT error code from SafeArrayCopy(), IRecordInfo_GetSize(),
 850  *           or IRecordInfo_RecordCopy(), depending on the type of pvargSrc.
 851  *
 852  * NOTES
 853  *  - If pvargSrc is by-value, this function behaves exactly as VariantCopy().
 854  *  - If pvargSrc is by-reference, the value copied to pvargDest is the pointed-to
 855  *    value.
 856  *  - if pvargSrc == pvargDest, this function dereferences in place. Otherwise,
 857  *    pvargDest is always cleared using VariantClear() before pvargSrc is copied
 858  *    to it. If clearing pvargDest fails, so does this function.
 859  */
 860 HRESULT WINAPI VariantCopyInd(VARIANT* pvargDest, VARIANTARG* pvargSrc)
 861 {
 862   VARIANTARG vTmp, *pSrc = pvargSrc;
 863   VARTYPE vt;
 864   HRESULT hres = S_OK;
 865
 866   TRACE("(%p->(%s%s),%p->(%s%s))\n", pvargDest, debugstr_VT(pvargDest),
 867         debugstr_VF(pvargDest), pvargSrc, debugstr_VT(pvargSrc),
 868         debugstr_VF(pvargSrc));
 869
 870   if (!V_ISBYREF(pvargSrc))
 871     return VariantCopy(pvargDest, pvargSrc);
 872
 873   /* Argument checking is more lax than VariantCopy()... */
 874   vt = V_TYPE(pvargSrc);
 875   if (V_ISARRAY(pvargSrc) ||
 876      (vt > VT_NULL && vt != (VARTYPE)15 && vt < VT_VOID &&
 877      !(V_VT(pvargSrc) & (VT_VECTOR|VT_RESERVED))))
 878   {
 879     /* OK */
 880   }
 881   else
 882     return E_INVALIDARG; /* ...And the return value for invalid types differs too */
 883
 884   if (pvargSrc == pvargDest)
 885   {
 886     /* In place copy. Use a shallow copy of pvargSrc & init pvargDest.
 887      * This avoids an expensive VariantCopy() call - e.g. SafeArrayCopy().
 888      */
 889     vTmp = *pvargSrc;
 890     pSrc = &vTmp;
 891     V_VT(pvargDest) = VT_EMPTY;
 892   }
 893   else
 894   {
 895     /* Copy into another variant. Free the variant in pvargDest */
 896     if (FAILED(hres = VariantClear(pvargDest)))
 897     {
 898       TRACE("VariantClear() of destination failed\n");
 899       return hres;
 900     }
 901   }
 902
 903   if (V_ISARRAY(pSrc))
 904   {
 905     /* Native doesn't check that *V_ARRAYREF(pSrc) is valid */
 906     hres = SafeArrayCopy(*V_ARRAYREF(pSrc), &V_ARRAY(pvargDest));
 907   }
 908   else if (V_VT(pSrc) == (VT_BSTR|VT_BYREF))
 909   {
 910     /* Native doesn't check that *V_BSTRREF(pSrc) is valid */
 911     V_BSTR(pvargDest) = SysAllocStringByteLen((char*)*V_BSTRREF(pSrc), SysStringByteLen(*V_BSTRREF(pSrc)));
 912   }
 913   else if (V_VT(pSrc) == (VT_RECORD|VT_BYREF))
 914   {
 915     V_UNION(pvargDest,brecVal) = V_UNION(pvargSrc,brecVal);
 916     hres = VARIANT_CopyIRecordInfo(&V_UNION(pvargDest,brecVal));
 917   }
 918   else if (V_VT(pSrc) == (VT_DISPATCH|VT_BYREF) ||
 919            V_VT(pSrc) == (VT_UNKNOWN|VT_BYREF))
 920   {
 921     /* Native doesn't check that *V_UNKNOWNREF(pSrc) is valid */
 922     V_UNKNOWN(pvargDest) = *V_UNKNOWNREF(pSrc);
 923     if (*V_UNKNOWNREF(pSrc))
 924       IUnknown_AddRef(*V_UNKNOWNREF(pSrc));
 925   }
 926   else if (V_VT(pSrc) == (VT_VARIANT|VT_BYREF))
 927   {
 928     /* Native doesn't check that *V_VARIANTREF(pSrc) is valid */
 929     if (V_VT(V_VARIANTREF(pSrc)) == (VT_VARIANT|VT_BYREF))
 930       hres = E_INVALIDARG; /* Don't dereference more than one level */
 931     else
 932       hres = VariantCopyInd(pvargDest, V_VARIANTREF(pSrc));
 933
 934     /* Use the dereferenced variants type value, not VT_VARIANT */
 935     goto VariantCopyInd_Return;
 936   }
 937   else if (V_VT(pSrc) == (VT_DECIMAL|VT_BYREF))
 938   {
 939     memcpy(&DEC_SCALE(&V_DECIMAL(pvargDest)), &DEC_SCALE(V_DECIMALREF(pSrc)),
 940            sizeof(DECIMAL) - sizeof(USHORT));
 941   }
 942   else
 943   {
 944     /* Copy the pointed to data into this variant */
 945     memcpy(&V_BYREF(pvargDest), V_BYREF(pSrc), VARIANT_DataSize(pSrc));
 946   }
 947
 948   V_VT(pvargDest) = V_VT(pSrc) & ~VT_BYREF;
 949
 950 VariantCopyInd_Return:
 951
 952   if (pSrc != pvargSrc)
 953     VariantClear(pSrc);
 954
 955   TRACE("returning 0x%08x, %p->(%s%s)\n", hres, pvargDest,
 956         debugstr_VT(pvargDest), debugstr_VF(pvargDest));
 957   return hres;
 958 }
 959
 960 /******************************************************************************
 961  *    VariantChangeType  [OLEAUT32.12]
 962  *
 963  * Change the type of a variant.
 964  *
 965  * PARAMS
 966  *  pvargDest [O] Destination for the converted variant
 967  *  pvargSrc  [O] Source variant to change the type of
 968  *  wFlags    [I] VARIANT_ flags from "oleauto.h"
 969  *  vt        [I] Variant type to change pvargSrc into
 970  *
 971  * RETURNS
 972  *  Success: S_OK. pvargDest contains the converted value.
 973  *  Failure: An HRESULT error code describing the failure.
 974  *
 975  * NOTES
 976  *  The LCID used for the conversion is LOCALE_USER_DEFAULT.
 977  *  See VariantChangeTypeEx.
 978  */
 979 HRESULT WINAPI VariantChangeType(VARIANTARG* pvargDest, VARIANTARG* pvargSrc,
 980                                  USHORT wFlags, VARTYPE vt)
 981 {
 982   return VariantChangeTypeEx( pvargDest, pvargSrc, LOCALE_USER_DEFAULT, wFlags, vt );
 983 }
 984
 985 /******************************************************************************
 986  *    VariantChangeTypeEx  [OLEAUT32.147]
 987  *
 988  * Change the type of a variant.
 989  *
 990  * PARAMS
 991  *  pvargDest [O] Destination for the converted variant
 992  *  pvargSrc  [O] Source variant to change the type of
 993  *  lcid      [I] LCID for the conversion
 994  *  wFlags    [I] VARIANT_ flags from "oleauto.h"
 995  *  vt        [I] Variant type to change pvargSrc into
 996  *
 997  * RETURNS
 998  *  Success: S_OK. pvargDest contains the converted value.
 999  *  Failure: An HRESULT error code describing the failure.
1000  *
1001  * NOTES
1002  *  pvargDest and pvargSrc can point to the same variant to perform an in-place
1003  *  conversion. If the conversion is successful, pvargSrc will be freed.
1004  */
1005 HRESULT WINAPI VariantChangeTypeEx(VARIANTARG* pvargDest, VARIANTARG* pvargSrc,
1006                                    LCID lcid, USHORT wFlags, VARTYPE vt)
1007 {
1008   HRESULT res = S_OK;
1009
1010   TRACE("(%p->(%s%s),%p->(%s%s),0x%08x,0x%04x,%s%s)\n", pvargDest,
1011         debugstr_VT(pvargDest), debugstr_VF(pvargDest), pvargSrc,
1012         debugstr_VT(pvargSrc), debugstr_VF(pvargSrc), lcid, wFlags,
1013         debugstr_vt(vt), debugstr_vf(vt));
1014
1015   if (vt == VT_CLSID)
1016     res = DISP_E_BADVARTYPE;
1017   else
1018   {
1019     res = VARIANT_ValidateType(V_VT(pvargSrc));
1020
1021     if (SUCCEEDED(res))
1022     {
1023       res = VARIANT_ValidateType(vt);
1024
1025       if (SUCCEEDED(res))
1026       {
1027         VARIANTARG vTmp, vSrcDeref;
1028
1029         if(V_ISBYREF(pvargSrc) && !V_BYREF(pvargSrc))
1030           res = DISP_E_TYPEMISMATCH;
1031         else
1032         {
1033           V_VT(&vTmp) = VT_EMPTY;
1034           V_VT(&vSrcDeref) = VT_EMPTY;
1035           VariantClear(&vTmp);
1036           VariantClear(&vSrcDeref);
1037         }
1038
1039         if (SUCCEEDED(res))
1040         {
1041           res = VariantCopyInd(&vSrcDeref, pvargSrc);
1042           if (SUCCEEDED(res))
1043           {
1044             if (V_ISARRAY(&vSrcDeref) || (vt & VT_ARRAY))
1045               res = VARIANT_CoerceArray(&vTmp, &vSrcDeref, vt);
1046             else
1047               res = VARIANT_Coerce(&vTmp, lcid, wFlags, &vSrcDeref, vt);
1048
1049             if (SUCCEEDED(res)) {
1050                 V_VT(&vTmp) = vt;
1051                 VariantCopy(pvargDest, &vTmp);
1052             }
1053             VariantClear(&vTmp);
1054             VariantClear(&vSrcDeref);
1055           }
1056         }
1057       }
1058     }
1059   }
1060
1061   TRACE("returning 0x%08x, %p->(%s%s)\n", res, pvargDest,
1062         debugstr_VT(pvargDest), debugstr_VF(pvargDest));
1063   return res;
1064 }
1065
1066 /* Date Conversions */
1067
1068 #define IsLeapYear(y) (((y % 4) == 0) && (((y % 100) != 0) || ((y % 400) == 0)))
1069
1070 /* Convert a VT_DATE value to a Julian Date */
1071 static inline int VARIANT_JulianFromDate(int dateIn)
1072 {
1073   int julianDays = dateIn;
1074
1075   julianDays -= DATE_MIN; /* Convert to + days from 1 Jan 100 AD */
1076   julianDays += 1757585;  /* Convert to + days from 23 Nov 4713 BC (Julian) */
1077   return julianDays;
1078 }
1079
1080 /* Convert a Julian Date to a VT_DATE value */
1081 static inline int VARIANT_DateFromJulian(int dateIn)
1082 {
1083   int julianDays = dateIn;
1084
1085   julianDays -= 1757585;  /* Convert to + days from 1 Jan 100 AD */
1086   julianDays += DATE_MIN; /* Convert to +/- days from 1 Jan 1899 AD */
1087   return julianDays;
1088 }
1089
1090 /* Convert a Julian date to Day/Month/Year - from PostgreSQL */
1091 static inline void VARIANT_DMYFromJulian(int jd, USHORT *year, USHORT *month, USHORT *day)
1092 {
1093   int j, i, l, n;
1094
1095   l = jd + 68569;
1096   n = l * 4 / 146097;
1097   l -= (n * 146097 + 3) / 4;
1098   i = (4000 * (l + 1)) / 1461001;
1099   l += 31 - (i * 1461) / 4;
1100   j = (l * 80) / 2447;
1101   *day = l - (j * 2447) / 80;
1102   l = j / 11;
1103   *month = (j + 2) - (12 * l);
1104   *year = 100 * (n - 49) + i + l;
1105 }
1106
1107 /* Convert Day/Month/Year to a Julian date - from PostgreSQL */
1108 static inline double VARIANT_JulianFromDMY(USHORT year, USHORT month, USHORT day)
1109 {
1110   int m12 = (month - 14) / 12;
1111
1112   return ((1461 * (year + 4800 + m12)) / 4 + (367 * (month - 2 - 12 * m12)) / 12 -
1113            (3 * ((year + 4900 + m12) / 100)) / 4 + day - 32075);
1114 }
1115
1116 /* Macros for accessing DOS format date/time fields */
1117 #define DOS_YEAR(x)   (1980 + (x >> 9))
1118 #define DOS_MONTH(x)  ((x >> 5) & 0xf)
1119 #define DOS_DAY(x)    (x & 0x1f)
1120 #define DOS_HOUR(x)   (x >> 11)
1121 #define DOS_MINUTE(x) ((x >> 5) & 0x3f)
1122 #define DOS_SECOND(x) ((x & 0x1f) << 1)
1123 /* Create a DOS format date/time */
1124 #define DOS_DATE(d,m,y) (d | (m << 5) | ((y-1980) << 9))
1125 #define DOS_TIME(h,m,s) ((s >> 1) | (m << 5) | (h << 11))
1126
1127 /* Roll a date forwards or backwards to correct it */
1128 static HRESULT VARIANT_RollUdate(UDATE *lpUd)
1129 {
1130   static const BYTE days[] = { 0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
1131   short iYear, iMonth, iDay, iHour, iMinute, iSecond;
1132
1133   /* interpret values signed */
1134   iYear   = lpUd->st.wYear;
1135   iMonth  = lpUd->st.wMonth;
1136   iDay    = lpUd->st.wDay;
1137   iHour   = lpUd->st.wHour;
1138   iMinute = lpUd->st.wMinute;
1139   iSecond = lpUd->st.wSecond;
1140
1141   TRACE("Raw date: %d/%d/%d %d:%d:%d\n", iDay, iMonth,
1142         iYear, iHour, iMinute, iSecond);
1143
1144   if (iYear > 9999 || iYear < -9999)
1145     return E_INVALIDARG; /* Invalid value */
1146   /* Years < 100 are treated as 1900 + year */
1147   if (iYear > 0 && iYear < 100)
1148     iYear += 1900;
1149
1150   iMinute += iSecond / 60;
1151   iSecond  = iSecond % 60;
1152   iHour   += iMinute / 60;
1153   iMinute  = iMinute % 60;
1154   iDay    += iHour / 24;
1155   iHour    = iHour % 24;
1156   iYear   += iMonth / 12;
1157   iMonth   = iMonth % 12;
1158   if (iMonth<=0) {iMonth+=12; iYear--;}
1159   while (iDay > days[iMonth])
1160   {
1161     if (iMonth == 2 && IsLeapYear(iYear))
1162       iDay -= 29;
1163     else
1164       iDay -= days[iMonth];
1165     iMonth++;
1166     iYear += iMonth / 12;
1167     iMonth = iMonth % 12;
1168   }
1169   while (iDay <= 0)
1170   {
1171     iMonth--;
1172     if (iMonth<=0) {iMonth+=12; iYear--;}
1173     if (iMonth == 2 && IsLeapYear(iYear))
1174       iDay += 29;
1175     else
1176       iDay += days[iMonth];
1177   }
1178
1179   if (iSecond<0){iSecond+=60; iMinute--;}
1180   if (iMinute<0){iMinute+=60; iHour--;}
1181   if (iHour<0)  {iHour+=24; iDay--;}
1182   if (iYear<=0)  iYear+=2000;
1183
1184   lpUd->st.wYear   = iYear;
1185   lpUd->st.wMonth  = iMonth;
1186   lpUd->st.wDay    = iDay;
1187   lpUd->st.wHour   = iHour;
1188   lpUd->st.wMinute = iMinute;
1189   lpUd->st.wSecond = iSecond;
1190
1191   TRACE("Rolled date: %d/%d/%d %d:%d:%d\n", lpUd->st.wDay, lpUd->st.wMonth,
1192         lpUd->st.wYear, lpUd->st.wHour, lpUd->st.wMinute, lpUd->st.wSecond);
1193   return S_OK;
1194 }
1195
1196 /**********************************************************************
1197  *              DosDateTimeToVariantTime [OLEAUT32.14]
1198  *
1199  * Convert a Dos format date and time into variant VT_DATE format.
1200  *
1201  * PARAMS
1202  *  wDosDate [I] Dos format date
1203  *  wDosTime [I] Dos format time
1204  *  pDateOut [O] Destination for VT_DATE format
1205  *
1206  * RETURNS
1207  *  Success: TRUE. pDateOut contains the converted time.
1208  *  Failure: FALSE, if wDosDate or wDosTime are invalid (see notes).
1209  *
1210  * NOTES
1211  * - Dos format dates can only hold dates from 1-Jan-1980 to 31-Dec-2099.
1212  * - Dos format times are accurate to only 2 second precision.
1213  * - The format of a Dos Date is:
1214  *| Bits   Values  Meaning
1215  *| ----   ------  -------
1216  *| 0-4    1-31    Day of the week. 0 rolls back one day. A value greater than
1217  *|                the days in the month rolls forward the extra days.
1218  *| 5-8    1-12    Month of the year. 0 rolls back to December of the previous
1219  *|                year. 13-15 are invalid.
1220  *| 9-15   0-119   Year based from 1980 (Max 2099). 120-127 are invalid.
1221  * - The format of a Dos Time is:
1222  *| Bits   Values  Meaning
1223  *| ----   ------  -------
1224  *| 0-4    0-29    Seconds/2. 30 and 31 are invalid.
1225  *| 5-10   0-59    Minutes. 60-63 are invalid.
1226  *| 11-15  0-23    Hours (24 hour clock). 24-32 are invalid.
1227  */
1228 INT WINAPI DosDateTimeToVariantTime(USHORT wDosDate, USHORT wDosTime,
1229                                     double *pDateOut)
1230 {
1231   UDATE ud;
1232
1233   TRACE("(0x%x(%d/%d/%d),0x%x(%d:%d:%d),%p)\n",
1234         wDosDate, DOS_YEAR(wDosDate), DOS_MONTH(wDosDate), DOS_DAY(wDosDate),
1235         wDosTime, DOS_HOUR(wDosTime), DOS_MINUTE(wDosTime), DOS_SECOND(wDosTime),
1236         pDateOut);
1237
1238   ud.st.wYear = DOS_YEAR(wDosDate);
1239   ud.st.wMonth = DOS_MONTH(wDosDate);
1240   if (ud.st.wYear > 2099 || ud.st.wMonth > 12)
1241     return FALSE;
1242   ud.st.wDay = DOS_DAY(wDosDate);
1243   ud.st.wHour = DOS_HOUR(wDosTime);
1244   ud.st.wMinute = DOS_MINUTE(wDosTime);
1245   ud.st.wSecond = DOS_SECOND(wDosTime);
1246   ud.st.wDayOfWeek = ud.st.wMilliseconds = 0;
1247   if (ud.st.wHour > 23 || ud.st.wMinute > 59 || ud.st.wSecond > 59)
1248     return FALSE; /* Invalid values in Dos*/
1249
1250   return VarDateFromUdate(&ud, 0, pDateOut) == S_OK;
1251 }
1252
1253 /**********************************************************************
1254  *              VariantTimeToDosDateTime [OLEAUT32.13]
1255  *
1256  * Convert a variant format date into a Dos format date and time.
1257  *
1258  *  dateIn    [I] VT_DATE time format
1259  *  pwDosDate [O] Destination for Dos format date
1260  *  pwDosTime [O] Destination for Dos format time
1261  *
1262  * RETURNS
1263  *  Success: TRUE. pwDosDate and pwDosTime contains the converted values.
1264  *  Failure: FALSE, if dateIn cannot be represented in Dos format.
1265  *
1266  * NOTES
1267  *   See DosDateTimeToVariantTime() for Dos format details and bugs.
1268  */
1269 INT WINAPI VariantTimeToDosDateTime(double dateIn, USHORT *pwDosDate, USHORT *pwDosTime)
1270 {
1271   UDATE ud;
1272
1273   TRACE("(%g,%p,%p)\n", dateIn, pwDosDate, pwDosTime);
1274
1275   if (FAILED(VarUdateFromDate(dateIn, 0, &ud)))
1276     return FALSE;
1277
1278   if (ud.st.wYear < 1980 || ud.st.wYear > 2099)
1279     return FALSE;
1280
1281   *pwDosDate = DOS_DATE(ud.st.wDay, ud.st.wMonth, ud.st.wYear);
1282   *pwDosTime = DOS_TIME(ud.st.wHour, ud.st.wMinute, ud.st.wSecond);
1283
1284   TRACE("Returning 0x%x(%d/%d/%d), 0x%x(%d:%d:%d)\n",
1285         *pwDosDate, DOS_YEAR(*pwDosDate), DOS_MONTH(*pwDosDate), DOS_DAY(*pwDosDate),
1286         *pwDosTime, DOS_HOUR(*pwDosTime), DOS_MINUTE(*pwDosTime), DOS_SECOND(*pwDosTime));
1287   return TRUE;
1288 }
1289
1290 /***********************************************************************
1291  *              SystemTimeToVariantTime [OLEAUT32.184]
1292  *
1293  * Convert a System format date and time into variant VT_DATE format.
1294  *
1295  * PARAMS
1296  *  lpSt     [I] System format date and time
1297  *  pDateOut [O] Destination for VT_DATE format date
1298  *
1299  * RETURNS
1300  *  Success: TRUE. *pDateOut contains the converted value.
1301  *  Failure: FALSE, if lpSt cannot be represented in VT_DATE format.
1302  */
1303 INT WINAPI SystemTimeToVariantTime(LPSYSTEMTIME lpSt, double *pDateOut)
1304 {
1305   UDATE ud;
1306
1307   TRACE("(%p->%d/%d/%d %d:%d:%d,%p)\n", lpSt, lpSt->wDay, lpSt->wMonth,
1308         lpSt->wYear, lpSt->wHour, lpSt->wMinute, lpSt->wSecond, pDateOut);
1309
1310   if (lpSt->wMonth > 12)
1311     return FALSE;
1312
1313   ud.st = *lpSt;
1314   return VarDateFromUdate(&ud, 0, pDateOut) == S_OK;
1315 }
1316
1317 /***********************************************************************
1318  *              VariantTimeToSystemTime [OLEAUT32.185]
1319  *
1320  * Convert a variant VT_DATE into a System format date and time.
1321  *
1322  * PARAMS
1323  *  datein [I] Variant VT_DATE format date
1324  *  lpSt   [O] Destination for System format date and time
1325  *
1326  * RETURNS
1327  *  Success: TRUE. *lpSt contains the converted value.
1328  *  Failure: FALSE, if dateIn is too large or small.
1329  */
1330 INT WINAPI VariantTimeToSystemTime(double dateIn, LPSYSTEMTIME lpSt)
1331 {
1332   UDATE ud;
1333
1334   TRACE("(%g,%p)\n", dateIn, lpSt);
1335
1336   if (FAILED(VarUdateFromDate(dateIn, 0, &ud)))
1337     return FALSE;
1338
1339   *lpSt = ud.st;
1340   return TRUE;
1341 }
1342
1343 /***********************************************************************
1344  *              VarDateFromUdateEx [OLEAUT32.319]
1345  *
1346  * Convert an unpacked format date and time to a variant VT_DATE.
1347  *
1348  * PARAMS
1349  *  pUdateIn [I] Unpacked format date and time to convert
1350  *  lcid     [I] Locale identifier for the conversion
1351  *  dwFlags  [I] Flags controlling the conversion (VAR_ flags from "oleauto.h")
1352  *  pDateOut [O] Destination for variant VT_DATE.
1353  *
1354  * RETURNS
1355  *  Success: S_OK. *pDateOut contains the converted value.
1356  *  Failure: E_INVALIDARG, if pUdateIn cannot be represented in VT_DATE format.
1357  */
1358 HRESULT WINAPI VarDateFromUdateEx(UDATE *pUdateIn, LCID lcid, ULONG dwFlags, DATE *pDateOut)
1359 {
1360   UDATE ud;
1361   double dateVal, dateSign;
1362
1363   TRACE("(%p->%d/%d/%d %d:%d:%d:%d %d %d,0x%08x,0x%08x,%p)\n", pUdateIn,
1364         pUdateIn->st.wMonth, pUdateIn->st.wDay, pUdateIn->st.wYear,
1365         pUdateIn->st.wHour, pUdateIn->st.wMinute, pUdateIn->st.wSecond,
1366         pUdateIn->st.wMilliseconds, pUdateIn->st.wDayOfWeek,
1367         pUdateIn->wDayOfYear, lcid, dwFlags, pDateOut);
1368
1369   if (lcid != MAKELCID(MAKELANGID(LANG_ENGLISH, SUBLANG_ENGLISH_US), SORT_DEFAULT))
1370     FIXME("lcid possibly not handled, treating as en-us\n");
1371
1372   ud = *pUdateIn;
1373
1374   if (dwFlags & VAR_VALIDDATE)
1375     WARN("Ignoring VAR_VALIDDATE\n");
1376
1377   if (FAILED(VARIANT_RollUdate(&ud)))
1378     return E_INVALIDARG;
1379
1380   /* Date */
1381   dateVal = VARIANT_DateFromJulian(VARIANT_JulianFromDMY(ud.st.wYear, ud.st.wMonth, ud.st.wDay));
1382
1383   /* Sign */
1384   dateSign = (dateVal < 0.0) ? -1.0 : 1.0;
1385
1386   /* Time */
1387   dateVal += ud.st.wHour / 24.0 * dateSign;
1388   dateVal += ud.st.wMinute / 1440.0 * dateSign;
1389   dateVal += ud.st.wSecond / 86400.0 * dateSign;
1390
1391   TRACE("Returning %g\n", dateVal);
1392   *pDateOut = dateVal;
1393   return S_OK;
1394 }
1395
1396 /***********************************************************************
1397  *              VarDateFromUdate [OLEAUT32.330]
1398  *
1399  * Convert an unpacked format date and time to a variant VT_DATE.
1400  *
1401  * PARAMS
1402  *  pUdateIn [I] Unpacked format date and time to convert
1403  *  dwFlags  [I] Flags controlling the conversion (VAR_ flags from "oleauto.h")
1404  *  pDateOut [O] Destination for variant VT_DATE.
1405  *
1406  * RETURNS
1407  *  Success: S_OK. *pDateOut contains the converted value.
1408  *  Failure: E_INVALIDARG, if pUdateIn cannot be represented in VT_DATE format.
1409  *
1410  * NOTES
1411  *  This function uses the United States English locale for the conversion. Use
1412  *  VarDateFromUdateEx() for alternate locales.
1413  */
1414 HRESULT WINAPI VarDateFromUdate(UDATE *pUdateIn, ULONG dwFlags, DATE *pDateOut)
1415 {
1416   LCID lcid = MAKELCID(MAKELANGID(LANG_ENGLISH, SUBLANG_ENGLISH_US), SORT_DEFAULT);
1417
1418   return VarDateFromUdateEx(pUdateIn, lcid, dwFlags, pDateOut);
1419 }
1420
1421 /***********************************************************************
1422  *              VarUdateFromDate [OLEAUT32.331]
1423  *
1424  * Convert a variant VT_DATE into an unpacked format date and time.
1425  *
1426  * PARAMS
1427  *  datein    [I] Variant VT_DATE format date
1428  *  dwFlags   [I] Flags controlling the conversion (VAR_ flags from "oleauto.h")
1429  *  lpUdate   [O] Destination for unpacked format date and time
1430  *
1431  * RETURNS
1432  *  Success: S_OK. *lpUdate contains the converted value.
1433  *  Failure: E_INVALIDARG, if dateIn is too large or small.
1434  */
1435 HRESULT WINAPI VarUdateFromDate(DATE dateIn, ULONG dwFlags, UDATE *lpUdate)
1436 {
1437   /* Cumulative totals of days per month */
1438   static const USHORT cumulativeDays[] =
1439   {
1440     0, 0, 31, 59, 90, 120, 151, 181, 212, 243, 273, 304, 334
1441   };
1442   double datePart, timePart;
1443   int julianDays;
1444
1445   TRACE("(%g,0x%08x,%p)\n", dateIn, dwFlags, lpUdate);
1446
1447   if (dateIn <= (DATE_MIN - 1.0) || dateIn >= (DATE_MAX + 1.0))
1448     return E_INVALIDARG;
1449
1450   datePart = dateIn < 0.0 ? ceil(dateIn) : floor(dateIn);
1451   /* Compensate for int truncation (always downwards) */
1452   timePart = fabs(dateIn - datePart) + 0.00000000001;
1453   if (timePart >= 1.0)
1454     timePart -= 0.00000000001;
1455
1456   /* Date */
1457   julianDays = VARIANT_JulianFromDate(dateIn);
1458   VARIANT_DMYFromJulian(julianDays, &lpUdate->st.wYear, &lpUdate->st.wMonth,
1459                         &lpUdate->st.wDay);
1460
1461   datePart = (datePart + 1.5) / 7.0;
1462   lpUdate->st.wDayOfWeek = (datePart - floor(datePart)) * 7;
1463   if (lpUdate->st.wDayOfWeek == 0)
1464     lpUdate->st.wDayOfWeek = 5;
1465   else if (lpUdate->st.wDayOfWeek == 1)
1466     lpUdate->st.wDayOfWeek = 6;
1467   else
1468     lpUdate->st.wDayOfWeek -= 2;
1469
1470   if (lpUdate->st.wMonth > 2 && IsLeapYear(lpUdate->st.wYear))
1471     lpUdate->wDayOfYear = 1; /* After February, in a leap year */
1472   else
1473     lpUdate->wDayOfYear = 0;
1474
1475   lpUdate->wDayOfYear += cumulativeDays[lpUdate->st.wMonth];
1476   lpUdate->wDayOfYear += lpUdate->st.wDay;
1477
1478   /* Time */
1479   timePart *= 24.0;
1480   lpUdate->st.wHour = timePart;
1481   timePart -= lpUdate->st.wHour;
1482   timePart *= 60.0;
1483   lpUdate->st.wMinute = timePart;
1484   timePart -= lpUdate->st.wMinute;
1485   timePart *= 60.0;
1486   lpUdate->st.wSecond = timePart;
1487   timePart -= lpUdate->st.wSecond;
1488   lpUdate->st.wMilliseconds = 0;
1489   if (timePart > 0.5)
1490   {
1491     /* Round the milliseconds, adjusting the time/date forward if needed */
1492     if (lpUdate->st.wSecond < 59)
1493       lpUdate->st.wSecond++;
1494     else
1495     {
1496       lpUdate->st.wSecond = 0;
1497       if (lpUdate->st.wMinute < 59)
1498         lpUdate->st.wMinute++;
1499       else
1500       {
1501         lpUdate->st.wMinute = 0;
1502         if (lpUdate->st.wHour < 23)
1503           lpUdate->st.wHour++;
1504         else
1505         {
1506           lpUdate->st.wHour = 0;
1507           /* Roll over a whole day */
1508           if (++lpUdate->st.wDay > 28)
1509             VARIANT_RollUdate(lpUdate);
1510         }
1511       }
1512     }
1513   }
1514   return S_OK;
1515 }
1516
1517 #define GET_NUMBER_TEXT(fld,name) \
1518   buff[0] = 0; \
1519   if (!GetLocaleInfoW(lcid, lctype|fld, buff, 2)) \
1520     WARN("buffer too small for " #fld "\n"); \
1521   else \
1522     if (buff[0]) lpChars->name = buff[0]; \
1523   TRACE("lcid 0x%x, " #name "=%d '%c'\n", lcid, lpChars->name, lpChars->name)
1524
1525 /* Get the valid number characters for an lcid */
1526 static void VARIANT_GetLocalisedNumberChars(VARIANT_NUMBER_CHARS *lpChars, LCID lcid, DWORD dwFlags)
1527 {
1528   static const VARIANT_NUMBER_CHARS defaultChars = { '-','+','.',',','$',0,'.',',' };
1529   static CRITICAL_SECTION csLastChars = { NULL, -1, 0, 0, 0, 0 };
1530   static VARIANT_NUMBER_CHARS lastChars;
1531   static LCID lastLcid = -1;
1532   static DWORD lastFlags = 0;
1533   LCTYPE lctype = dwFlags & LOCALE_NOUSEROVERRIDE;
1534   WCHAR buff[4];
1535
1536   /* To make caching thread-safe, a critical section is needed */
1537   EnterCriticalSection(&csLastChars);
1538
1539   /* Asking for default locale entries is very expensive: It is a registry
1540      server call. So cache one locally, as Microsoft does it too */
1541   if(lcid == lastLcid && dwFlags == lastFlags)
1542   {
1543     memcpy(lpChars, &lastChars, sizeof(defaultChars));
1544     LeaveCriticalSection(&csLastChars);
1545     return;
1546   }
1547
1548   memcpy(lpChars, &defaultChars, sizeof(defaultChars));
1549   GET_NUMBER_TEXT(LOCALE_SNEGATIVESIGN, cNegativeSymbol);
1550   GET_NUMBER_TEXT(LOCALE_SPOSITIVESIGN, cPositiveSymbol);
1551   GET_NUMBER_TEXT(LOCALE_SDECIMAL, cDecimalPoint);
1552   GET_NUMBER_TEXT(LOCALE_STHOUSAND, cDigitSeparator);
1553   GET_NUMBER_TEXT(LOCALE_SMONDECIMALSEP, cCurrencyDecimalPoint);
1554   GET_NUMBER_TEXT(LOCALE_SMONTHOUSANDSEP, cCurrencyDigitSeparator);
1555
1556   /* Local currency symbols are often 2 characters */
1557   lpChars->cCurrencyLocal2 = '\0';
1558   switch(GetLocaleInfoW(lcid, lctype|LOCALE_SCURRENCY, buff, sizeof(buff)/sizeof(WCHAR)))
1559   {
1560     case 3: lpChars->cCurrencyLocal2 = buff[1]; /* Fall through */
1561     case 2: lpChars->cCurrencyLocal  = buff[0];
1562             break;
1563     default: WARN("buffer too small for LOCALE_SCURRENCY\n");
1564   }
1565   TRACE("lcid 0x%x, cCurrencyLocal =%d,%d '%c','%c'\n", lcid, lpChars->cCurrencyLocal,
1566         lpChars->cCurrencyLocal2, lpChars->cCurrencyLocal, lpChars->cCurrencyLocal2);
1567
1568   memcpy(&lastChars, lpChars, sizeof(defaultChars));
1569   lastLcid = lcid;
1570   lastFlags = dwFlags;
1571   LeaveCriticalSection(&csLastChars);
1572 }
1573
1574 /* Number Parsing States */
1575 #define B_PROCESSING_EXPONENT 0x1
1576 #define B_NEGATIVE_EXPONENT   0x2
1577 #define B_EXPONENT_START      0x4
1578 #define B_INEXACT_ZEROS       0x8
1579 #define B_LEADING_ZERO        0x10
1580 #define B_PROCESSING_HEX      0x20
1581 #define B_PROCESSING_OCT      0x40
1582
1583 /**********************************************************************
1584  *              VarParseNumFromStr [OLEAUT32.46]
1585  *
1586  * Parse a string containing a number into a NUMPARSE structure.
1587  *
1588  * PARAMS
1589  *  lpszStr [I]   String to parse number from
1590  *  lcid    [I]   Locale Id for the conversion
1591  *  dwFlags [I]   0, or LOCALE_NOUSEROVERRIDE to use system default number chars
1592  *  pNumprs [I/O] Destination for parsed number
1593  *  rgbDig  [O]   Destination for digits read in
1594  *
1595  * RETURNS
1596  *  Success: S_OK. pNumprs and rgbDig contain the parsed representation of
1597  *           the number.
1598  *  Failure: E_INVALIDARG, if any parameter is invalid.
1599  *           DISP_E_TYPEMISMATCH, if the string is not a number or is formatted
1600  *           incorrectly.
1601  *           DISP_E_OVERFLOW, if rgbDig is too small to hold the number.
1602  *
1603  * NOTES
1604  *  pNumprs must have the following fields set:
1605  *   cDig: Set to the size of rgbDig.
1606  *   dwInFlags: Set to the allowable syntax of the number using NUMPRS_ flags
1607  *            from "oleauto.h".
1608  *
1609  * FIXME
1610  *  - I am unsure if this function should parse non-arabic (e.g. Thai)
1611  *   numerals, so this has not been implemented.
1612  */
1613 HRESULT WINAPI VarParseNumFromStr(OLECHAR *lpszStr, LCID lcid, ULONG dwFlags,
1614                                   NUMPARSE *pNumprs, BYTE *rgbDig)
1615 {
1616   VARIANT_NUMBER_CHARS chars;
1617   BYTE rgbTmp[1024];
1618   DWORD dwState = B_EXPONENT_START|B_INEXACT_ZEROS;
1619   int iMaxDigits = sizeof(rgbTmp) / sizeof(BYTE);
1620   int cchUsed = 0;
1621
1622   TRACE("(%s,%d,0x%08x,%p,%p)\n", debugstr_w(lpszStr), lcid, dwFlags, pNumprs, rgbDig);
1623
1624   if (!pNumprs || !rgbDig)
1625     return E_INVALIDARG;
1626
1627   if (pNumprs->cDig < iMaxDigits)
1628     iMaxDigits = pNumprs->cDig;
1629
1630   pNumprs->cDig = 0;
1631   pNumprs->dwOutFlags = 0;
1632   pNumprs->cchUsed = 0;
1633   pNumprs->nBaseShift = 0;
1634   pNumprs->nPwr10 = 0;
1635
1636   if (!lpszStr)
1637     return DISP_E_TYPEMISMATCH;
1638
1639   VARIANT_GetLocalisedNumberChars(&chars, lcid, dwFlags);
1640
1641   /* First consume all the leading symbols and space from the string */
1642   while (1)
1643   {
1644     if (pNumprs->dwInFlags & NUMPRS_LEADING_WHITE && isspaceW(*lpszStr))
1645     {
1646       pNumprs->dwOutFlags |= NUMPRS_LEADING_WHITE;
1647       do
1648       {
1649         cchUsed++;
1650         lpszStr++;
1651       } while (isspaceW(*lpszStr));
1652     }
1653     else if (pNumprs->dwInFlags & NUMPRS_LEADING_PLUS &&
1654              *lpszStr == chars.cPositiveSymbol &&
1655              !(pNumprs->dwOutFlags & NUMPRS_LEADING_PLUS))
1656     {
1657       pNumprs->dwOutFlags |= NUMPRS_LEADING_PLUS;
1658       cchUsed++;
1659       lpszStr++;
1660     }
1661     else if (pNumprs->dwInFlags & NUMPRS_LEADING_MINUS &&
1662              *lpszStr == chars.cNegativeSymbol &&
1663              !(pNumprs->dwOutFlags & NUMPRS_LEADING_MINUS))
1664     {
1665       pNumprs->dwOutFlags |= (NUMPRS_LEADING_MINUS|NUMPRS_NEG);
1666       cchUsed++;
1667       lpszStr++;
1668     }
1669     else if (pNumprs->dwInFlags & NUMPRS_CURRENCY &&
1670              !(pNumprs->dwOutFlags & NUMPRS_CURRENCY) &&
1671              *lpszStr == chars.cCurrencyLocal &&
1672              (!chars.cCurrencyLocal2 || lpszStr[1] == chars.cCurrencyLocal2))
1673     {
1674       pNumprs->dwOutFlags |= NUMPRS_CURRENCY;
1675       cchUsed++;
1676       lpszStr++;
1677       /* Only accept currency characters */
1678       chars.cDecimalPoint = chars.cCurrencyDecimalPoint;
1679       chars.cDigitSeparator = chars.cCurrencyDigitSeparator;
1680     }
1681     else if (pNumprs->dwInFlags & NUMPRS_PARENS && *lpszStr == '(' &&
1682              !(pNumprs->dwOutFlags & NUMPRS_PARENS))
1683     {
1684       pNumprs->dwOutFlags |= NUMPRS_PARENS;
1685       cchUsed++;
1686       lpszStr++;
1687     }
1688     else
1689       break;
1690   }
1691
1692   if (!(pNumprs->dwOutFlags & NUMPRS_CURRENCY))
1693   {
1694     /* Only accept non-currency characters */
1695     chars.cCurrencyDecimalPoint = chars.cDecimalPoint;
1696     chars.cCurrencyDigitSeparator = chars.cDigitSeparator;
1697   }
1698
1699   if ((*lpszStr == '&' && (*(lpszStr+1) == 'H' || *(lpszStr+1) == 'h')) &&
1700     pNumprs->dwInFlags & NUMPRS_HEX_OCT)
1701   {
1702       dwState |= B_PROCESSING_HEX;
1703       pNumprs->dwOutFlags |= NUMPRS_HEX_OCT;
1704       cchUsed=cchUsed+2;
1705       lpszStr=lpszStr+2;
1706   }
1707   else if ((*lpszStr == '&' && (*(lpszStr+1) == 'O' || *(lpszStr+1) == 'o')) &&
1708     pNumprs->dwInFlags & NUMPRS_HEX_OCT)
1709   {
1710       dwState |= B_PROCESSING_OCT;
1711       pNumprs->dwOutFlags |= NUMPRS_HEX_OCT;
1712       cchUsed=cchUsed+2;
1713       lpszStr=lpszStr+2;
1714   }
1715
1716   /* Strip Leading zeros */
1717   while (*lpszStr == '0')
1718   {
1719     dwState |= B_LEADING_ZERO;
1720     cchUsed++;
1721     lpszStr++;
1722   }
1723
1724   while (*lpszStr)
1725   {
1726     if (isdigitW(*lpszStr))
1727     {
1728       if (dwState & B_PROCESSING_EXPONENT)
1729       {
1730         int exponentSize = 0;
1731         if (dwState & B_EXPONENT_START)
1732         {
1733           if (!isdigitW(*lpszStr))
1734             break; /* No exponent digits - invalid */
1735           while (*lpszStr == '0')
1736           {
1737             /* Skip leading zero's in the exponent */
1738             cchUsed++;
1739             lpszStr++;
1740           }
1741         }
1742
1743         while (isdigitW(*lpszStr))
1744         {
1745           exponentSize *= 10;
1746           exponentSize += *lpszStr - '0';
1747           cchUsed++;
1748           lpszStr++;
1749         }
1750         if (dwState & B_NEGATIVE_EXPONENT)
1751           exponentSize = -exponentSize;
1752         /* Add the exponent into the powers of 10 */
1753         pNumprs->nPwr10 += exponentSize;
1754         dwState &= ~(B_PROCESSING_EXPONENT|B_EXPONENT_START);
1755         lpszStr--; /* back up to allow processing of next char */
1756       }
1757       else
1758       {
1759         if ((pNumprs->cDig >= iMaxDigits) && !(dwState & B_PROCESSING_HEX)
1760           && !(dwState & B_PROCESSING_OCT))
1761         {
1762           pNumprs->dwOutFlags |= NUMPRS_INEXACT;
1763
1764           if (*lpszStr != '0')
1765             dwState &= ~B_INEXACT_ZEROS; /* Inexact number with non-trailing zeros */
1766
1767           /* This digit can't be represented, but count it in nPwr10 */
1768           if (pNumprs->dwOutFlags & NUMPRS_DECIMAL)
1769             pNumprs->nPwr10--;
1770           else
1771             pNumprs->nPwr10++;
1772         }
1773         else
1774         {
1775           if ((dwState & B_PROCESSING_OCT) && ((*lpszStr == '8') || (*lpszStr == '9'))) {
1776             return DISP_E_TYPEMISMATCH;
1777           }
1778
1779           if (pNumprs->dwOutFlags & NUMPRS_DECIMAL)
1780             pNumprs->nPwr10--; /* Count decimal points in nPwr10 */
1781
1782           rgbTmp[pNumprs->cDig] = *lpszStr - '0';
1783         }
1784         pNumprs->cDig++;
1785         cchUsed++;
1786       }
1787     }
1788     else if (*lpszStr == chars.cDigitSeparator && pNumprs->dwInFlags & NUMPRS_THOUSANDS)
1789     {
1790       pNumprs->dwOutFlags |= NUMPRS_THOUSANDS;
1791       cchUsed++;
1792     }
1793     else if (*lpszStr == chars.cDecimalPoint &&
1794              pNumprs->dwInFlags & NUMPRS_DECIMAL &&
1795              !(pNumprs->dwOutFlags & (NUMPRS_DECIMAL|NUMPRS_EXPONENT)))
1796     {
1797       pNumprs->dwOutFlags |= NUMPRS_DECIMAL;
1798       cchUsed++;
1799
1800       /* If we have no digits so far, skip leading zeros */
1801       if (!pNumprs->cDig)
1802       {
1803         while (lpszStr[1] == '0')
1804         {
1805           dwState |= B_LEADING_ZERO;
1806           cchUsed++;
1807           lpszStr++;
1808           pNumprs->nPwr10--;
1809         }
1810       }
1811     }
1812     else if (((*lpszStr >= 'a' && *lpszStr <= 'f') ||
1813              (*lpszStr >= 'A' && *lpszStr <= 'F')) &&
1814              dwState & B_PROCESSING_HEX)
1815     {
1816       if (pNumprs->cDig >= iMaxDigits)
1817       {
1818         return DISP_E_OVERFLOW;
1819       }
1820       else
1821       {
1822         if (*lpszStr >= 'a')
1823           rgbTmp[pNumprs->cDig] = *lpszStr - 'a' + 10;
1824         else
1825           rgbTmp[pNumprs->cDig] = *lpszStr - 'A' + 10;
1826       }
1827       pNumprs->cDig++;
1828       cchUsed++;
1829     }
1830     else if ((*lpszStr == 'e' || *lpszStr == 'E') &&
1831              pNumprs->dwInFlags & NUMPRS_EXPONENT &&
1832              !(pNumprs->dwOutFlags & NUMPRS_EXPONENT))
1833     {
1834       dwState |= B_PROCESSING_EXPONENT;
1835       pNumprs->dwOutFlags |= NUMPRS_EXPONENT;
1836       cchUsed++;
1837     }
1838     else if (dwState & B_PROCESSING_EXPONENT && *lpszStr == chars.cPositiveSymbol)
1839     {
1840       cchUsed++; /* Ignore positive exponent */
1841     }
1842     else if (dwState & B_PROCESSING_EXPONENT && *lpszStr == chars.cNegativeSymbol)
1843     {
1844       dwState |= B_NEGATIVE_EXPONENT;
1845       cchUsed++;
1846     }
1847     else
1848       break; /* Stop at an unrecognised character */
1849
1850     lpszStr++;
1851   }
1852
1853   if (!pNumprs->cDig && dwState & B_LEADING_ZERO)
1854   {
1855     /* Ensure a 0 on its own gets stored */
1856     pNumprs->cDig = 1;
1857     rgbTmp[0] = 0;
1858   }
1859
1860   if (pNumprs->dwOutFlags & NUMPRS_EXPONENT && dwState & B_PROCESSING_EXPONENT)
1861   {
1862     pNumprs->cchUsed = cchUsed;
1863     WARN("didn't completely parse exponent\n");
1864     return DISP_E_TYPEMISMATCH; /* Failed to completely parse the exponent */
1865   }
1866
1867   if (pNumprs->dwOutFlags & NUMPRS_INEXACT)
1868   {
1869     if (dwState & B_INEXACT_ZEROS)
1870       pNumprs->dwOutFlags &= ~NUMPRS_INEXACT; /* All zeros doesn't set NUMPRS_INEXACT */
1871   } else if(pNumprs->dwInFlags & NUMPRS_HEX_OCT)
1872   {
1873     /* copy all of the digits into the output digit buffer */
1874     /* this is exactly what windows does although it also returns */
1875     /* cDig of X and writes X+Y where Y>=0 number of digits to rgbDig */
1876     memcpy(rgbDig, rgbTmp, pNumprs->cDig * sizeof(BYTE));
1877
1878     if (dwState & B_PROCESSING_HEX) {
1879       /* hex numbers have always the same format */
1880       pNumprs->nPwr10=0;
1881       pNumprs->nBaseShift=4;
1882     } else {
1883       if (dwState & B_PROCESSING_OCT) {
1884         /* oct numbers have always the same format */
1885         pNumprs->nPwr10=0;
1886         pNumprs->nBaseShift=3;
1887       } else {
1888         while (pNumprs->cDig > 1 && !rgbTmp[pNumprs->cDig - 1])
1889         {
1890           pNumprs->nPwr10++;
1891           pNumprs->cDig--;
1892         }
1893       }
1894     }
1895   } else
1896   {
1897     /* Remove trailing zeros from the last (whole number or decimal) part */
1898     while (pNumprs->cDig > 1 && !rgbTmp[pNumprs->cDig - 1])
1899     {
1900       pNumprs->nPwr10++;
1901       pNumprs->cDig--;
1902     }
1903   }
1904
1905   if (pNumprs->cDig <= iMaxDigits)
1906     pNumprs->dwOutFlags &= ~NUMPRS_INEXACT; /* Ignore stripped zeros for NUMPRS_INEXACT */
1907   else
1908     pNumprs->cDig = iMaxDigits; /* Only return iMaxDigits worth of digits */
1909
1910   /* Copy the digits we processed into rgbDig */
1911   memcpy(rgbDig, rgbTmp, pNumprs->cDig * sizeof(BYTE));
1912
1913   /* Consume any trailing symbols and space */
1914   while (1)
1915   {
1916     if ((pNumprs->dwInFlags & NUMPRS_TRAILING_WHITE) && isspaceW(*lpszStr))
1917     {
1918       pNumprs->dwOutFlags |= NUMPRS_TRAILING_WHITE;
1919       do
1920       {
1921         cchUsed++;
1922         lpszStr++;
1923       } while (isspaceW(*lpszStr));
1924     }
1925     else if (pNumprs->dwInFlags & NUMPRS_TRAILING_PLUS &&
1926              !(pNumprs->dwOutFlags & NUMPRS_LEADING_PLUS) &&
1927              *lpszStr == chars.cPositiveSymbol)
1928     {
1929       pNumprs->dwOutFlags |= NUMPRS_TRAILING_PLUS;
1930       cchUsed++;
1931       lpszStr++;
1932     }
1933     else if (pNumprs->dwInFlags & NUMPRS_TRAILING_MINUS &&
1934              !(pNumprs->dwOutFlags & NUMPRS_LEADING_MINUS) &&
1935              *lpszStr == chars.cNegativeSymbol)
1936     {
1937       pNumprs->dwOutFlags |= (NUMPRS_TRAILING_MINUS|NUMPRS_NEG);
1938       cchUsed++;
1939       lpszStr++;
1940     }
1941     else if (pNumprs->dwInFlags & NUMPRS_PARENS && *lpszStr == ')' &&
1942              pNumprs->dwOutFlags & NUMPRS_PARENS)
1943     {
1944       cchUsed++;
1945       lpszStr++;
1946       pNumprs->dwOutFlags |= NUMPRS_NEG;
1947     }
1948     else
1949       break;
1950   }
1951
1952   if (pNumprs->dwOutFlags & NUMPRS_PARENS && !(pNumprs->dwOutFlags & NUMPRS_NEG))
1953   {
1954     pNumprs->cchUsed = cchUsed;
1955     return DISP_E_TYPEMISMATCH; /* Opening parenthesis not matched */
1956   }
1957
1958   if (pNumprs->dwInFlags & NUMPRS_USE_ALL && *lpszStr != '\0')
1959     return DISP_E_TYPEMISMATCH; /* Not all chars were consumed */
1960
1961   if (!pNumprs->cDig)
1962     return DISP_E_TYPEMISMATCH; /* No Number found */
1963
1964   pNumprs->cchUsed = cchUsed;
1965   return S_OK;
1966 }
1967
1968 /* VTBIT flags indicating an integer value */
1969 #define INTEGER_VTBITS (VTBIT_I1|VTBIT_UI1|VTBIT_I2|VTBIT_UI2|VTBIT_I4|VTBIT_UI4|VTBIT_I8|VTBIT_UI8)
1970 /* VTBIT flags indicating a real number value */
1971 #define REAL_VTBITS (VTBIT_R4|VTBIT_R8|VTBIT_CY)
1972
1973 /* Helper macros to check whether bit pattern fits in VARIANT (x is a ULONG64 ) */
1974 #define FITS_AS_I1(x) ((x) >> 8 == 0)
1975 #define FITS_AS_I2(x) ((x) >> 16 == 0)
1976 #define FITS_AS_I4(x) ((x) >> 32 == 0)
1977
1978 /**********************************************************************
1979  *              VarNumFromParseNum [OLEAUT32.47]
1980  *
1981  * Convert a NUMPARSE structure into a numeric Variant type.
1982  *
1983  * PARAMS
1984  *  pNumprs  [I] Source for parsed number. cDig must be set to the size of rgbDig
1985  *  rgbDig   [I] Source for the numbers digits
1986  *  dwVtBits [I] VTBIT_ flags from "oleauto.h" indicating the acceptable dest types
1987  *  pVarDst  [O] Destination for the converted Variant value.
1988  *
1989  * RETURNS
1990  *  Success: S_OK. pVarDst contains the converted value.
1991  *  Failure: E_INVALIDARG, if any parameter is invalid.
1992  *           DISP_E_OVERFLOW, if the number is too big for the types set in dwVtBits.
1993  *
1994  * NOTES
1995  *  - The smallest favoured type present in dwVtBits that can represent the
1996  *    number in pNumprs without losing precision is used.
1997  *  - Signed types are preferred over unsigned types of the same size.
1998  *  - Preferred types in order are: integer, float, double, currency then decimal.
1999  *  - Rounding (dropping of decimal points) occurs without error. See VarI8FromR8()
2000  *    for details of the rounding method.
2001  *  - pVarDst is not cleared before the result is stored in it.
2002  *  - WinXP and Win2003 support VTBIT_I8, VTBIT_UI8 but that's buggy (by
2003  *    design?): If some other VTBIT's for integers are specified together
2004  *    with VTBIT_I8 and the number will fit only in a VT_I8 Windows will "cast"
2005  *    the number to the smallest requested integer truncating this way the
2006  *    number.  Wine doesn't implement this "feature" (yet?).
2007  */
2008 HRESULT WINAPI VarNumFromParseNum(NUMPARSE *pNumprs, BYTE *rgbDig,
2009                                   ULONG dwVtBits, VARIANT *pVarDst)
2010 {
2011   /* Scale factors and limits for double arithmetic */
2012   static const double dblMultipliers[11] = {
2013     1.0, 10.0, 100.0, 1000.0, 10000.0, 100000.0,
2014     1000000.0, 10000000.0, 100000000.0, 1000000000.0, 10000000000.0
2015   };
2016   static const double dblMinimums[11] = {
2017     R8_MIN, R8_MIN*10.0, R8_MIN*100.0, R8_MIN*1000.0, R8_MIN*10000.0,
2018     R8_MIN*100000.0, R8_MIN*1000000.0, R8_MIN*10000000.0,
2019     R8_MIN*100000000.0, R8_MIN*1000000000.0, R8_MIN*10000000000.0
2020   };
2021   static const double dblMaximums[11] = {
2022     R8_MAX, R8_MAX/10.0, R8_MAX/100.0, R8_MAX/1000.0, R8_MAX/10000.0,
2023     R8_MAX/100000.0, R8_MAX/1000000.0, R8_MAX/10000000.0,
2024     R8_MAX/100000000.0, R8_MAX/1000000000.0, R8_MAX/10000000000.0
2025   };
2026
2027   int wholeNumberDigits, fractionalDigits, divisor10 = 0, multiplier10 = 0;
2028
2029   TRACE("(%p,%p,0x%x,%p)\n", pNumprs, rgbDig, dwVtBits, pVarDst);
2030
2031   if (pNumprs->nBaseShift)
2032   {
2033     /* nBaseShift indicates a hex or octal number */
2034     ULONG64 ul64 = 0;
2035     LONG64 l64;
2036     int i;
2037
2038     /* Convert the hex or octal number string into a UI64 */
2039     for (i = 0; i < pNumprs->cDig; i++)
2040     {
2041       if (ul64 > ((UI8_MAX>>pNumprs->nBaseShift) - rgbDig[i]))
2042       {
2043         TRACE("Overflow multiplying digits\n");
2044         return DISP_E_OVERFLOW;
2045       }
2046       ul64 = (ul64<<pNumprs->nBaseShift) + rgbDig[i];
2047     }
2048
2049     /* also make a negative representation */
2050     l64=-ul64;
2051
2052     /* Try signed and unsigned types in size order */
2053     if (dwVtBits & VTBIT_I1 && FITS_AS_I1(ul64))
2054     {
2055       V_VT(pVarDst) = VT_I1;
2056       V_I1(pVarDst) = ul64;
2057       return S_OK;
2058     }
2059     else if (dwVtBits & VTBIT_UI1 && FITS_AS_I1(ul64))
2060     {
2061       V_VT(pVarDst) = VT_UI1;
2062       V_UI1(pVarDst) = ul64;
2063       return S_OK;
2064     }
2065     else if (dwVtBits & VTBIT_I2 && FITS_AS_I2(ul64))
2066     {
2067       V_VT(pVarDst) = VT_I2;
2068       V_I2(pVarDst) = ul64;
2069       return S_OK;
2070     }
2071     else if (dwVtBits & VTBIT_UI2 && FITS_AS_I2(ul64))
2072     {
2073       V_VT(pVarDst) = VT_UI2;
2074       V_UI2(pVarDst) = ul64;
2075       return S_OK;
2076     }
2077     else if (dwVtBits & VTBIT_I4 && FITS_AS_I4(ul64))
2078     {
2079       V_VT(pVarDst) = VT_I4;
2080       V_I4(pVarDst) = ul64;
2081       return S_OK;
2082     }
2083     else if (dwVtBits & VTBIT_UI4 && FITS_AS_I4(ul64))
2084     {
2085       V_VT(pVarDst) = VT_UI4;
2086       V_UI4(pVarDst) = ul64;
2087       return S_OK;
2088     }
2089     else if (dwVtBits & VTBIT_I8 && ((ul64 <= I8_MAX)||(l64>=I8_MIN)))
2090     {
2091       V_VT(pVarDst) = VT_I8;
2092       V_I8(pVarDst) = ul64;
2093       return S_OK;
2094     }
2095     else if (dwVtBits & VTBIT_UI8)
2096     {
2097       V_VT(pVarDst) = VT_UI8;
2098       V_UI8(pVarDst) = ul64;
2099       return S_OK;
2100     }
2101     else if ((dwVtBits & VTBIT_DECIMAL) == VTBIT_DECIMAL)
2102     {
2103       V_VT(pVarDst) = VT_DECIMAL;
2104       DEC_SIGNSCALE(&V_DECIMAL(pVarDst)) = SIGNSCALE(DECIMAL_POS,0);
2105       DEC_HI32(&V_DECIMAL(pVarDst)) = 0;
2106       DEC_LO64(&V_DECIMAL(pVarDst)) = ul64;
2107       return S_OK;
2108     }
2109     else if (dwVtBits & VTBIT_R4 && ((ul64 <= I4_MAX)||(l64 >= I4_MIN)))
2110     {
2111       V_VT(pVarDst) = VT_R4;
2112       if (ul64 <= I4_MAX)
2113           V_R4(pVarDst) = ul64;
2114       else
2115           V_R4(pVarDst) = l64;
2116       return S_OK;
2117     }
2118     else if (dwVtBits & VTBIT_R8 && ((ul64 <= I4_MAX)||(l64 >= I4_MIN)))
2119     {
2120       V_VT(pVarDst) = VT_R8;
2121       if (ul64 <= I4_MAX)
2122           V_R8(pVarDst) = ul64;
2123       else
2124           V_R8(pVarDst) = l64;
2125       return S_OK;
2126     }
2127
2128     TRACE("Overflow: possible return types: 0x%x, value: %s\n", dwVtBits, wine_dbgstr_longlong(ul64));
2129     return DISP_E_OVERFLOW;
2130   }
2131
2132   /* Count the number of relevant fractional and whole digits stored,
2133    * And compute the divisor/multiplier to scale the number by.
2134    */
2135   if (pNumprs->nPwr10 < 0)
2136   {
2137     if (-pNumprs->nPwr10 >= pNumprs->cDig)
2138     {
2139       /* A real number < +/- 1.0 e.g. 0.1024 or 0.01024 */
2140       wholeNumberDigits = 0;
2141       fractionalDigits = pNumprs->cDig;
2142       divisor10 = -pNumprs->nPwr10;
2143     }
2144     else
2145     {
2146       /* An exactly represented real number e.g. 1.024 */
2147       wholeNumberDigits = pNumprs->cDig + pNumprs->nPwr10;
2148       fractionalDigits = pNumprs->cDig - wholeNumberDigits;
2149       divisor10 = pNumprs->cDig - wholeNumberDigits;
2150     }
2151   }
2152   else if (pNumprs->nPwr10 == 0)
2153   {
2154     /* An exactly represented whole number e.g. 1024 */
2155     wholeNumberDigits = pNumprs->cDig;
2156     fractionalDigits = 0;
2157   }
2158   else /* pNumprs->nPwr10 > 0 */
2159   {
2160     /* A whole number followed by nPwr10 0's e.g. 102400 */
2161     wholeNumberDigits = pNumprs->cDig;
2162     fractionalDigits = 0;
2163     multiplier10 = pNumprs->nPwr10;
2164   }
2165
2166   TRACE("cDig %d; nPwr10 %d, whole %d, frac %d mult %d; div %d\n",
2167         pNumprs->cDig, pNumprs->nPwr10, wholeNumberDigits, fractionalDigits,
2168         multiplier10, divisor10);
2169
2170   if (dwVtBits & (INTEGER_VTBITS|VTBIT_DECIMAL) &&
2171       (!fractionalDigits || !(dwVtBits & (REAL_VTBITS|VTBIT_CY|VTBIT_DECIMAL))))
2172   {
2173     /* We have one or more integer output choices, and either:
2174      *  1) An integer input value, or
2175      *  2) A real number input value but no floating output choices.
2176      * Alternately, we have a DECIMAL output available and an integer input.
2177      *
2178      * So, place the integer value into pVarDst, using the smallest type
2179      * possible and preferring signed over unsigned types.
2180      */
2181     BOOL bOverflow = FALSE, bNegative;
2182     ULONG64 ul64 = 0;
2183     int i;
2184
2185     /* Convert the integer part of the number into a UI8 */
2186     for (i = 0; i < wholeNumberDigits; i++)
2187     {
2188       if (ul64 > UI8_MAX / 10 || (ul64 == UI8_MAX / 10 && rgbDig[i] > UI8_MAX % 10))
2189       {
2190         TRACE("Overflow multiplying digits\n");
2191         bOverflow = TRUE;
2192         break;
2193       }
2194       ul64 = ul64 * 10 + rgbDig[i];
2195     }
2196
2197     /* Account for the scale of the number */
2198     if (!bOverflow && multiplier10)
2199     {
2200       for (i = 0; i < multiplier10; i++)
2201       {
2202         if (ul64 > (UI8_MAX / 10))
2203         {
2204           TRACE("Overflow scaling number\n");
2205           bOverflow = TRUE;
2206           break;
2207         }
2208         ul64 = ul64 * 10;
2209       }
2210     }
2211
2212     /* If we have any fractional digits, round the value.
2213      * Note we don't have to do this if divisor10 is < 1,
2214      * because this means the fractional part must be < 0.5
2215      */
2216     if (!bOverflow && fractionalDigits && divisor10 > 0)
2217     {
2218       const BYTE* fracDig = rgbDig + wholeNumberDigits;
2219       BOOL bAdjust = FALSE;
2220
2221       TRACE("first decimal value is %d\n", *fracDig);
2222
2223       if (*fracDig > 5)
2224         bAdjust = TRUE; /* > 0.5 */
2225       else if (*fracDig == 5)
2226       {
2227         for (i = 1; i < fractionalDigits; i++)
2228         {
2229           if (fracDig[i])
2230           {
2231             bAdjust = TRUE; /* > 0.5 */
2232             break;
2233           }
2234         }
2235         /* If exactly 0.5, round only odd values */
2236         if (i == fractionalDigits && (ul64 & 1))
2237           bAdjust = TRUE;
2238       }
2239
2240       if (bAdjust)
2241       {
2242         if (ul64 == UI8_MAX)
2243         {
2244           TRACE("Overflow after rounding\n");
2245           bOverflow = TRUE;
2246         }
2247         ul64++;
2248       }
2249     }
2250
2251     /* Zero is not a negative number */
2252     bNegative = pNumprs->dwOutFlags & NUMPRS_NEG && ul64 ? TRUE : FALSE;
2253
2254     TRACE("Integer value is 0x%s, bNeg %d\n", wine_dbgstr_longlong(ul64), bNegative);
2255
2256     /* For negative integers, try the signed types in size order */
2257     if (!bOverflow && bNegative)
2258     {
2259       if (dwVtBits & (VTBIT_I1|VTBIT_I2|VTBIT_I4|VTBIT_I8))
2260       {
2261         if (dwVtBits & VTBIT_I1 && ul64 <= -I1_MIN)
2262         {
2263           V_VT(pVarDst) = VT_I1;
2264           V_I1(pVarDst) = -ul64;
2265           return S_OK;
2266         }
2267         else if (dwVtBits & VTBIT_I2 && ul64 <= -I2_MIN)
2268         {
2269           V_VT(pVarDst) = VT_I2;
2270           V_I2(pVarDst) = -ul64;
2271           return S_OK;
2272         }
2273         else if (dwVtBits & VTBIT_I4 && ul64 <= -((LONGLONG)I4_MIN))
2274         {
2275           V_VT(pVarDst) = VT_I4;
2276           V_I4(pVarDst) = -ul64;
2277           return S_OK;
2278         }
2279         else if (dwVtBits & VTBIT_I8 && ul64 <= (ULONGLONG)I8_MAX + 1)
2280         {
2281           V_VT(pVarDst) = VT_I8;
2282           V_I8(pVarDst) = -ul64;
2283           return S_OK;
2284         }
2285         else if ((dwVtBits & REAL_VTBITS) == VTBIT_DECIMAL)
2286         {
2287           /* Decimal is only output choice left - fast path */
2288           V_VT(pVarDst) = VT_DECIMAL;
2289           DEC_SIGNSCALE(&V_DECIMAL(pVarDst)) = SIGNSCALE(DECIMAL_NEG,0);
2290           DEC_HI32(&V_DECIMAL(pVarDst)) = 0;
2291           DEC_LO64(&V_DECIMAL(pVarDst)) = -ul64;
2292           return S_OK;
2293         }
2294       }
2295     }
2296     else if (!bOverflow)
2297     {
2298       /* For positive integers, try signed then unsigned types in size order */
2299       if (dwVtBits & VTBIT_I1 && ul64 <= I1_MAX)
2300       {
2301         V_VT(pVarDst) = VT_I1;
2302         V_I1(pVarDst) = ul64;
2303         return S_OK;
2304       }
2305       else if (dwVtBits & VTBIT_UI1 && ul64 <= UI1_MAX)
2306       {
2307         V_VT(pVarDst) = VT_UI1;
2308         V_UI1(pVarDst) = ul64;
2309         return S_OK;
2310       }
2311       else if (dwVtBits & VTBIT_I2 && ul64 <= I2_MAX)
2312       {
2313         V_VT(pVarDst) = VT_I2;
2314         V_I2(pVarDst) = ul64;
2315         return S_OK;
2316       }
2317       else if (dwVtBits & VTBIT_UI2 && ul64 <= UI2_MAX)
2318       {
2319         V_VT(pVarDst) = VT_UI2;
2320         V_UI2(pVarDst) = ul64;
2321         return S_OK;
2322       }
2323       else if (dwVtBits & VTBIT_I4 && ul64 <= I4_MAX)
2324       {
2325         V_VT(pVarDst) = VT_I4;
2326         V_I4(pVarDst) = ul64;
2327         return S_OK;
2328       }
2329       else if (dwVtBits & VTBIT_UI4 && ul64 <= UI4_MAX)
2330       {
2331         V_VT(pVarDst) = VT_UI4;
2332         V_UI4(pVarDst) = ul64;
2333         return S_OK;
2334       }
2335       else if (dwVtBits & VTBIT_I8 && ul64 <= I8_MAX)
2336       {
2337         V_VT(pVarDst) = VT_I8;
2338         V_I8(pVarDst) = ul64;
2339         return S_OK;
2340       }
2341       else if (dwVtBits & VTBIT_UI8)
2342       {
2343         V_VT(pVarDst) = VT_UI8;
2344         V_UI8(pVarDst) = ul64;
2345         return S_OK;
2346       }
2347       else if ((dwVtBits & REAL_VTBITS) == VTBIT_DECIMAL)
2348       {
2349         /* Decimal is only output choice left - fast path */
2350         V_VT(pVarDst) = VT_DECIMAL;
2351         DEC_SIGNSCALE(&V_DECIMAL(pVarDst)) = SIGNSCALE(DECIMAL_POS,0);
2352         DEC_HI32(&V_DECIMAL(pVarDst)) = 0;
2353         DEC_LO64(&V_DECIMAL(pVarDst)) = ul64;
2354         return S_OK;
2355       }
2356     }
2357   }
2358
2359   if (dwVtBits & REAL_VTBITS)
2360   {
2361     /* Try to put the number into a float or real */
2362     BOOL bOverflow = FALSE, bNegative = pNumprs->dwOutFlags & NUMPRS_NEG;
2363     double whole = 0.0;
2364     int i;
2365
2366     /* Convert the number into a double */
2367     for (i = 0; i < pNumprs->cDig; i++)
2368       whole = whole * 10.0 + rgbDig[i];
2369
2370     TRACE("Whole double value is %16.16g\n", whole);
2371
2372     /* Account for the scale */
2373     while (multiplier10 > 10)
2374     {
2375       if (whole > dblMaximums[10])
2376       {
2377         dwVtBits &= ~(VTBIT_R4|VTBIT_R8|VTBIT_CY);
2378         bOverflow = TRUE;
2379         break;
2380       }
2381       whole = whole * dblMultipliers[10];
2382       multiplier10 -= 10;
2383     }
2384     if (multiplier10 && !bOverflow)
2385     {
2386       if (whole > dblMaximums[multiplier10])
2387       {
2388         dwVtBits &= ~(VTBIT_R4|VTBIT_R8|VTBIT_CY);
2389         bOverflow = TRUE;
2390       }
2391       else
2392         whole = whole * dblMultipliers[multiplier10];
2393     }
2394
2395     if (!bOverflow)
2396         TRACE("Scaled double value is %16.16g\n", whole);
2397
2398     while (divisor10 > 10 && !bOverflow)
2399     {
2400       if (whole < dblMinimums[10] && whole != 0)
2401       {
2402         dwVtBits &= ~(VTBIT_R4|VTBIT_R8|VTBIT_CY); /* Underflow */
2403         bOverflow = TRUE;
2404         break;
2405       }
2406       whole = whole / dblMultipliers[10];
2407       divisor10 -= 10;
2408     }
2409     if (divisor10 && !bOverflow)
2410     {
2411       if (whole < dblMinimums[divisor10] && whole != 0)
2412       {
2413         dwVtBits &= ~(VTBIT_R4|VTBIT_R8|VTBIT_CY); /* Underflow */
2414         bOverflow = TRUE;
2415       }
2416       else
2417         whole = whole / dblMultipliers[divisor10];
2418     }
2419     if (!bOverflow)
2420       TRACE("Final double value is %16.16g\n", whole);
2421
2422     if (dwVtBits & VTBIT_R4 &&
2423         ((whole <= R4_MAX && whole >= R4_MIN) || whole == 0.0))
2424     {
2425       TRACE("Set R4 to final value\n");
2426       V_VT(pVarDst) = VT_R4; /* Fits into a float */
2427       V_R4(pVarDst) = pNumprs->dwOutFlags & NUMPRS_NEG ? -whole : whole;
2428       return S_OK;
2429     }
2430
2431     if (dwVtBits & VTBIT_R8)
2432     {
2433       TRACE("Set R8 to final value\n");
2434       V_VT(pVarDst) = VT_R8; /* Fits into a double */
2435       V_R8(pVarDst) = pNumprs->dwOutFlags & NUMPRS_NEG ? -whole : whole;
2436       return S_OK;
2437     }
2438
2439     if (dwVtBits & VTBIT_CY)
2440     {
2441       if (SUCCEEDED(VarCyFromR8(bNegative ? -whole : whole, &V_CY(pVarDst))))
2442       {
2443         V_VT(pVarDst) = VT_CY; /* Fits into a currency */
2444         TRACE("Set CY to final value\n");
2445         return S_OK;
2446       }
2447       TRACE("Value Overflows CY\n");
2448     }
2449   }
2450
2451   if (dwVtBits & VTBIT_DECIMAL)
2452   {
2453     int i;
2454     ULONG carry;
2455     ULONG64 tmp;
2456     DECIMAL* pDec = &V_DECIMAL(pVarDst);
2457
2458     DECIMAL_SETZERO(*pDec);
2459     DEC_LO32(pDec) = 0;
2460
2461     if (pNumprs->dwOutFlags & NUMPRS_NEG)
2462       DEC_SIGN(pDec) = DECIMAL_NEG;
2463     else
2464       DEC_SIGN(pDec) = DECIMAL_POS;
2465
2466     /* Factor the significant digits */
2467     for (i = 0; i < pNumprs->cDig; i++)
2468     {
2469       tmp = (ULONG64)DEC_LO32(pDec) * 10 + rgbDig[i];
2470       carry = (ULONG)(tmp >> 32);
2471       DEC_LO32(pDec) = (ULONG)(tmp & UI4_MAX);
2472       tmp = (ULONG64)DEC_MID32(pDec) * 10 + carry;
2473       carry = (ULONG)(tmp >> 32);
2474       DEC_MID32(pDec) = (ULONG)(tmp & UI4_MAX);
2475       tmp = (ULONG64)DEC_HI32(pDec) * 10 + carry;
2476       DEC_HI32(pDec) = (ULONG)(tmp & UI4_MAX);
2477
2478       if (tmp >> 32 & UI4_MAX)
2479       {
2480 VarNumFromParseNum_DecOverflow:
2481         TRACE("Overflow\n");
2482         DEC_LO32(pDec) = DEC_MID32(pDec) = DEC_HI32(pDec) = UI4_MAX;
2483         return DISP_E_OVERFLOW;
2484       }
2485     }
2486
2487     /* Account for the scale of the number */
2488     while (multiplier10 > 0)
2489     {
2490       tmp = (ULONG64)DEC_LO32(pDec) * 10;
2491       carry = (ULONG)(tmp >> 32);
2492       DEC_LO32(pDec) = (ULONG)(tmp & UI4_MAX);
2493       tmp = (ULONG64)DEC_MID32(pDec) * 10 + carry;
2494       carry = (ULONG)(tmp >> 32);
2495       DEC_MID32(pDec) = (ULONG)(tmp & UI4_MAX);
2496       tmp = (ULONG64)DEC_HI32(pDec) * 10 + carry;
2497       DEC_HI32(pDec) = (ULONG)(tmp & UI4_MAX);
2498
2499       if (tmp >> 32 & UI4_MAX)
2500         goto VarNumFromParseNum_DecOverflow;
2501       multiplier10--;
2502     }
2503     DEC_SCALE(pDec) = divisor10;
2504
2505     V_VT(pVarDst) = VT_DECIMAL;
2506     return S_OK;
2507   }
2508   return DISP_E_OVERFLOW; /* No more output choices */
2509 }
2510
2511 /**********************************************************************
2512  *              VarCat [OLEAUT32.318]
2513  *
2514  * Concatenates one variant onto another.
2515  *
2516  * PARAMS
2517  *  left    [I] First variant
2518  *  right   [I] Second variant
2519  *  result  [O] Result variant
2520  *
2521  * RETURNS
2522  *  Success: S_OK.
2523  *  Failure: An HRESULT error code indicating the error.
2524  */
2525 HRESULT WINAPI VarCat(LPVARIANT left, LPVARIANT right, LPVARIANT out)
2526 {
2527     VARTYPE leftvt,rightvt,resultvt;
2528     HRESULT hres;
2529     static WCHAR str_true[32];
2530     static WCHAR str_false[32];
2531     static const WCHAR sz_empty[] = {'\0'};
2532     leftvt = V_VT(left);
2533     rightvt = V_VT(right);
2534
2535     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
2536           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), out);
2537
2538     if (!str_true[0]) {
2539         VARIANT_GetLocalisedText(LOCALE_USER_DEFAULT, IDS_FALSE, str_false);
2540         VARIANT_GetLocalisedText(LOCALE_USER_DEFAULT, IDS_TRUE, str_true);
2541     }
2542
2543     /* when both left and right are NULL the result is NULL */
2544     if (leftvt == VT_NULL && rightvt == VT_NULL)
2545     {
2546         V_VT(out) = VT_NULL;
2547         return S_OK;
2548     }
2549
2550     hres = S_OK;
2551     resultvt = VT_EMPTY;
2552
2553     /* There are many special case for errors and return types */
2554     if (leftvt == VT_VARIANT && (rightvt == VT_ERROR ||
2555         rightvt == VT_DATE || rightvt == VT_DECIMAL))
2556         hres = DISP_E_TYPEMISMATCH;
2557     else if ((leftvt == VT_I2 || leftvt == VT_I4 ||
2558         leftvt == VT_R4 || leftvt == VT_R8 ||
2559         leftvt == VT_CY || leftvt == VT_BOOL ||
2560         leftvt == VT_BSTR || leftvt == VT_I1 ||
2561         leftvt == VT_UI1 || leftvt == VT_UI2 ||
2562         leftvt == VT_UI4 || leftvt == VT_I8 ||
2563         leftvt == VT_UI8 || leftvt == VT_INT ||
2564         leftvt == VT_UINT || leftvt == VT_EMPTY ||
2565         leftvt == VT_NULL || leftvt == VT_DATE ||
2566         leftvt == VT_DECIMAL || leftvt == VT_DISPATCH)
2567         &&
2568         (rightvt == VT_I2 || rightvt == VT_I4 ||
2569         rightvt == VT_R4 || rightvt == VT_R8 ||
2570         rightvt == VT_CY || rightvt == VT_BOOL ||
2571         rightvt == VT_BSTR || rightvt == VT_I1 ||
2572         rightvt == VT_UI1 || rightvt == VT_UI2 ||
2573         rightvt == VT_UI4 || rightvt == VT_I8 ||
2574         rightvt == VT_UI8 || rightvt == VT_INT ||
2575         rightvt == VT_UINT || rightvt == VT_EMPTY ||
2576         rightvt == VT_NULL || rightvt == VT_DATE ||
2577         rightvt == VT_DECIMAL || rightvt == VT_DISPATCH))
2578         resultvt = VT_BSTR;
2579     else if (rightvt == VT_ERROR && leftvt < VT_VOID)
2580         hres = DISP_E_TYPEMISMATCH;
2581     else if (leftvt == VT_ERROR && (rightvt == VT_DATE ||
2582         rightvt == VT_ERROR || rightvt == VT_DECIMAL))
2583         hres = DISP_E_TYPEMISMATCH;
2584     else if (rightvt == VT_DATE || rightvt == VT_ERROR ||
2585         rightvt == VT_DECIMAL)
2586         hres = DISP_E_BADVARTYPE;
2587     else if (leftvt == VT_ERROR || rightvt == VT_ERROR)
2588         hres = DISP_E_TYPEMISMATCH;
2589     else if (leftvt == VT_VARIANT)
2590         hres = DISP_E_TYPEMISMATCH;
2591     else if (rightvt == VT_VARIANT && (leftvt == VT_EMPTY ||
2592         leftvt == VT_NULL || leftvt ==  VT_I2 ||
2593         leftvt == VT_I4 || leftvt == VT_R4 ||
2594         leftvt == VT_R8 || leftvt == VT_CY ||
2595         leftvt == VT_DATE || leftvt == VT_BSTR ||
2596         leftvt == VT_BOOL ||  leftvt == VT_DECIMAL ||
2597         leftvt == VT_I1 || leftvt == VT_UI1 ||
2598         leftvt == VT_UI2 || leftvt == VT_UI4 ||
2599         leftvt == VT_I8 || leftvt == VT_UI8 ||
2600         leftvt == VT_INT || leftvt == VT_UINT))
2601         hres = DISP_E_TYPEMISMATCH;
2602     else
2603         hres = DISP_E_BADVARTYPE;
2604
2605     /* if result type is not S_OK, then no need to go further */
2606     if (hres != S_OK)
2607     {
2608         V_VT(out) = resultvt;
2609         return hres;
2610     }
2611     /* Else proceed with formatting inputs to strings */
2612     else
2613     {
2614         VARIANT bstrvar_left, bstrvar_right;
2615         V_VT(out) = VT_BSTR;
2616
2617         VariantInit(&bstrvar_left);
2618         VariantInit(&bstrvar_right);
2619
2620         /* Convert left side variant to string */
2621         if (leftvt != VT_BSTR)
2622         {
2623             if (leftvt == VT_BOOL)
2624             {
2625                 /* Bools are handled as localized True/False strings instead of 0/-1 as in MSDN */
2626                 V_VT(&bstrvar_left) = VT_BSTR;
2627                 if (V_BOOL(left) == TRUE)
2628                     V_BSTR(&bstrvar_left) = SysAllocString(str_true);
2629                 else
2630                     V_BSTR(&bstrvar_left) = SysAllocString(str_false);
2631             }
2632             /* Fill with empty string for later concat with right side */
2633             else if (leftvt == VT_NULL)
2634             {
2635                 V_VT(&bstrvar_left) = VT_BSTR;
2636                 V_BSTR(&bstrvar_left) = SysAllocString(sz_empty);
2637             }
2638             else
2639             {
2640                 hres = VariantChangeTypeEx(&bstrvar_left,left,0,0,VT_BSTR);
2641                 if (hres != S_OK) {
2642                     VariantClear(&bstrvar_left);
2643                     VariantClear(&bstrvar_right);
2644                     if (leftvt == VT_NULL && (rightvt == VT_EMPTY ||
2645                         rightvt == VT_NULL || rightvt ==  VT_I2 ||
2646                         rightvt == VT_I4 || rightvt == VT_R4 ||
2647                         rightvt == VT_R8 || rightvt == VT_CY ||
2648                         rightvt == VT_DATE || rightvt == VT_BSTR ||
2649                         rightvt == VT_BOOL ||  rightvt == VT_DECIMAL ||
2650                         rightvt == VT_I1 || rightvt == VT_UI1 ||
2651                         rightvt == VT_UI2 || rightvt == VT_UI4 ||
2652                         rightvt == VT_I8 || rightvt == VT_UI8 ||
2653                         rightvt == VT_INT || rightvt == VT_UINT))
2654                         return DISP_E_BADVARTYPE;
2655                     return hres;
2656                 }
2657             }
2658         }
2659
2660         /* convert right side variant to string */
2661         if (rightvt != VT_BSTR)
2662         {
2663             if (rightvt == VT_BOOL)
2664             {
2665                 /* Bools are handled as localized True/False strings instead of 0/-1 as in MSDN */
2666                 V_VT(&bstrvar_right) = VT_BSTR;
2667                 if (V_BOOL(right) == TRUE)
2668                     V_BSTR(&bstrvar_right) = SysAllocString(str_true);
2669                 else
2670                     V_BSTR(&bstrvar_right) = SysAllocString(str_false);
2671             }
2672             /* Fill with empty string for later concat with right side */
2673             else if (rightvt == VT_NULL)
2674             {
2675                 V_VT(&bstrvar_right) = VT_BSTR;
2676                 V_BSTR(&bstrvar_right) = SysAllocString(sz_empty);
2677             }
2678             else
2679             {
2680                 hres = VariantChangeTypeEx(&bstrvar_right,right,0,0,VT_BSTR);
2681                 if (hres != S_OK) {
2682                     VariantClear(&bstrvar_left);
2683                     VariantClear(&bstrvar_right);
2684                     if (rightvt == VT_NULL && (leftvt == VT_EMPTY ||
2685                         leftvt == VT_NULL || leftvt ==  VT_I2 ||
2686                         leftvt == VT_I4 || leftvt == VT_R4 ||
2687                         leftvt == VT_R8 || leftvt == VT_CY ||
2688                         leftvt == VT_DATE || leftvt == VT_BSTR ||
2689                         leftvt == VT_BOOL ||  leftvt == VT_DECIMAL ||
2690                         leftvt == VT_I1 || leftvt == VT_UI1 ||
2691                         leftvt == VT_UI2 || leftvt == VT_UI4 ||
2692                         leftvt == VT_I8 || leftvt == VT_UI8 ||
2693                         leftvt == VT_INT || leftvt == VT_UINT))
2694                         return DISP_E_BADVARTYPE;
2695                     return hres;
2696                 }
2697             }
2698         }
2699
2700         /* Concat the resulting strings together */
2701         if (leftvt == VT_BSTR && rightvt == VT_BSTR)
2702             VarBstrCat (V_BSTR(left), V_BSTR(right), &V_BSTR(out));
2703         else if (leftvt != VT_BSTR && rightvt != VT_BSTR)
2704             VarBstrCat (V_BSTR(&bstrvar_left), V_BSTR(&bstrvar_right), &V_BSTR(out));
2705         else if (leftvt != VT_BSTR && rightvt == VT_BSTR)
2706             VarBstrCat (V_BSTR(&bstrvar_left), V_BSTR(right), &V_BSTR(out));
2707         else if (leftvt == VT_BSTR && rightvt != VT_BSTR)
2708             VarBstrCat (V_BSTR(left), V_BSTR(&bstrvar_right), &V_BSTR(out));
2709
2710         VariantClear(&bstrvar_left);
2711         VariantClear(&bstrvar_right);
2712         return S_OK;
2713     }
2714 }
2715
2716
2717 /* Wrapper around VariantChangeTypeEx() which permits changing a
2718    variant with VT_RESERVED flag set. Needed by VarCmp. */
2719 static HRESULT _VarChangeTypeExWrap (VARIANTARG* pvargDest,
2720                     VARIANTARG* pvargSrc, LCID lcid, USHORT wFlags, VARTYPE vt)
2721 {
2722     VARIANTARG vtmpsrc = *pvargSrc;
2723
2724     V_VT(&vtmpsrc) &= ~VT_RESERVED;
2725     return VariantChangeTypeEx(pvargDest,&vtmpsrc,lcid,wFlags,vt);
2726 }
2727
2728 /**********************************************************************
2729  *              VarCmp [OLEAUT32.176]
2730  *
2731  * Compare two variants.
2732  *
2733  * PARAMS
2734  *  left    [I] First variant
2735  *  right   [I] Second variant
2736  *  lcid    [I] LCID (locale identifier) for the comparison
2737  *  flags   [I] Flags to be used in the comparison:
2738  *              NORM_IGNORECASE, NORM_IGNORENONSPACE, NORM_IGNORESYMBOLS,
2739  *              NORM_IGNOREWIDTH, NORM_IGNOREKANATYPE, NORM_IGNOREKASHIDA
2740  *
2741  * RETURNS
2742  *  VARCMP_LT:   left variant is less than right variant.
2743  *  VARCMP_EQ:   input variants are equal.
2744  *  VARCMP_GT:   left variant is greater than right variant.
2745  *  VARCMP_NULL: either one of the input variants is NULL.
2746  *  Failure:     An HRESULT error code indicating the error.
2747  *
2748  * NOTES
2749  *  Native VarCmp up to and including WinXP doesn't like I1, UI2, VT_UI4,
2750  *  UI8 and UINT as input variants. INT is accepted only as left variant.
2751  *
2752  *  If both input variants are ERROR then VARCMP_EQ will be returned, else
2753  *  an ERROR variant will trigger an error.
2754  *
2755  *  Both input variants can have VT_RESERVED flag set which is ignored
2756  *  unless one and only one of the variants is a BSTR and the other one
2757  *  is not an EMPTY variant. All four VT_RESERVED combinations have a
2758  *  different meaning:
2759  *   - BSTR and other: BSTR is always greater than the other variant.
2760  *   - BSTR|VT_RESERVED and other: a string comparison is performed.
2761  *   - BSTR and other|VT_RESERVED: If the BSTR is a number a numeric
2762  *     comparison will take place else the BSTR is always greater.
2763  *   - BSTR|VT_RESERVED and other|VT_RESERVED: It seems that the other
2764  *     variant is ignored and the return value depends only on the sign
2765  *     of the BSTR if it is a number else the BSTR is always greater. A
2766  *     positive BSTR is greater, a negative one is smaller than the other
2767  *     variant.
2768  *
2769  * SEE
2770  *  VarBstrCmp for the lcid and flags usage.
2771  */
2772 HRESULT WINAPI VarCmp(LPVARIANT left, LPVARIANT right, LCID lcid, DWORD flags)
2773 {
2774     VARTYPE     lvt, rvt, vt;
2775     VARIANT     rv,lv;
2776     DWORD       xmask;
2777     HRESULT     rc;
2778
2779     TRACE("(%p->(%s%s),%p->(%s%s),0x%08x,0x%08x)\n", left, debugstr_VT(left),
2780           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), lcid, flags);
2781
2782     lvt = V_VT(left) & VT_TYPEMASK;
2783     rvt = V_VT(right) & VT_TYPEMASK;
2784     xmask = (1 << lvt) | (1 << rvt);
2785
2786     /* If we have any flag set except VT_RESERVED bail out.
2787        Same for the left input variant type > VT_INT and for the
2788        right input variant type > VT_I8. Yes, VT_INT is only supported
2789        as left variant. Go figure */
2790     if (((V_VT(left) | V_VT(right)) & ~VT_TYPEMASK & ~VT_RESERVED) ||
2791             lvt > VT_INT || rvt > VT_I8) {
2792         return DISP_E_BADVARTYPE;
2793     }
2794
2795     /* Don't ask me why but native VarCmp cannot handle: VT_I1, VT_UI2, VT_UI4,
2796        VT_UINT and VT_UI8. Tested with DCOM98, Win2k, WinXP */
2797     if (rvt == VT_INT || xmask & (VTBIT_I1 | VTBIT_UI2 | VTBIT_UI4 | VTBIT_UI8 |
2798                 VTBIT_DISPATCH | VTBIT_VARIANT | VTBIT_UNKNOWN | VTBIT_15))
2799         return DISP_E_TYPEMISMATCH;
2800
2801     /* If both variants are VT_ERROR return VARCMP_EQ */
2802     if (xmask == VTBIT_ERROR)
2803         return VARCMP_EQ;
2804     else if (xmask & VTBIT_ERROR)
2805         return DISP_E_TYPEMISMATCH;
2806
2807     if (xmask & VTBIT_NULL)
2808         return VARCMP_NULL;
2809
2810     VariantInit(&lv);
2811     VariantInit(&rv);
2812
2813     /* Two BSTRs, ignore VT_RESERVED */
2814     if (xmask == VTBIT_BSTR)
2815         return VarBstrCmp(V_BSTR(left), V_BSTR(right), lcid, flags);
2816
2817     /* A BSTR and an other variant; we have to take care of VT_RESERVED */
2818     if (xmask & VTBIT_BSTR) {
2819         VARIANT *bstrv, *nonbv;
2820         VARTYPE nonbvt;
2821         int swap = 0;
2822
2823         /* Swap the variants so the BSTR is always on the left */
2824         if (lvt == VT_BSTR) {
2825             bstrv = left;
2826             nonbv = right;
2827             nonbvt = rvt;
2828         } else {
2829             swap = 1;
2830             bstrv = right;
2831             nonbv = left;
2832             nonbvt = lvt;
2833         }
2834
2835         /* BSTR and EMPTY: ignore VT_RESERVED */
2836         if (nonbvt == VT_EMPTY)
2837             rc = (!V_BSTR(bstrv) || !*V_BSTR(bstrv)) ? VARCMP_EQ : VARCMP_GT;
2838         else {
2839             VARTYPE breserv = V_VT(bstrv) & ~VT_TYPEMASK;
2840             VARTYPE nreserv = V_VT(nonbv) & ~VT_TYPEMASK;
2841
2842             if (!breserv && !nreserv)
2843                 /* No VT_RESERVED set ==> BSTR always greater */
2844                 rc = VARCMP_GT;
2845             else if (breserv && !nreserv) {
2846                 /* BSTR has VT_RESERVED set. Do a string comparison */
2847                 rc = VariantChangeTypeEx(&rv,nonbv,lcid,0,VT_BSTR);
2848                 if (FAILED(rc))
2849                     return rc;
2850                 rc = VarBstrCmp(V_BSTR(bstrv), V_BSTR(&rv), lcid, flags);
2851                 VariantClear(&rv);
2852             } else if (V_BSTR(bstrv) && *V_BSTR(bstrv)) {
2853             /* Non NULL nor empty BSTR */
2854                 /* If the BSTR is not a number the BSTR is greater */
2855                 rc = _VarChangeTypeExWrap(&lv,bstrv,lcid,0,VT_R8);
2856                 if (FAILED(rc))
2857                     rc = VARCMP_GT;
2858                 else if (breserv && nreserv)
2859                     /* FIXME: This is strange: with both VT_RESERVED set it
2860                        looks like the result depends only on the sign of
2861                        the BSTR number */
2862                     rc = (V_R8(&lv) >= 0) ? VARCMP_GT : VARCMP_LT;
2863                 else
2864                     /* Numeric comparison, will be handled below.
2865                        VARCMP_NULL used only to break out. */
2866                     rc = VARCMP_NULL;
2867                 VariantClear(&lv);
2868                 VariantClear(&rv);
2869             } else
2870                 /* Empty or NULL BSTR */
2871                 rc = VARCMP_GT;
2872         }
2873         /* Fixup the return code if we swapped left and right */
2874         if (swap) {
2875             if (rc == VARCMP_GT)
2876                 rc = VARCMP_LT;
2877             else if (rc == VARCMP_LT)
2878                 rc = VARCMP_GT;
2879         }
2880         if (rc != VARCMP_NULL)
2881             return rc;
2882     }
2883
2884     if (xmask & VTBIT_DECIMAL)
2885         vt = VT_DECIMAL;
2886     else if (xmask & VTBIT_BSTR)
2887         vt = VT_R8;
2888     else if (xmask & VTBIT_R4)
2889         vt = VT_R4;
2890     else if (xmask & (VTBIT_R8 | VTBIT_DATE))
2891         vt = VT_R8;
2892     else if (xmask & VTBIT_CY)
2893         vt = VT_CY;
2894     else
2895         /* default to I8 */
2896         vt = VT_I8;
2897
2898     /* Coerce the variants */
2899     rc = _VarChangeTypeExWrap(&lv,left,lcid,0,vt);
2900     if (rc == DISP_E_OVERFLOW && vt != VT_R8) {
2901         /* Overflow, change to R8 */
2902         vt = VT_R8;
2903         rc = _VarChangeTypeExWrap(&lv,left,lcid,0,vt);
2904     }
2905     if (FAILED(rc))
2906         return rc;
2907     rc = _VarChangeTypeExWrap(&rv,right,lcid,0,vt);
2908     if (rc == DISP_E_OVERFLOW && vt != VT_R8) {
2909         /* Overflow, change to R8 */
2910         vt = VT_R8;
2911         rc = _VarChangeTypeExWrap(&lv,left,lcid,0,vt);
2912         if (FAILED(rc))
2913             return rc;
2914         rc = _VarChangeTypeExWrap(&rv,right,lcid,0,vt);
2915     }
2916     if (FAILED(rc))
2917         return rc;
2918
2919 #define _VARCMP(a,b) \
2920     (((a) == (b)) ? VARCMP_EQ : (((a) < (b)) ? VARCMP_LT : VARCMP_GT))
2921
2922     switch (vt) {
2923         case VT_CY:
2924             return VarCyCmp(V_CY(&lv), V_CY(&rv));
2925         case VT_DECIMAL:
2926             return VarDecCmp(&V_DECIMAL(&lv), &V_DECIMAL(&rv));
2927         case VT_I8:
2928             return _VARCMP(V_I8(&lv), V_I8(&rv));
2929         case VT_R4:
2930             return _VARCMP(V_R4(&lv), V_R4(&rv));
2931         case VT_R8:
2932             return _VARCMP(V_R8(&lv), V_R8(&rv));
2933         default:
2934             /* We should never get here */
2935             return E_FAIL;
2936     }
2937 #undef _VARCMP
2938 }
2939
2940 static HRESULT VARIANT_FetchDispatchValue(LPVARIANT pvDispatch, LPVARIANT pValue)
2941 {
2942     HRESULT hres;
2943     static DISPPARAMS emptyParams = { NULL, NULL, 0, 0 };
2944
2945     if ((V_VT(pvDispatch) & VT_TYPEMASK) == VT_DISPATCH) {
2946         if (NULL == V_DISPATCH(pvDispatch)) return DISP_E_TYPEMISMATCH;
2947         hres = IDispatch_Invoke(V_DISPATCH(pvDispatch), DISPID_VALUE, &IID_NULL,
2948             LOCALE_USER_DEFAULT, DISPATCH_PROPERTYGET, &emptyParams, pValue,
2949             NULL, NULL);
2950     } else {
2951         hres = DISP_E_TYPEMISMATCH;
2952     }
2953     return hres;
2954 }
2955
2956 /**********************************************************************
2957  *              VarAnd [OLEAUT32.142]
2958  *
2959  * Computes the logical AND of two variants.
2960  *
2961  * PARAMS
2962  *  left    [I] First variant
2963  *  right   [I] Second variant
2964  *  result  [O] Result variant
2965  *
2966  * RETURNS
2967  *  Success: S_OK.
2968  *  Failure: An HRESULT error code indicating the error.
2969  */
2970 HRESULT WINAPI VarAnd(LPVARIANT left, LPVARIANT right, LPVARIANT result)
2971 {
2972     HRESULT hres = S_OK;
2973     VARTYPE resvt = VT_EMPTY;
2974     VARTYPE leftvt,rightvt;
2975     VARTYPE rightExtraFlags,leftExtraFlags,ExtraFlags;
2976     VARIANT varLeft, varRight;
2977     VARIANT tempLeft, tempRight;
2978
2979     VariantInit(&varLeft);
2980     VariantInit(&varRight);
2981     VariantInit(&tempLeft);
2982     VariantInit(&tempRight);
2983
2984     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
2985           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
2986
2987     /* Handle VT_DISPATCH by storing and taking address of returned value */
2988     if ((V_VT(left) & VT_TYPEMASK) == VT_DISPATCH)
2989     {
2990         hres = VARIANT_FetchDispatchValue(left, &tempLeft);
2991         if (FAILED(hres)) goto VarAnd_Exit;
2992         left = &tempLeft;
2993     }
2994     if ((V_VT(right) & VT_TYPEMASK) == VT_DISPATCH)
2995     {
2996         hres = VARIANT_FetchDispatchValue(right, &tempRight);
2997         if (FAILED(hres)) goto VarAnd_Exit;
2998         right = &tempRight;
2999     }
3000
3001     leftvt = V_VT(left)&VT_TYPEMASK;
3002     rightvt = V_VT(right)&VT_TYPEMASK;
3003     leftExtraFlags = V_VT(left)&(~VT_TYPEMASK);
3004     rightExtraFlags = V_VT(right)&(~VT_TYPEMASK);
3005
3006     if (leftExtraFlags != rightExtraFlags)
3007     {
3008         hres = DISP_E_BADVARTYPE;
3009         goto VarAnd_Exit;
3010     }
3011     ExtraFlags = leftExtraFlags;
3012
3013     /* Native VarAnd always returns an error when using extra
3014      * flags or if the variant combination is I8 and INT.
3015      */
3016     if ((leftvt == VT_I8 && rightvt == VT_INT) ||
3017         (leftvt == VT_INT && rightvt == VT_I8) ||
3018         ExtraFlags != 0)
3019     {
3020         hres = DISP_E_BADVARTYPE;
3021         goto VarAnd_Exit;
3022     }
3023
3024     /* Determine return type */
3025     else if (leftvt == VT_I8 || rightvt == VT_I8)
3026         resvt = VT_I8;
3027     else if (leftvt == VT_I4 || rightvt == VT_I4 ||
3028         leftvt == VT_UINT || rightvt == VT_UINT ||
3029         leftvt == VT_INT || rightvt == VT_INT ||
3030         leftvt == VT_UINT || rightvt == VT_UINT ||
3031         leftvt == VT_R4 || rightvt == VT_R4 ||
3032         leftvt == VT_R8 || rightvt == VT_R8 ||
3033         leftvt == VT_CY || rightvt == VT_CY ||
3034         leftvt == VT_DATE || rightvt == VT_DATE ||
3035         leftvt == VT_I1 || rightvt == VT_I1 ||
3036         leftvt == VT_UI2 || rightvt == VT_UI2 ||
3037         leftvt == VT_UI4 || rightvt == VT_UI4 ||
3038         leftvt == VT_UI8 || rightvt == VT_UI8 ||
3039         leftvt == VT_DECIMAL || rightvt == VT_DECIMAL)
3040         resvt = VT_I4;
3041     else if (leftvt == VT_UI1 || rightvt == VT_UI1 ||
3042         leftvt == VT_I2 || rightvt == VT_I2 ||
3043         leftvt == VT_EMPTY || rightvt == VT_EMPTY)
3044         if ((leftvt == VT_NULL && rightvt == VT_UI1) ||
3045             (leftvt == VT_UI1 && rightvt == VT_NULL) ||
3046             (leftvt == VT_UI1 && rightvt == VT_UI1))
3047             resvt = VT_UI1;
3048         else
3049             resvt = VT_I2;
3050     else if (leftvt == VT_BOOL || rightvt == VT_BOOL ||
3051         (leftvt == VT_BSTR && rightvt == VT_BSTR))
3052         resvt = VT_BOOL;
3053     else if (leftvt == VT_NULL || rightvt == VT_NULL ||
3054         leftvt == VT_BSTR || rightvt == VT_BSTR)
3055         resvt = VT_NULL;
3056     else
3057     {
3058         hres = DISP_E_BADVARTYPE;
3059         goto VarAnd_Exit;
3060     }
3061
3062     if (leftvt == VT_NULL || rightvt == VT_NULL)
3063     {
3064         /*
3065          * Special cases for when left variant is VT_NULL
3066          * (VT_NULL & 0 = VT_NULL, VT_NULL & value = value)
3067          */
3068         if (leftvt == VT_NULL)
3069         {
3070             VARIANT_BOOL b;
3071             switch(rightvt)
3072             {
3073             case VT_I1:   if (V_I1(right)) resvt = VT_NULL; break;
3074             case VT_UI1:  if (V_UI1(right)) resvt = VT_NULL; break;
3075             case VT_I2:   if (V_I2(right)) resvt = VT_NULL; break;
3076             case VT_UI2:  if (V_UI2(right)) resvt = VT_NULL; break;
3077             case VT_I4:   if (V_I4(right)) resvt = VT_NULL; break;
3078             case VT_UI4:  if (V_UI4(right)) resvt = VT_NULL; break;
3079             case VT_I8:   if (V_I8(right)) resvt = VT_NULL; break;
3080             case VT_UI8:  if (V_UI8(right)) resvt = VT_NULL; break;
3081             case VT_INT:  if (V_INT(right)) resvt = VT_NULL; break;
3082             case VT_UINT: if (V_UINT(right)) resvt = VT_NULL; break;
3083             case VT_BOOL: if (V_BOOL(right)) resvt = VT_NULL; break;
3084             case VT_R4:   if (V_R4(right)) resvt = VT_NULL; break;
3085             case VT_R8:   if (V_R8(right)) resvt = VT_NULL; break;
3086             case VT_CY:
3087                 if(V_CY(right).int64)
3088                     resvt = VT_NULL;
3089                 break;
3090             case VT_DECIMAL:
3091                 if (DEC_HI32(&V_DECIMAL(right)) ||
3092                     DEC_LO64(&V_DECIMAL(right)))
3093                     resvt = VT_NULL;
3094                 break;
3095             case VT_BSTR:
3096                 hres = VarBoolFromStr(V_BSTR(right),
3097                 LOCALE_USER_DEFAULT, VAR_LOCALBOOL, &b);
3098                 if (FAILED(hres))
3099                     return hres;
3100                 else if (b)
3101                     V_VT(result) = VT_NULL;
3102                 else
3103                 {
3104                     V_VT(result) = VT_BOOL;
3105                     V_BOOL(result) = b;
3106                 }
3107                 goto VarAnd_Exit;
3108             }
3109         }
3110         V_VT(result) = resvt;
3111         goto VarAnd_Exit;
3112     }
3113
3114     hres = VariantCopy(&varLeft, left);
3115     if (FAILED(hres)) goto VarAnd_Exit;
3116
3117     hres = VariantCopy(&varRight, right);
3118     if (FAILED(hres)) goto VarAnd_Exit;
3119
3120     if (resvt == VT_I4 && V_VT(&varLeft) == VT_UI4)
3121         V_VT(&varLeft) = VT_I4; /* Don't overflow */
3122     else
3123     {
3124         double d;
3125
3126         if (V_VT(&varLeft) == VT_BSTR &&
3127             FAILED(VarR8FromStr(V_BSTR(&varLeft),
3128             LOCALE_USER_DEFAULT, 0, &d)))
3129             hres = VariantChangeType(&varLeft,&varLeft,
3130             VARIANT_LOCALBOOL, VT_BOOL);
3131             if (SUCCEEDED(hres) && V_VT(&varLeft) != resvt)
3132                 hres = VariantChangeType(&varLeft,&varLeft,0,resvt);
3133             if (FAILED(hres)) goto VarAnd_Exit;
3134     }
3135
3136     if (resvt == VT_I4 && V_VT(&varRight) == VT_UI4)
3137         V_VT(&varRight) = VT_I4; /* Don't overflow */
3138     else
3139     {
3140         double d;
3141
3142         if (V_VT(&varRight) == VT_BSTR &&
3143             FAILED(VarR8FromStr(V_BSTR(&varRight),
3144             LOCALE_USER_DEFAULT, 0, &d)))
3145             hres = VariantChangeType(&varRight, &varRight,
3146                 VARIANT_LOCALBOOL, VT_BOOL);
3147         if (SUCCEEDED(hres) && V_VT(&varRight) != resvt)
3148             hres = VariantChangeType(&varRight, &varRight, 0, resvt);
3149         if (FAILED(hres)) goto VarAnd_Exit;
3150     }
3151
3152     V_VT(result) = resvt;
3153     switch(resvt)
3154     {
3155     case VT_I8:
3156         V_I8(result) = V_I8(&varLeft) & V_I8(&varRight);
3157         break;
3158     case VT_I4:
3159         V_I4(result) = V_I4(&varLeft) & V_I4(&varRight);
3160         break;
3161     case VT_I2:
3162         V_I2(result) = V_I2(&varLeft) & V_I2(&varRight);
3163         break;
3164     case VT_UI1:
3165         V_UI1(result) = V_UI1(&varLeft) & V_UI1(&varRight);
3166         break;
3167     case VT_BOOL:
3168         V_BOOL(result) = V_BOOL(&varLeft) & V_BOOL(&varRight);
3169         break;
3170     default:
3171         FIXME("Couldn't bitwise AND variant types %d,%d\n",
3172             leftvt,rightvt);
3173     }
3174
3175 VarAnd_Exit:
3176     VariantClear(&varLeft);
3177     VariantClear(&varRight);
3178     VariantClear(&tempLeft);
3179     VariantClear(&tempRight);
3180
3181     return hres;
3182 }
3183
3184 /**********************************************************************
3185  *              VarAdd [OLEAUT32.141]
3186  *
3187  * Add two variants.
3188  *
3189  * PARAMS
3190  *  left    [I] First variant
3191  *  right   [I] Second variant
3192  *  result  [O] Result variant
3193  *
3194  * RETURNS
3195  *  Success: S_OK.
3196  *  Failure: An HRESULT error code indicating the error.
3197  *
3198  * NOTES
3199  *  Native VarAdd up to and including WinXP doesn't like I1, UI2, UI4,
3200  *  UI8, INT and UINT as input variants.
3201  *
3202  *  Native VarAdd doesn't check for NULL in/out pointers and crashes. We do the
3203  *  same here.
3204  *
3205  * FIXME
3206  *  Overflow checking for R8 (double) overflow. Return DISP_E_OVERFLOW in that
3207  *  case.
3208  */
3209 HRESULT WINAPI VarAdd(LPVARIANT left, LPVARIANT right, LPVARIANT result)
3210 {
3211     HRESULT hres;
3212     VARTYPE lvt, rvt, resvt, tvt;
3213     VARIANT lv, rv, tv;
3214     VARIANT tempLeft, tempRight;
3215     double r8res;
3216
3217     /* Variant priority for coercion. Sorted from lowest to highest.
3218        VT_ERROR shows an invalid input variant type. */
3219     enum coerceprio { vt_EMPTY, vt_UI1, vt_I2, vt_I4, vt_I8, vt_BSTR,vt_R4,
3220                       vt_R8, vt_CY, vt_DATE, vt_DECIMAL, vt_DISPATCH, vt_NULL,
3221                       vt_ERROR };
3222     /* Mapping from priority to variant type. Keep in sync with coerceprio! */
3223     static const VARTYPE prio2vt[] = { VT_EMPTY, VT_UI1, VT_I2, VT_I4, VT_I8, VT_BSTR, VT_R4,
3224                           VT_R8, VT_CY, VT_DATE, VT_DECIMAL, VT_DISPATCH,
3225                           VT_NULL, VT_ERROR };
3226
3227     /* Mapping for coercion from input variant to priority of result variant. */
3228     static const VARTYPE coerce[] = {
3229         /* VT_EMPTY, VT_NULL, VT_I2, VT_I4, VT_R4 */
3230         vt_EMPTY, vt_NULL, vt_I2, vt_I4, vt_R4,
3231         /* VT_R8, VT_CY, VT_DATE, VT_BSTR, VT_DISPATCH */
3232         vt_R8, vt_CY, vt_DATE, vt_BSTR, vt_DISPATCH,
3233         /* VT_ERROR, VT_BOOL, VT_VARIANT, VT_UNKNOWN, VT_DECIMAL */
3234         vt_ERROR, vt_I2, vt_ERROR, vt_ERROR, vt_DECIMAL,
3235         /* 15, VT_I1, VT_UI1, VT_UI2, VT_UI4 VT_I8 */
3236         vt_ERROR, vt_ERROR, vt_UI1, vt_ERROR, vt_ERROR, vt_I8
3237     };
3238
3239     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
3240           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right),
3241           result);
3242
3243     VariantInit(&lv);
3244     VariantInit(&rv);
3245     VariantInit(&tv);
3246     VariantInit(&tempLeft);
3247     VariantInit(&tempRight);
3248
3249     /* Handle VT_DISPATCH by storing and taking address of returned value */
3250     if ((V_VT(left) & VT_TYPEMASK) != VT_NULL && (V_VT(right) & VT_TYPEMASK) != VT_NULL)
3251     {
3252         if ((V_VT(left) & VT_TYPEMASK) == VT_DISPATCH)
3253         {
3254             hres = VARIANT_FetchDispatchValue(left, &tempLeft);
3255             if (FAILED(hres)) goto end;
3256             left = &tempLeft;
3257         }
3258         if ((V_VT(right) & VT_TYPEMASK) == VT_DISPATCH)
3259         {
3260             hres = VARIANT_FetchDispatchValue(right, &tempRight);
3261             if (FAILED(hres)) goto end;
3262             right = &tempRight;
3263         }
3264     }
3265
3266     lvt = V_VT(left)&VT_TYPEMASK;
3267     rvt = V_VT(right)&VT_TYPEMASK;
3268
3269     /* If we have any flag set (VT_ARRAY, VT_VECTOR, etc.) bail out.
3270        Same for any input variant type > VT_I8 */
3271     if (V_VT(left) & ~VT_TYPEMASK || V_VT(right) & ~VT_TYPEMASK ||
3272         lvt > VT_I8 || rvt > VT_I8) {
3273         hres = DISP_E_BADVARTYPE;
3274         goto end;
3275     }
3276
3277     /* Determine the variant type to coerce to. */
3278     if (coerce[lvt] > coerce[rvt]) {
3279         resvt = prio2vt[coerce[lvt]];
3280         tvt = prio2vt[coerce[rvt]];
3281     } else {
3282         resvt = prio2vt[coerce[rvt]];
3283         tvt = prio2vt[coerce[lvt]];
3284     }
3285
3286     /* Special cases where the result variant type is defined by both
3287        input variants and not only that with the highest priority */
3288     if (resvt == VT_BSTR) {
3289         if (tvt == VT_EMPTY || tvt == VT_BSTR)
3290             resvt = VT_BSTR;
3291         else
3292             resvt = VT_R8;
3293     }
3294     if (resvt == VT_R4 && (tvt == VT_BSTR || tvt == VT_I8 || tvt == VT_I4))
3295         resvt = VT_R8;
3296
3297     /* For overflow detection use the biggest compatible type for the
3298        addition */
3299     switch (resvt) {
3300         case VT_ERROR:
3301             hres = DISP_E_BADVARTYPE;
3302             goto end;
3303         case VT_NULL:
3304             hres = S_OK;
3305             V_VT(result) = VT_NULL;
3306             goto end;
3307         case VT_DISPATCH:
3308             FIXME("cannot handle variant type VT_DISPATCH\n");
3309             hres = DISP_E_TYPEMISMATCH;
3310             goto end;
3311         case VT_EMPTY:
3312             resvt = VT_I2;
3313             /* Fall through */
3314         case VT_UI1:
3315         case VT_I2:
3316         case VT_I4:
3317         case VT_I8:
3318             tvt = VT_I8;
3319             break;
3320         case VT_DATE:
3321         case VT_R4:
3322             tvt = VT_R8;
3323             break;
3324         default:
3325             tvt = resvt;
3326     }
3327
3328     /* Now coerce the variants */
3329     hres = VariantChangeType(&lv, left, 0, tvt);
3330     if (FAILED(hres))
3331         goto end;
3332     hres = VariantChangeType(&rv, right, 0, tvt);
3333     if (FAILED(hres))
3334         goto end;
3335
3336     /* Do the math */
3337     hres = S_OK;
3338     V_VT(result) = resvt;
3339     switch (tvt) {
3340         case VT_DECIMAL:
3341             hres = VarDecAdd(&V_DECIMAL(&lv), &V_DECIMAL(&rv),
3342                              &V_DECIMAL(result));
3343             goto end;
3344         case VT_CY:
3345             hres = VarCyAdd(V_CY(&lv), V_CY(&rv), &V_CY(result));
3346             goto end;
3347         case VT_BSTR:
3348             /* We do not add those, we concatenate them. */
3349             hres = VarBstrCat(V_BSTR(&lv), V_BSTR(&rv), &V_BSTR(result));
3350             goto end;
3351         case VT_I8:
3352             /* Overflow detection */
3353             r8res = (double)V_I8(&lv) + (double)V_I8(&rv);
3354             if (r8res > (double)I8_MAX || r8res < (double)I8_MIN) {
3355                 V_VT(result) = VT_R8;
3356                 V_R8(result) = r8res;
3357                 goto end;
3358             } else {
3359                 V_VT(&tv) = tvt;
3360                 V_I8(&tv) = V_I8(&lv) + V_I8(&rv);
3361             }
3362             break;
3363         case VT_R8:
3364             V_VT(&tv) = tvt;
3365             /* FIXME: overflow detection */
3366             V_R8(&tv) = V_R8(&lv) + V_R8(&rv);
3367             break;
3368         default:
3369             ERR("We shouldn't get here! tvt = %d!\n", tvt);
3370             break;
3371     }
3372     if (resvt != tvt) {
3373         if ((hres = VariantChangeType(result, &tv, 0, resvt)) != S_OK) {
3374             /* Overflow! Change to the vartype with the next higher priority.
3375                With one exception: I4 ==> R8 even if it would fit in I8 */
3376             if (resvt == VT_I4)
3377                 resvt = VT_R8;
3378             else
3379                 resvt = prio2vt[coerce[resvt] + 1];
3380             hres = VariantChangeType(result, &tv, 0, resvt);
3381         }
3382     } else
3383         hres = VariantCopy(result, &tv);
3384
3385 end:
3386     if (hres != S_OK) {
3387         V_VT(result) = VT_EMPTY;
3388         V_I4(result) = 0;       /* No V_EMPTY */
3389     }
3390     VariantClear(&lv);
3391     VariantClear(&rv);
3392     VariantClear(&tv);
3393     VariantClear(&tempLeft);
3394     VariantClear(&tempRight);
3395     TRACE("returning 0x%8x (variant type %s)\n", hres, debugstr_VT(result));
3396     return hres;
3397 }
3398
3399 /**********************************************************************
3400  *              VarMul [OLEAUT32.156]
3401  *
3402  * Multiply two variants.
3403  *
3404  * PARAMS
3405  *  left    [I] First variant
3406  *  right   [I] Second variant
3407  *  result  [O] Result variant
3408  *
3409  * RETURNS
3410  *  Success: S_OK.
3411  *  Failure: An HRESULT error code indicating the error.
3412  *
3413  * NOTES
3414  *  Native VarMul up to and including WinXP doesn't like I1, UI2, UI4,
3415  *  UI8, INT and UINT as input variants. But it can multiply apples with oranges.
3416  *
3417  *  Native VarMul doesn't check for NULL in/out pointers and crashes. We do the
3418  *  same here.
3419  *
3420  * FIXME
3421  *  Overflow checking for R8 (double) overflow. Return DISP_E_OVERFLOW in that
3422  *  case.
3423  */
3424 HRESULT WINAPI VarMul(LPVARIANT left, LPVARIANT right, LPVARIANT result)
3425 {
3426     HRESULT hres;
3427     VARTYPE lvt, rvt, resvt, tvt;
3428     VARIANT lv, rv, tv;
3429     VARIANT tempLeft, tempRight;
3430     double r8res;
3431
3432     /* Variant priority for coercion. Sorted from lowest to highest.
3433        VT_ERROR shows an invalid input variant type. */
3434     enum coerceprio { vt_UI1 = 0, vt_I2, vt_I4, vt_I8, vt_CY, vt_R4, vt_R8,
3435                       vt_DECIMAL, vt_NULL, vt_ERROR };
3436     /* Mapping from priority to variant type. Keep in sync with coerceprio! */
3437     static const VARTYPE prio2vt[] = { VT_UI1, VT_I2, VT_I4, VT_I8, VT_CY, VT_R4, VT_R8,
3438                           VT_DECIMAL, VT_NULL, VT_ERROR };
3439
3440     /* Mapping for coercion from input variant to priority of result variant. */
3441     static const VARTYPE coerce[] = {
3442         /* VT_EMPTY, VT_NULL, VT_I2, VT_I4, VT_R4 */
3443         vt_UI1, vt_NULL, vt_I2, vt_I4, vt_R4,
3444         /* VT_R8, VT_CY, VT_DATE, VT_BSTR, VT_DISPATCH */
3445         vt_R8, vt_CY, vt_R8, vt_R8, vt_ERROR,
3446         /* VT_ERROR, VT_BOOL, VT_VARIANT, VT_UNKNOWN, VT_DECIMAL */
3447         vt_ERROR, vt_I2, vt_ERROR, vt_ERROR, vt_DECIMAL,
3448         /* 15, VT_I1, VT_UI1, VT_UI2, VT_UI4 VT_I8 */
3449         vt_ERROR, vt_ERROR, vt_UI1, vt_ERROR, vt_ERROR, vt_I8
3450     };
3451
3452     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
3453           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right),
3454           result);
3455
3456     VariantInit(&lv);
3457     VariantInit(&rv);
3458     VariantInit(&tv);
3459     VariantInit(&tempLeft);
3460     VariantInit(&tempRight);
3461
3462     /* Handle VT_DISPATCH by storing and taking address of returned value */
3463     if ((V_VT(left) & VT_TYPEMASK) == VT_DISPATCH)
3464     {
3465         hres = VARIANT_FetchDispatchValue(left, &tempLeft);
3466         if (FAILED(hres)) goto end;
3467         left = &tempLeft;
3468     }
3469     if ((V_VT(right) & VT_TYPEMASK) == VT_DISPATCH)
3470     {
3471         hres = VARIANT_FetchDispatchValue(right, &tempRight);
3472         if (FAILED(hres)) goto end;
3473         right = &tempRight;
3474     }
3475
3476     lvt = V_VT(left)&VT_TYPEMASK;
3477     rvt = V_VT(right)&VT_TYPEMASK;
3478
3479     /* If we have any flag set (VT_ARRAY, VT_VECTOR, etc.) bail out.
3480        Same for any input variant type > VT_I8 */
3481     if (V_VT(left) & ~VT_TYPEMASK || V_VT(right) & ~VT_TYPEMASK ||
3482         lvt > VT_I8 || rvt > VT_I8) {
3483         hres = DISP_E_BADVARTYPE;
3484         goto end;
3485     }
3486
3487     /* Determine the variant type to coerce to. */
3488     if (coerce[lvt] > coerce[rvt]) {
3489         resvt = prio2vt[coerce[lvt]];
3490         tvt = prio2vt[coerce[rvt]];
3491     } else {
3492         resvt = prio2vt[coerce[rvt]];
3493         tvt = prio2vt[coerce[lvt]];
3494     }
3495
3496     /* Special cases where the result variant type is defined by both
3497        input variants and not only that with the highest priority */
3498     if (resvt == VT_R4 && (tvt == VT_CY || tvt == VT_I8 || tvt == VT_I4))
3499         resvt = VT_R8;
3500     if (lvt == VT_EMPTY && rvt == VT_EMPTY)
3501         resvt = VT_I2;
3502
3503     /* For overflow detection use the biggest compatible type for the
3504        multiplication */
3505     switch (resvt) {
3506         case VT_ERROR:
3507             hres = DISP_E_BADVARTYPE;
3508             goto end;
3509         case VT_NULL:
3510             hres = S_OK;
3511             V_VT(result) = VT_NULL;
3512             goto end;
3513         case VT_UI1:
3514         case VT_I2:
3515         case VT_I4:
3516         case VT_I8:
3517             tvt = VT_I8;
3518             break;
3519         case VT_R4:
3520             tvt = VT_R8;
3521             break;
3522         default:
3523             tvt = resvt;
3524     }
3525
3526     /* Now coerce the variants */
3527     hres = VariantChangeType(&lv, left, 0, tvt);
3528     if (FAILED(hres))
3529         goto end;
3530     hres = VariantChangeType(&rv, right, 0, tvt);
3531     if (FAILED(hres))
3532         goto end;
3533
3534     /* Do the math */
3535     hres = S_OK;
3536     V_VT(&tv) = tvt;
3537     V_VT(result) = resvt;
3538     switch (tvt) {
3539         case VT_DECIMAL:
3540             hres = VarDecMul(&V_DECIMAL(&lv), &V_DECIMAL(&rv),
3541                              &V_DECIMAL(result));
3542             goto end;
3543         case VT_CY:
3544             hres = VarCyMul(V_CY(&lv), V_CY(&rv), &V_CY(result));
3545             goto end;
3546         case VT_I8:
3547             /* Overflow detection */
3548             r8res = (double)V_I8(&lv) * (double)V_I8(&rv);
3549             if (r8res > (double)I8_MAX || r8res < (double)I8_MIN) {
3550                 V_VT(result) = VT_R8;
3551                 V_R8(result) = r8res;
3552                 goto end;
3553             } else
3554                 V_I8(&tv) = V_I8(&lv) * V_I8(&rv);
3555             break;
3556         case VT_R8:
3557             /* FIXME: overflow detection */
3558             V_R8(&tv) = V_R8(&lv) * V_R8(&rv);
3559             break;
3560         default:
3561             ERR("We shouldn't get here! tvt = %d!\n", tvt);
3562             break;
3563     }
3564     if (resvt != tvt) {
3565         while ((hres = VariantChangeType(result, &tv, 0, resvt)) != S_OK) {
3566             /* Overflow! Change to the vartype with the next higher priority.
3567                With one exception: I4 ==> R8 even if it would fit in I8 */
3568             if (resvt == VT_I4)
3569                 resvt = VT_R8;
3570             else
3571                 resvt = prio2vt[coerce[resvt] + 1];
3572         }
3573     } else
3574         hres = VariantCopy(result, &tv);
3575
3576 end:
3577     if (hres != S_OK) {
3578         V_VT(result) = VT_EMPTY;
3579         V_I4(result) = 0;       /* No V_EMPTY */
3580     }
3581     VariantClear(&lv);
3582     VariantClear(&rv);
3583     VariantClear(&tv);
3584     VariantClear(&tempLeft);
3585     VariantClear(&tempRight);
3586     TRACE("returning 0x%8x (variant type %s)\n", hres, debugstr_VT(result));
3587     return hres;
3588 }
3589
3590 /**********************************************************************
3591  *              VarDiv [OLEAUT32.143]
3592  *
3593  * Divides one variant with another.
3594  *
3595  * PARAMS
3596  *  left    [I] First variant
3597  *  right   [I] Second variant
3598  *  result  [O] Result variant
3599  *
3600  * RETURNS
3601  *  Success: S_OK.
3602  *  Failure: An HRESULT error code indicating the error.
3603  */
3604 HRESULT WINAPI VarDiv(LPVARIANT left, LPVARIANT right, LPVARIANT result)
3605 {
3606     HRESULT hres = S_OK;
3607     VARTYPE resvt = VT_EMPTY;
3608     VARTYPE leftvt,rightvt;
3609     VARTYPE rightExtraFlags,leftExtraFlags,ExtraFlags;
3610     VARIANT lv,rv;
3611     VARIANT tempLeft, tempRight;
3612
3613     VariantInit(&tempLeft);
3614     VariantInit(&tempRight);
3615     VariantInit(&lv);
3616     VariantInit(&rv);
3617
3618     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
3619           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
3620
3621     /* Handle VT_DISPATCH by storing and taking address of returned value */
3622     if ((V_VT(left) & VT_TYPEMASK) == VT_DISPATCH)
3623     {
3624         hres = VARIANT_FetchDispatchValue(left, &tempLeft);
3625         if (FAILED(hres)) goto end;
3626         left = &tempLeft;
3627     }
3628     if ((V_VT(right) & VT_TYPEMASK) == VT_DISPATCH)
3629     {
3630         hres = VARIANT_FetchDispatchValue(right, &tempRight);
3631         if (FAILED(hres)) goto end;
3632         right = &tempRight;
3633     }
3634
3635     leftvt = V_VT(left)&VT_TYPEMASK;
3636     rightvt = V_VT(right)&VT_TYPEMASK;
3637     leftExtraFlags = V_VT(left)&(~VT_TYPEMASK);
3638     rightExtraFlags = V_VT(right)&(~VT_TYPEMASK);
3639
3640     if (leftExtraFlags != rightExtraFlags)
3641     {
3642         hres = DISP_E_BADVARTYPE;
3643         goto end;
3644     }
3645     ExtraFlags = leftExtraFlags;
3646
3647     /* Native VarDiv always returns an error when using extra flags */
3648     if (ExtraFlags != 0)
3649     {
3650         hres = DISP_E_BADVARTYPE;
3651         goto end;
3652     }
3653
3654     /* Determine return type */
3655     if (!(rightvt == VT_EMPTY))
3656     {
3657         if (leftvt == VT_NULL || rightvt == VT_NULL)
3658         {
3659             V_VT(result) = VT_NULL;
3660             hres = S_OK;
3661             goto end;
3662         }
3663         else if (leftvt == VT_DECIMAL || rightvt == VT_DECIMAL)
3664             resvt = VT_DECIMAL;
3665         else if (leftvt == VT_I8 || rightvt == VT_I8 ||
3666             leftvt == VT_CY || rightvt == VT_CY ||
3667             leftvt == VT_DATE || rightvt == VT_DATE ||
3668             leftvt == VT_I4 || rightvt == VT_I4 ||
3669             leftvt == VT_BSTR || rightvt == VT_BSTR ||
3670             leftvt == VT_I2 || rightvt == VT_I2 ||
3671             leftvt == VT_BOOL || rightvt == VT_BOOL ||
3672             leftvt == VT_R8 || rightvt == VT_R8 ||
3673             leftvt == VT_UI1 || rightvt == VT_UI1)
3674         {
3675             if ((leftvt == VT_UI1 && rightvt == VT_R4) ||
3676                 (leftvt == VT_R4 && rightvt == VT_UI1))
3677                 resvt = VT_R4;
3678             else if ((leftvt == VT_R4 && (rightvt == VT_BOOL ||
3679                 rightvt == VT_I2)) || (rightvt == VT_R4 &&
3680                 (leftvt == VT_BOOL || leftvt == VT_I2)))
3681                 resvt = VT_R4;
3682             else
3683                 resvt = VT_R8;
3684         }
3685         else if (leftvt == VT_R4 || rightvt == VT_R4)
3686             resvt = VT_R4;
3687     }
3688     else if (leftvt == VT_NULL && rightvt == VT_EMPTY)
3689     {
3690         V_VT(result) = VT_NULL;
3691         hres = S_OK;
3692         goto end;
3693     }
3694     else
3695     {
3696         hres = DISP_E_BADVARTYPE;
3697         goto end;
3698     }
3699
3700     /* coerce to the result type */
3701     hres = VariantChangeType(&lv, left, 0, resvt);
3702     if (hres != S_OK) goto end;
3703
3704     hres = VariantChangeType(&rv, right, 0, resvt);
3705     if (hres != S_OK) goto end;
3706
3707     /* do the math */
3708     V_VT(result) = resvt;
3709     switch (resvt)
3710     {
3711     case VT_R4:
3712     if (V_R4(&lv) == 0.0 && V_R4(&rv) == 0.0)
3713     {
3714         hres = DISP_E_OVERFLOW;
3715         V_VT(result) = VT_EMPTY;
3716     }
3717     else if (V_R4(&rv) == 0.0)
3718     {
3719         hres = DISP_E_DIVBYZERO;
3720         V_VT(result) = VT_EMPTY;
3721     }
3722     else
3723         V_R4(result) = V_R4(&lv) / V_R4(&rv);
3724     break;
3725     case VT_R8:
3726     if (V_R8(&lv) == 0.0 && V_R8(&rv) == 0.0)
3727     {
3728         hres = DISP_E_OVERFLOW;
3729         V_VT(result) = VT_EMPTY;
3730     }
3731     else if (V_R8(&rv) == 0.0)
3732     {
3733         hres = DISP_E_DIVBYZERO;
3734         V_VT(result) = VT_EMPTY;
3735     }
3736     else
3737         V_R8(result) = V_R8(&lv) / V_R8(&rv);
3738     break;
3739     case VT_DECIMAL:
3740     hres = VarDecDiv(&(V_DECIMAL(&lv)), &(V_DECIMAL(&rv)), &(V_DECIMAL(result)));
3741     break;
3742     }
3743
3744 end:
3745     VariantClear(&lv);
3746     VariantClear(&rv);
3747     VariantClear(&tempLeft);
3748     VariantClear(&tempRight);
3749     TRACE("returning 0x%8x (variant type %s)\n", hres, debugstr_VT(result));
3750     return hres;
3751 }
3752
3753 /**********************************************************************
3754  *              VarSub [OLEAUT32.159]
3755  *
3756  * Subtract two variants.
3757  *
3758  * PARAMS
3759  *  left    [I] First variant
3760  *  right   [I] Second variant
3761  *  result  [O] Result variant
3762  *
3763  * RETURNS
3764  *  Success: S_OK.
3765  *  Failure: An HRESULT error code indicating the error.
3766  */
3767 HRESULT WINAPI VarSub(LPVARIANT left, LPVARIANT right, LPVARIANT result)
3768 {
3769     HRESULT hres = S_OK;
3770     VARTYPE resvt = VT_EMPTY;
3771     VARTYPE leftvt,rightvt;
3772     VARTYPE rightExtraFlags,leftExtraFlags,ExtraFlags;
3773     VARIANT lv,rv;
3774     VARIANT tempLeft, tempRight;
3775
3776     VariantInit(&lv);
3777     VariantInit(&rv);
3778     VariantInit(&tempLeft);
3779     VariantInit(&tempRight);
3780
3781     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
3782           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
3783
3784     if ((V_VT(left) & VT_TYPEMASK) == VT_DISPATCH &&
3785         (V_VT(left)&(~VT_TYPEMASK)) == 0 &&
3786         (V_VT(right) & VT_TYPEMASK) != VT_NULL)
3787     {
3788         if (NULL == V_DISPATCH(left)) {
3789             if ((V_VT(right) & VT_TYPEMASK) >= VT_INT_PTR)
3790                 hres = DISP_E_BADVARTYPE;
3791             else if ((V_VT(right) & VT_TYPEMASK) >= VT_UI8 &&
3792                 (V_VT(right) & VT_TYPEMASK) < VT_RECORD)
3793                 hres = DISP_E_BADVARTYPE;
3794             else switch (V_VT(right) & VT_TYPEMASK)
3795             {
3796             case VT_VARIANT:
3797             case VT_UNKNOWN:
3798             case 15:
3799             case VT_I1:
3800             case VT_UI2:
3801             case VT_UI4:
3802                 hres = DISP_E_BADVARTYPE;
3803             }
3804             if (FAILED(hres)) goto end;
3805         }
3806         hres = VARIANT_FetchDispatchValue(left, &tempLeft);
3807         if (FAILED(hres)) goto end;
3808         left = &tempLeft;
3809     }
3810     if ((V_VT(right) & VT_TYPEMASK) == VT_DISPATCH &&
3811         (V_VT(right)&(~VT_TYPEMASK)) == 0 &&
3812         (V_VT(left) & VT_TYPEMASK) != VT_NULL)
3813     {
3814         if (NULL == V_DISPATCH(right))
3815         {
3816             if ((V_VT(left) & VT_TYPEMASK) >= VT_INT_PTR)
3817                 hres = DISP_E_BADVARTYPE;
3818             else if ((V_VT(left) & VT_TYPEMASK) >= VT_UI8 &&
3819                 (V_VT(left) & VT_TYPEMASK) < VT_RECORD)
3820                 hres = DISP_E_BADVARTYPE;
3821             else switch (V_VT(left) & VT_TYPEMASK)
3822             {
3823             case VT_VARIANT:
3824             case VT_UNKNOWN:
3825             case 15:
3826             case VT_I1:
3827             case VT_UI2:
3828             case VT_UI4:
3829                 hres = DISP_E_BADVARTYPE;
3830             }
3831             if (FAILED(hres)) goto end;
3832         }
3833         hres = VARIANT_FetchDispatchValue(right, &tempRight);
3834         if (FAILED(hres)) goto end;
3835         right = &tempRight;
3836     }
3837
3838     leftvt = V_VT(left)&VT_TYPEMASK;
3839     rightvt = V_VT(right)&VT_TYPEMASK;
3840     leftExtraFlags = V_VT(left)&(~VT_TYPEMASK);
3841     rightExtraFlags = V_VT(right)&(~VT_TYPEMASK);
3842
3843     if (leftExtraFlags != rightExtraFlags)
3844     {
3845         hres = DISP_E_BADVARTYPE;
3846         goto end;
3847     }
3848     ExtraFlags = leftExtraFlags;
3849
3850     /* determine return type and return code */
3851     /* All extra flags produce errors */
3852     if (ExtraFlags == (VT_VECTOR|VT_BYREF|VT_RESERVED) ||
3853         ExtraFlags == (VT_VECTOR|VT_RESERVED) ||
3854         ExtraFlags == (VT_VECTOR|VT_BYREF) ||
3855         ExtraFlags == (VT_BYREF|VT_RESERVED) ||
3856         ExtraFlags == VT_VECTOR ||
3857         ExtraFlags == VT_BYREF ||
3858         ExtraFlags == VT_RESERVED)
3859     {
3860         hres = DISP_E_BADVARTYPE;
3861         goto end;
3862     }
3863     else if (ExtraFlags >= VT_ARRAY)
3864     {
3865         hres = DISP_E_TYPEMISMATCH;
3866         goto end;
3867     }
3868     /* Native VarSub cannot handle: VT_I1, VT_UI2, VT_UI4,
3869        VT_INT, VT_UINT and VT_UI8. Tested with WinXP */
3870     else if (leftvt == VT_CLSID || rightvt == VT_CLSID ||
3871         leftvt == VT_VARIANT || rightvt == VT_VARIANT ||
3872         leftvt == VT_I1 || rightvt == VT_I1 ||
3873         leftvt == VT_UI2 || rightvt == VT_UI2 ||
3874         leftvt == VT_UI4 || rightvt == VT_UI4 ||
3875         leftvt == VT_UI8 || rightvt == VT_UI8 ||
3876         leftvt == VT_INT || rightvt == VT_INT ||
3877         leftvt == VT_UINT || rightvt == VT_UINT ||
3878         leftvt == VT_UNKNOWN || rightvt == VT_UNKNOWN ||
3879         leftvt == VT_RECORD || rightvt == VT_RECORD)
3880     {
3881         if (leftvt == VT_RECORD && rightvt == VT_I8)
3882             hres = DISP_E_TYPEMISMATCH;
3883         else if (leftvt < VT_UI1 && rightvt == VT_RECORD)
3884             hres = DISP_E_TYPEMISMATCH;
3885         else if (leftvt >= VT_UI1 && rightvt == VT_RECORD)
3886             hres = DISP_E_TYPEMISMATCH;
3887         else if (leftvt == VT_RECORD && rightvt <= VT_UI1)
3888             hres = DISP_E_TYPEMISMATCH;
3889         else if (leftvt == VT_RECORD && rightvt > VT_UI1)
3890             hres = DISP_E_BADVARTYPE;
3891         else
3892             hres = DISP_E_BADVARTYPE;
3893         goto end;
3894     }
3895     /*  The following flags/types are invalid for left variant */
3896     else if (!((leftvt <= VT_LPWSTR || leftvt == VT_RECORD ||
3897         leftvt == VT_CLSID) && leftvt != (VARTYPE)15 /* undefined vt */ &&
3898         (leftvt < VT_VOID || leftvt > VT_LPWSTR)))
3899     {
3900         hres = DISP_E_BADVARTYPE;
3901         goto end;
3902     }
3903     /*  The following flags/types are invalid for right variant */
3904     else if (!((rightvt <= VT_LPWSTR || rightvt == VT_RECORD ||
3905         rightvt == VT_CLSID) && rightvt != (VARTYPE)15 /* undefined vt */ &&
3906         (rightvt < VT_VOID || rightvt > VT_LPWSTR)))
3907     {
3908         hres = DISP_E_BADVARTYPE;
3909         goto end;
3910     }
3911     else if ((leftvt == VT_NULL && rightvt == VT_DISPATCH) ||
3912         (leftvt == VT_DISPATCH && rightvt == VT_NULL))
3913         resvt = VT_NULL;
3914     else if (leftvt == VT_DISPATCH || rightvt == VT_DISPATCH ||
3915         leftvt == VT_ERROR || rightvt == VT_ERROR)
3916     {
3917         hres = DISP_E_TYPEMISMATCH;
3918         goto end;
3919     }
3920     else if (leftvt == VT_NULL || rightvt == VT_NULL)
3921         resvt = VT_NULL;
3922     else if ((leftvt == VT_EMPTY && rightvt == VT_BSTR) ||
3923         (leftvt == VT_DATE && rightvt == VT_DATE) ||
3924         (leftvt == VT_BSTR && rightvt == VT_EMPTY) ||
3925         (leftvt == VT_BSTR && rightvt == VT_BSTR))
3926         resvt = VT_R8;
3927     else if (leftvt == VT_DECIMAL || rightvt == VT_DECIMAL)
3928         resvt = VT_DECIMAL;
3929     else if (leftvt == VT_DATE || rightvt == VT_DATE)
3930         resvt = VT_DATE;
3931     else if (leftvt == VT_CY || rightvt == VT_CY)
3932         resvt = VT_CY;
3933     else if (leftvt == VT_R8 || rightvt == VT_R8)
3934         resvt = VT_R8;
3935     else if (leftvt == VT_BSTR || rightvt == VT_BSTR)
3936         resvt = VT_R8;
3937     else if (leftvt == VT_R4 || rightvt == VT_R4)
3938     {
3939         if (leftvt == VT_I4 || rightvt == VT_I4 ||
3940             leftvt == VT_I8 || rightvt == VT_I8)
3941             resvt = VT_R8;
3942         else
3943             resvt = VT_R4;
3944     }
3945     else if (leftvt == VT_I8 || rightvt == VT_I8)
3946         resvt = VT_I8;
3947     else if (leftvt == VT_I4 || rightvt == VT_I4)
3948         resvt = VT_I4;
3949     else if (leftvt == VT_I2 || rightvt == VT_I2 ||
3950         leftvt == VT_BOOL || rightvt == VT_BOOL ||
3951         (leftvt == VT_EMPTY && rightvt == VT_EMPTY))
3952         resvt = VT_I2;
3953     else if (leftvt == VT_UI1 || rightvt == VT_UI1)
3954         resvt = VT_UI1;
3955     else
3956     {
3957         hres = DISP_E_TYPEMISMATCH;
3958         goto end;
3959     }
3960
3961     /* coerce to the result type */
3962     if (leftvt == VT_BSTR && rightvt == VT_DATE)
3963         hres = VariantChangeType(&lv, left, 0, VT_R8);
3964     else
3965         hres = VariantChangeType(&lv, left, 0, resvt);
3966     if (hres != S_OK) goto end;
3967     if (leftvt == VT_DATE && rightvt == VT_BSTR)
3968         hres = VariantChangeType(&rv, right, 0, VT_R8);
3969     else
3970         hres = VariantChangeType(&rv, right, 0, resvt);
3971     if (hres != S_OK) goto end;
3972
3973     /* do the math */
3974     V_VT(result) = resvt;
3975     switch (resvt)
3976     {
3977     case VT_NULL:
3978     break;
3979     case VT_DATE:
3980     V_DATE(result) = V_DATE(&lv) - V_DATE(&rv);
3981     break;
3982     case VT_CY:
3983     hres = VarCySub(V_CY(&lv), V_CY(&rv), &(V_CY(result)));
3984     break;
3985     case VT_R4:
3986     V_R4(result) = V_R4(&lv) - V_R4(&rv);
3987     break;
3988     case VT_I8:
3989     V_I8(result) = V_I8(&lv) - V_I8(&rv);
3990     break;
3991     case VT_I4:
3992     V_I4(result) = V_I4(&lv) - V_I4(&rv);
3993     break;
3994     case VT_I2:
3995     V_I2(result) = V_I2(&lv) - V_I2(&rv);
3996     break;
3997     case VT_I1:
3998     V_I1(result) = V_I1(&lv) - V_I1(&rv);
3999     break;
4000     case VT_UI1:
4001     V_UI1(result) = V_UI2(&lv) - V_UI1(&rv);
4002     break;
4003     case VT_R8:
4004     V_R8(result) = V_R8(&lv) - V_R8(&rv);
4005     break;
4006     case VT_DECIMAL:
4007     hres = VarDecSub(&(V_DECIMAL(&lv)), &(V_DECIMAL(&rv)), &(V_DECIMAL(result)));
4008     break;
4009     }
4010
4011 end:
4012     VariantClear(&lv);
4013     VariantClear(&rv);
4014     VariantClear(&tempLeft);
4015     VariantClear(&tempRight);
4016     TRACE("returning 0x%8x (variant type %s)\n", hres, debugstr_VT(result));
4017     return hres;
4018 }
4019
4020
4021 /**********************************************************************
4022  *              VarOr [OLEAUT32.157]
4023  *
4024  * Perform a logical or (OR) operation on two variants.
4025  *
4026  * PARAMS
4027  *  pVarLeft  [I] First variant
4028  *  pVarRight [I] Variant to OR with pVarLeft
4029  *  pVarOut   [O] Destination for OR result
4030  *
4031  * RETURNS
4032  *  Success: S_OK. pVarOut contains the result of the operation with its type
4033  *           taken from the table listed under VarXor().
4034  *  Failure: An HRESULT error code indicating the error.
4035  *
4036  * NOTES
4037  *  See the Notes section of VarXor() for further information.
4038  */
4039 HRESULT WINAPI VarOr(LPVARIANT pVarLeft, LPVARIANT pVarRight, LPVARIANT pVarOut)
4040 {
4041     VARTYPE vt = VT_I4;
4042     VARIANT varLeft, varRight, varStr;
4043     HRESULT hRet;
4044     VARIANT tempLeft, tempRight;
4045
4046     VariantInit(&tempLeft);
4047     VariantInit(&tempRight);
4048     VariantInit(&varLeft);
4049     VariantInit(&varRight);
4050     VariantInit(&varStr);
4051
4052     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", pVarLeft, debugstr_VT(pVarLeft),
4053           debugstr_VF(pVarLeft), pVarRight, debugstr_VT(pVarRight),
4054           debugstr_VF(pVarRight), pVarOut);
4055
4056     /* Handle VT_DISPATCH by storing and taking address of returned value */
4057     if ((V_VT(pVarLeft) & VT_TYPEMASK) == VT_DISPATCH)
4058     {
4059         hRet = VARIANT_FetchDispatchValue(pVarLeft, &tempLeft);
4060         if (FAILED(hRet)) goto VarOr_Exit;
4061         pVarLeft = &tempLeft;
4062     }
4063     if ((V_VT(pVarRight) & VT_TYPEMASK) == VT_DISPATCH)
4064     {
4065         hRet = VARIANT_FetchDispatchValue(pVarRight, &tempRight);
4066         if (FAILED(hRet)) goto VarOr_Exit;
4067         pVarRight = &tempRight;
4068     }
4069
4070     if (V_EXTRA_TYPE(pVarLeft) || V_EXTRA_TYPE(pVarRight) ||
4071         V_VT(pVarLeft) == VT_UNKNOWN || V_VT(pVarRight) == VT_UNKNOWN ||
4072         V_VT(pVarLeft) == VT_DISPATCH || V_VT(pVarRight) == VT_DISPATCH ||
4073         V_VT(pVarLeft) == VT_RECORD || V_VT(pVarRight) == VT_RECORD)
4074     {
4075         hRet = DISP_E_BADVARTYPE;
4076         goto VarOr_Exit;
4077     }
4078
4079     V_VT(&varLeft) = V_VT(&varRight) = V_VT(&varStr) = VT_EMPTY;
4080
4081     if (V_VT(pVarLeft) == VT_NULL || V_VT(pVarRight) == VT_NULL)
4082     {
4083         /* NULL OR Zero is NULL, NULL OR value is value */
4084         if (V_VT(pVarLeft) == VT_NULL)
4085             pVarLeft = pVarRight; /* point to the non-NULL var */
4086
4087         V_VT(pVarOut) = VT_NULL;
4088         V_I4(pVarOut) = 0;
4089
4090         switch (V_VT(pVarLeft))
4091         {
4092         case VT_DATE: case VT_R8:
4093             if (V_R8(pVarLeft))
4094                 goto VarOr_AsEmpty;
4095             hRet = S_OK;
4096             goto VarOr_Exit;
4097         case VT_BOOL:
4098             if (V_BOOL(pVarLeft))
4099                 *pVarOut = *pVarLeft;
4100             hRet = S_OK;
4101             goto VarOr_Exit;
4102          case VT_I2: case VT_UI2:
4103             if (V_I2(pVarLeft))
4104                 goto VarOr_AsEmpty;
4105             hRet = S_OK;
4106             goto VarOr_Exit;
4107         case VT_I1:
4108             if (V_I1(pVarLeft))
4109                 goto VarOr_AsEmpty;
4110             hRet = S_OK;
4111             goto VarOr_Exit;
4112         case VT_UI1:
4113             if (V_UI1(pVarLeft))
4114                 *pVarOut = *pVarLeft;
4115             hRet = S_OK;
4116             goto VarOr_Exit;
4117         case VT_R4:
4118             if (V_R4(pVarLeft))
4119                 goto VarOr_AsEmpty;
4120             hRet = S_OK;
4121             goto VarOr_Exit;
4122         case VT_I4: case VT_UI4: case VT_INT: case VT_UINT:
4123             if (V_I4(pVarLeft))
4124                 goto VarOr_AsEmpty;
4125             hRet = S_OK;
4126             goto VarOr_Exit;
4127         case VT_CY:
4128             if (V_CY(pVarLeft).int64)
4129                 goto VarOr_AsEmpty;
4130             hRet = S_OK;
4131             goto VarOr_Exit;
4132         case VT_I8: case VT_UI8:
4133             if (V_I8(pVarLeft))
4134                 goto VarOr_AsEmpty;
4135             hRet = S_OK;
4136             goto VarOr_Exit;
4137         case VT_DECIMAL:
4138             if (DEC_HI32(&V_DECIMAL(pVarLeft)) || DEC_LO64(&V_DECIMAL(pVarLeft)))
4139                 goto VarOr_AsEmpty;
4140             hRet = S_OK;
4141             goto VarOr_Exit;
4142         case VT_BSTR:
4143         {
4144             VARIANT_BOOL b;
4145
4146             if (!V_BSTR(pVarLeft))
4147             {
4148                 hRet = DISP_E_BADVARTYPE;
4149                 goto VarOr_Exit;
4150             }
4151
4152             hRet = VarBoolFromStr(V_BSTR(pVarLeft), LOCALE_USER_DEFAULT, VAR_LOCALBOOL, &b);
4153             if (SUCCEEDED(hRet) && b)
4154             {
4155                 V_VT(pVarOut) = VT_BOOL;
4156                 V_BOOL(pVarOut) = b;
4157             }
4158             goto VarOr_Exit;
4159         }
4160         case VT_NULL: case VT_EMPTY:
4161             V_VT(pVarOut) = VT_NULL;
4162             hRet = S_OK;
4163             goto VarOr_Exit;
4164         default:
4165             hRet = DISP_E_BADVARTYPE;
4166             goto VarOr_Exit;
4167         }
4168     }
4169
4170     if (V_VT(pVarLeft) == VT_EMPTY || V_VT(pVarRight) == VT_EMPTY)
4171     {
4172         if (V_VT(pVarLeft) == VT_EMPTY)
4173             pVarLeft = pVarRight; /* point to the non-EMPTY var */
4174
4175 VarOr_AsEmpty:
4176         /* Since one argument is empty (0), OR'ing it with the other simply
4177          * gives the others value (as 0|x => x). So just convert the other
4178          * argument to the required result type.
4179          */
4180         switch (V_VT(pVarLeft))
4181         {
4182         case VT_BSTR:
4183             if (!V_BSTR(pVarLeft))
4184             {
4185                 hRet = DISP_E_BADVARTYPE;
4186                 goto VarOr_Exit;
4187             }
4188
4189             hRet = VariantCopy(&varStr, pVarLeft);
4190             if (FAILED(hRet))
4191                 goto VarOr_Exit;
4192             pVarLeft = &varStr;
4193             hRet = VariantChangeType(pVarLeft, pVarLeft, 0, VT_BOOL);
4194             if (FAILED(hRet))
4195                 goto VarOr_Exit;
4196             /* Fall Through ... */
4197         case VT_EMPTY: case VT_UI1: case VT_BOOL: case VT_I2:
4198             V_VT(pVarOut) = VT_I2;
4199             break;
4200         case VT_DATE: case VT_CY: case VT_DECIMAL: case VT_R4: case VT_R8:
4201         case VT_I1: case VT_UI2: case VT_I4: case VT_UI4:
4202         case VT_INT: case VT_UINT: case VT_UI8:
4203             V_VT(pVarOut) = VT_I4;
4204             break;
4205         case VT_I8:
4206             V_VT(pVarOut) = VT_I8;
4207             break;
4208         default:
4209             hRet = DISP_E_BADVARTYPE;
4210             goto VarOr_Exit;
4211         }
4212         hRet = VariantCopy(&varLeft, pVarLeft);
4213         if (FAILED(hRet))
4214             goto VarOr_Exit;
4215         pVarLeft = &varLeft;
4216         hRet = VariantChangeType(pVarOut, pVarLeft, 0, V_VT(pVarOut));
4217         goto VarOr_Exit;
4218     }
4219
4220     if (V_VT(pVarLeft) == VT_BOOL && V_VT(pVarRight) == VT_BOOL)
4221     {
4222         V_VT(pVarOut) = VT_BOOL;
4223         V_BOOL(pVarOut) = V_BOOL(pVarLeft) | V_BOOL(pVarRight);
4224         hRet = S_OK;
4225         goto VarOr_Exit;
4226     }
4227
4228     if (V_VT(pVarLeft) == VT_UI1 && V_VT(pVarRight) == VT_UI1)
4229     {
4230         V_VT(pVarOut) = VT_UI1;
4231         V_UI1(pVarOut) = V_UI1(pVarLeft) | V_UI1(pVarRight);
4232         hRet = S_OK;
4233         goto VarOr_Exit;
4234     }
4235
4236     if (V_VT(pVarLeft) == VT_BSTR)
4237     {
4238         hRet = VariantCopy(&varStr, pVarLeft);
4239         if (FAILED(hRet))
4240             goto VarOr_Exit;
4241         pVarLeft = &varStr;
4242         hRet = VariantChangeType(pVarLeft, pVarLeft, 0, VT_BOOL);
4243         if (FAILED(hRet))
4244             goto VarOr_Exit;
4245     }
4246
4247     if (V_VT(pVarLeft) == VT_BOOL &&
4248         (V_VT(pVarRight) == VT_BOOL || V_VT(pVarRight) == VT_BSTR))
4249     {
4250         vt = VT_BOOL;
4251     }
4252     else if ((V_VT(pVarLeft) == VT_BOOL || V_VT(pVarLeft) == VT_UI1 ||
4253         V_VT(pVarLeft) == VT_I2 || V_VT(pVarLeft) == VT_BSTR) &&
4254         (V_VT(pVarRight) == VT_BOOL || V_VT(pVarRight) == VT_UI1 ||
4255         V_VT(pVarRight) == VT_I2 || V_VT(pVarRight) == VT_BSTR))
4256     {
4257         vt = VT_I2;
4258     }
4259     else if (V_VT(pVarLeft) == VT_I8 || V_VT(pVarRight) == VT_I8)
4260     {
4261         if (V_VT(pVarLeft) == VT_INT || V_VT(pVarRight) == VT_INT)
4262         {
4263             hRet = DISP_E_TYPEMISMATCH;
4264             goto VarOr_Exit;
4265         }
4266         vt = VT_I8;
4267     }
4268
4269     hRet = VariantCopy(&varLeft, pVarLeft);
4270     if (FAILED(hRet))
4271         goto VarOr_Exit;
4272
4273     hRet = VariantCopy(&varRight, pVarRight);
4274     if (FAILED(hRet))
4275         goto VarOr_Exit;
4276
4277     if (vt == VT_I4 && V_VT(&varLeft) == VT_UI4)
4278         V_VT(&varLeft) = VT_I4; /* Don't overflow */
4279     else
4280     {
4281         double d;
4282
4283         if (V_VT(&varLeft) == VT_BSTR &&
4284             FAILED(VarR8FromStr(V_BSTR(&varLeft), LOCALE_USER_DEFAULT, 0, &d)))
4285             hRet = VariantChangeType(&varLeft, &varLeft, VARIANT_LOCALBOOL, VT_BOOL);
4286         if (SUCCEEDED(hRet) && V_VT(&varLeft) != vt)
4287             hRet = VariantChangeType(&varLeft, &varLeft, 0, vt);
4288         if (FAILED(hRet))
4289             goto VarOr_Exit;
4290     }
4291
4292     if (vt == VT_I4 && V_VT(&varRight) == VT_UI4)
4293         V_VT(&varRight) = VT_I4; /* Don't overflow */
4294     else
4295     {
4296         double d;
4297
4298         if (V_VT(&varRight) == VT_BSTR &&
4299             FAILED(VarR8FromStr(V_BSTR(&varRight), LOCALE_USER_DEFAULT, 0, &d)))
4300             hRet = VariantChangeType(&varRight, &varRight, VARIANT_LOCALBOOL, VT_BOOL);
4301         if (SUCCEEDED(hRet) && V_VT(&varRight) != vt)
4302             hRet = VariantChangeType(&varRight, &varRight, 0, vt);
4303         if (FAILED(hRet))
4304             goto VarOr_Exit;
4305     }
4306
4307     V_VT(pVarOut) = vt;
4308     if (vt == VT_I8)
4309     {
4310         V_I8(pVarOut) = V_I8(&varLeft) | V_I8(&varRight);
4311     }
4312     else if (vt == VT_I4)
4313     {
4314         V_I4(pVarOut) = V_I4(&varLeft) | V_I4(&varRight);
4315     }
4316     else
4317     {
4318         V_I2(pVarOut) = V_I2(&varLeft) | V_I2(&varRight);
4319     }
4320
4321 VarOr_Exit:
4322     VariantClear(&varStr);
4323     VariantClear(&varLeft);
4324     VariantClear(&varRight);
4325     VariantClear(&tempLeft);
4326     VariantClear(&tempRight);
4327     return hRet;
4328 }
4329
4330 /**********************************************************************
4331  * VarAbs [OLEAUT32.168]
4332  *
4333  * Convert a variant to its absolute value.
4334  *
4335  * PARAMS
4336  *  pVarIn  [I] Source variant
4337  *  pVarOut [O] Destination for converted value
4338  *
4339  * RETURNS
4340  *  Success: S_OK. pVarOut contains the absolute value of pVarIn.
4341  *  Failure: An HRESULT error code indicating the error.
4342  *
4343  * NOTES
4344  *  - This function does not process by-reference variants.
4345  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
4346  *    according to the following table:
4347  *| Input Type       Output Type
4348  *| ----------       -----------
4349  *| VT_BOOL          VT_I2
4350  *| VT_BSTR          VT_R8
4351  *| (All others)     Unchanged
4352  */
4353 HRESULT WINAPI VarAbs(LPVARIANT pVarIn, LPVARIANT pVarOut)
4354 {
4355     VARIANT varIn;
4356     HRESULT hRet = S_OK;
4357     VARIANT temp;
4358
4359     VariantInit(&temp);
4360
4361     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
4362           debugstr_VF(pVarIn), pVarOut);
4363
4364     /* Handle VT_DISPATCH by storing and taking address of returned value */
4365     if ((V_VT(pVarIn) & VT_TYPEMASK) == VT_DISPATCH && ((V_VT(pVarIn) & ~VT_TYPEMASK) == 0))
4366     {
4367         hRet = VARIANT_FetchDispatchValue(pVarIn, &temp);
4368         if (FAILED(hRet)) goto VarAbs_Exit;
4369         pVarIn = &temp;
4370     }
4371
4372     if (V_ISARRAY(pVarIn) || V_VT(pVarIn) == VT_UNKNOWN ||
4373         V_VT(pVarIn) == VT_DISPATCH || V_VT(pVarIn) == VT_RECORD ||
4374         V_VT(pVarIn) == VT_ERROR)
4375     {
4376         hRet = DISP_E_TYPEMISMATCH;
4377         goto VarAbs_Exit;
4378     }
4379     *pVarOut = *pVarIn; /* Shallow copy the value, and invert it if needed */
4380
4381 #define ABS_CASE(typ,min) \
4382     case VT_##typ: if (V_##typ(pVarIn) == min) hRet = DISP_E_OVERFLOW; \
4383                   else if (V_##typ(pVarIn) < 0) V_##typ(pVarOut) = -V_##typ(pVarIn); \
4384                   break
4385
4386     switch (V_VT(pVarIn))
4387     {
4388     ABS_CASE(I1,I1_MIN);
4389     case VT_BOOL:
4390         V_VT(pVarOut) = VT_I2;
4391         /* BOOL->I2, Fall through ... */
4392     ABS_CASE(I2,I2_MIN);
4393     case VT_INT:
4394     ABS_CASE(I4,I4_MIN);
4395     ABS_CASE(I8,I8_MIN);
4396     ABS_CASE(R4,R4_MIN);
4397     case VT_BSTR:
4398         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(&varIn));
4399         if (FAILED(hRet))
4400             break;
4401         V_VT(pVarOut) = VT_R8;
4402         pVarIn = &varIn;
4403         /* Fall through ... */
4404     case VT_DATE:
4405     ABS_CASE(R8,R8_MIN);
4406     case VT_CY:
4407         hRet = VarCyAbs(V_CY(pVarIn), & V_CY(pVarOut));
4408         break;
4409     case VT_DECIMAL:
4410         DEC_SIGN(&V_DECIMAL(pVarOut)) &= ~DECIMAL_NEG;
4411         break;
4412     case VT_UI1:
4413     case VT_UI2:
4414     case VT_UINT:
4415     case VT_UI4:
4416     case VT_UI8:
4417         /* No-Op */
4418         break;
4419     case VT_EMPTY:
4420         V_VT(pVarOut) = VT_I2;
4421     case VT_NULL:
4422         V_I2(pVarOut) = 0;
4423         break;
4424     default:
4425         hRet = DISP_E_BADVARTYPE;
4426     }
4427
4428 VarAbs_Exit:
4429     VariantClear(&temp);
4430     return hRet;
4431 }
4432
4433 /**********************************************************************
4434  *              VarFix [OLEAUT32.169]
4435  *
4436  * Truncate a variants value to a whole number.
4437  *
4438  * PARAMS
4439  *  pVarIn  [I] Source variant
4440  *  pVarOut [O] Destination for converted value
4441  *
4442  * RETURNS
4443  *  Success: S_OK. pVarOut contains the converted value.
4444  *  Failure: An HRESULT error code indicating the error.
4445  *
4446  * NOTES
4447  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
4448  *    according to the following table:
4449  *| Input Type       Output Type
4450  *| ----------       -----------
4451  *|  VT_BOOL          VT_I2
4452  *|  VT_EMPTY         VT_I2
4453  *|  VT_BSTR          VT_R8
4454  *|  All Others       Unchanged
4455  *  - The difference between this function and VarInt() is that VarInt() rounds
4456  *    negative numbers away from 0, while this function rounds them towards zero.
4457  */
4458 HRESULT WINAPI VarFix(LPVARIANT pVarIn, LPVARIANT pVarOut)
4459 {
4460     HRESULT hRet = S_OK;
4461     VARIANT temp;
4462
4463     VariantInit(&temp);
4464
4465     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
4466           debugstr_VF(pVarIn), pVarOut);
4467
4468     /* Handle VT_DISPATCH by storing and taking address of returned value */
4469     if ((V_VT(pVarIn) & VT_TYPEMASK) == VT_DISPATCH && ((V_VT(pVarIn) & ~VT_TYPEMASK) == 0))
4470     {
4471         hRet = VARIANT_FetchDispatchValue(pVarIn, &temp);
4472         if (FAILED(hRet)) goto VarFix_Exit;
4473         pVarIn = &temp;
4474     }
4475     V_VT(pVarOut) = V_VT(pVarIn);
4476
4477     switch (V_VT(pVarIn))
4478     {
4479     case VT_UI1:
4480         V_UI1(pVarOut) = V_UI1(pVarIn);
4481         break;
4482     case VT_BOOL:
4483         V_VT(pVarOut) = VT_I2;
4484         /* Fall through */
4485      case VT_I2:
4486         V_I2(pVarOut) = V_I2(pVarIn);
4487         break;
4488      case VT_I4:
4489         V_I4(pVarOut) = V_I4(pVarIn);
4490         break;
4491      case VT_I8:
4492         V_I8(pVarOut) = V_I8(pVarIn);
4493         break;
4494     case VT_R4:
4495         if (V_R4(pVarIn) < 0.0f)
4496             V_R4(pVarOut) = (float)ceil(V_R4(pVarIn));
4497         else
4498             V_R4(pVarOut) = (float)floor(V_R4(pVarIn));
4499         break;
4500     case VT_BSTR:
4501         V_VT(pVarOut) = VT_R8;
4502         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(pVarOut));
4503         pVarIn = pVarOut;
4504         /* Fall through */
4505     case VT_DATE:
4506     case VT_R8:
4507         if (V_R8(pVarIn) < 0.0)
4508             V_R8(pVarOut) = ceil(V_R8(pVarIn));
4509         else
4510             V_R8(pVarOut) = floor(V_R8(pVarIn));
4511         break;
4512     case VT_CY:
4513         hRet = VarCyFix(V_CY(pVarIn), &V_CY(pVarOut));
4514         break;
4515     case VT_DECIMAL:
4516         hRet = VarDecFix(&V_DECIMAL(pVarIn), &V_DECIMAL(pVarOut));
4517         break;
4518     case VT_EMPTY:
4519         V_VT(pVarOut) = VT_I2;
4520         V_I2(pVarOut) = 0;
4521         break;
4522     case VT_NULL:
4523         /* No-Op */
4524         break;
4525     default:
4526         if (V_TYPE(pVarIn) == VT_CLSID || /* VT_CLSID is a special case */
4527             FAILED(VARIANT_ValidateType(V_VT(pVarIn))))
4528             hRet = DISP_E_BADVARTYPE;
4529         else
4530             hRet = DISP_E_TYPEMISMATCH;
4531     }
4532 VarFix_Exit:
4533     if (FAILED(hRet))
4534       V_VT(pVarOut) = VT_EMPTY;
4535     VariantClear(&temp);
4536
4537     return hRet;
4538 }
4539
4540 /**********************************************************************
4541  *              VarInt [OLEAUT32.172]
4542  *
4543  * Truncate a variants value to a whole number.
4544  *
4545  * PARAMS
4546  *  pVarIn  [I] Source variant
4547  *  pVarOut [O] Destination for converted value
4548  *
4549  * RETURNS
4550  *  Success: S_OK. pVarOut contains the converted value.
4551  *  Failure: An HRESULT error code indicating the error.
4552  *
4553  * NOTES
4554  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
4555  *    according to the following table:
4556  *| Input Type       Output Type
4557  *| ----------       -----------
4558  *|  VT_BOOL          VT_I2
4559  *|  VT_EMPTY         VT_I2
4560  *|  VT_BSTR          VT_R8
4561  *|  All Others       Unchanged
4562  *  - The difference between this function and VarFix() is that VarFix() rounds
4563  *    negative numbers towards 0, while this function rounds them away from zero.
4564  */
4565 HRESULT WINAPI VarInt(LPVARIANT pVarIn, LPVARIANT pVarOut)
4566 {
4567     HRESULT hRet = S_OK;
4568     VARIANT temp;
4569
4570     VariantInit(&temp);
4571
4572     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
4573           debugstr_VF(pVarIn), pVarOut);
4574
4575     /* Handle VT_DISPATCH by storing and taking address of returned value */
4576     if ((V_VT(pVarIn) & VT_TYPEMASK) == VT_DISPATCH && ((V_VT(pVarIn) & ~VT_TYPEMASK) == 0))
4577     {
4578         hRet = VARIANT_FetchDispatchValue(pVarIn, &temp);
4579         if (FAILED(hRet)) goto VarInt_Exit;
4580         pVarIn = &temp;
4581     }
4582     V_VT(pVarOut) = V_VT(pVarIn);
4583
4584     switch (V_VT(pVarIn))
4585     {
4586     case VT_R4:
4587         V_R4(pVarOut) = (float)floor(V_R4(pVarIn));
4588         break;
4589     case VT_BSTR:
4590         V_VT(pVarOut) = VT_R8;
4591         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(pVarOut));
4592         pVarIn = pVarOut;
4593         /* Fall through */
4594     case VT_DATE:
4595     case VT_R8:
4596         V_R8(pVarOut) = floor(V_R8(pVarIn));
4597         break;
4598     case VT_CY:
4599         hRet = VarCyInt(V_CY(pVarIn), &V_CY(pVarOut));
4600         break;
4601     case VT_DECIMAL:
4602         hRet = VarDecInt(&V_DECIMAL(pVarIn), &V_DECIMAL(pVarOut));
4603         break;
4604     default:
4605         hRet = VarFix(pVarIn, pVarOut);
4606     }
4607 VarInt_Exit:
4608     VariantClear(&temp);
4609
4610     return hRet;
4611 }
4612
4613 /**********************************************************************
4614  *              VarXor [OLEAUT32.167]
4615  *
4616  * Perform a logical exclusive-or (XOR) operation on two variants.
4617  *
4618  * PARAMS
4619  *  pVarLeft  [I] First variant
4620  *  pVarRight [I] Variant to XOR with pVarLeft
4621  *  pVarOut   [O] Destination for XOR result
4622  *
4623  * RETURNS
4624  *  Success: S_OK. pVarOut contains the result of the operation with its type
4625  *           taken from the table below).
4626  *  Failure: An HRESULT error code indicating the error.
4627  *
4628  * NOTES
4629  *  - Neither pVarLeft or pVarRight are modified by this function.
4630  *  - This function does not process by-reference variants.
4631  *  - Input types of VT_BSTR may be numeric strings or boolean text.
4632  *  - The type of result stored in pVarOut depends on the types of pVarLeft
4633  *    and pVarRight, and will be one of VT_UI1, VT_I2, VT_I4, VT_I8, VT_BOOL,
4634  *    or VT_NULL if the function succeeds.
4635  *  - Type promotion is inconsistent and as a result certain combinations of
4636  *    values will return DISP_E_OVERFLOW even when they could be represented.
4637  *    This matches the behaviour of native oleaut32.
4638  */
4639 HRESULT WINAPI VarXor(LPVARIANT pVarLeft, LPVARIANT pVarRight, LPVARIANT pVarOut)
4640 {
4641     VARTYPE vt;
4642     VARIANT varLeft, varRight;
4643     VARIANT tempLeft, tempRight;
4644     double d;
4645     HRESULT hRet;
4646
4647     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", pVarLeft, debugstr_VT(pVarLeft),
4648           debugstr_VF(pVarLeft), pVarRight, debugstr_VT(pVarRight),
4649           debugstr_VF(pVarRight), pVarOut);
4650
4651     if (V_EXTRA_TYPE(pVarLeft) || V_EXTRA_TYPE(pVarRight) ||
4652         V_VT(pVarLeft) > VT_UINT || V_VT(pVarRight) > VT_UINT ||
4653         V_VT(pVarLeft) == VT_VARIANT || V_VT(pVarRight) == VT_VARIANT ||
4654         V_VT(pVarLeft) == VT_UNKNOWN || V_VT(pVarRight) == VT_UNKNOWN ||
4655         V_VT(pVarLeft) == (VARTYPE)15 || V_VT(pVarRight) == (VARTYPE)15 ||
4656         V_VT(pVarLeft) == VT_ERROR || V_VT(pVarRight) == VT_ERROR)
4657         return DISP_E_BADVARTYPE;
4658
4659     if (V_VT(pVarLeft) == VT_NULL || V_VT(pVarRight) == VT_NULL)
4660     {
4661         /* NULL XOR anything valid is NULL */
4662         V_VT(pVarOut) = VT_NULL;
4663         return S_OK;
4664     }
4665
4666     VariantInit(&tempLeft);
4667     VariantInit(&tempRight);
4668
4669     /* Handle VT_DISPATCH by storing and taking address of returned value */
4670     if ((V_VT(pVarLeft) & VT_TYPEMASK) == VT_DISPATCH)
4671     {
4672         hRet = VARIANT_FetchDispatchValue(pVarLeft, &tempLeft);
4673         if (FAILED(hRet)) goto VarXor_Exit;
4674         pVarLeft = &tempLeft;
4675     }
4676     if ((V_VT(pVarRight) & VT_TYPEMASK) == VT_DISPATCH)
4677     {
4678         hRet = VARIANT_FetchDispatchValue(pVarRight, &tempRight);
4679         if (FAILED(hRet)) goto VarXor_Exit;
4680         pVarRight = &tempRight;
4681     }
4682
4683     /* Copy our inputs so we don't disturb anything */
4684     V_VT(&varLeft) = V_VT(&varRight) = VT_EMPTY;
4685
4686     hRet = VariantCopy(&varLeft, pVarLeft);
4687     if (FAILED(hRet))
4688         goto VarXor_Exit;
4689
4690     hRet = VariantCopy(&varRight, pVarRight);
4691     if (FAILED(hRet))
4692         goto VarXor_Exit;
4693
4694     /* Try any strings first as numbers, then as VT_BOOL */
4695     if (V_VT(&varLeft) == VT_BSTR)
4696     {
4697         hRet = VarR8FromStr(V_BSTR(&varLeft), LOCALE_USER_DEFAULT, 0, &d);
4698         hRet = VariantChangeType(&varLeft, &varLeft, VARIANT_LOCALBOOL,
4699                                  FAILED(hRet) ? VT_BOOL : VT_I4);
4700         if (FAILED(hRet))
4701             goto VarXor_Exit;
4702     }
4703
4704     if (V_VT(&varRight) == VT_BSTR)
4705     {
4706         hRet = VarR8FromStr(V_BSTR(&varRight), LOCALE_USER_DEFAULT, 0, &d);
4707         hRet = VariantChangeType(&varRight, &varRight, VARIANT_LOCALBOOL,
4708                                  FAILED(hRet) ? VT_BOOL : VT_I4);
4709         if (FAILED(hRet))
4710             goto VarXor_Exit;
4711     }
4712
4713     /* Determine the result type */
4714     if (V_VT(&varLeft) == VT_I8 || V_VT(&varRight) == VT_I8)
4715     {
4716         if (V_VT(pVarLeft) == VT_INT || V_VT(pVarRight) == VT_INT)
4717         {
4718             hRet = DISP_E_TYPEMISMATCH;
4719             goto VarXor_Exit;
4720         }
4721         vt = VT_I8;
4722     }
4723     else
4724     {
4725         switch ((V_VT(&varLeft) << 16) | V_VT(&varRight))
4726         {
4727         case (VT_BOOL  << 16) | VT_BOOL:
4728             vt = VT_BOOL;
4729             break;
4730         case (VT_UI1   << 16) | VT_UI1:
4731             vt = VT_UI1;
4732             break;
4733         case (VT_EMPTY << 16) | VT_EMPTY:
4734         case (VT_EMPTY << 16) | VT_UI1:
4735         case (VT_EMPTY << 16) | VT_I2:
4736         case (VT_EMPTY << 16) | VT_BOOL:
4737         case (VT_UI1   << 16) | VT_EMPTY:
4738         case (VT_UI1   << 16) | VT_I2:
4739         case (VT_UI1   << 16) | VT_BOOL:
4740         case (VT_I2    << 16) | VT_EMPTY:
4741         case (VT_I2    << 16) | VT_UI1:
4742         case (VT_I2    << 16) | VT_I2:
4743         case (VT_I2    << 16) | VT_BOOL:
4744         case (VT_BOOL  << 16) | VT_EMPTY:
4745         case (VT_BOOL  << 16) | VT_UI1:
4746         case (VT_BOOL  << 16) | VT_I2:
4747             vt = VT_I2;
4748             break;
4749         default:
4750             vt = VT_I4;
4751             break;
4752         }
4753     }
4754
4755     /* VT_UI4 does not overflow */
4756     if (vt != VT_I8)
4757     {
4758         if (V_VT(&varLeft) == VT_UI4)
4759             V_VT(&varLeft) = VT_I4;
4760         if (V_VT(&varRight) == VT_UI4)
4761             V_VT(&varRight) = VT_I4;
4762     }
4763
4764     /* Convert our input copies to the result type */
4765     if (V_VT(&varLeft) != vt)
4766         hRet = VariantChangeType(&varLeft, &varLeft, 0, vt);
4767     if (FAILED(hRet))
4768         goto VarXor_Exit;
4769
4770     if (V_VT(&varRight) != vt)
4771         hRet = VariantChangeType(&varRight, &varRight, 0, vt);
4772     if (FAILED(hRet))
4773         goto VarXor_Exit;
4774
4775     V_VT(pVarOut) = vt;
4776
4777     /* Calculate the result */
4778     switch (vt)
4779     {
4780     case VT_I8:
4781         V_I8(pVarOut) = V_I8(&varLeft) ^ V_I8(&varRight);
4782         break;
4783     case VT_I4:
4784         V_I4(pVarOut) = V_I4(&varLeft) ^ V_I4(&varRight);
4785         break;
4786     case VT_BOOL:
4787     case VT_I2:
4788         V_I2(pVarOut) = V_I2(&varLeft) ^ V_I2(&varRight);
4789         break;
4790     case VT_UI1:
4791         V_UI1(pVarOut) = V_UI1(&varLeft) ^ V_UI1(&varRight);
4792         break;
4793     }
4794
4795 VarXor_Exit:
4796     VariantClear(&varLeft);
4797     VariantClear(&varRight);
4798     VariantClear(&tempLeft);
4799     VariantClear(&tempRight);
4800     return hRet;
4801 }
4802
4803 /**********************************************************************
4804  *              VarEqv [OLEAUT32.172]
4805  *
4806  * Determine if two variants contain the same value.
4807  *
4808  * PARAMS
4809  *  pVarLeft  [I] First variant to compare
4810  *  pVarRight [I] Variant to compare to pVarLeft
4811  *  pVarOut   [O] Destination for comparison result
4812  *
4813  * RETURNS
4814  *  Success: S_OK. pVarOut contains the result of the comparison (VARIANT_TRUE
4815  *           if equivalent or non-zero otherwise.
4816  *  Failure: An HRESULT error code indicating the error.
4817  *
4818  * NOTES
4819  *  - This function simply calls VarXor() on pVarLeft and pVarRight and inverts
4820  *    the result.
4821  */
4822 HRESULT WINAPI VarEqv(LPVARIANT pVarLeft, LPVARIANT pVarRight, LPVARIANT pVarOut)
4823 {
4824     HRESULT hRet;
4825
4826     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", pVarLeft, debugstr_VT(pVarLeft),
4827           debugstr_VF(pVarLeft), pVarRight, debugstr_VT(pVarRight),
4828           debugstr_VF(pVarRight), pVarOut);
4829
4830     hRet = VarXor(pVarLeft, pVarRight, pVarOut);
4831     if (SUCCEEDED(hRet))
4832     {
4833         if (V_VT(pVarOut) == VT_I8)
4834             V_I8(pVarOut) = ~V_I8(pVarOut);
4835         else
4836             V_UI4(pVarOut) = ~V_UI4(pVarOut);
4837     }
4838     return hRet;
4839 }
4840
4841 /**********************************************************************
4842  *              VarNeg [OLEAUT32.173]
4843  *
4844  * Negate the value of a variant.
4845  *
4846  * PARAMS
4847  *  pVarIn  [I] Source variant
4848  *  pVarOut [O] Destination for converted value
4849  *
4850  * RETURNS
4851  *  Success: S_OK. pVarOut contains the converted value.
4852  *  Failure: An HRESULT error code indicating the error.
4853  *
4854  * NOTES
4855  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
4856  *    according to the following table:
4857  *| Input Type       Output Type
4858  *| ----------       -----------
4859  *|  VT_EMPTY         VT_I2
4860  *|  VT_UI1           VT_I2
4861  *|  VT_BOOL          VT_I2
4862  *|  VT_BSTR          VT_R8
4863  *|  All Others       Unchanged (unless promoted)
4864  *  - Where the negated value of a variant does not fit in its base type, the type
4865  *    is promoted according to the following table:
4866  *| Input Type       Promoted To
4867  *| ----------       -----------
4868  *|   VT_I2            VT_I4
4869  *|   VT_I4            VT_R8
4870  *|   VT_I8            VT_R8
4871  *  - The native version of this function returns DISP_E_BADVARTYPE for valid
4872  *    variant types that cannot be negated, and returns DISP_E_TYPEMISMATCH
4873  *    for types which are not valid. Since this is in contravention of the
4874  *    meaning of those error codes and unlikely to be relied on by applications,
4875  *    this implementation returns errors consistent with the other high level
4876  *    variant math functions.
4877  */
4878 HRESULT WINAPI VarNeg(LPVARIANT pVarIn, LPVARIANT pVarOut)
4879 {
4880     HRESULT hRet = S_OK;
4881     VARIANT temp;
4882
4883     VariantInit(&temp);
4884
4885     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
4886           debugstr_VF(pVarIn), pVarOut);
4887
4888     /* Handle VT_DISPATCH by storing and taking address of returned value */
4889     if ((V_VT(pVarIn) & VT_TYPEMASK) == VT_DISPATCH && ((V_VT(pVarIn) & ~VT_TYPEMASK) == 0))
4890     {
4891         hRet = VARIANT_FetchDispatchValue(pVarIn, &temp);
4892         if (FAILED(hRet)) goto VarNeg_Exit;
4893         pVarIn = &temp;
4894     }
4895     V_VT(pVarOut) = V_VT(pVarIn);
4896
4897     switch (V_VT(pVarIn))
4898     {
4899     case VT_UI1:
4900         V_VT(pVarOut) = VT_I2;
4901         V_I2(pVarOut) = -V_UI1(pVarIn);
4902         break;
4903     case VT_BOOL:
4904         V_VT(pVarOut) = VT_I2;
4905         /* Fall through */
4906     case VT_I2:
4907         if (V_I2(pVarIn) == I2_MIN)
4908         {
4909             V_VT(pVarOut) = VT_I4;
4910             V_I4(pVarOut) = -(int)V_I2(pVarIn);
4911         }
4912         else
4913             V_I2(pVarOut) = -V_I2(pVarIn);
4914         break;
4915     case VT_I4:
4916         if (V_I4(pVarIn) == I4_MIN)
4917         {
4918             V_VT(pVarOut) = VT_R8;
4919             V_R8(pVarOut) = -(double)V_I4(pVarIn);
4920         }
4921         else
4922             V_I4(pVarOut) = -V_I4(pVarIn);
4923         break;
4924     case VT_I8:
4925         if (V_I8(pVarIn) == I8_MIN)
4926         {
4927             V_VT(pVarOut) = VT_R8;
4928             hRet = VarR8FromI8(V_I8(pVarIn), &V_R8(pVarOut));
4929             V_R8(pVarOut) *= -1.0;
4930         }
4931         else
4932             V_I8(pVarOut) = -V_I8(pVarIn);
4933         break;
4934     case VT_R4:
4935         V_R4(pVarOut) = -V_R4(pVarIn);
4936         break;
4937     case VT_DATE:
4938     case VT_R8:
4939         V_R8(pVarOut) = -V_R8(pVarIn);
4940         break;
4941     case VT_CY:
4942         hRet = VarCyNeg(V_CY(pVarIn), &V_CY(pVarOut));
4943         break;
4944     case VT_DECIMAL:
4945         hRet = VarDecNeg(&V_DECIMAL(pVarIn), &V_DECIMAL(pVarOut));
4946         break;
4947     case VT_BSTR:
4948         V_VT(pVarOut) = VT_R8;
4949         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(pVarOut));
4950         V_R8(pVarOut) = -V_R8(pVarOut);
4951         break;
4952     case VT_EMPTY:
4953         V_VT(pVarOut) = VT_I2;
4954         V_I2(pVarOut) = 0;
4955         break;
4956     case VT_NULL:
4957         /* No-Op */
4958         break;
4959     default:
4960         if (V_TYPE(pVarIn) == VT_CLSID || /* VT_CLSID is a special case */
4961             FAILED(VARIANT_ValidateType(V_VT(pVarIn))))
4962             hRet = DISP_E_BADVARTYPE;
4963         else
4964             hRet = DISP_E_TYPEMISMATCH;
4965     }
4966 VarNeg_Exit:
4967     if (FAILED(hRet))
4968       V_VT(pVarOut) = VT_EMPTY;
4969     VariantClear(&temp);
4970
4971     return hRet;
4972 }
4973
4974 /**********************************************************************
4975  *              VarNot [OLEAUT32.174]
4976  *
4977  * Perform a not operation on a variant.
4978  *
4979  * PARAMS
4980  *  pVarIn  [I] Source variant
4981  *  pVarOut [O] Destination for converted value
4982  *
4983  * RETURNS
4984  *  Success: S_OK. pVarOut contains the converted value.
4985  *  Failure: An HRESULT error code indicating the error.
4986  *
4987  * NOTES
4988  *  - Strictly speaking, this function performs a bitwise ones complement
4989  *    on the variants value (after possibly converting to VT_I4, see below).
4990  *    This only behaves like a boolean not operation if the value in
4991  *    pVarIn is either VARIANT_TRUE or VARIANT_FALSE and the type is signed.
4992  *  - To perform a genuine not operation, convert the variant to a VT_BOOL
4993  *    before calling this function.
4994  *  - This function does not process by-reference variants.
4995  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
4996  *    according to the following table:
4997  *| Input Type       Output Type
4998  *| ----------       -----------
4999  *| VT_EMPTY         VT_I2
5000  *| VT_R4            VT_I4
5001  *| VT_R8            VT_I4
5002  *| VT_BSTR          VT_I4
5003  *| VT_DECIMAL       VT_I4
5004  *| VT_CY            VT_I4
5005  *| (All others)     Unchanged
5006  */
5007 HRESULT WINAPI VarNot(LPVARIANT pVarIn, LPVARIANT pVarOut)
5008 {
5009     VARIANT varIn;
5010     HRESULT hRet = S_OK;
5011     VARIANT temp;
5012
5013     VariantInit(&temp);
5014
5015     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
5016           debugstr_VF(pVarIn), pVarOut);
5017
5018     /* Handle VT_DISPATCH by storing and taking address of returned value */
5019     if ((V_VT(pVarIn) & VT_TYPEMASK) == VT_DISPATCH && ((V_VT(pVarIn) & ~VT_TYPEMASK) == 0))
5020     {
5021         hRet = VARIANT_FetchDispatchValue(pVarIn, &temp);
5022         if (FAILED(hRet)) goto VarNot_Exit;
5023         pVarIn = &temp;
5024     }
5025
5026     V_VT(pVarOut) = V_VT(pVarIn);
5027
5028     switch (V_VT(pVarIn))
5029     {
5030     case VT_I1:
5031         V_I4(pVarOut) = ~V_I1(pVarIn);
5032         V_VT(pVarOut) = VT_I4;
5033         break;
5034     case VT_UI1: V_UI1(pVarOut) = ~V_UI1(pVarIn); break;
5035     case VT_BOOL:
5036     case VT_I2:  V_I2(pVarOut) = ~V_I2(pVarIn); break;
5037     case VT_UI2:
5038         V_I4(pVarOut) = ~V_UI2(pVarIn);
5039         V_VT(pVarOut) = VT_I4;
5040         break;
5041     case VT_DECIMAL:
5042         hRet = VarI4FromDec(&V_DECIMAL(pVarIn), &V_I4(&varIn));
5043         if (FAILED(hRet))
5044             break;
5045         pVarIn = &varIn;
5046         /* Fall through ... */
5047     case VT_INT:
5048         V_VT(pVarOut) = VT_I4;
5049         /* Fall through ... */
5050     case VT_I4:  V_I4(pVarOut) = ~V_I4(pVarIn); break;
5051     case VT_UINT:
5052     case VT_UI4:
5053         V_I4(pVarOut) = ~V_UI4(pVarIn);
5054         V_VT(pVarOut) = VT_I4;
5055         break;
5056     case VT_I8:  V_I8(pVarOut) = ~V_I8(pVarIn); break;
5057     case VT_UI8:
5058         V_I4(pVarOut) = ~V_UI8(pVarIn);
5059         V_VT(pVarOut) = VT_I4;
5060         break;
5061     case VT_R4:
5062         hRet = VarI4FromR4(V_R4(pVarIn), &V_I4(pVarOut));
5063         V_I4(pVarOut) = ~V_I4(pVarOut);
5064         V_VT(pVarOut) = VT_I4;
5065         break;
5066     case VT_BSTR:
5067         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(&varIn));
5068         if (FAILED(hRet))
5069             break;
5070         pVarIn = &varIn;
5071         /* Fall through ... */
5072     case VT_DATE:
5073     case VT_R8:
5074         hRet = VarI4FromR8(V_R8(pVarIn), &V_I4(pVarOut));
5075         V_I4(pVarOut) = ~V_I4(pVarOut);
5076         V_VT(pVarOut) = VT_I4;
5077         break;
5078     case VT_CY:
5079         hRet = VarI4FromCy(V_CY(pVarIn), &V_I4(pVarOut));
5080         V_I4(pVarOut) = ~V_I4(pVarOut);
5081         V_VT(pVarOut) = VT_I4;
5082         break;
5083     case VT_EMPTY:
5084         V_I2(pVarOut) = ~0;
5085         V_VT(pVarOut) = VT_I2;
5086         break;
5087     case VT_NULL:
5088         /* No-Op */
5089         break;
5090     default:
5091         if (V_TYPE(pVarIn) == VT_CLSID || /* VT_CLSID is a special case */
5092             FAILED(VARIANT_ValidateType(V_VT(pVarIn))))
5093             hRet = DISP_E_BADVARTYPE;
5094         else
5095             hRet = DISP_E_TYPEMISMATCH;
5096     }
5097 VarNot_Exit:
5098     if (FAILED(hRet))
5099       V_VT(pVarOut) = VT_EMPTY;
5100     VariantClear(&temp);
5101
5102     return hRet;
5103 }
5104
5105 /**********************************************************************
5106  *              VarRound [OLEAUT32.175]
5107  *
5108  * Perform a round operation on a variant.
5109  *
5110  * PARAMS
5111  *  pVarIn  [I] Source variant
5112  *  deci    [I] Number of decimals to round to
5113  *  pVarOut [O] Destination for converted value
5114  *
5115  * RETURNS
5116  *  Success: S_OK. pVarOut contains the converted value.
5117  *  Failure: An HRESULT error code indicating the error.
5118  *
5119  * NOTES
5120  *  - Floating point values are rounded to the desired number of decimals.
5121  *  - Some integer types are just copied to the return variable.
5122  *  - Some other integer types are not handled and fail.
5123  */
5124 HRESULT WINAPI VarRound(LPVARIANT pVarIn, int deci, LPVARIANT pVarOut)
5125 {
5126     VARIANT varIn;
5127     HRESULT hRet = S_OK;
5128     float factor;
5129     VARIANT temp;
5130
5131     VariantInit(&temp);
5132
5133     TRACE("(%p->(%s%s),%d)\n", pVarIn, debugstr_VT(pVarIn), debugstr_VF(pVarIn), deci);
5134
5135     /* Handle VT_DISPATCH by storing and taking address of returned value */
5136     if ((V_VT(pVarIn) & VT_TYPEMASK) == VT_DISPATCH && ((V_VT(pVarIn) & ~VT_TYPEMASK) == 0))
5137     {
5138         hRet = VARIANT_FetchDispatchValue(pVarIn, &temp);
5139         if (FAILED(hRet)) goto VarRound_Exit;
5140         pVarIn = &temp;
5141     }
5142
5143     switch (V_VT(pVarIn))
5144     {
5145     /* cases that fail on windows */
5146     case VT_I1:
5147     case VT_I8:
5148     case VT_UI2:
5149     case VT_UI4:
5150         hRet = DISP_E_BADVARTYPE;
5151         break;
5152
5153     /* cases just copying in to out */
5154     case VT_UI1:
5155         V_VT(pVarOut) = V_VT(pVarIn);
5156         V_UI1(pVarOut) = V_UI1(pVarIn);
5157         break;
5158     case VT_I2:
5159         V_VT(pVarOut) = V_VT(pVarIn);
5160         V_I2(pVarOut) = V_I2(pVarIn);
5161         break;
5162     case VT_I4:
5163         V_VT(pVarOut) = V_VT(pVarIn);
5164         V_I4(pVarOut) = V_I4(pVarIn);
5165         break;
5166     case VT_NULL:
5167         V_VT(pVarOut) = V_VT(pVarIn);
5168         /* value unchanged */
5169         break;
5170
5171     /* cases that change type */
5172     case VT_EMPTY:
5173         V_VT(pVarOut) = VT_I2;
5174         V_I2(pVarOut) = 0;
5175         break;
5176     case VT_BOOL:
5177         V_VT(pVarOut) = VT_I2;
5178         V_I2(pVarOut) = V_BOOL(pVarIn);
5179         break;
5180     case VT_BSTR:
5181         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(&varIn));
5182         if (FAILED(hRet))
5183             break;
5184         V_VT(&varIn)=VT_R8;
5185         pVarIn = &varIn;
5186         /* Fall through ... */
5187
5188     /* cases we need to do math */
5189     case VT_R8:
5190         if (V_R8(pVarIn)>0) {
5191             V_R8(pVarOut)=floor(V_R8(pVarIn)*pow(10, deci)+0.5)/pow(10, deci);
5192         } else {
5193             V_R8(pVarOut)=ceil(V_R8(pVarIn)*pow(10, deci)-0.5)/pow(10, deci);
5194         }
5195         V_VT(pVarOut) = V_VT(pVarIn);
5196         break;
5197     case VT_R4:
5198         if (V_R4(pVarIn)>0) {
5199             V_R4(pVarOut)=floor(V_R4(pVarIn)*pow(10, deci)+0.5)/pow(10, deci);
5200         } else {
5201             V_R4(pVarOut)=ceil(V_R4(pVarIn)*pow(10, deci)-0.5)/pow(10, deci);
5202         }
5203         V_VT(pVarOut) = V_VT(pVarIn);
5204         break;
5205     case VT_DATE:
5206         if (V_DATE(pVarIn)>0) {
5207             V_DATE(pVarOut)=floor(V_DATE(pVarIn)*pow(10, deci)+0.5)/pow(10, deci);
5208         } else {
5209             V_DATE(pVarOut)=ceil(V_DATE(pVarIn)*pow(10, deci)-0.5)/pow(10, deci);
5210         }
5211         V_VT(pVarOut) = V_VT(pVarIn);
5212         break;
5213     case VT_CY:
5214         if (deci>3)
5215             factor=1;
5216         else
5217             factor=pow(10, 4-deci);
5218
5219         if (V_CY(pVarIn).int64>0) {
5220             V_CY(pVarOut).int64=floor(V_CY(pVarIn).int64/factor)*factor;
5221         } else {
5222             V_CY(pVarOut).int64=ceil(V_CY(pVarIn).int64/factor)*factor;
5223         }
5224         V_VT(pVarOut) = V_VT(pVarIn);
5225         break;
5226
5227     /* cases we don't know yet */
5228     default:
5229         FIXME("unimplemented part, V_VT(pVarIn) == 0x%X, deci == %d\n",
5230                 V_VT(pVarIn) & VT_TYPEMASK, deci);
5231         hRet = DISP_E_BADVARTYPE;
5232     }
5233 VarRound_Exit:
5234     if (FAILED(hRet))
5235       V_VT(pVarOut) = VT_EMPTY;
5236     VariantClear(&temp);
5237
5238     TRACE("returning 0x%08x (%s%s),%f\n", hRet, debugstr_VT(pVarOut),
5239         debugstr_VF(pVarOut), (V_VT(pVarOut) == VT_R4) ? V_R4(pVarOut) :
5240         (V_VT(pVarOut) == VT_R8) ? V_R8(pVarOut) : 0);
5241
5242     return hRet;
5243 }
5244
5245 /**********************************************************************
5246  *              VarIdiv [OLEAUT32.153]
5247  *
5248  * Converts input variants to integers and divides them.
5249  *
5250  * PARAMS
5251  *  left     [I] Left hand variant
5252  *  right    [I] Right hand variant
5253  *  result   [O] Destination for quotient
5254  *
5255  * RETURNS
5256  *  Success: S_OK.  result contains the quotient.
5257  *  Failure: An HRESULT error code indicating the error.
5258  *
5259  * NOTES
5260  *  If either expression is null, null is returned, as per MSDN
5261  */
5262 HRESULT WINAPI VarIdiv(LPVARIANT left, LPVARIANT right, LPVARIANT result)
5263 {
5264     HRESULT hres = S_OK;
5265     VARTYPE resvt = VT_EMPTY;
5266     VARTYPE leftvt,rightvt;
5267     VARTYPE rightExtraFlags,leftExtraFlags,ExtraFlags;
5268     VARIANT lv,rv;
5269     VARIANT tempLeft, tempRight;
5270
5271     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
5272           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
5273
5274     VariantInit(&lv);
5275     VariantInit(&rv);
5276     VariantInit(&tempLeft);
5277     VariantInit(&tempRight);
5278
5279     leftvt = V_VT(left)&VT_TYPEMASK;
5280     rightvt = V_VT(right)&VT_TYPEMASK;
5281     leftExtraFlags = V_VT(left)&(~VT_TYPEMASK);
5282     rightExtraFlags = V_VT(right)&(~VT_TYPEMASK);
5283
5284     if (leftExtraFlags != rightExtraFlags)
5285     {
5286         hres = DISP_E_BADVARTYPE;
5287         goto end;
5288     }
5289     ExtraFlags = leftExtraFlags;
5290
5291     /* Native VarIdiv always returns an error when using extra
5292      * flags or if the variant combination is I8 and INT.
5293      */
5294     if ((leftvt == VT_I8 && rightvt == VT_INT) ||
5295         (leftvt == VT_INT && rightvt == VT_I8) ||
5296         (rightvt == VT_EMPTY && leftvt != VT_NULL) ||
5297         ExtraFlags != 0)
5298     {
5299         hres = DISP_E_BADVARTYPE;
5300         goto end;
5301     }
5302
5303     /* Determine variant type */
5304     else if (leftvt == VT_NULL || rightvt == VT_NULL)
5305     {
5306         V_VT(result) = VT_NULL;
5307         hres = S_OK;
5308         goto end;
5309     }
5310     else if (leftvt == VT_I8 || rightvt == VT_I8)
5311         resvt = VT_I8;
5312     else if (leftvt == VT_I4 || rightvt == VT_I4 ||
5313         leftvt == VT_INT || rightvt == VT_INT ||
5314         leftvt == VT_UINT || rightvt == VT_UINT ||
5315         leftvt == VT_UI8 || rightvt == VT_UI8 ||
5316         leftvt == VT_UI4 || rightvt == VT_UI4 ||
5317         leftvt == VT_UI2 || rightvt == VT_UI2 ||
5318         leftvt == VT_I1 || rightvt == VT_I1 ||
5319         leftvt == VT_BSTR || rightvt == VT_BSTR ||
5320         leftvt == VT_DATE || rightvt == VT_DATE ||
5321         leftvt == VT_CY || rightvt == VT_CY ||
5322         leftvt == VT_DECIMAL || rightvt == VT_DECIMAL ||
5323         leftvt == VT_R8 || rightvt == VT_R8 ||
5324         leftvt == VT_R4 || rightvt == VT_R4)
5325         resvt = VT_I4;
5326     else if (leftvt == VT_I2 || rightvt == VT_I2 ||
5327         leftvt == VT_BOOL || rightvt == VT_BOOL ||
5328         leftvt == VT_EMPTY)
5329         resvt = VT_I2;
5330     else if (leftvt == VT_UI1 || rightvt == VT_UI1)
5331         resvt = VT_UI1;
5332     else
5333     {
5334         hres = DISP_E_BADVARTYPE;
5335         goto end;
5336     }
5337
5338     /* coerce to the result type */
5339     hres = VariantChangeType(&lv, left, 0, resvt);
5340     if (hres != S_OK) goto end;
5341     hres = VariantChangeType(&rv, right, 0, resvt);
5342     if (hres != S_OK) goto end;
5343
5344     /* do the math */
5345     V_VT(result) = resvt;
5346     switch (resvt)
5347     {
5348     case VT_UI1:
5349     if (V_UI1(&rv) == 0)
5350     {
5351         hres = DISP_E_DIVBYZERO;
5352         V_VT(result) = VT_EMPTY;
5353     }
5354     else
5355         V_UI1(result) = V_UI1(&lv) / V_UI1(&rv);
5356     break;
5357     case VT_I2:
5358     if (V_I2(&rv) == 0)
5359     {
5360         hres = DISP_E_DIVBYZERO;
5361         V_VT(result) = VT_EMPTY;
5362     }
5363     else
5364         V_I2(result) = V_I2(&lv) / V_I2(&rv);
5365     break;
5366     case VT_I4:
5367     if (V_I4(&rv) == 0)
5368     {
5369         hres = DISP_E_DIVBYZERO;
5370         V_VT(result) = VT_EMPTY;
5371     }
5372     else
5373         V_I4(result) = V_I4(&lv) / V_I4(&rv);
5374     break;
5375     case VT_I8:
5376     if (V_I8(&rv) == 0)
5377     {
5378         hres = DISP_E_DIVBYZERO;
5379         V_VT(result) = VT_EMPTY;
5380     }
5381     else
5382         V_I8(result) = V_I8(&lv) / V_I8(&rv);
5383     break;
5384     default:
5385         FIXME("Couldn't integer divide variant types %d,%d\n",
5386             leftvt,rightvt);
5387     }
5388
5389 end:
5390     VariantClear(&lv);
5391     VariantClear(&rv);
5392     VariantClear(&tempLeft);
5393     VariantClear(&tempRight);
5394
5395     return hres;
5396 }
5397
5398
5399 /**********************************************************************
5400  *              VarMod [OLEAUT32.155]
5401  *
5402  * Perform the modulus operation of the right hand variant on the left
5403  *
5404  * PARAMS
5405  *  left     [I] Left hand variant
5406  *  right    [I] Right hand variant
5407  *  result   [O] Destination for converted value
5408  *
5409  * RETURNS
5410  *  Success: S_OK. result contains the remainder.
5411  *  Failure: An HRESULT error code indicating the error.
5412  *
5413  * NOTE:
5414  *   If an error occurs the type of result will be modified but the value will not be.
5415  *   Doesn't support arrays or any special flags yet.
5416  */
5417 HRESULT WINAPI VarMod(LPVARIANT left, LPVARIANT right, LPVARIANT result)
5418 {
5419     BOOL         lOk        = TRUE;
5420     HRESULT      rc         = E_FAIL;
5421     int          resT = 0;
5422     VARIANT      lv,rv;
5423     VARIANT tempLeft, tempRight;
5424
5425     VariantInit(&tempLeft);
5426     VariantInit(&tempRight);
5427     VariantInit(&lv);
5428     VariantInit(&rv);
5429
5430     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
5431                   debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
5432
5433     /* Handle VT_DISPATCH by storing and taking address of returned value */
5434     if ((V_VT(left) & VT_TYPEMASK) == VT_DISPATCH)
5435     {
5436         rc = VARIANT_FetchDispatchValue(left, &tempLeft);
5437         if (FAILED(rc)) goto end;
5438         left = &tempLeft;
5439     }
5440     if ((V_VT(right) & VT_TYPEMASK) == VT_DISPATCH)
5441     {
5442         rc = VARIANT_FetchDispatchValue(right, &tempRight);
5443         if (FAILED(rc)) goto end;
5444         right = &tempRight;
5445     }
5446
5447     /* check for invalid inputs */
5448     lOk = TRUE;
5449     switch (V_VT(left) & VT_TYPEMASK) {
5450     case VT_BOOL :
5451     case VT_I1   :
5452     case VT_I2   :
5453     case VT_I4   :
5454     case VT_I8   :
5455     case VT_INT  :
5456     case VT_UI1  :
5457     case VT_UI2  :
5458     case VT_UI4  :
5459     case VT_UI8  :
5460     case VT_UINT :
5461     case VT_R4   :
5462     case VT_R8   :
5463     case VT_CY   :
5464     case VT_EMPTY:
5465     case VT_DATE :
5466     case VT_BSTR :
5467     case VT_DECIMAL:
5468       break;
5469     case VT_VARIANT:
5470     case VT_UNKNOWN:
5471       V_VT(result) = VT_EMPTY;
5472       rc = DISP_E_TYPEMISMATCH;
5473       goto end;
5474     case VT_ERROR:
5475       rc = DISP_E_TYPEMISMATCH;
5476       goto end;
5477     case VT_RECORD:
5478       V_VT(result) = VT_EMPTY;
5479       rc = DISP_E_TYPEMISMATCH;
5480       goto end;
5481     case VT_NULL:
5482       break;
5483     default:
5484       V_VT(result) = VT_EMPTY;
5485       rc = DISP_E_BADVARTYPE;
5486       goto end;
5487     }
5488
5489
5490     switch (V_VT(right) & VT_TYPEMASK) {
5491     case VT_BOOL :
5492     case VT_I1   :
5493     case VT_I2   :
5494     case VT_I4   :
5495     case VT_I8   :
5496       if((V_VT(left) == VT_INT) && (V_VT(right) == VT_I8))
5497       {
5498         V_VT(result) = VT_EMPTY;
5499         rc = DISP_E_TYPEMISMATCH;
5500         goto end;
5501       }
5502     case VT_INT  :
5503       if((V_VT(right) == VT_INT) && (V_VT(left) == VT_I8))
5504       {
5505         V_VT(result) = VT_EMPTY;
5506         rc = DISP_E_TYPEMISMATCH;
5507         goto end;
5508       }
5509     case VT_UI1  :
5510     case VT_UI2  :
5511     case VT_UI4  :
5512     case VT_UI8  :
5513     case VT_UINT :
5514     case VT_R4   :
5515     case VT_R8   :
5516     case VT_CY   :
5517       if(V_VT(left) == VT_EMPTY)
5518       {
5519         V_VT(result) = VT_I4;
5520         rc = S_OK;
5521         goto end;
5522       }
5523     case VT_EMPTY:
5524     case VT_DATE :
5525     case VT_DECIMAL:
5526       if(V_VT(left) == VT_ERROR)
5527       {
5528         V_VT(result) = VT_EMPTY;
5529         rc = DISP_E_TYPEMISMATCH;
5530         goto end;
5531       }
5532     case VT_BSTR:
5533       if(V_VT(left) == VT_NULL)
5534       {
5535         V_VT(result) = VT_NULL;
5536         rc = S_OK;
5537         goto end;
5538       }
5539       break;
5540
5541     case VT_VOID:
5542       V_VT(result) = VT_EMPTY;
5543       rc = DISP_E_BADVARTYPE;
5544       goto end;
5545     case VT_NULL:
5546       if(V_VT(left) == VT_VOID)
5547       {
5548         V_VT(result) = VT_EMPTY;
5549         rc = DISP_E_BADVARTYPE;
5550       } else if((V_VT(left) == VT_NULL) || (V_VT(left) == VT_EMPTY) || (V_VT(left) == VT_ERROR) ||
5551                 lOk)
5552       {
5553         V_VT(result) = VT_NULL;
5554         rc = S_OK;
5555       } else
5556       {
5557         V_VT(result) = VT_NULL;
5558         rc = DISP_E_BADVARTYPE;
5559       }
5560       goto end;
5561     case VT_VARIANT:
5562     case VT_UNKNOWN:
5563       V_VT(result) = VT_EMPTY;
5564       rc = DISP_E_TYPEMISMATCH;
5565       goto end;
5566     case VT_ERROR:
5567       rc = DISP_E_TYPEMISMATCH;
5568       goto end;
5569     case VT_RECORD:
5570       if((V_VT(left) == 15) || ((V_VT(left) >= 24) && (V_VT(left) <= 35)) || !lOk)
5571       {
5572         V_VT(result) = VT_EMPTY;
5573         rc = DISP_E_BADVARTYPE;
5574       } else
5575       {
5576         V_VT(result) = VT_EMPTY;
5577         rc = DISP_E_TYPEMISMATCH;
5578       }
5579       goto end;
5580     default:
5581       V_VT(result) = VT_EMPTY;
5582       rc = DISP_E_BADVARTYPE;
5583       goto end;
5584     }
5585
5586     /* determine the result type */
5587     if((V_VT(left) == VT_I8)        || (V_VT(right) == VT_I8))   resT = VT_I8;
5588     else if((V_VT(left) == VT_UI1)  && (V_VT(right) == VT_BOOL)) resT = VT_I2;
5589     else if((V_VT(left) == VT_UI1)  && (V_VT(right) == VT_UI1))  resT = VT_UI1;
5590     else if((V_VT(left) == VT_UI1)  && (V_VT(right) == VT_I2))   resT = VT_I2;
5591     else if((V_VT(left) == VT_I2)   && (V_VT(right) == VT_BOOL)) resT = VT_I2;
5592     else if((V_VT(left) == VT_I2)   && (V_VT(right) == VT_UI1))  resT = VT_I2;
5593     else if((V_VT(left) == VT_I2)   && (V_VT(right) == VT_I2))   resT = VT_I2;
5594     else if((V_VT(left) == VT_BOOL) && (V_VT(right) == VT_BOOL)) resT = VT_I2;
5595     else if((V_VT(left) == VT_BOOL) && (V_VT(right) == VT_UI1))  resT = VT_I2;
5596     else if((V_VT(left) == VT_BOOL) && (V_VT(right) == VT_I2))   resT = VT_I2;
5597     else resT = VT_I4; /* most outputs are I4 */
5598
5599     /* convert to I8 for the modulo */
5600     rc = VariantChangeType(&lv, left, 0, VT_I8);
5601     if(FAILED(rc))
5602     {
5603       FIXME("Could not convert left type %d to %d? rc == 0x%X\n", V_VT(left), VT_I8, rc);
5604       goto end;
5605     }
5606
5607     rc = VariantChangeType(&rv, right, 0, VT_I8);
5608     if(FAILED(rc))
5609     {
5610       FIXME("Could not convert right type %d to %d? rc == 0x%X\n", V_VT(right), VT_I8, rc);
5611       goto end;
5612     }
5613
5614     /* if right is zero set VT_EMPTY and return divide by zero */
5615     if(V_I8(&rv) == 0)
5616     {
5617       V_VT(result) = VT_EMPTY;
5618       rc = DISP_E_DIVBYZERO;
5619       goto end;
5620     }
5621
5622     /* perform the modulo operation */
5623     V_VT(result) = VT_I8;
5624     V_I8(result) = V_I8(&lv) % V_I8(&rv);
5625
5626     TRACE("V_I8(left) == %s, V_I8(right) == %s, V_I8(result) == %s\n",
5627           wine_dbgstr_longlong(V_I8(&lv)), wine_dbgstr_longlong(V_I8(&rv)),
5628           wine_dbgstr_longlong(V_I8(result)));
5629
5630     /* convert left and right to the destination type */
5631     rc = VariantChangeType(result, result, 0, resT);
5632     if(FAILED(rc))
5633     {
5634       FIXME("Could not convert 0x%x to %d?\n", V_VT(result), resT);
5635       /* fall to end of function */
5636     }
5637
5638 end:
5639     VariantClear(&lv);
5640     VariantClear(&rv);
5641     VariantClear(&tempLeft);
5642     VariantClear(&tempRight);
5643     return rc;
5644 }
5645
5646 /**********************************************************************
5647  *              VarPow [OLEAUT32.158]
5648  *
5649  * Computes the power of one variant to another variant.
5650  *
5651  * PARAMS
5652  *  left    [I] First variant
5653  *  right   [I] Second variant
5654  *  result  [O] Result variant
5655  *
5656  * RETURNS
5657  *  Success: S_OK.
5658  *  Failure: An HRESULT error code indicating the error.
5659  */
5660 HRESULT WINAPI VarPow(LPVARIANT left, LPVARIANT right, LPVARIANT result)
5661 {
5662     HRESULT hr = S_OK;
5663     VARIANT dl,dr;
5664     VARTYPE resvt = VT_EMPTY;
5665     VARTYPE leftvt,rightvt;
5666     VARTYPE rightExtraFlags,leftExtraFlags,ExtraFlags;
5667     VARIANT tempLeft, tempRight;
5668
5669     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left), debugstr_VF(left),
5670           right, debugstr_VT(right), debugstr_VF(right), result);
5671
5672     VariantInit(&dl);
5673     VariantInit(&dr);
5674     VariantInit(&tempLeft);
5675     VariantInit(&tempRight);
5676
5677     /* Handle VT_DISPATCH by storing and taking address of returned value */
5678     if ((V_VT(left) & VT_TYPEMASK) == VT_DISPATCH)
5679     {
5680         hr = VARIANT_FetchDispatchValue(left, &tempLeft);
5681         if (FAILED(hr)) goto end;
5682         left = &tempLeft;
5683     }
5684     if ((V_VT(right) & VT_TYPEMASK) == VT_DISPATCH)
5685     {
5686         hr = VARIANT_FetchDispatchValue(right, &tempRight);
5687         if (FAILED(hr)) goto end;
5688         right = &tempRight;
5689     }
5690
5691     leftvt = V_VT(left)&VT_TYPEMASK;
5692     rightvt = V_VT(right)&VT_TYPEMASK;
5693     leftExtraFlags = V_VT(left)&(~VT_TYPEMASK);
5694     rightExtraFlags = V_VT(right)&(~VT_TYPEMASK);
5695
5696     if (leftExtraFlags != rightExtraFlags)
5697     {
5698         hr = DISP_E_BADVARTYPE;
5699         goto end;
5700     }
5701     ExtraFlags = leftExtraFlags;
5702
5703     /* Native VarPow always returns an error when using extra flags */
5704     if (ExtraFlags != 0)
5705     {
5706         hr = DISP_E_BADVARTYPE;
5707         goto end;
5708     }
5709
5710     /* Determine return type */
5711     else if (leftvt == VT_NULL || rightvt == VT_NULL) {
5712         V_VT(result) = VT_NULL;
5713         hr = S_OK;
5714         goto end;
5715     }
5716     else if ((leftvt == VT_EMPTY || leftvt == VT_I2 ||
5717         leftvt == VT_I4 || leftvt == VT_R4 ||
5718         leftvt == VT_R8 || leftvt == VT_CY ||
5719         leftvt == VT_DATE || leftvt == VT_BSTR ||
5720         leftvt == VT_BOOL || leftvt == VT_DECIMAL ||
5721         (leftvt >= VT_I1 && leftvt <= VT_UINT)) &&
5722         (rightvt == VT_EMPTY || rightvt == VT_I2 ||
5723         rightvt == VT_I4 || rightvt == VT_R4 ||
5724         rightvt == VT_R8 || rightvt == VT_CY ||
5725         rightvt == VT_DATE || rightvt == VT_BSTR ||
5726         rightvt == VT_BOOL || rightvt == VT_DECIMAL ||
5727         (rightvt >= VT_I1 && rightvt <= VT_UINT)))
5728         resvt = VT_R8;
5729     else
5730     {
5731         hr = DISP_E_BADVARTYPE;
5732         goto end;
5733     }
5734
5735     hr = VariantChangeType(&dl,left,0,resvt);
5736     if (FAILED(hr)) {
5737         ERR("Could not change passed left argument to VT_R8, handle it differently.\n");
5738         hr = E_FAIL;
5739         goto end;
5740     }
5741
5742     hr = VariantChangeType(&dr,right,0,resvt);
5743     if (FAILED(hr)) {
5744         ERR("Could not change passed right argument to VT_R8, handle it differently.\n");
5745         hr = E_FAIL;
5746         goto end;
5747     }
5748
5749     V_VT(result) = VT_R8;
5750     V_R8(result) = pow(V_R8(&dl),V_R8(&dr));
5751
5752 end:
5753     VariantClear(&dl);
5754     VariantClear(&dr);
5755     VariantClear(&tempLeft);
5756     VariantClear(&tempRight);
5757
5758     return hr;
5759 }
5760
5761 /**********************************************************************
5762  *              VarImp [OLEAUT32.154]
5763  *
5764  * Bitwise implication of two variants.
5765  *
5766  * PARAMS
5767  *  left    [I] First variant
5768  *  right   [I] Second variant
5769  *  result  [O] Result variant
5770  *
5771  * RETURNS
5772  *  Success: S_OK.
5773  *  Failure: An HRESULT error code indicating the error.
5774  */
5775 HRESULT WINAPI VarImp(LPVARIANT left, LPVARIANT right, LPVARIANT result)
5776 {
5777     HRESULT hres = S_OK;
5778     VARTYPE resvt = VT_EMPTY;
5779     VARTYPE leftvt,rightvt;
5780     VARTYPE rightExtraFlags,leftExtraFlags,ExtraFlags;
5781     VARIANT lv,rv;
5782     double d;
5783     VARIANT tempLeft, tempRight;
5784
5785     VariantInit(&lv);
5786     VariantInit(&rv);
5787     VariantInit(&tempLeft);
5788     VariantInit(&tempRight);
5789
5790     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
5791           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
5792
5793     /* Handle VT_DISPATCH by storing and taking address of returned value */
5794     if ((V_VT(left) & VT_TYPEMASK) == VT_DISPATCH)
5795     {
5796         hres = VARIANT_FetchDispatchValue(left, &tempLeft);
5797         if (FAILED(hres)) goto VarImp_Exit;
5798         left = &tempLeft;
5799     }
5800     if ((V_VT(right) & VT_TYPEMASK) == VT_DISPATCH)
5801     {
5802         hres = VARIANT_FetchDispatchValue(right, &tempRight);
5803         if (FAILED(hres)) goto VarImp_Exit;
5804         right = &tempRight;
5805     }
5806
5807     leftvt = V_VT(left)&VT_TYPEMASK;
5808     rightvt = V_VT(right)&VT_TYPEMASK;
5809     leftExtraFlags = V_VT(left)&(~VT_TYPEMASK);
5810     rightExtraFlags = V_VT(right)&(~VT_TYPEMASK);
5811
5812     if (leftExtraFlags != rightExtraFlags)
5813     {
5814         hres = DISP_E_BADVARTYPE;
5815         goto VarImp_Exit;
5816     }
5817     ExtraFlags = leftExtraFlags;
5818
5819     /* Native VarImp always returns an error when using extra
5820      * flags or if the variants are I8 and INT.
5821      */
5822     if ((leftvt == VT_I8 && rightvt == VT_INT) ||
5823         ExtraFlags != 0)
5824     {
5825         hres = DISP_E_BADVARTYPE;
5826         goto VarImp_Exit;
5827     }
5828
5829     /* Determine result type */
5830     else if ((leftvt == VT_NULL && rightvt == VT_NULL) ||
5831         (leftvt == VT_NULL && rightvt == VT_EMPTY))
5832     {
5833         V_VT(result) = VT_NULL;
5834         hres = S_OK;
5835         goto VarImp_Exit;
5836     }
5837     else if (leftvt == VT_I8 || rightvt == VT_I8)
5838         resvt = VT_I8;
5839     else if (leftvt == VT_I4 || rightvt == VT_I4 ||
5840         leftvt == VT_INT || rightvt == VT_INT ||
5841         leftvt == VT_UINT || rightvt == VT_UINT ||
5842         leftvt == VT_UI4 || rightvt == VT_UI4 ||
5843         leftvt == VT_UI8 || rightvt == VT_UI8 ||
5844         leftvt == VT_UI2 || rightvt == VT_UI2 ||
5845         leftvt == VT_DECIMAL || rightvt == VT_DECIMAL ||
5846         leftvt == VT_DATE || rightvt == VT_DATE ||
5847         leftvt == VT_CY || rightvt == VT_CY ||
5848         leftvt == VT_R8 || rightvt == VT_R8 ||
5849         leftvt == VT_R4 || rightvt == VT_R4 ||
5850         leftvt == VT_I1 || rightvt == VT_I1)
5851         resvt = VT_I4;
5852     else if ((leftvt == VT_UI1 && rightvt == VT_UI1) ||
5853         (leftvt == VT_UI1 && rightvt == VT_NULL) ||
5854         (leftvt == VT_NULL && rightvt == VT_UI1))
5855         resvt = VT_UI1;
5856     else if (leftvt == VT_EMPTY || rightvt == VT_EMPTY ||
5857         leftvt == VT_I2 || rightvt == VT_I2 ||
5858         leftvt == VT_UI1 || rightvt == VT_UI1)
5859         resvt = VT_I2;
5860     else if (leftvt == VT_BOOL || rightvt == VT_BOOL ||
5861         leftvt == VT_BSTR || rightvt == VT_BSTR)
5862         resvt = VT_BOOL;
5863
5864     /* VT_NULL requires special handling for when the opposite
5865      * variant is equal to something other than -1.
5866      * (NULL Imp 0 = NULL, NULL Imp n = n)
5867      */
5868     if (leftvt == VT_NULL)
5869     {
5870         VARIANT_BOOL b;
5871         switch(rightvt)
5872         {
5873         case VT_I1:   if (!V_I1(right)) resvt = VT_NULL; break;
5874         case VT_UI1:  if (!V_UI1(right)) resvt = VT_NULL; break;
5875         case VT_I2:   if (!V_I2(right)) resvt = VT_NULL; break;
5876         case VT_UI2:  if (!V_UI2(right)) resvt = VT_NULL; break;
5877         case VT_I4:   if (!V_I4(right)) resvt = VT_NULL; break;
5878         case VT_UI4:  if (!V_UI4(right)) resvt = VT_NULL; break;
5879         case VT_I8:   if (!V_I8(right)) resvt = VT_NULL; break;
5880         case VT_UI8:  if (!V_UI8(right)) resvt = VT_NULL; break;
5881         case VT_INT:  if (!V_INT(right)) resvt = VT_NULL; break;
5882         case VT_UINT: if (!V_UINT(right)) resvt = VT_NULL; break;
5883         case VT_BOOL: if (!V_BOOL(right)) resvt = VT_NULL; break;
5884         case VT_R4:   if (!V_R4(right)) resvt = VT_NULL; break;
5885         case VT_R8:   if (!V_R8(right)) resvt = VT_NULL; break;
5886         case VT_DATE: if (!V_DATE(right)) resvt = VT_NULL; break;
5887         case VT_CY:   if (!V_CY(right).int64) resvt = VT_NULL; break;
5888         case VT_DECIMAL:
5889             if (!(DEC_HI32(&V_DECIMAL(right)) || DEC_LO64(&V_DECIMAL(right))))
5890                 resvt = VT_NULL;
5891             break;
5892         case VT_BSTR:
5893             hres = VarBoolFromStr(V_BSTR(right),LOCALE_USER_DEFAULT, VAR_LOCALBOOL, &b);
5894             if (FAILED(hres)) goto VarImp_Exit;
5895             else if (!b)
5896                 V_VT(result) = VT_NULL;
5897             else
5898             {
5899                 V_VT(result) = VT_BOOL;
5900                 V_BOOL(result) = b;
5901             }
5902             goto VarImp_Exit;
5903         }
5904         if (resvt == VT_NULL)
5905         {
5906             V_VT(result) = resvt;
5907             goto VarImp_Exit;
5908         }
5909         else
5910         {
5911             hres = VariantChangeType(result,right,0,resvt);
5912             goto VarImp_Exit;
5913         }
5914     }
5915
5916     /* Special handling is required when NULL is the right variant.
5917      * (-1 Imp NULL = NULL, n Imp NULL = n Imp 0)
5918      */
5919     else if (rightvt == VT_NULL)
5920     {
5921         VARIANT_BOOL b;
5922         switch(leftvt)
5923         {
5924         case VT_I1:     if (V_I1(left) == -1) resvt = VT_NULL; break;
5925         case VT_UI1:    if (V_UI1(left) == 0xff) resvt = VT_NULL; break;
5926         case VT_I2:     if (V_I2(left) == -1) resvt = VT_NULL; break;
5927         case VT_UI2:    if (V_UI2(left) == 0xffff) resvt = VT_NULL; break;
5928         case VT_INT:    if (V_INT(left) == -1) resvt = VT_NULL; break;
5929         case VT_UINT:   if (V_UINT(left) == ~0u) resvt = VT_NULL; break;
5930         case VT_I4:     if (V_I4(left) == -1) resvt = VT_NULL; break;
5931         case VT_UI4:    if (V_UI4(left) == ~0u) resvt = VT_NULL; break;
5932         case VT_I8:     if (V_I8(left) == -1) resvt = VT_NULL; break;
5933         case VT_UI8:    if (V_UI8(left) == ~(ULONGLONG)0) resvt = VT_NULL; break;
5934         case VT_BOOL:   if (V_BOOL(left) == VARIANT_TRUE) resvt = VT_NULL; break;
5935         case VT_R4:     if (V_R4(left) == -1.0) resvt = VT_NULL; break;
5936         case VT_R8:     if (V_R8(left) == -1.0) resvt = VT_NULL; break;
5937         case VT_CY:     if (V_CY(left).int64 == -1) resvt = VT_NULL; break;
5938         case VT_DECIMAL:
5939             if (DEC_HI32(&V_DECIMAL(left)) == 0xffffffff)
5940                 resvt = VT_NULL;
5941             break;
5942         case VT_BSTR:
5943             hres = VarBoolFromStr(V_BSTR(left),LOCALE_USER_DEFAULT, VAR_LOCALBOOL, &b);
5944             if (FAILED(hres)) goto VarImp_Exit;
5945             else if (b == VARIANT_TRUE)
5946                 resvt = VT_NULL;
5947         }
5948         if (resvt == VT_NULL)
5949         {
5950             V_VT(result) = resvt;
5951             goto VarImp_Exit;
5952         }
5953     }
5954
5955     hres = VariantCopy(&lv, left);
5956     if (FAILED(hres)) goto VarImp_Exit;
5957
5958     if (rightvt == VT_NULL)
5959     {
5960         memset( &rv, 0, sizeof(rv) );
5961         V_VT(&rv) = resvt;
5962     }
5963     else
5964     {
5965         hres = VariantCopy(&rv, right);
5966         if (FAILED(hres)) goto VarImp_Exit;
5967     }
5968
5969     if (V_VT(&lv) == VT_BSTR &&
5970         FAILED(VarR8FromStr(V_BSTR(&lv),LOCALE_USER_DEFAULT, 0, &d)))
5971         hres = VariantChangeType(&lv,&lv,VARIANT_LOCALBOOL, VT_BOOL);
5972     if (SUCCEEDED(hres) && V_VT(&lv) != resvt)
5973         hres = VariantChangeType(&lv,&lv,0,resvt);
5974     if (FAILED(hres)) goto VarImp_Exit;
5975
5976     if (V_VT(&rv) == VT_BSTR &&
5977         FAILED(VarR8FromStr(V_BSTR(&rv),LOCALE_USER_DEFAULT, 0, &d)))
5978         hres = VariantChangeType(&rv, &rv,VARIANT_LOCALBOOL, VT_BOOL);
5979     if (SUCCEEDED(hres) && V_VT(&rv) != resvt)
5980         hres = VariantChangeType(&rv, &rv, 0, resvt);
5981     if (FAILED(hres)) goto VarImp_Exit;
5982
5983     /* do the math */
5984     V_VT(result) = resvt;
5985     switch (resvt)
5986     {
5987     case VT_I8:
5988     V_I8(result) = (~V_I8(&lv)) | V_I8(&rv);
5989     break;
5990     case VT_I4:
5991     V_I4(result) = (~V_I4(&lv)) | V_I4(&rv);
5992     break;
5993     case VT_I2:
5994     V_I2(result) = (~V_I2(&lv)) | V_I2(&rv);
5995     break;
5996     case VT_UI1:
5997     V_UI1(result) = (~V_UI1(&lv)) | V_UI1(&rv);
5998     break;
5999     case VT_BOOL:
6000     V_BOOL(result) = (~V_BOOL(&lv)) | V_BOOL(&rv);
6001     break;
6002     default:
6003     FIXME("Couldn't perform bitwise implication on variant types %d,%d\n",
6004         leftvt,rightvt);
6005     }
6006
6007 VarImp_Exit:
6008
6009     VariantClear(&lv);
6010     VariantClear(&rv);
6011     VariantClear(&tempLeft);
6012     VariantClear(&tempRight);
6013
6014     return hres;
6015 }