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