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