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  *
   8  * The alorithm for conversion from Julian days to day/month/year is based on
   9  * that devised by Henry Fliegel, as implemented in PostgreSQL, which is
  10  * Copyright 1994-7 Regents of the University of California
  11  *
  12  * This library is free software; you can redistribute it and/or
  13  * modify it under the terms of the GNU Lesser General Public
  14  * License as published by the Free Software Foundation; either
  15  * version 2.1 of the License, or (at your option) any later version.
  16  *
  17  * This library is distributed in the hope that it will be useful,
  18  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  19  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  20  * Lesser General Public License for more details.
  21  *
  22  * You should have received a copy of the GNU Lesser General Public
  23  * License along with this library; if not, write to the Free Software
  24  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
  25  */
  26
  27 #include "config.h"
  28
  29 #include <string.h>
  30 #include <stdlib.h>
  31 #include <stdarg.h>
  32
  33 #define COBJMACROS
  34 #define NONAMELESSUNION
  35 #define NONAMELESSSTRUCT
  36
  37 #include "windef.h"
  38 #include "winbase.h"
  39 #include "wine/unicode.h"
  40 #include "winerror.h"
  41 #include "variant.h"
  42 #include "wine/debug.h"
  43
  44 WINE_DEFAULT_DEBUG_CHANNEL(variant);
  45
  46 const char* wine_vtypes[VT_CLSID+1] =
  47 {
  48   "VT_EMPTY","VT_NULL","VT_I2","VT_I4","VT_R4","VT_R8","VT_CY","VT_DATE",
  49   "VT_BSTR","VT_DISPATCH","VT_ERROR","VT_BOOL","VT_VARIANT","VT_UNKNOWN",
  50   "VT_DECIMAL","15","VT_I1","VT_UI1","VT_UI2","VT_UI4","VT_I8","VT_UI8",
  51   "VT_INT","VT_UINT","VT_VOID","VT_HRESULT","VT_PTR","VT_SAFEARRAY",
  52   "VT_CARRAY","VT_USERDEFINED","VT_LPSTR","VT_LPWSTR","32","33","34","35",
  53   "VT_RECORD","VT_INT_PTR","VT_UINT_PTR","39","40","41","42","43","44","45",
  54   "46","47","48","49","50","51","52","53","54","55","56","57","58","59","60",
  55   "61","62","63","VT_FILETIME","VT_BLOB","VT_STREAM","VT_STORAGE",
  56   "VT_STREAMED_OBJECT","VT_STORED_OBJECT","VT_BLOB_OBJECT","VT_CF","VT_CLSID"
  57 };
  58
  59 const char* wine_vflags[16] =
  60 {
  61  "",
  62  "|VT_VECTOR",
  63  "|VT_ARRAY",
  64  "|VT_VECTOR|VT_ARRAY",
  65  "|VT_BYREF",
  66  "|VT_VECTOR|VT_ARRAY",
  67  "|VT_ARRAY|VT_BYREF",
  68  "|VT_VECTOR|VT_ARRAY|VT_BYREF",
  69  "|VT_HARDTYPE",
  70  "|VT_VECTOR|VT_HARDTYPE",
  71  "|VT_ARRAY|VT_HARDTYPE",
  72  "|VT_VECTOR|VT_ARRAY|VT_HARDTYPE",
  73  "|VT_BYREF|VT_HARDTYPE",
  74  "|VT_VECTOR|VT_ARRAY|VT_HARDTYPE",
  75  "|VT_ARRAY|VT_BYREF|VT_HARDTYPE",
  76  "|VT_VECTOR|VT_ARRAY|VT_BYREF|VT_HARDTYPE",
  77 };
  78
  79 /* Convert a variant from one type to another */
  80 static inline HRESULT VARIANT_Coerce(VARIANTARG* pd, LCID lcid, USHORT wFlags,
  81                                      VARIANTARG* ps, VARTYPE vt)
  82 {
  83   HRESULT res = DISP_E_TYPEMISMATCH;
  84   VARTYPE vtFrom =  V_TYPE(ps);
  85   DWORD dwFlags = 0;
  86
  87   TRACE("(%p->(%s%s),0x%08lx,0x%04x,%p->(%s%s),%s%s)\n", pd, debugstr_VT(pd),
  88         debugstr_VF(pd), lcid, wFlags, ps, debugstr_VT(ps), debugstr_VF(ps),
  89         debugstr_vt(vt), debugstr_vf(vt));
  90
  91   if (vt == VT_BSTR || vtFrom == VT_BSTR)
  92   {
  93     /* All flags passed to low level function are only used for
  94      * changing to or from strings. Map these here.
  95      */
  96     if (wFlags & VARIANT_LOCALBOOL)
  97       dwFlags |= VAR_LOCALBOOL;
  98     if (wFlags & VARIANT_CALENDAR_HIJRI)
  99       dwFlags |= VAR_CALENDAR_HIJRI;
 100     if (wFlags & VARIANT_CALENDAR_THAI)
 101       dwFlags |= VAR_CALENDAR_THAI;
 102     if (wFlags & VARIANT_CALENDAR_GREGORIAN)
 103       dwFlags |= VAR_CALENDAR_GREGORIAN;
 104     if (wFlags & VARIANT_NOUSEROVERRIDE)
 105       dwFlags |= LOCALE_NOUSEROVERRIDE;
 106     if (wFlags & VARIANT_USE_NLS)
 107       dwFlags |= LOCALE_USE_NLS;
 108   }
 109
 110   /* Map int/uint to i4/ui4 */
 111   if (vt == VT_INT)
 112     vt = VT_I4;
 113   else if (vt == VT_UINT)
 114     vt = VT_UI4;
 115
 116   if (vtFrom == VT_INT)
 117     vtFrom = VT_I4;
 118   else if (vtFrom == VT_UINT)
 119     vtFrom = VT_UI4;
 120
 121   if (vt == vtFrom)
 122      return VariantCopy(pd, ps);
 123
 124   if (wFlags & VARIANT_NOVALUEPROP && vtFrom == VT_DISPATCH && vt != VT_UNKNOWN)
 125   {
 126     /* VARIANT_NOVALUEPROP prevents IDispatch objects from being coerced by
 127      * accessing the default object property.
 128      */
 129     return DISP_E_TYPEMISMATCH;
 130   }
 131
 132   switch (vt)
 133   {
 134   case VT_EMPTY:
 135     if (vtFrom == VT_NULL)
 136       return DISP_E_TYPEMISMATCH;
 137     /* ... Fall through */
 138   case VT_NULL:
 139     if (vtFrom <= VT_UINT && vtFrom != (VARTYPE)15 && vtFrom != VT_ERROR)
 140     {
 141       res = VariantClear( pd );
 142       if (vt == VT_NULL && SUCCEEDED(res))
 143         V_VT(pd) = VT_NULL;
 144     }
 145     return res;
 146
 147   case VT_I1:
 148     switch (vtFrom)
 149     {
 150     case VT_EMPTY:    V_I1(pd) = 0; return S_OK;
 151     case VT_I2:       return VarI1FromI2(V_I2(ps), &V_I1(pd));
 152     case VT_I4:       return VarI1FromI4(V_I4(ps), &V_I1(pd));
 153     case VT_UI1:      V_I1(pd) = V_UI1(ps); return S_OK;
 154     case VT_UI2:      return VarI1FromUI2(V_UI2(ps), &V_I1(pd));
 155     case VT_UI4:      return VarI1FromUI4(V_UI4(ps), &V_I1(pd));
 156     case VT_I8:       return VarI1FromI8(V_I8(ps), &V_I1(pd));
 157     case VT_UI8:      return VarI1FromUI8(V_UI8(ps), &V_I1(pd));
 158     case VT_R4:       return VarI1FromR4(V_R4(ps), &V_I1(pd));
 159     case VT_R8:       return VarI1FromR8(V_R8(ps), &V_I1(pd));
 160     case VT_DATE:     return VarI1FromDate(V_DATE(ps), &V_I1(pd));
 161     case VT_BOOL:     return VarI1FromBool(V_BOOL(ps), &V_I1(pd));
 162     case VT_CY:       return VarI1FromCy(V_CY(ps), &V_I1(pd));
 163     case VT_DECIMAL:  return VarI1FromDec(&V_DECIMAL(ps), &V_I1(pd) );
 164     case VT_DISPATCH: return VarI1FromDisp(V_DISPATCH(ps), lcid, &V_I1(pd) );
 165     case VT_BSTR:     return VarI1FromStr(V_BSTR(ps), lcid, dwFlags, &V_I1(pd) );
 166     }
 167     break;
 168
 169   case VT_I2:
 170     switch (vtFrom)
 171     {
 172     case VT_EMPTY:    V_I2(pd) = 0; return S_OK;
 173     case VT_I1:       return VarI2FromI1(V_I1(ps), &V_I2(pd));
 174     case VT_I4:       return VarI2FromI4(V_I4(ps), &V_I2(pd));
 175     case VT_UI1:      return VarI2FromUI1(V_UI1(ps), &V_I2(pd));
 176     case VT_UI2:      V_I2(pd) = V_UI2(ps); return S_OK;
 177     case VT_UI4:      return VarI2FromUI4(V_UI4(ps), &V_I2(pd));
 178     case VT_I8:       return VarI2FromI8(V_I8(ps), &V_I2(pd));
 179     case VT_UI8:      return VarI2FromUI8(V_UI8(ps), &V_I2(pd));
 180     case VT_R4:       return VarI2FromR4(V_R4(ps), &V_I2(pd));
 181     case VT_R8:       return VarI2FromR8(V_R8(ps), &V_I2(pd));
 182     case VT_DATE:     return VarI2FromDate(V_DATE(ps), &V_I2(pd));
 183     case VT_BOOL:     return VarI2FromBool(V_BOOL(ps), &V_I2(pd));
 184     case VT_CY:       return VarI2FromCy(V_CY(ps), &V_I2(pd));
 185     case VT_DECIMAL:  return VarI2FromDec(&V_DECIMAL(ps), &V_I2(pd));
 186     case VT_DISPATCH: return VarI2FromDisp(V_DISPATCH(ps), lcid, &V_I2(pd));
 187     case VT_BSTR:     return VarI2FromStr(V_BSTR(ps), lcid, dwFlags, &V_I2(pd));
 188     }
 189     break;
 190
 191   case VT_I4:
 192     switch (vtFrom)
 193     {
 194     case VT_EMPTY:    V_I4(pd) = 0; return S_OK;
 195     case VT_I1:       return VarI4FromI1(V_I1(ps), &V_I4(pd));
 196     case VT_I2:       return VarI4FromI2(V_I2(ps), &V_I4(pd));
 197     case VT_UI1:      return VarI4FromUI1(V_UI1(ps), &V_I4(pd));
 198     case VT_UI2:      return VarI4FromUI2(V_UI2(ps), &V_I4(pd));
 199     case VT_UI4:      V_I4(pd) = V_UI4(ps); return S_OK;
 200     case VT_I8:       return VarI4FromI8(V_I8(ps), &V_I4(pd));
 201     case VT_UI8:      return VarI4FromUI8(V_UI8(ps), &V_I4(pd));
 202     case VT_R4:       return VarI4FromR4(V_R4(ps), &V_I4(pd));
 203     case VT_R8:       return VarI4FromR8(V_R8(ps), &V_I4(pd));
 204     case VT_DATE:     return VarI4FromDate(V_DATE(ps), &V_I4(pd));
 205     case VT_BOOL:     return VarI4FromBool(V_BOOL(ps), &V_I4(pd));
 206     case VT_CY:       return VarI4FromCy(V_CY(ps), &V_I4(pd));
 207     case VT_DECIMAL:  return VarI4FromDec(&V_DECIMAL(ps), &V_I4(pd));
 208     case VT_DISPATCH: return VarI4FromDisp(V_DISPATCH(ps), lcid, &V_I4(pd));
 209     case VT_BSTR:     return VarI4FromStr(V_BSTR(ps), lcid, dwFlags, &V_I4(pd));
 210     }
 211     break;
 212
 213   case VT_UI1:
 214     switch (vtFrom)
 215     {
 216     case VT_EMPTY:    V_UI1(pd) = 0; return S_OK;
 217     case VT_I1:       V_UI1(pd) = V_I1(ps); return S_OK;
 218     case VT_I2:       return VarUI1FromI2(V_I2(ps), &V_UI1(pd));
 219     case VT_I4:       return VarUI1FromI4(V_I4(ps), &V_UI1(pd));
 220     case VT_UI2:      return VarUI1FromUI2(V_UI2(ps), &V_UI1(pd));
 221     case VT_UI4:      return VarUI1FromUI4(V_UI4(ps), &V_UI1(pd));
 222     case VT_I8:       return VarUI1FromI8(V_I8(ps), &V_UI1(pd));
 223     case VT_UI8:      return VarUI1FromUI8(V_UI8(ps), &V_UI1(pd));
 224     case VT_R4:       return VarUI1FromR4(V_R4(ps), &V_UI1(pd));
 225     case VT_R8:       return VarUI1FromR8(V_R8(ps), &V_UI1(pd));
 226     case VT_DATE:     return VarUI1FromDate(V_DATE(ps), &V_UI1(pd));
 227     case VT_BOOL:     return VarUI1FromBool(V_BOOL(ps), &V_UI1(pd));
 228     case VT_CY:       return VarUI1FromCy(V_CY(ps), &V_UI1(pd));
 229     case VT_DECIMAL:  return VarUI1FromDec(&V_DECIMAL(ps), &V_UI1(pd));
 230     case VT_DISPATCH: return VarUI1FromDisp(V_DISPATCH(ps), lcid, &V_UI1(pd));
 231     case VT_BSTR:     return VarUI1FromStr(V_BSTR(ps), lcid, dwFlags, &V_UI1(pd));
 232     }
 233     break;
 234
 235   case VT_UI2:
 236     switch (vtFrom)
 237     {
 238     case VT_EMPTY:    V_UI2(pd) = 0; return S_OK;
 239     case VT_I1:       return VarUI2FromI1(V_I1(ps), &V_UI2(pd));
 240     case VT_I2:       V_UI2(pd) = V_I2(ps); return S_OK;
 241     case VT_I4:       return VarUI2FromI4(V_I4(ps), &V_UI2(pd));
 242     case VT_UI1:      return VarUI2FromUI1(V_UI1(ps), &V_UI2(pd));
 243     case VT_UI4:      return VarUI2FromUI4(V_UI4(ps), &V_UI2(pd));
 244     case VT_I8:       return VarUI4FromI8(V_I8(ps), &V_UI4(pd));
 245     case VT_UI8:      return VarUI4FromUI8(V_UI8(ps), &V_UI4(pd));
 246     case VT_R4:       return VarUI2FromR4(V_R4(ps), &V_UI2(pd));
 247     case VT_R8:       return VarUI2FromR8(V_R8(ps), &V_UI2(pd));
 248     case VT_DATE:     return VarUI2FromDate(V_DATE(ps), &V_UI2(pd));
 249     case VT_BOOL:     return VarUI2FromBool(V_BOOL(ps), &V_UI2(pd));
 250     case VT_CY:       return VarUI2FromCy(V_CY(ps), &V_UI2(pd));
 251     case VT_DECIMAL:  return VarUI2FromDec(&V_DECIMAL(ps), &V_UI2(pd));
 252     case VT_DISPATCH: return VarUI2FromDisp(V_DISPATCH(ps), lcid, &V_UI2(pd));
 253     case VT_BSTR:     return VarUI2FromStr(V_BSTR(ps), lcid, dwFlags, &V_UI2(pd));
 254     }
 255     break;
 256
 257   case VT_UI4:
 258     switch (vtFrom)
 259     {
 260     case VT_EMPTY:    V_UI4(pd) = 0; return S_OK;
 261     case VT_I1:       return VarUI4FromI1(V_I1(ps), &V_UI4(pd));
 262     case VT_I2:       return VarUI4FromI2(V_I2(ps), &V_UI4(pd));
 263     case VT_I4:       V_UI4(pd) = V_I4(ps); return S_OK;
 264     case VT_UI1:      return VarUI4FromUI1(V_UI1(ps), &V_UI4(pd));
 265     case VT_UI2:      return VarUI4FromUI2(V_UI2(ps), &V_UI4(pd));
 266     case VT_I8:       return VarUI4FromI8(V_I8(ps), &V_UI4(pd));
 267     case VT_UI8:      return VarUI4FromUI8(V_UI8(ps), &V_UI4(pd));
 268     case VT_R4:       return VarUI4FromR4(V_R4(ps), &V_UI4(pd));
 269     case VT_R8:       return VarUI4FromR8(V_R8(ps), &V_UI4(pd));
 270     case VT_DATE:     return VarUI4FromDate(V_DATE(ps), &V_UI4(pd));
 271     case VT_BOOL:     return VarUI4FromBool(V_BOOL(ps), &V_UI4(pd));
 272     case VT_CY:       return VarUI4FromCy(V_CY(ps), &V_UI4(pd));
 273     case VT_DECIMAL:  return VarUI4FromDec(&V_DECIMAL(ps), &V_UI4(pd));
 274     case VT_DISPATCH: return VarUI4FromDisp(V_DISPATCH(ps), lcid, &V_UI4(pd));
 275     case VT_BSTR:     return VarUI4FromStr(V_BSTR(ps), lcid, dwFlags, &V_UI4(pd));
 276     }
 277     break;
 278
 279   case VT_UI8:
 280     switch (vtFrom)
 281     {
 282     case VT_EMPTY:    V_UI8(pd) = 0; return S_OK;
 283     case VT_I4:       if (V_I4(ps) < 0) return DISP_E_OVERFLOW; V_UI8(pd) = V_I4(ps); return S_OK;
 284     case VT_I1:       return VarUI8FromI1(V_I1(ps), &V_UI8(pd));
 285     case VT_I2:       return VarUI8FromI2(V_I2(ps), &V_UI8(pd));
 286     case VT_UI1:      return VarUI8FromUI1(V_UI1(ps), &V_UI8(pd));
 287     case VT_UI2:      return VarUI8FromUI2(V_UI2(ps), &V_UI8(pd));
 288     case VT_UI4:      return VarUI8FromUI4(V_UI4(ps), &V_UI8(pd));
 289     case VT_I8:       V_UI8(pd) = V_I8(ps); return S_OK;
 290     case VT_R4:       return VarUI8FromR4(V_R4(ps), &V_UI8(pd));
 291     case VT_R8:       return VarUI8FromR8(V_R8(ps), &V_UI8(pd));
 292     case VT_DATE:     return VarUI8FromDate(V_DATE(ps), &V_UI8(pd));
 293     case VT_BOOL:     return VarUI8FromBool(V_BOOL(ps), &V_UI8(pd));
 294     case VT_CY:       return VarUI8FromCy(V_CY(ps), &V_UI8(pd));
 295     case VT_DECIMAL:  return VarUI8FromDec(&V_DECIMAL(ps), &V_UI8(pd));
 296     case VT_DISPATCH: return VarUI8FromDisp(V_DISPATCH(ps), lcid, &V_UI8(pd));
 297     case VT_BSTR:     return VarUI8FromStr(V_BSTR(ps), lcid, dwFlags, &V_UI8(pd));
 298     }
 299     break;
 300
 301   case VT_I8:
 302     switch (vtFrom)
 303     {
 304     case VT_EMPTY:    V_I8(pd) = 0; return S_OK;
 305     case VT_I4:       V_I8(pd) = V_I4(ps); return S_OK;
 306     case VT_I1:       return VarI8FromI1(V_I1(ps), &V_I8(pd));
 307     case VT_I2:       return VarI8FromI2(V_I2(ps), &V_I8(pd));
 308     case VT_UI1:      return VarI8FromUI1(V_UI1(ps), &V_I8(pd));
 309     case VT_UI2:      return VarI8FromUI2(V_UI2(ps), &V_I8(pd));
 310     case VT_UI4:      return VarI8FromUI4(V_UI4(ps), &V_I8(pd));
 311     case VT_UI8:      V_I8(pd) = V_UI8(ps); return S_OK;
 312     case VT_R4:       return VarI8FromR4(V_R4(ps), &V_I8(pd));
 313     case VT_R8:       return VarI8FromR8(V_R8(ps), &V_I8(pd));
 314     case VT_DATE:     return VarI8FromDate(V_DATE(ps), &V_I8(pd));
 315     case VT_BOOL:     return VarI8FromBool(V_BOOL(ps), &V_I8(pd));
 316     case VT_CY:       return VarI8FromCy(V_CY(ps), &V_I8(pd));
 317     case VT_DECIMAL:  return VarI8FromDec(&V_DECIMAL(ps), &V_I8(pd));
 318     case VT_DISPATCH: return VarI8FromDisp(V_DISPATCH(ps), lcid, &V_I8(pd));
 319     case VT_BSTR:     return VarI8FromStr(V_BSTR(ps), lcid, dwFlags, &V_I8(pd));
 320     }
 321     break;
 322
 323   case VT_R4:
 324     switch (vtFrom)
 325     {
 326     case VT_EMPTY:    V_R4(pd) = 0.0f; return S_OK;
 327     case VT_I1:       return VarR4FromI1(V_I1(ps), &V_R4(pd));
 328     case VT_I2:       return VarR4FromI2(V_I2(ps), &V_R4(pd));
 329     case VT_I4:       return VarR4FromI4(V_I4(ps), &V_R4(pd));
 330     case VT_UI1:      return VarR4FromUI1(V_UI1(ps), &V_R4(pd));
 331     case VT_UI2:      return VarR4FromUI2(V_UI2(ps), &V_R4(pd));
 332     case VT_UI4:      return VarR4FromUI4(V_UI4(ps), &V_R4(pd));
 333     case VT_I8:       return VarR4FromI8(V_I8(ps), &V_R4(pd));
 334     case VT_UI8:      return VarR4FromUI8(V_UI8(ps), &V_R4(pd));
 335     case VT_R8:       return VarR4FromR8(V_R8(ps), &V_R4(pd));
 336     case VT_DATE:     return VarR4FromDate(V_DATE(ps), &V_R4(pd));
 337     case VT_BOOL:     return VarR4FromBool(V_BOOL(ps), &V_R4(pd));
 338     case VT_CY:       return VarR4FromCy(V_CY(ps), &V_R4(pd));
 339     case VT_DECIMAL:  return VarR4FromDec(&V_DECIMAL(ps), &V_R4(pd));
 340     case VT_DISPATCH: return VarR4FromDisp(V_DISPATCH(ps), lcid, &V_R4(pd));
 341     case VT_BSTR:     return VarR4FromStr(V_BSTR(ps), lcid, dwFlags, &V_R4(pd));
 342     }
 343     break;
 344
 345   case VT_R8:
 346     switch (vtFrom)
 347     {
 348     case VT_EMPTY:    V_R8(pd) = 0.0; return S_OK;
 349     case VT_I1:       return VarR8FromI1(V_I1(ps), &V_R8(pd));
 350     case VT_I2:       return VarR8FromI2(V_I2(ps), &V_R8(pd));
 351     case VT_I4:       return VarR8FromI4(V_I4(ps), &V_R8(pd));
 352     case VT_UI1:      return VarR8FromUI1(V_UI1(ps), &V_R8(pd));
 353     case VT_UI2:      return VarR8FromUI2(V_UI2(ps), &V_R8(pd));
 354     case VT_UI4:      return VarR8FromUI4(V_UI4(ps), &V_R8(pd));
 355     case VT_I8:       return VarR8FromI8(V_I8(ps), &V_R8(pd));
 356     case VT_UI8:      return VarR8FromUI8(V_UI8(ps), &V_R8(pd));
 357     case VT_R4:       return VarR8FromR4(V_R4(ps), &V_R8(pd));
 358     case VT_DATE:     return VarR8FromDate(V_DATE(ps), &V_R8(pd));
 359     case VT_BOOL:     return VarR8FromBool(V_BOOL(ps), &V_R8(pd));
 360     case VT_CY:       return VarR8FromCy(V_CY(ps), &V_R8(pd));
 361     case VT_DECIMAL:  return VarR8FromDec(&V_DECIMAL(ps), &V_R8(pd));
 362     case VT_DISPATCH: return VarR8FromDisp(V_DISPATCH(ps), lcid, &V_R8(pd));
 363     case VT_BSTR:     return VarR8FromStr(V_BSTR(ps), lcid, dwFlags, &V_R8(pd));
 364     }
 365     break;
 366
 367   case VT_DATE:
 368     switch (vtFrom)
 369     {
 370     case VT_EMPTY:    V_DATE(pd) = 0.0; return S_OK;
 371     case VT_I1:       return VarDateFromI1(V_I1(ps), &V_DATE(pd));
 372     case VT_I2:       return VarDateFromI2(V_I2(ps), &V_DATE(pd));
 373     case VT_I4:       return VarDateFromI4(V_I4(ps), &V_DATE(pd));
 374     case VT_UI1:      return VarDateFromUI1(V_UI1(ps), &V_DATE(pd));
 375     case VT_UI2:      return VarDateFromUI2(V_UI2(ps), &V_DATE(pd));
 376     case VT_UI4:      return VarDateFromUI4(V_UI4(ps), &V_DATE(pd));
 377     case VT_I8:       return VarDateFromI8(V_I8(ps), &V_DATE(pd));
 378     case VT_UI8:      return VarDateFromUI8(V_UI8(ps), &V_DATE(pd));
 379     case VT_R4:       return VarDateFromR4(V_R4(ps), &V_DATE(pd));
 380     case VT_R8:       return VarDateFromR8(V_R8(ps), &V_DATE(pd));
 381     case VT_BOOL:     return VarDateFromBool(V_BOOL(ps), &V_DATE(pd));
 382     case VT_CY:       return VarDateFromCy(V_CY(ps), &V_DATE(pd));
 383     case VT_DECIMAL:  return VarDateFromDec(&V_DECIMAL(ps), &V_DATE(pd));
 384     case VT_DISPATCH: return VarDateFromDisp(V_DISPATCH(ps), lcid, &V_DATE(pd));
 385     case VT_BSTR:     return VarDateFromStr(V_BSTR(ps), lcid, dwFlags, &V_DATE(pd));
 386     }
 387     break;
 388
 389   case VT_BOOL:
 390     switch (vtFrom)
 391     {
 392     case VT_EMPTY:    V_BOOL(pd) = 0; return S_OK;
 393     case VT_I1:       return VarBoolFromI1(V_I1(ps), &V_BOOL(pd));
 394     case VT_I2:       return VarBoolFromI2(V_I2(ps), &V_BOOL(pd));
 395     case VT_I4:       return VarBoolFromI4(V_I4(ps), &V_BOOL(pd));
 396     case VT_UI1:      return VarBoolFromUI1(V_UI1(ps), &V_BOOL(pd));
 397     case VT_UI2:      return VarBoolFromUI2(V_UI2(ps), &V_BOOL(pd));
 398     case VT_UI4:      return VarBoolFromUI4(V_UI4(ps), &V_BOOL(pd));
 399     case VT_I8:       return VarBoolFromI8(V_I8(ps), &V_BOOL(pd));
 400     case VT_UI8:      return VarBoolFromUI8(V_UI8(ps), &V_BOOL(pd));
 401     case VT_R4:       return VarBoolFromR4(V_R4(ps), &V_BOOL(pd));
 402     case VT_R8:       return VarBoolFromR8(V_R8(ps), &V_BOOL(pd));
 403     case VT_DATE:     return VarBoolFromDate(V_DATE(ps), &V_BOOL(pd));
 404     case VT_CY:       return VarBoolFromCy(V_CY(ps), &V_BOOL(pd));
 405     case VT_DECIMAL:  return VarBoolFromDec(&V_DECIMAL(ps), &V_BOOL(pd));
 406     case VT_DISPATCH: return VarBoolFromDisp(V_DISPATCH(ps), lcid, &V_BOOL(pd));
 407     case VT_BSTR:     return VarBoolFromStr(V_BSTR(ps), lcid, dwFlags, &V_BOOL(pd));
 408     }
 409     break;
 410
 411   case VT_BSTR:
 412     switch (vtFrom)
 413     {
 414     case VT_EMPTY:
 415       V_BSTR(pd) = SysAllocStringLen(NULL, 0);
 416       return V_BSTR(pd) ? S_OK : E_OUTOFMEMORY;
 417     case VT_BOOL:
 418       if (wFlags & (VARIANT_ALPHABOOL|VARIANT_LOCALBOOL))
 419          return VarBstrFromBool(V_BOOL(ps), lcid, dwFlags, &V_BSTR(pd));
 420       return VarBstrFromI2(V_BOOL(ps), lcid, dwFlags, &V_BSTR(pd));
 421     case VT_I1:       return VarBstrFromI1(V_I1(ps), lcid, dwFlags, &V_BSTR(pd));
 422     case VT_I2:       return VarBstrFromI2(V_I2(ps), lcid, dwFlags, &V_BSTR(pd));
 423     case VT_I4:       return VarBstrFromI4(V_I4(ps), lcid, dwFlags, &V_BSTR(pd));
 424     case VT_UI1:      return VarBstrFromUI1(V_UI1(ps), lcid, dwFlags, &V_BSTR(pd));
 425     case VT_UI2:      return VarBstrFromUI2(V_UI2(ps), lcid, dwFlags, &V_BSTR(pd));
 426     case VT_UI4:      return VarBstrFromUI4(V_UI4(ps), lcid, dwFlags, &V_BSTR(pd));
 427     case VT_I8:       return VarBstrFromI8(V_I8(ps), lcid, dwFlags, &V_BSTR(pd));
 428     case VT_UI8:      return VarBstrFromUI8(V_UI8(ps), lcid, dwFlags, &V_BSTR(pd));
 429     case VT_R4:       return VarBstrFromR4(V_R4(ps), lcid, dwFlags, &V_BSTR(pd));
 430     case VT_R8:       return VarBstrFromR8(V_R8(ps), lcid, dwFlags, &V_BSTR(pd));
 431     case VT_DATE:     return VarBstrFromDate(V_DATE(ps), lcid, dwFlags, &V_BSTR(pd));
 432     case VT_CY:       return VarBstrFromCy(V_CY(ps), lcid, dwFlags, &V_BSTR(pd));
 433     case VT_DECIMAL:  return VarBstrFromDec(&V_DECIMAL(ps), lcid, dwFlags, &V_BSTR(pd));
 434 /*  case VT_DISPATCH: return VarBstrFromDisp(V_DISPATCH(ps), lcid, dwFlags, &V_BSTR(pd)); */
 435     }
 436     break;
 437
 438   case VT_CY:
 439     switch (vtFrom)
 440     {
 441     case VT_EMPTY:    V_CY(pd).int64 = 0; return S_OK;
 442     case VT_I1:       return VarCyFromI1(V_I1(ps), &V_CY(pd));
 443     case VT_I2:       return VarCyFromI2(V_I2(ps), &V_CY(pd));
 444     case VT_I4:       return VarCyFromI4(V_I4(ps), &V_CY(pd));
 445     case VT_UI1:      return VarCyFromUI1(V_UI1(ps), &V_CY(pd));
 446     case VT_UI2:      return VarCyFromUI2(V_UI2(ps), &V_CY(pd));
 447     case VT_UI4:      return VarCyFromUI4(V_UI4(ps), &V_CY(pd));
 448     case VT_I8:       return VarCyFromI8(V_I8(ps), &V_CY(pd));
 449     case VT_UI8:      return VarCyFromUI8(V_UI8(ps), &V_CY(pd));
 450     case VT_R4:       return VarCyFromR4(V_R4(ps), &V_CY(pd));
 451     case VT_R8:       return VarCyFromR8(V_R8(ps), &V_CY(pd));
 452     case VT_DATE:     return VarCyFromDate(V_DATE(ps), &V_CY(pd));
 453     case VT_BOOL:     return VarCyFromBool(V_BOOL(ps), &V_CY(pd));
 454     case VT_DECIMAL:  return VarCyFromDec(&V_DECIMAL(ps), &V_CY(pd));
 455     case VT_DISPATCH: return VarCyFromDisp(V_DISPATCH(ps), lcid, &V_CY(pd));
 456     case VT_BSTR:     return VarCyFromStr(V_BSTR(ps), lcid, dwFlags, &V_CY(pd));
 457     }
 458     break;
 459
 460   case VT_DECIMAL:
 461     switch (vtFrom)
 462     {
 463     case VT_EMPTY:
 464     case VT_BOOL:
 465        DEC_SIGNSCALE(&V_DECIMAL(pd)) = SIGNSCALE(DECIMAL_POS,0);
 466        DEC_HI32(&V_DECIMAL(pd)) = 0;
 467        DEC_MID32(&V_DECIMAL(pd)) = 0;
 468         /* VarDecFromBool() coerces to -1/0, ChangeTypeEx() coerces to 1/0.
 469          * VT_NULL and VT_EMPTY always give a 0 value.
 470          */
 471        DEC_LO32(&V_DECIMAL(pd)) = vtFrom == VT_BOOL && V_BOOL(ps) ? 1 : 0;
 472        return S_OK;
 473     case VT_I1:       return VarDecFromI1(V_I1(ps), &V_DECIMAL(pd));
 474     case VT_I2:       return VarDecFromI2(V_I2(ps), &V_DECIMAL(pd));
 475     case VT_I4:       return VarDecFromI4(V_I4(ps), &V_DECIMAL(pd));
 476     case VT_UI1:      return VarDecFromUI1(V_UI1(ps), &V_DECIMAL(pd));
 477     case VT_UI2:      return VarDecFromUI2(V_UI2(ps), &V_DECIMAL(pd));
 478     case VT_UI4:      return VarDecFromUI4(V_UI4(ps), &V_DECIMAL(pd));
 479     case VT_I8:       return VarDecFromI8(V_I8(ps), &V_DECIMAL(pd));
 480     case VT_UI8:      return VarDecFromUI8(V_UI8(ps), &V_DECIMAL(pd));
 481     case VT_R4:       return VarDecFromR4(V_R4(ps), &V_DECIMAL(pd));
 482     case VT_R8:       return VarDecFromR8(V_R8(ps), &V_DECIMAL(pd));
 483     case VT_DATE:     return VarDecFromDate(V_DATE(ps), &V_DECIMAL(pd));
 484     case VT_CY:       return VarDecFromCy(V_CY(ps), &V_DECIMAL(pd));
 485     case VT_DISPATCH: return VarDecFromDisp(V_DISPATCH(ps), lcid, &V_DECIMAL(pd));
 486     case VT_BSTR:     return VarDecFromStr(V_BSTR(ps), lcid, dwFlags, &V_DECIMAL(pd));
 487     }
 488     break;
 489
 490   case VT_UNKNOWN:
 491     switch (vtFrom)
 492     {
 493     case VT_DISPATCH:
 494       if (V_DISPATCH(ps) == NULL)
 495         V_UNKNOWN(pd) = NULL;
 496       else
 497         res = IDispatch_QueryInterface(V_DISPATCH(ps), &IID_IUnknown, (LPVOID*)&V_UNKNOWN(pd));
 498       break;
 499     }
 500     break;
 501
 502   case VT_DISPATCH:
 503     switch (vtFrom)
 504     {
 505     case VT_UNKNOWN:
 506       if (V_UNKNOWN(ps) == NULL)
 507         V_DISPATCH(pd) = NULL;
 508       else
 509         res = IUnknown_QueryInterface(V_UNKNOWN(ps), &IID_IDispatch, (LPVOID*)&V_DISPATCH(pd));
 510       break;
 511     }
 512     break;
 513
 514   case VT_RECORD:
 515     break;
 516   }
 517   return res;
 518 }
 519
 520 /* Coerce to/from an array */
 521 static inline HRESULT VARIANT_CoerceArray(VARIANTARG* pd, VARIANTARG* ps, VARTYPE vt)
 522 {
 523   if (vt == VT_BSTR && V_VT(ps) == (VT_ARRAY|VT_UI1))
 524     return BstrFromVector(V_ARRAY(ps), &V_BSTR(pd));
 525
 526   if (V_VT(ps) == VT_BSTR && vt == (VT_ARRAY|VT_UI1))
 527     return VectorFromBstr(V_BSTR(ps), &V_ARRAY(ps));
 528
 529   if (V_VT(ps) == vt)
 530     return SafeArrayCopy(V_ARRAY(ps), &V_ARRAY(pd));
 531
 532   return DISP_E_TYPEMISMATCH;
 533 }
 534
 535 /******************************************************************************
 536  * Check if a variants type is valid.
 537  */
 538 static inline HRESULT VARIANT_ValidateType(VARTYPE vt)
 539 {
 540   VARTYPE vtExtra = vt & VT_EXTRA_TYPE;
 541
 542   vt &= VT_TYPEMASK;
 543
 544   if (!(vtExtra & (VT_VECTOR|VT_RESERVED)))
 545   {
 546     if (vt < VT_VOID || vt == VT_RECORD || vt == VT_CLSID)
 547     {
 548       if ((vtExtra & (VT_BYREF|VT_ARRAY)) && vt <= VT_NULL)
 549         return DISP_E_BADVARTYPE;
 550       if (vt != (VARTYPE)15)
 551         return S_OK;
 552     }
 553   }
 554   return DISP_E_BADVARTYPE;
 555 }
 556
 557 /******************************************************************************
 558  *              VariantInit     [OLEAUT32.8]
 559  *
 560  * Initialise a variant.
 561  *
 562  * PARAMS
 563  *  pVarg [O] Variant to initialise
 564  *
 565  * RETURNS
 566  *  Nothing.
 567  *
 568  * NOTES
 569  *  This function simply sets the type of the variant to VT_EMPTY. It does not
 570  *  free any existing value, use VariantClear() for that.
 571  */
 572 void WINAPI VariantInit(VARIANTARG* pVarg)
 573 {
 574   TRACE("(%p)\n", pVarg);
 575
 576   V_VT(pVarg) = VT_EMPTY; /* Native doesn't set any other fields */
 577 }
 578
 579 /******************************************************************************
 580  *              VariantClear    [OLEAUT32.9]
 581  *
 582  * Clear a variant.
 583  *
 584  * PARAMS
 585  *  pVarg [I/O] Variant to clear
 586  *
 587  * RETURNS
 588  *  Success: S_OK. Any previous value in pVarg is freed and its type is set to VT_EMPTY.
 589  *  Failure: DISP_E_BADVARTYPE, if the variant is a not a valid variant type.
 590  */
 591 HRESULT WINAPI VariantClear(VARIANTARG* pVarg)
 592 {
 593   HRESULT hres = S_OK;
 594
 595   TRACE("(%p->(%s%s))\n", pVarg, debugstr_VT(pVarg), debugstr_VF(pVarg));
 596
 597   hres = VARIANT_ValidateType(V_VT(pVarg));
 598
 599   if (SUCCEEDED(hres))
 600   {
 601     if (!V_ISBYREF(pVarg))
 602     {
 603       if (V_ISARRAY(pVarg) || V_VT(pVarg) == VT_SAFEARRAY)
 604       {
 605         if (V_ARRAY(pVarg))
 606           hres = SafeArrayDestroy(V_ARRAY(pVarg));
 607       }
 608       else if (V_VT(pVarg) == VT_BSTR)
 609       {
 610         if (V_BSTR(pVarg))
 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         if (V_BSTR(pvargSrc))
 722         {
 723           V_BSTR(pvargDest) = SysAllocStringByteLen((char*)V_BSTR(pvargSrc), SysStringByteLen(V_BSTR(pvargSrc)));
 724           if (!V_BSTR(pvargDest))
 725           {
 726             TRACE("!V_BSTR(pvargDest), SysAllocStringByteLen() failed to allocate %d bytes\n", SysStringByteLen(V_BSTR(pvargSrc)));
 727             hres = E_OUTOFMEMORY;
 728           }
 729         }
 730       }
 731       else if (V_VT(pvargSrc) == VT_RECORD)
 732       {
 733         hres = VARIANT_CopyIRecordInfo(&V_UNION(pvargDest,brecVal));
 734       }
 735       else if (V_VT(pvargSrc) == VT_DISPATCH ||
 736                V_VT(pvargSrc) == VT_UNKNOWN)
 737       {
 738         if (V_UNKNOWN(pvargSrc))
 739           IUnknown_AddRef(V_UNKNOWN(pvargSrc));
 740       }
 741     }
 742   }
 743   return hres;
 744 }
 745
 746 /* Return the byte size of a variants data */
 747 static inline size_t VARIANT_DataSize(const VARIANT* pv)
 748 {
 749   switch (V_TYPE(pv))
 750   {
 751   case VT_I1:
 752   case VT_UI1:   return sizeof(BYTE);
 753   case VT_I2:
 754   case VT_UI2:   return sizeof(SHORT);
 755   case VT_INT:
 756   case VT_UINT:
 757   case VT_I4:
 758   case VT_UI4:   return sizeof(LONG);
 759   case VT_I8:
 760   case VT_UI8:   return sizeof(LONGLONG);
 761   case VT_R4:    return sizeof(float);
 762   case VT_R8:    return sizeof(double);
 763   case VT_DATE:  return sizeof(DATE);
 764   case VT_BOOL:  return sizeof(VARIANT_BOOL);
 765   case VT_DISPATCH:
 766   case VT_UNKNOWN:
 767   case VT_BSTR:  return sizeof(void*);
 768   case VT_CY:    return sizeof(CY);
 769   case VT_ERROR: return sizeof(SCODE);
 770   }
 771   TRACE("Shouldn't be called for vt %s%s!\n", debugstr_VT(pv), debugstr_VF(pv));
 772   return 0;
 773 }
 774
 775 /******************************************************************************
 776  *    VariantCopyInd  [OLEAUT32.11]
 777  *
 778  * Copy a variant, dereferencing it it is by-reference.
 779  *
 780  * PARAMS
 781  *  pvargDest [O] Destination for copy
 782  *  pvargSrc  [I] Source variant to copy
 783  *
 784  * RETURNS
 785  *  Success: S_OK. pvargDest contains a copy of pvargSrc.
 786  *  Failure: An HRESULT error code indicating the error.
 787  *
 788  * NOTES
 789  *  Failure: DISP_E_BADVARTYPE, if either variant has an invalid by-value type.
 790  *           E_INVALIDARG, if pvargSrc  is an invalid by-reference type.
 791  *           E_OUTOFMEMORY, if memory cannot be allocated. Otherwise an
 792  *           HRESULT error code from SafeArrayCopy(), IRecordInfo_GetSize(),
 793  *           or IRecordInfo_RecordCopy(), depending on the type of pvargSrc.
 794  *
 795  * NOTES
 796  *  - If pvargSrc is by-value, this function behaves exactly as VariantCopy().
 797  *  - If pvargSrc is by-reference, the value copied to pvargDest is the pointed-to
 798  *    value.
 799  *  - if pvargSrc == pvargDest, this function dereferences in place. Otherwise,
 800  *    pvargDest is always cleared using VariantClear() before pvargSrc is copied
 801  *    to it. If clearing pvargDest fails, so does this function.
 802  */
 803 HRESULT WINAPI VariantCopyInd(VARIANT* pvargDest, VARIANTARG* pvargSrc)
 804 {
 805   VARIANTARG vTmp, *pSrc = pvargSrc;
 806   VARTYPE vt;
 807   HRESULT hres = S_OK;
 808
 809   TRACE("(%p->(%s%s),%p->(%s%s))\n", pvargDest, debugstr_VT(pvargDest),
 810         debugstr_VF(pvargDest), pvargSrc, debugstr_VT(pvargSrc),
 811         debugstr_VF(pvargSrc));
 812
 813   if (!V_ISBYREF(pvargSrc))
 814     return VariantCopy(pvargDest, pvargSrc);
 815
 816   /* Argument checking is more lax than VariantCopy()... */
 817   vt = V_TYPE(pvargSrc);
 818   if (V_ISARRAY(pvargSrc) ||
 819      (vt > VT_NULL && vt != (VARTYPE)15 && vt < VT_VOID &&
 820      !(V_VT(pvargSrc) & (VT_VECTOR|VT_RESERVED))))
 821   {
 822     /* OK */
 823   }
 824   else
 825     return E_INVALIDARG; /* ...And the return value for invalid types differs too */
 826
 827   if (pvargSrc == pvargDest)
 828   {
 829     /* In place copy. Use a shallow copy of pvargSrc & init pvargDest.
 830      * This avoids an expensive VariantCopy() call - e.g. SafeArrayCopy().
 831      */
 832     vTmp = *pvargSrc;
 833     pSrc = &vTmp;
 834     V_VT(pvargDest) = VT_EMPTY;
 835   }
 836   else
 837   {
 838     /* Copy into another variant. Free the variant in pvargDest */
 839     if (FAILED(hres = VariantClear(pvargDest)))
 840     {
 841       TRACE("VariantClear() of destination failed\n");
 842       return hres;
 843     }
 844   }
 845
 846   if (V_ISARRAY(pSrc))
 847   {
 848     /* Native doesn't check that *V_ARRAYREF(pSrc) is valid */
 849     hres = SafeArrayCopy(*V_ARRAYREF(pSrc), &V_ARRAY(pvargDest));
 850   }
 851   else if (V_VT(pSrc) == (VT_BSTR|VT_BYREF))
 852   {
 853     /* Native doesn't check that *V_BSTRREF(pSrc) is valid */
 854     V_BSTR(pvargDest) = SysAllocStringByteLen((char*)*V_BSTRREF(pSrc), SysStringByteLen(*V_BSTRREF(pSrc)));
 855   }
 856   else if (V_VT(pSrc) == (VT_RECORD|VT_BYREF))
 857   {
 858     V_UNION(pvargDest,brecVal) = V_UNION(pvargSrc,brecVal);
 859     hres = VARIANT_CopyIRecordInfo(&V_UNION(pvargDest,brecVal));
 860   }
 861   else if (V_VT(pSrc) == (VT_DISPATCH|VT_BYREF) ||
 862            V_VT(pSrc) == (VT_UNKNOWN|VT_BYREF))
 863   {
 864     /* Native doesn't check that *V_UNKNOWNREF(pSrc) is valid */
 865     V_UNKNOWN(pvargDest) = *V_UNKNOWNREF(pSrc);
 866     if (*V_UNKNOWNREF(pSrc))
 867       IUnknown_AddRef(*V_UNKNOWNREF(pSrc));
 868   }
 869   else if (V_VT(pSrc) == (VT_VARIANT|VT_BYREF))
 870   {
 871     /* Native doesn't check that *V_VARIANTREF(pSrc) is valid */
 872     if (V_VT(V_VARIANTREF(pSrc)) == (VT_VARIANT|VT_BYREF))
 873       hres = E_INVALIDARG; /* Don't dereference more than one level */
 874     else
 875       hres = VariantCopyInd(pvargDest, V_VARIANTREF(pSrc));
 876
 877     /* Use the dereferenced variants type value, not VT_VARIANT */
 878     goto VariantCopyInd_Return;
 879   }
 880   else if (V_VT(pSrc) == (VT_DECIMAL|VT_BYREF))
 881   {
 882     memcpy(&DEC_SCALE(&V_DECIMAL(pvargDest)), &DEC_SCALE(V_DECIMALREF(pSrc)),
 883            sizeof(DECIMAL) - sizeof(USHORT));
 884   }
 885   else
 886   {
 887     /* Copy the pointed to data into this variant */
 888     memcpy(&V_BYREF(pvargDest), V_BYREF(pSrc), VARIANT_DataSize(pSrc));
 889   }
 890
 891   V_VT(pvargDest) = V_VT(pSrc) & ~VT_BYREF;
 892
 893 VariantCopyInd_Return:
 894
 895   if (pSrc != pvargSrc)
 896     VariantClear(pSrc);
 897
 898   TRACE("returning 0x%08lx, %p->(%s%s)\n", hres, pvargDest,
 899         debugstr_VT(pvargDest), debugstr_VF(pvargDest));
 900   return hres;
 901 }
 902
 903 /******************************************************************************
 904  *    VariantChangeType  [OLEAUT32.12]
 905  *
 906  * Change the type of a variant.
 907  *
 908  * PARAMS
 909  *  pvargDest [O] Destination for the converted variant
 910  *  pvargSrc  [O] Source variant to change the type of
 911  *  wFlags    [I] VARIANT_ flags from "oleauto.h"
 912  *  vt        [I] Variant type to change pvargSrc into
 913  *
 914  * RETURNS
 915  *  Success: S_OK. pvargDest contains the converted value.
 916  *  Failure: An HRESULT error code describing the failure.
 917  *
 918  * NOTES
 919  *  The LCID used for the conversion is LOCALE_USER_DEFAULT.
 920  *  See VariantChangeTypeEx.
 921  */
 922 HRESULT WINAPI VariantChangeType(VARIANTARG* pvargDest, VARIANTARG* pvargSrc,
 923                                  USHORT wFlags, VARTYPE vt)
 924 {
 925   return VariantChangeTypeEx( pvargDest, pvargSrc, LOCALE_USER_DEFAULT, wFlags, vt );
 926 }
 927
 928 /******************************************************************************
 929  *    VariantChangeTypeEx  [OLEAUT32.147]
 930  *
 931  * Change the type of a variant.
 932  *
 933  * PARAMS
 934  *  pvargDest [O] Destination for the converted variant
 935  *  pvargSrc  [O] Source variant to change the type of
 936  *  lcid      [I] LCID for the conversion
 937  *  wFlags    [I] VARIANT_ flags from "oleauto.h"
 938  *  vt        [I] Variant type to change pvargSrc into
 939  *
 940  * RETURNS
 941  *  Success: S_OK. pvargDest contains the converted value.
 942  *  Failure: An HRESULT error code describing the failure.
 943  *
 944  * NOTES
 945  *  pvargDest and pvargSrc can point to the same variant to perform an in-place
 946  *  conversion. If the conversion is successful, pvargSrc will be freed.
 947  */
 948 HRESULT WINAPI VariantChangeTypeEx(VARIANTARG* pvargDest, VARIANTARG* pvargSrc,
 949                                    LCID lcid, USHORT wFlags, VARTYPE vt)
 950 {
 951   HRESULT res = S_OK;
 952
 953   TRACE("(%p->(%s%s),%p->(%s%s),0x%08lx,0x%04x,%s%s)\n", pvargDest,
 954         debugstr_VT(pvargDest), debugstr_VF(pvargDest), pvargSrc,
 955         debugstr_VT(pvargSrc), debugstr_VF(pvargSrc), lcid, wFlags,
 956         debugstr_vt(vt), debugstr_vf(vt));
 957
 958   if (vt == VT_CLSID)
 959     res = DISP_E_BADVARTYPE;
 960   else
 961   {
 962     res = VARIANT_ValidateType(V_VT(pvargSrc));
 963
 964     if (SUCCEEDED(res))
 965     {
 966       res = VARIANT_ValidateType(vt);
 967
 968       if (SUCCEEDED(res))
 969       {
 970         VARIANTARG vTmp, vSrcDeref;
 971
 972         if(V_ISBYREF(pvargSrc) && !V_BYREF(pvargSrc))
 973           res = DISP_E_TYPEMISMATCH;
 974         else
 975         {
 976           V_VT(&vTmp) = VT_EMPTY;
 977           V_VT(&vSrcDeref) = VT_EMPTY;
 978           VariantClear(&vTmp);
 979           VariantClear(&vSrcDeref);
 980         }
 981
 982         if (SUCCEEDED(res))
 983         {
 984           res = VariantCopyInd(&vSrcDeref, pvargSrc);
 985           if (SUCCEEDED(res))
 986           {
 987             if (V_ISARRAY(&vSrcDeref) || (vt & VT_ARRAY))
 988               res = VARIANT_CoerceArray(&vTmp, &vSrcDeref, vt);
 989             else
 990               res = VARIANT_Coerce(&vTmp, lcid, wFlags, &vSrcDeref, vt);
 991
 992             if (SUCCEEDED(res)) {
 993                 V_VT(&vTmp) = vt;
 994                 VariantCopy(pvargDest, &vTmp);
 995             }
 996             VariantClear(&vTmp);
 997             VariantClear(&vSrcDeref);
 998           }
 999         }
1000       }
1001     }
1002   }
1003
1004   TRACE("returning 0x%08lx, %p->(%s%s)\n", res, pvargDest,
1005         debugstr_VT(pvargDest), debugstr_VF(pvargDest));
1006   return res;
1007 }
1008
1009 /* Date Conversions */
1010
1011 #define IsLeapYear(y) (((y % 4) == 0) && (((y % 100) != 0) || ((y % 400) == 0)))
1012
1013 /* Convert a VT_DATE value to a Julian Date */
1014 static inline int VARIANT_JulianFromDate(int dateIn)
1015 {
1016   int julianDays = dateIn;
1017
1018   julianDays -= DATE_MIN; /* Convert to + days from 1 Jan 100 AD */
1019   julianDays += 1757585;  /* Convert to + days from 23 Nov 4713 BC (Julian) */
1020   return julianDays;
1021 }
1022
1023 /* Convert a Julian Date to a VT_DATE value */
1024 static inline int VARIANT_DateFromJulian(int dateIn)
1025 {
1026   int julianDays = dateIn;
1027
1028   julianDays -= 1757585;  /* Convert to + days from 1 Jan 100 AD */
1029   julianDays += DATE_MIN; /* Convert to +/- days from 1 Jan 1899 AD */
1030   return julianDays;
1031 }
1032
1033 /* Convert a Julian date to Day/Month/Year - from PostgreSQL */
1034 static inline void VARIANT_DMYFromJulian(int jd, USHORT *year, USHORT *month, USHORT *day)
1035 {
1036   int j, i, l, n;
1037
1038   l = jd + 68569;
1039   n = l * 4 / 146097;
1040   l -= (n * 146097 + 3) / 4;
1041   i = (4000 * (l + 1)) / 1461001;
1042   l += 31 - (i * 1461) / 4;
1043   j = (l * 80) / 2447;
1044   *day = l - (j * 2447) / 80;
1045   l = j / 11;
1046   *month = (j + 2) - (12 * l);
1047   *year = 100 * (n - 49) + i + l;
1048 }
1049
1050 /* Convert Day/Month/Year to a Julian date - from PostgreSQL */
1051 static inline double VARIANT_JulianFromDMY(USHORT year, USHORT month, USHORT day)
1052 {
1053   int m12 = (month - 14) / 12;
1054
1055   return ((1461 * (year + 4800 + m12)) / 4 + (367 * (month - 2 - 12 * m12)) / 12 -
1056            (3 * ((year + 4900 + m12) / 100)) / 4 + day - 32075);
1057 }
1058
1059 /* Macros for accessing DOS format date/time fields */
1060 #define DOS_YEAR(x)   (1980 + (x >> 9))
1061 #define DOS_MONTH(x)  ((x >> 5) & 0xf)
1062 #define DOS_DAY(x)    (x & 0x1f)
1063 #define DOS_HOUR(x)   (x >> 11)
1064 #define DOS_MINUTE(x) ((x >> 5) & 0x3f)
1065 #define DOS_SECOND(x) ((x & 0x1f) << 1)
1066 /* Create a DOS format date/time */
1067 #define DOS_DATE(d,m,y) (d | (m << 5) | ((y-1980) << 9))
1068 #define DOS_TIME(h,m,s) ((s >> 1) | (m << 5) | (h << 11))
1069
1070 /* Roll a date forwards or backwards to correct it */
1071 static HRESULT VARIANT_RollUdate(UDATE *lpUd)
1072 {
1073   static const BYTE days[] = { 0, 31, 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
1074
1075   TRACE("Raw date: %d/%d/%d %d:%d:%d\n", lpUd->st.wDay, lpUd->st.wMonth,
1076         lpUd->st.wYear, lpUd->st.wHour, lpUd->st.wMinute, lpUd->st.wSecond);
1077
1078   /* Years < 100 are treated as 1900 + year */
1079   if (lpUd->st.wYear < 100)
1080     lpUd->st.wYear += 1900;
1081
1082   if (!lpUd->st.wMonth)
1083   {
1084     /* Roll back to December of the previous year */
1085     lpUd->st.wMonth = 12;
1086     lpUd->st.wYear--;
1087   }
1088   else while (lpUd->st.wMonth > 12)
1089   {
1090     /* Roll forward the correct number of months */
1091     lpUd->st.wYear++;
1092     lpUd->st.wMonth -= 12;
1093   }
1094
1095   if (lpUd->st.wYear > 9999 || lpUd->st.wHour > 23 ||
1096       lpUd->st.wMinute > 59 || lpUd->st.wSecond > 59)
1097     return E_INVALIDARG; /* Invalid values */
1098
1099   if (!lpUd->st.wDay)
1100   {
1101     /* Roll back the date one day */
1102     if (lpUd->st.wMonth == 1)
1103     {
1104       /* Roll back to December 31 of the previous year */
1105       lpUd->st.wDay   = 31;
1106       lpUd->st.wMonth = 12;
1107       lpUd->st.wYear--;
1108     }
1109     else
1110     {
1111       lpUd->st.wMonth--; /* Previous month */
1112       if (lpUd->st.wMonth == 2 && IsLeapYear(lpUd->st.wYear))
1113         lpUd->st.wDay = 29; /* Februaury has 29 days on leap years */
1114       else
1115         lpUd->st.wDay = days[lpUd->st.wMonth]; /* Last day of the month */
1116     }
1117   }
1118   else if (lpUd->st.wDay > 28)
1119   {
1120     int rollForward = 0;
1121
1122     /* Possibly need to roll the date forward */
1123     if (lpUd->st.wMonth == 2 && IsLeapYear(lpUd->st.wYear))
1124       rollForward = lpUd->st.wDay - 29; /* Februaury has 29 days on leap years */
1125     else
1126       rollForward = lpUd->st.wDay - days[lpUd->st.wMonth];
1127
1128     if (rollForward > 0)
1129     {
1130       lpUd->st.wDay = rollForward;
1131       lpUd->st.wMonth++;
1132       if (lpUd->st.wMonth > 12)
1133       {
1134         lpUd->st.wMonth = 1; /* Roll forward into January of the next year */
1135         lpUd->st.wYear++;
1136       }
1137     }
1138   }
1139   TRACE("Rolled date: %d/%d/%d %d:%d:%d\n", lpUd->st.wDay, lpUd->st.wMonth,
1140         lpUd->st.wYear, lpUd->st.wHour, lpUd->st.wMinute, lpUd->st.wSecond);
1141   return S_OK;
1142 }
1143
1144 /**********************************************************************
1145  *              DosDateTimeToVariantTime [OLEAUT32.14]
1146  *
1147  * Convert a Dos format date and time into variant VT_DATE format.
1148  *
1149  * PARAMS
1150  *  wDosDate [I] Dos format date
1151  *  wDosTime [I] Dos format time
1152  *  pDateOut [O] Destination for VT_DATE format
1153  *
1154  * RETURNS
1155  *  Success: TRUE. pDateOut contains the converted time.
1156  *  Failure: FALSE, if wDosDate or wDosTime are invalid (see notes).
1157  *
1158  * NOTES
1159  * - Dos format dates can only hold dates from 1-Jan-1980 to 31-Dec-2099.
1160  * - Dos format times are accurate to only 2 second precision.
1161  * - The format of a Dos Date is:
1162  *| Bits   Values  Meaning
1163  *| ----   ------  -------
1164  *| 0-4    1-31    Day of the week. 0 rolls back one day. A value greater than
1165  *|                the days in the month rolls forward the extra days.
1166  *| 5-8    1-12    Month of the year. 0 rolls back to December of the previous
1167  *|                year. 13-15 are invalid.
1168  *| 9-15   0-119   Year based from 1980 (Max 2099). 120-127 are invalid.
1169  * - The format of a Dos Time is:
1170  *| Bits   Values  Meaning
1171  *| ----   ------  -------
1172  *| 0-4    0-29    Seconds/2. 30 and 31 are invalid.
1173  *| 5-10   0-59    Minutes. 60-63 are invalid.
1174  *| 11-15  0-23    Hours (24 hour clock). 24-32 are invalid.
1175  */
1176 INT WINAPI DosDateTimeToVariantTime(USHORT wDosDate, USHORT wDosTime,
1177                                     double *pDateOut)
1178 {
1179   UDATE ud;
1180
1181   TRACE("(0x%x(%d/%d/%d),0x%x(%d:%d:%d),%p)\n",
1182         wDosDate, DOS_YEAR(wDosDate), DOS_MONTH(wDosDate), DOS_DAY(wDosDate),
1183         wDosTime, DOS_HOUR(wDosTime), DOS_MINUTE(wDosTime), DOS_SECOND(wDosTime),
1184         pDateOut);
1185
1186   ud.st.wYear = DOS_YEAR(wDosDate);
1187   ud.st.wMonth = DOS_MONTH(wDosDate);
1188   if (ud.st.wYear > 2099 || ud.st.wMonth > 12)
1189     return FALSE;
1190   ud.st.wDay = DOS_DAY(wDosDate);
1191   ud.st.wHour = DOS_HOUR(wDosTime);
1192   ud.st.wMinute = DOS_MINUTE(wDosTime);
1193   ud.st.wSecond = DOS_SECOND(wDosTime);
1194   ud.st.wDayOfWeek = ud.st.wMilliseconds = 0;
1195
1196   return !VarDateFromUdate(&ud, 0, pDateOut);
1197 }
1198
1199 /**********************************************************************
1200  *              VariantTimeToDosDateTime [OLEAUT32.13]
1201  *
1202  * Convert a variant format date into a Dos format date and time.
1203  *
1204  *  dateIn    [I] VT_DATE time format
1205  *  pwDosDate [O] Destination for Dos format date
1206  *  pwDosTime [O] Destination for Dos format time
1207  *
1208  * RETURNS
1209  *  Success: TRUE. pwDosDate and pwDosTime contains the converted values.
1210  *  Failure: FALSE, if dateIn cannot be represented in Dos format.
1211  *
1212  * NOTES
1213  *   See DosDateTimeToVariantTime() for Dos format details and bugs.
1214  */
1215 INT WINAPI VariantTimeToDosDateTime(double dateIn, USHORT *pwDosDate, USHORT *pwDosTime)
1216 {
1217   UDATE ud;
1218
1219   TRACE("(%g,%p,%p)\n", dateIn, pwDosDate, pwDosTime);
1220
1221   if (FAILED(VarUdateFromDate(dateIn, 0, &ud)))
1222     return FALSE;
1223
1224   if (ud.st.wYear < 1980 || ud.st.wYear > 2099)
1225     return FALSE;
1226
1227   *pwDosDate = DOS_DATE(ud.st.wDay, ud.st.wMonth, ud.st.wYear);
1228   *pwDosTime = DOS_TIME(ud.st.wHour, ud.st.wMinute, ud.st.wSecond);
1229
1230   TRACE("Returning 0x%x(%d/%d/%d), 0x%x(%d:%d:%d)\n",
1231         *pwDosDate, DOS_YEAR(*pwDosDate), DOS_MONTH(*pwDosDate), DOS_DAY(*pwDosDate),
1232         *pwDosTime, DOS_HOUR(*pwDosTime), DOS_MINUTE(*pwDosTime), DOS_SECOND(*pwDosTime));
1233   return TRUE;
1234 }
1235
1236 /***********************************************************************
1237  *              SystemTimeToVariantTime [OLEAUT32.184]
1238  *
1239  * Convert a System format date and time into variant VT_DATE format.
1240  *
1241  * PARAMS
1242  *  lpSt     [I] System format date and time
1243  *  pDateOut [O] Destination for VT_DATE format date
1244  *
1245  * RETURNS
1246  *  Success: TRUE. *pDateOut contains the converted value.
1247  *  Failure: FALSE, if lpSt cannot be represented in VT_DATE format.
1248  */
1249 INT WINAPI SystemTimeToVariantTime(LPSYSTEMTIME lpSt, double *pDateOut)
1250 {
1251   UDATE ud;
1252
1253   TRACE("(%p->%d/%d/%d %d:%d:%d,%p)\n", lpSt, lpSt->wDay, lpSt->wMonth,
1254         lpSt->wYear, lpSt->wHour, lpSt->wMinute, lpSt->wSecond, pDateOut);
1255
1256   if (lpSt->wMonth > 12)
1257     return FALSE;
1258
1259   memcpy(&ud.st, lpSt, sizeof(ud.st));
1260   return !VarDateFromUdate(&ud, 0, pDateOut);
1261 }
1262
1263 /***********************************************************************
1264  *              VariantTimeToSystemTime [OLEAUT32.185]
1265  *
1266  * Convert a variant VT_DATE into a System format date and time.
1267  *
1268  * PARAMS
1269  *  datein [I] Variant VT_DATE format date
1270  *  lpSt   [O] Destination for System format date and time
1271  *
1272  * RETURNS
1273  *  Success: TRUE. *lpSt contains the converted value.
1274  *  Failure: FALSE, if dateIn is too large or small.
1275  */
1276 INT WINAPI VariantTimeToSystemTime(double dateIn, LPSYSTEMTIME lpSt)
1277 {
1278   UDATE ud;
1279
1280   TRACE("(%g,%p)\n", dateIn, lpSt);
1281
1282   if (FAILED(VarUdateFromDate(dateIn, 0, &ud)))
1283     return FALSE;
1284
1285   memcpy(lpSt, &ud.st, sizeof(ud.st));
1286   return TRUE;
1287 }
1288
1289 /***********************************************************************
1290  *              VarDateFromUdateEx [OLEAUT32.319]
1291  *
1292  * Convert an unpacked format date and time to a variant VT_DATE.
1293  *
1294  * PARAMS
1295  *  pUdateIn [I] Unpacked format date and time to convert
1296  *  lcid     [I] Locale identifier for the conversion
1297  *  dwFlags  [I] Flags controlling the conversion (VAR_ flags from "oleauto.h")
1298  *  pDateOut [O] Destination for variant VT_DATE.
1299  *
1300  * RETURNS
1301  *  Success: S_OK. *pDateOut contains the converted value.
1302  *  Failure: E_INVALIDARG, if pUdateIn cannot be represented in VT_DATE format.
1303  */
1304 HRESULT WINAPI VarDateFromUdateEx(UDATE *pUdateIn, LCID lcid, ULONG dwFlags, DATE *pDateOut)
1305 {
1306   UDATE ud;
1307   double dateVal;
1308
1309   TRACE("(%p->%d/%d/%d %d:%d:%d:%d %d %d,0x%08lx,0x%08lx,%p)\n", pUdateIn,
1310         pUdateIn->st.wMonth, pUdateIn->st.wDay, pUdateIn->st.wYear,
1311         pUdateIn->st.wHour, pUdateIn->st.wMinute, pUdateIn->st.wSecond,
1312         pUdateIn->st.wMilliseconds, pUdateIn->st.wDayOfWeek,
1313         pUdateIn->wDayOfYear, lcid, dwFlags, pDateOut);
1314
1315   if (lcid != MAKELCID(MAKELANGID(LANG_ENGLISH, SUBLANG_ENGLISH_US), SORT_DEFAULT))
1316     FIXME("lcid possibly not handled, treating as en-us\n");
1317
1318   memcpy(&ud, pUdateIn, sizeof(ud));
1319
1320   if (dwFlags & VAR_VALIDDATE)
1321     WARN("Ignoring VAR_VALIDDATE\n");
1322
1323   if (FAILED(VARIANT_RollUdate(&ud)))
1324     return E_INVALIDARG;
1325
1326   /* Date */
1327   dateVal = VARIANT_DateFromJulian(VARIANT_JulianFromDMY(ud.st.wYear, ud.st.wMonth, ud.st.wDay));
1328
1329   /* Time */
1330   dateVal += ud.st.wHour / 24.0;
1331   dateVal += ud.st.wMinute / 1440.0;
1332   dateVal += ud.st.wSecond / 86400.0;
1333   dateVal += ud.st.wMilliseconds / 86400000.0;
1334
1335   TRACE("Returning %g\n", dateVal);
1336   *pDateOut = dateVal;
1337   return S_OK;
1338 }
1339
1340 /***********************************************************************
1341  *              VarDateFromUdate [OLEAUT32.330]
1342  *
1343  * Convert an unpacked format date and time to a variant VT_DATE.
1344  *
1345  * PARAMS
1346  *  pUdateIn [I] Unpacked format date and time to convert
1347  *  dwFlags  [I] Flags controlling the conversion (VAR_ flags from "oleauto.h")
1348  *  pDateOut [O] Destination for variant VT_DATE.
1349  *
1350  * RETURNS
1351  *  Success: S_OK. *pDateOut contains the converted value.
1352  *  Failure: E_INVALIDARG, if pUdateIn cannot be represented in VT_DATE format.
1353  *
1354  * NOTES
1355  *  This function uses the United States English locale for the conversion. Use
1356  *  VarDateFromUdateEx() for alternate locales.
1357  */
1358 HRESULT WINAPI VarDateFromUdate(UDATE *pUdateIn, ULONG dwFlags, DATE *pDateOut)
1359 {
1360   LCID lcid = MAKELCID(MAKELANGID(LANG_ENGLISH, SUBLANG_ENGLISH_US), SORT_DEFAULT);
1361
1362   return VarDateFromUdateEx(pUdateIn, lcid, dwFlags, pDateOut);
1363 }
1364
1365 /***********************************************************************
1366  *              VarUdateFromDate [OLEAUT32.331]
1367  *
1368  * Convert a variant VT_DATE into an unpacked format date and time.
1369  *
1370  * PARAMS
1371  *  datein    [I] Variant VT_DATE format date
1372  *  dwFlags   [I] Flags controlling the conversion (VAR_ flags from "oleauto.h")
1373  *  lpUdate   [O] Destination for unpacked format date and time
1374  *
1375  * RETURNS
1376  *  Success: S_OK. *lpUdate contains the converted value.
1377  *  Failure: E_INVALIDARG, if dateIn is too large or small.
1378  */
1379 HRESULT WINAPI VarUdateFromDate(DATE dateIn, ULONG dwFlags, UDATE *lpUdate)
1380 {
1381   /* Cumulative totals of days per month */
1382   static const USHORT cumulativeDays[] =
1383   {
1384     0, 0, 31, 59, 90, 120, 151, 181, 212, 243, 273, 304, 334
1385   };
1386   double datePart, timePart;
1387   int julianDays;
1388
1389   TRACE("(%g,0x%08lx,%p)\n", dateIn, dwFlags, lpUdate);
1390
1391   if (dateIn <= (DATE_MIN - 1.0) || dateIn >= (DATE_MAX + 1.0))
1392     return E_INVALIDARG;
1393
1394   datePart = dateIn < 0.0 ? ceil(dateIn) : floor(dateIn);
1395   /* Compensate for int truncation (always downwards) */
1396   timePart = dateIn - datePart + 0.00000000001;
1397   if (timePart >= 1.0)
1398     timePart -= 0.00000000001;
1399
1400   /* Date */
1401   julianDays = VARIANT_JulianFromDate(dateIn);
1402   VARIANT_DMYFromJulian(julianDays, &lpUdate->st.wYear, &lpUdate->st.wMonth,
1403                         &lpUdate->st.wDay);
1404
1405   datePart = (datePart + 1.5) / 7.0;
1406   lpUdate->st.wDayOfWeek = (datePart - floor(datePart)) * 7;
1407   if (lpUdate->st.wDayOfWeek == 0)
1408     lpUdate->st.wDayOfWeek = 5;
1409   else if (lpUdate->st.wDayOfWeek == 1)
1410     lpUdate->st.wDayOfWeek = 6;
1411   else
1412     lpUdate->st.wDayOfWeek -= 2;
1413
1414   if (lpUdate->st.wMonth > 2 && IsLeapYear(lpUdate->st.wYear))
1415     lpUdate->wDayOfYear = 1; /* After February, in a leap year */
1416   else
1417     lpUdate->wDayOfYear = 0;
1418
1419   lpUdate->wDayOfYear += cumulativeDays[lpUdate->st.wMonth];
1420   lpUdate->wDayOfYear += lpUdate->st.wDay;
1421
1422   /* Time */
1423   timePart *= 24.0;
1424   lpUdate->st.wHour = timePart;
1425   timePart -= lpUdate->st.wHour;
1426   timePart *= 60.0;
1427   lpUdate->st.wMinute = timePart;
1428   timePart -= lpUdate->st.wMinute;
1429   timePart *= 60.0;
1430   lpUdate->st.wSecond = timePart;
1431   timePart -= lpUdate->st.wSecond;
1432   lpUdate->st.wMilliseconds = 0;
1433   if (timePart > 0.5)
1434   {
1435     /* Round the milliseconds, adjusting the time/date forward if needed */
1436     if (lpUdate->st.wSecond < 59)
1437       lpUdate->st.wSecond++;
1438     else
1439     {
1440       lpUdate->st.wSecond = 0;
1441       if (lpUdate->st.wMinute < 59)
1442         lpUdate->st.wMinute++;
1443       else
1444       {
1445         lpUdate->st.wMinute = 0;
1446         if (lpUdate->st.wHour < 23)
1447           lpUdate->st.wHour++;
1448         else
1449         {
1450           lpUdate->st.wHour = 0;
1451           /* Roll over a whole day */
1452           if (++lpUdate->st.wDay > 28)
1453             VARIANT_RollUdate(lpUdate);
1454         }
1455       }
1456     }
1457   }
1458   return S_OK;
1459 }
1460
1461 #define GET_NUMBER_TEXT(fld,name) \
1462   buff[0] = 0; \
1463   if (!GetLocaleInfoW(lcid, lctype|fld, buff, 2)) \
1464     WARN("buffer too small for " #fld "\n"); \
1465   else \
1466     if (buff[0]) lpChars->name = buff[0]; \
1467   TRACE("lcid 0x%lx, " #name "=%d '%c'\n", lcid, lpChars->name, lpChars->name)
1468
1469 /* Get the valid number characters for an lcid */
1470 void VARIANT_GetLocalisedNumberChars(VARIANT_NUMBER_CHARS *lpChars, LCID lcid, DWORD dwFlags)
1471 {
1472   static const VARIANT_NUMBER_CHARS defaultChars = { '-','+','.',',','$',0,'.',',' };
1473   LCTYPE lctype = dwFlags & LOCALE_NOUSEROVERRIDE;
1474   WCHAR buff[4];
1475
1476   memcpy(lpChars, &defaultChars, sizeof(defaultChars));
1477   GET_NUMBER_TEXT(LOCALE_SNEGATIVESIGN, cNegativeSymbol);
1478   GET_NUMBER_TEXT(LOCALE_SPOSITIVESIGN, cPositiveSymbol);
1479   GET_NUMBER_TEXT(LOCALE_SDECIMAL, cDecimalPoint);
1480   GET_NUMBER_TEXT(LOCALE_STHOUSAND, cDigitSeperator);
1481   GET_NUMBER_TEXT(LOCALE_SMONDECIMALSEP, cCurrencyDecimalPoint);
1482   GET_NUMBER_TEXT(LOCALE_SMONTHOUSANDSEP, cCurrencyDigitSeperator);
1483
1484   /* Local currency symbols are often 2 characters */
1485   lpChars->cCurrencyLocal2 = '\0';
1486   switch(GetLocaleInfoW(lcid, lctype|LOCALE_SCURRENCY, buff, sizeof(buff)/sizeof(WCHAR)))
1487   {
1488     case 3: lpChars->cCurrencyLocal2 = buff[1]; /* Fall through */
1489     case 2: lpChars->cCurrencyLocal  = buff[0];
1490             break;
1491     default: WARN("buffer too small for LOCALE_SCURRENCY\n");
1492   }
1493   TRACE("lcid 0x%lx, cCurrencyLocal =%d,%d '%c','%c'\n", lcid, lpChars->cCurrencyLocal,
1494         lpChars->cCurrencyLocal2, lpChars->cCurrencyLocal, lpChars->cCurrencyLocal2);
1495 }
1496
1497 /* Number Parsing States */
1498 #define B_PROCESSING_EXPONENT 0x1
1499 #define B_NEGATIVE_EXPONENT   0x2
1500 #define B_EXPONENT_START      0x4
1501 #define B_INEXACT_ZEROS       0x8
1502 #define B_LEADING_ZERO        0x10
1503 #define B_PROCESSING_HEX      0x20
1504 #define B_PROCESSING_OCT      0x40
1505
1506 /**********************************************************************
1507  *              VarParseNumFromStr [OLEAUT32.46]
1508  *
1509  * Parse a string containing a number into a NUMPARSE structure.
1510  *
1511  * PARAMS
1512  *  lpszStr [I]   String to parse number from
1513  *  lcid    [I]   Locale Id for the conversion
1514  *  dwFlags [I]   0, or LOCALE_NOUSEROVERRIDE to use system default number chars
1515  *  pNumprs [I/O] Destination for parsed number
1516  *  rgbDig  [O]   Destination for digits read in
1517  *
1518  * RETURNS
1519  *  Success: S_OK. pNumprs and rgbDig contain the parsed representation of
1520  *           the number.
1521  *  Failure: E_INVALIDARG, if any parameter is invalid.
1522  *           DISP_E_TYPEMISMATCH, if the string is not a number or is formatted
1523  *           incorrectly.
1524  *           DISP_E_OVERFLOW, if rgbDig is too small to hold the number.
1525  *
1526  * NOTES
1527  *  pNumprs must have the following fields set:
1528  *   cDig: Set to the size of rgbDig.
1529  *   dwInFlags: Set to the allowable syntax of the number using NUMPRS_ flags
1530  *            from "oleauto.h".
1531  *
1532  * FIXME
1533  *  - I am unsure if this function should parse non-arabic (e.g. Thai)
1534  *   numerals, so this has not been implemented.
1535  */
1536 HRESULT WINAPI VarParseNumFromStr(OLECHAR *lpszStr, LCID lcid, ULONG dwFlags,
1537                                   NUMPARSE *pNumprs, BYTE *rgbDig)
1538 {
1539   VARIANT_NUMBER_CHARS chars;
1540   BYTE rgbTmp[1024];
1541   DWORD dwState = B_EXPONENT_START|B_INEXACT_ZEROS;
1542   int iMaxDigits = sizeof(rgbTmp) / sizeof(BYTE);
1543   int cchUsed = 0;
1544
1545   TRACE("(%s,%ld,0x%08lx,%p,%p)\n", debugstr_w(lpszStr), lcid, dwFlags, pNumprs, rgbDig);
1546
1547   if (!pNumprs || !rgbDig)
1548     return E_INVALIDARG;
1549
1550   if (pNumprs->cDig < iMaxDigits)
1551     iMaxDigits = pNumprs->cDig;
1552
1553   pNumprs->cDig = 0;
1554   pNumprs->dwOutFlags = 0;
1555   pNumprs->cchUsed = 0;
1556   pNumprs->nBaseShift = 0;
1557   pNumprs->nPwr10 = 0;
1558
1559   if (!lpszStr)
1560     return DISP_E_TYPEMISMATCH;
1561
1562   VARIANT_GetLocalisedNumberChars(&chars, lcid, dwFlags);
1563
1564   /* First consume all the leading symbols and space from the string */
1565   while (1)
1566   {
1567     if (pNumprs->dwInFlags & NUMPRS_LEADING_WHITE && isspaceW(*lpszStr))
1568     {
1569       pNumprs->dwOutFlags |= NUMPRS_LEADING_WHITE;
1570       do
1571       {
1572         cchUsed++;
1573         lpszStr++;
1574       } while (isspaceW(*lpszStr));
1575     }
1576     else if (pNumprs->dwInFlags & NUMPRS_LEADING_PLUS &&
1577              *lpszStr == chars.cPositiveSymbol &&
1578              !(pNumprs->dwOutFlags & NUMPRS_LEADING_PLUS))
1579     {
1580       pNumprs->dwOutFlags |= NUMPRS_LEADING_PLUS;
1581       cchUsed++;
1582       lpszStr++;
1583     }
1584     else if (pNumprs->dwInFlags & NUMPRS_LEADING_MINUS &&
1585              *lpszStr == chars.cNegativeSymbol &&
1586              !(pNumprs->dwOutFlags & NUMPRS_LEADING_MINUS))
1587     {
1588       pNumprs->dwOutFlags |= (NUMPRS_LEADING_MINUS|NUMPRS_NEG);
1589       cchUsed++;
1590       lpszStr++;
1591     }
1592     else if (pNumprs->dwInFlags & NUMPRS_CURRENCY &&
1593              !(pNumprs->dwOutFlags & NUMPRS_CURRENCY) &&
1594              *lpszStr == chars.cCurrencyLocal &&
1595              (!chars.cCurrencyLocal2 || lpszStr[1] == chars.cCurrencyLocal2))
1596     {
1597       pNumprs->dwOutFlags |= NUMPRS_CURRENCY;
1598       cchUsed++;
1599       lpszStr++;
1600       /* Only accept currency characters */
1601       chars.cDecimalPoint = chars.cCurrencyDecimalPoint;
1602       chars.cDigitSeperator = chars.cCurrencyDigitSeperator;
1603     }
1604     else if (pNumprs->dwInFlags & NUMPRS_PARENS && *lpszStr == '(' &&
1605              !(pNumprs->dwOutFlags & NUMPRS_PARENS))
1606     {
1607       pNumprs->dwOutFlags |= NUMPRS_PARENS;
1608       cchUsed++;
1609       lpszStr++;
1610     }
1611     else
1612       break;
1613   }
1614
1615   if (!(pNumprs->dwOutFlags & NUMPRS_CURRENCY))
1616   {
1617     /* Only accept non-currency characters */
1618     chars.cCurrencyDecimalPoint = chars.cDecimalPoint;
1619     chars.cCurrencyDigitSeperator = chars.cDigitSeperator;
1620   }
1621
1622   if ((*lpszStr == '&' && (*(lpszStr+1) == 'H' || *(lpszStr+1) == 'h')) &&
1623     pNumprs->dwInFlags & NUMPRS_HEX_OCT)
1624   {
1625       dwState |= B_PROCESSING_HEX;
1626       pNumprs->dwOutFlags |= NUMPRS_HEX_OCT;
1627       cchUsed=cchUsed+2;
1628       lpszStr=lpszStr+2;
1629   }
1630   else if ((*lpszStr == '&' && (*(lpszStr+1) == 'O' || *(lpszStr+1) == 'o')) &&
1631     pNumprs->dwInFlags & NUMPRS_HEX_OCT)
1632   {
1633       dwState |= B_PROCESSING_OCT;
1634       pNumprs->dwOutFlags |= NUMPRS_HEX_OCT;
1635       cchUsed=cchUsed+2;
1636       lpszStr=lpszStr+2;
1637   }
1638
1639   /* Strip Leading zeros */
1640   while (*lpszStr == '0')
1641   {
1642     dwState |= B_LEADING_ZERO;
1643     cchUsed++;
1644     lpszStr++;
1645   }
1646
1647   while (*lpszStr)
1648   {
1649     if (isdigitW(*lpszStr))
1650     {
1651       if (dwState & B_PROCESSING_EXPONENT)
1652       {
1653         int exponentSize = 0;
1654         if (dwState & B_EXPONENT_START)
1655         {
1656           if (!isdigitW(*lpszStr))
1657             break; /* No exponent digits - invalid */
1658           while (*lpszStr == '0')
1659           {
1660             /* Skip leading zero's in the exponent */
1661             cchUsed++;
1662             lpszStr++;
1663           }
1664         }
1665
1666         while (isdigitW(*lpszStr))
1667         {
1668           exponentSize *= 10;
1669           exponentSize += *lpszStr - '0';
1670           cchUsed++;
1671           lpszStr++;
1672         }
1673         if (dwState & B_NEGATIVE_EXPONENT)
1674           exponentSize = -exponentSize;
1675         /* Add the exponent into the powers of 10 */
1676         pNumprs->nPwr10 += exponentSize;
1677         dwState &= ~(B_PROCESSING_EXPONENT|B_EXPONENT_START);
1678         lpszStr--; /* back up to allow processing of next char */
1679       }
1680       else
1681       {
1682         if ((pNumprs->cDig >= iMaxDigits) && !(dwState & B_PROCESSING_HEX)
1683           && !(dwState & B_PROCESSING_OCT))
1684         {
1685           pNumprs->dwOutFlags |= NUMPRS_INEXACT;
1686
1687           if (*lpszStr != '0')
1688             dwState &= ~B_INEXACT_ZEROS; /* Inexact number with non-trailing zeros */
1689
1690           /* This digit can't be represented, but count it in nPwr10 */
1691           if (pNumprs->dwOutFlags & NUMPRS_DECIMAL)
1692             pNumprs->nPwr10--;
1693           else
1694             pNumprs->nPwr10++;
1695         }
1696         else
1697         {
1698           if ((dwState & B_PROCESSING_OCT) && ((*lpszStr == '8') || (*lpszStr == '9'))) {
1699             return DISP_E_TYPEMISMATCH;
1700           }
1701
1702           if (pNumprs->dwOutFlags & NUMPRS_DECIMAL)
1703             pNumprs->nPwr10--; /* Count decimal points in nPwr10 */
1704
1705           rgbTmp[pNumprs->cDig] = *lpszStr - '0';
1706         }
1707         pNumprs->cDig++;
1708         cchUsed++;
1709       }
1710     }
1711     else if (*lpszStr == chars.cDigitSeperator && pNumprs->dwInFlags & NUMPRS_THOUSANDS)
1712     {
1713       pNumprs->dwOutFlags |= NUMPRS_THOUSANDS;
1714       cchUsed++;
1715     }
1716     else if (*lpszStr == chars.cDecimalPoint &&
1717              pNumprs->dwInFlags & NUMPRS_DECIMAL &&
1718              !(pNumprs->dwOutFlags & (NUMPRS_DECIMAL|NUMPRS_EXPONENT)))
1719     {
1720       pNumprs->dwOutFlags |= NUMPRS_DECIMAL;
1721       cchUsed++;
1722
1723       /* If we have no digits so far, skip leading zeros */
1724       if (!pNumprs->cDig)
1725       {
1726         while (lpszStr[1] == '0')
1727         {
1728           dwState |= B_LEADING_ZERO;
1729           cchUsed++;
1730           lpszStr++;
1731           pNumprs->nPwr10--;
1732         }
1733       }
1734     }
1735     else if ((*lpszStr == 'e' || *lpszStr == 'E') &&
1736              pNumprs->dwInFlags & NUMPRS_EXPONENT &&
1737              !(pNumprs->dwOutFlags & NUMPRS_EXPONENT))
1738     {
1739       dwState |= B_PROCESSING_EXPONENT;
1740       pNumprs->dwOutFlags |= NUMPRS_EXPONENT;
1741       cchUsed++;
1742     }
1743     else if (dwState & B_PROCESSING_EXPONENT && *lpszStr == chars.cPositiveSymbol)
1744     {
1745       cchUsed++; /* Ignore positive exponent */
1746     }
1747     else if (dwState & B_PROCESSING_EXPONENT && *lpszStr == chars.cNegativeSymbol)
1748     {
1749       dwState |= B_NEGATIVE_EXPONENT;
1750       cchUsed++;
1751     }
1752     else if (((*lpszStr >= 'a' && *lpszStr <= 'f') ||
1753              (*lpszStr >= 'A' && *lpszStr <= 'F')) &&
1754              dwState & B_PROCESSING_HEX)
1755     {
1756       if (pNumprs->cDig >= iMaxDigits)
1757       {
1758         return DISP_E_OVERFLOW;
1759       }
1760       else
1761       {
1762         if (*lpszStr >= 'a')
1763           rgbTmp[pNumprs->cDig] = *lpszStr - 'a' + 10;
1764         else
1765           rgbTmp[pNumprs->cDig] = *lpszStr - 'A' + 10;
1766       }
1767       pNumprs->cDig++;
1768       cchUsed++;
1769     }
1770     else
1771       break; /* Stop at an unrecognised character */
1772
1773     lpszStr++;
1774   }
1775
1776   if (!pNumprs->cDig && dwState & B_LEADING_ZERO)
1777   {
1778     /* Ensure a 0 on its own gets stored */
1779     pNumprs->cDig = 1;
1780     rgbTmp[0] = 0;
1781   }
1782
1783   if (pNumprs->dwOutFlags & NUMPRS_EXPONENT && dwState & B_PROCESSING_EXPONENT)
1784   {
1785     pNumprs->cchUsed = cchUsed;
1786     return DISP_E_TYPEMISMATCH; /* Failed to completely parse the exponent */
1787   }
1788
1789   if (pNumprs->dwOutFlags & NUMPRS_INEXACT)
1790   {
1791     if (dwState & B_INEXACT_ZEROS)
1792       pNumprs->dwOutFlags &= ~NUMPRS_INEXACT; /* All zeros doesn't set NUMPRS_INEXACT */
1793   } else if(pNumprs->dwInFlags & NUMPRS_HEX_OCT)
1794   {
1795     /* copy all of the digits into the output digit buffer */
1796     /* this is exactly what windows does although it also returns */
1797     /* cDig of X and writes X+Y where Y>=0 number of digits to rgbDig */
1798     memcpy(rgbDig, rgbTmp, pNumprs->cDig * sizeof(BYTE));
1799
1800     if (dwState & B_PROCESSING_HEX) {
1801       /* hex numbers have always the same format */
1802       pNumprs->nPwr10=0;
1803       pNumprs->nBaseShift=4;
1804     } else {
1805       if (dwState & B_PROCESSING_OCT) {
1806         /* oct numbers have always the same format */
1807         pNumprs->nPwr10=0;
1808         pNumprs->nBaseShift=3;
1809       } else {
1810         while (pNumprs->cDig > 1 && !rgbTmp[pNumprs->cDig - 1])
1811         {
1812           pNumprs->nPwr10++;
1813           pNumprs->cDig--;
1814         }
1815       }
1816     }
1817   } else
1818   {
1819     /* Remove trailing zeros from the last (whole number or decimal) part */
1820     while (pNumprs->cDig > 1 && !rgbTmp[pNumprs->cDig - 1])
1821     {
1822       pNumprs->nPwr10++;
1823       pNumprs->cDig--;
1824     }
1825   }
1826
1827   if (pNumprs->cDig <= iMaxDigits)
1828     pNumprs->dwOutFlags &= ~NUMPRS_INEXACT; /* Ignore stripped zeros for NUMPRS_INEXACT */
1829   else
1830     pNumprs->cDig = iMaxDigits; /* Only return iMaxDigits worth of digits */
1831
1832   /* Copy the digits we processed into rgbDig */
1833   memcpy(rgbDig, rgbTmp, pNumprs->cDig * sizeof(BYTE));
1834
1835   /* Consume any trailing symbols and space */
1836   while (1)
1837   {
1838     if ((pNumprs->dwInFlags & NUMPRS_TRAILING_WHITE) && isspaceW(*lpszStr))
1839     {
1840       pNumprs->dwOutFlags |= NUMPRS_TRAILING_WHITE;
1841       do
1842       {
1843         cchUsed++;
1844         lpszStr++;
1845       } while (isspaceW(*lpszStr));
1846     }
1847     else if (pNumprs->dwInFlags & NUMPRS_TRAILING_PLUS &&
1848              !(pNumprs->dwOutFlags & NUMPRS_LEADING_PLUS) &&
1849              *lpszStr == chars.cPositiveSymbol)
1850     {
1851       pNumprs->dwOutFlags |= NUMPRS_TRAILING_PLUS;
1852       cchUsed++;
1853       lpszStr++;
1854     }
1855     else if (pNumprs->dwInFlags & NUMPRS_TRAILING_MINUS &&
1856              !(pNumprs->dwOutFlags & NUMPRS_LEADING_MINUS) &&
1857              *lpszStr == chars.cNegativeSymbol)
1858     {
1859       pNumprs->dwOutFlags |= (NUMPRS_TRAILING_MINUS|NUMPRS_NEG);
1860       cchUsed++;
1861       lpszStr++;
1862     }
1863     else if (pNumprs->dwInFlags & NUMPRS_PARENS && *lpszStr == ')' &&
1864              pNumprs->dwOutFlags & NUMPRS_PARENS)
1865     {
1866       cchUsed++;
1867       lpszStr++;
1868       pNumprs->dwOutFlags |= NUMPRS_NEG;
1869     }
1870     else
1871       break;
1872   }
1873
1874   if (pNumprs->dwOutFlags & NUMPRS_PARENS && !(pNumprs->dwOutFlags & NUMPRS_NEG))
1875   {
1876     pNumprs->cchUsed = cchUsed;
1877     return DISP_E_TYPEMISMATCH; /* Opening parenthesis not matched */
1878   }
1879
1880   if (pNumprs->dwInFlags & NUMPRS_USE_ALL && *lpszStr != '\0')
1881     return DISP_E_TYPEMISMATCH; /* Not all chars were consumed */
1882
1883   if (!pNumprs->cDig)
1884     return DISP_E_TYPEMISMATCH; /* No Number found */
1885
1886   pNumprs->cchUsed = cchUsed;
1887   return S_OK;
1888 }
1889
1890 /* VTBIT flags indicating an integer value */
1891 #define INTEGER_VTBITS (VTBIT_I1|VTBIT_UI1|VTBIT_I2|VTBIT_UI2|VTBIT_I4|VTBIT_UI4|VTBIT_I8|VTBIT_UI8)
1892 /* VTBIT flags indicating a real number value */
1893 #define REAL_VTBITS (VTBIT_R4|VTBIT_R8|VTBIT_CY)
1894
1895 /* Helper macros to check whether bit pattern fits in VARIANT (x is a ULONG64 ) */
1896 #define FITS_AS_I1(x) ((x) >> 8 == 0)
1897 #define FITS_AS_I2(x) ((x) >> 16 == 0)
1898 #define FITS_AS_I4(x) ((x) >> 32 == 0)
1899
1900 /**********************************************************************
1901  *              VarNumFromParseNum [OLEAUT32.47]
1902  *
1903  * Convert a NUMPARSE structure into a numeric Variant type.
1904  *
1905  * PARAMS
1906  *  pNumprs  [I] Source for parsed number. cDig must be set to the size of rgbDig
1907  *  rgbDig   [I] Source for the numbers digits
1908  *  dwVtBits [I] VTBIT_ flags from "oleauto.h" indicating the acceptable dest types
1909  *  pVarDst  [O] Destination for the converted Variant value.
1910  *
1911  * RETURNS
1912  *  Success: S_OK. pVarDst contains the converted value.
1913  *  Failure: E_INVALIDARG, if any parameter is invalid.
1914  *           DISP_E_OVERFLOW, if the number is too big for the types set in dwVtBits.
1915  *
1916  * NOTES
1917  *  - The smallest favoured type present in dwVtBits that can represent the
1918  *    number in pNumprs without losing precision is used.
1919  *  - Signed types are preferrred over unsigned types of the same size.
1920  *  - Preferred types in order are: integer, float, double, currency then decimal.
1921  *  - Rounding (dropping of decimal points) occurs without error. See VarI8FromR8()
1922  *    for details of the rounding method.
1923  *  - pVarDst is not cleared before the result is stored in it.
1924  *  - WinXP and Win2003 support VTBIT_I8, VTBIT_UI8 but that's buggy (by
1925  *    design?): If some other VTBIT's for integers are specified together
1926  *    with VTBIT_I8 and the number will fit only in a VT_I8 Windows will "cast"
1927  *    the number to the smallest requested integer truncating this way the
1928  *    number.  Wine dosn't implement this "feature" (yet?).
1929  */
1930 HRESULT WINAPI VarNumFromParseNum(NUMPARSE *pNumprs, BYTE *rgbDig,
1931                                   ULONG dwVtBits, VARIANT *pVarDst)
1932 {
1933   /* Scale factors and limits for double arithmetic */
1934   static const double dblMultipliers[11] = {
1935     1.0, 10.0, 100.0, 1000.0, 10000.0, 100000.0,
1936     1000000.0, 10000000.0, 100000000.0, 1000000000.0, 10000000000.0
1937   };
1938   static const double dblMinimums[11] = {
1939     R8_MIN, R8_MIN*10.0, R8_MIN*100.0, R8_MIN*1000.0, R8_MIN*10000.0,
1940     R8_MIN*100000.0, R8_MIN*1000000.0, R8_MIN*10000000.0,
1941     R8_MIN*100000000.0, R8_MIN*1000000000.0, R8_MIN*10000000000.0
1942   };
1943   static const double dblMaximums[11] = {
1944     R8_MAX, R8_MAX/10.0, R8_MAX/100.0, R8_MAX/1000.0, R8_MAX/10000.0,
1945     R8_MAX/100000.0, R8_MAX/1000000.0, R8_MAX/10000000.0,
1946     R8_MAX/100000000.0, R8_MAX/1000000000.0, R8_MAX/10000000000.0
1947   };
1948
1949   int wholeNumberDigits, fractionalDigits, divisor10 = 0, multiplier10 = 0;
1950
1951   TRACE("(%p,%p,0x%lx,%p)\n", pNumprs, rgbDig, dwVtBits, pVarDst);
1952
1953   if (pNumprs->nBaseShift)
1954   {
1955     /* nBaseShift indicates a hex or octal number */
1956     ULONG64 ul64 = 0;
1957     LONG64 l64;
1958     int i;
1959
1960     /* Convert the hex or octal number string into a UI64 */
1961     for (i = 0; i < pNumprs->cDig; i++)
1962     {
1963       if (ul64 > ((UI8_MAX>>pNumprs->nBaseShift) - rgbDig[i]))
1964       {
1965         TRACE("Overflow multiplying digits\n");
1966         return DISP_E_OVERFLOW;
1967       }
1968       ul64 = (ul64<<pNumprs->nBaseShift) + rgbDig[i];
1969     }
1970
1971     /* also make a negative representation */
1972     l64=-ul64;
1973
1974     /* Try signed and unsigned types in size order */
1975     if (dwVtBits & VTBIT_I1 && FITS_AS_I1(ul64))
1976     {
1977       V_VT(pVarDst) = VT_I1;
1978       V_I1(pVarDst) = ul64;
1979       return S_OK;
1980     }
1981     else if (dwVtBits & VTBIT_UI1 && FITS_AS_I1(ul64))
1982     {
1983       V_VT(pVarDst) = VT_UI1;
1984       V_UI1(pVarDst) = ul64;
1985       return S_OK;
1986     }
1987     else if (dwVtBits & VTBIT_I2 && FITS_AS_I2(ul64))
1988     {
1989       V_VT(pVarDst) = VT_I2;
1990       V_I2(pVarDst) = ul64;
1991       return S_OK;
1992     }
1993     else if (dwVtBits & VTBIT_UI2 && FITS_AS_I2(ul64))
1994     {
1995       V_VT(pVarDst) = VT_UI2;
1996       V_UI2(pVarDst) = ul64;
1997       return S_OK;
1998     }
1999     else if (dwVtBits & VTBIT_I4 && FITS_AS_I4(ul64))
2000     {
2001       V_VT(pVarDst) = VT_I4;
2002       V_I4(pVarDst) = ul64;
2003       return S_OK;
2004     }
2005     else if (dwVtBits & VTBIT_UI4 && FITS_AS_I4(ul64))
2006     {
2007       V_VT(pVarDst) = VT_UI4;
2008       V_UI4(pVarDst) = ul64;
2009       return S_OK;
2010     }
2011     else if (dwVtBits & VTBIT_I8 && ((ul64 <= I8_MAX)||(l64>=I8_MIN)))
2012     {
2013       V_VT(pVarDst) = VT_I8;
2014       V_I8(pVarDst) = ul64;
2015       return S_OK;
2016     }
2017     else if (dwVtBits & VTBIT_UI8)
2018     {
2019       V_VT(pVarDst) = VT_UI8;
2020       V_UI8(pVarDst) = ul64;
2021       return S_OK;
2022     }
2023     else if ((dwVtBits & REAL_VTBITS) == VTBIT_DECIMAL)
2024     {
2025       V_VT(pVarDst) = VT_DECIMAL;
2026       DEC_SIGNSCALE(&V_DECIMAL(pVarDst)) = SIGNSCALE(DECIMAL_POS,0);
2027       DEC_HI32(&V_DECIMAL(pVarDst)) = 0;
2028       DEC_LO64(&V_DECIMAL(pVarDst)) = ul64;
2029       return S_OK;
2030     }
2031     else if (dwVtBits & VTBIT_R4 && ((ul64 <= I4_MAX)||(l64 >= I4_MIN)))
2032     {
2033       V_VT(pVarDst) = VT_R4;
2034       if (ul64 <= I4_MAX)
2035           V_R4(pVarDst) = ul64;
2036       else
2037           V_R4(pVarDst) = l64;
2038       return S_OK;
2039     }
2040     else if (dwVtBits & VTBIT_R8 && ((ul64 <= I4_MAX)||(l64 >= I4_MIN)))
2041     {
2042       V_VT(pVarDst) = VT_R8;
2043       if (ul64 <= I4_MAX)
2044           V_R8(pVarDst) = ul64;
2045       else
2046           V_R8(pVarDst) = l64;
2047       return S_OK;
2048     }
2049
2050     TRACE("Overflow: possible return types: 0x%lx, value: %s\n", dwVtBits, wine_dbgstr_longlong(ul64));
2051     return DISP_E_OVERFLOW;
2052   }
2053
2054   /* Count the number of relevant fractional and whole digits stored,
2055    * And compute the divisor/multiplier to scale the number by.
2056    */
2057   if (pNumprs->nPwr10 < 0)
2058   {
2059     if (-pNumprs->nPwr10 >= pNumprs->cDig)
2060     {
2061       /* A real number < +/- 1.0 e.g. 0.1024 or 0.01024 */
2062       wholeNumberDigits = 0;
2063       fractionalDigits = pNumprs->cDig;
2064       divisor10 = -pNumprs->nPwr10;
2065     }
2066     else
2067     {
2068       /* An exactly represented real number e.g. 1.024 */
2069       wholeNumberDigits = pNumprs->cDig + pNumprs->nPwr10;
2070       fractionalDigits = pNumprs->cDig - wholeNumberDigits;
2071       divisor10 = pNumprs->cDig - wholeNumberDigits;
2072     }
2073   }
2074   else if (pNumprs->nPwr10 == 0)
2075   {
2076     /* An exactly represented whole number e.g. 1024 */
2077     wholeNumberDigits = pNumprs->cDig;
2078     fractionalDigits = 0;
2079   }
2080   else /* pNumprs->nPwr10 > 0 */
2081   {
2082     /* A whole number followed by nPwr10 0's e.g. 102400 */
2083     wholeNumberDigits = pNumprs->cDig;
2084     fractionalDigits = 0;
2085     multiplier10 = pNumprs->nPwr10;
2086   }
2087
2088   TRACE("cDig %d; nPwr10 %d, whole %d, frac %d ", pNumprs->cDig,
2089         pNumprs->nPwr10, wholeNumberDigits, fractionalDigits);
2090   TRACE("mult %d; div %d\n", multiplier10, divisor10);
2091
2092   if (dwVtBits & (INTEGER_VTBITS|VTBIT_DECIMAL) &&
2093       (!fractionalDigits || !(dwVtBits & (REAL_VTBITS|VTBIT_CY|VTBIT_DECIMAL))))
2094   {
2095     /* We have one or more integer output choices, and either:
2096      *  1) An integer input value, or
2097      *  2) A real number input value but no floating output choices.
2098      * Alternately, we have a DECIMAL output available and an integer input.
2099      *
2100      * So, place the integer value into pVarDst, using the smallest type
2101      * possible and preferring signed over unsigned types.
2102      */
2103     BOOL bOverflow = FALSE, bNegative;
2104     ULONG64 ul64 = 0;
2105     int i;
2106
2107     /* Convert the integer part of the number into a UI8 */
2108     for (i = 0; i < wholeNumberDigits; i++)
2109     {
2110       if (ul64 > (UI8_MAX / 10 - rgbDig[i]))
2111       {
2112         TRACE("Overflow multiplying digits\n");
2113         bOverflow = TRUE;
2114         break;
2115       }
2116       ul64 = ul64 * 10 + rgbDig[i];
2117     }
2118
2119     /* Account for the scale of the number */
2120     if (!bOverflow && multiplier10)
2121     {
2122       for (i = 0; i < multiplier10; i++)
2123       {
2124         if (ul64 > (UI8_MAX / 10))
2125         {
2126           TRACE("Overflow scaling number\n");
2127           bOverflow = TRUE;
2128           break;
2129         }
2130         ul64 = ul64 * 10;
2131       }
2132     }
2133
2134     /* If we have any fractional digits, round the value.
2135      * Note we don't have to do this if divisor10 is < 1,
2136      * because this means the fractional part must be < 0.5
2137      */
2138     if (!bOverflow && fractionalDigits && divisor10 > 0)
2139     {
2140       const BYTE* fracDig = rgbDig + wholeNumberDigits;
2141       BOOL bAdjust = FALSE;
2142
2143       TRACE("first decimal value is %d\n", *fracDig);
2144
2145       if (*fracDig > 5)
2146         bAdjust = TRUE; /* > 0.5 */
2147       else if (*fracDig == 5)
2148       {
2149         for (i = 1; i < fractionalDigits; i++)
2150         {
2151           if (fracDig[i])
2152           {
2153             bAdjust = TRUE; /* > 0.5 */
2154             break;
2155           }
2156         }
2157         /* If exactly 0.5, round only odd values */
2158         if (i == fractionalDigits && (ul64 & 1))
2159           bAdjust = TRUE;
2160       }
2161
2162       if (bAdjust)
2163       {
2164         if (ul64 == UI8_MAX)
2165         {
2166           TRACE("Overflow after rounding\n");
2167           bOverflow = TRUE;
2168         }
2169         ul64++;
2170       }
2171     }
2172
2173     /* Zero is not a negative number */
2174     bNegative = pNumprs->dwOutFlags & NUMPRS_NEG && ul64 ? TRUE : FALSE;
2175
2176     TRACE("Integer value is %lld, bNeg %d\n", ul64, bNegative);
2177
2178     /* For negative integers, try the signed types in size order */
2179     if (!bOverflow && bNegative)
2180     {
2181       if (dwVtBits & (VTBIT_I1|VTBIT_I2|VTBIT_I4|VTBIT_I8))
2182       {
2183         if (dwVtBits & VTBIT_I1 && ul64 <= -I1_MIN)
2184         {
2185           V_VT(pVarDst) = VT_I1;
2186           V_I1(pVarDst) = -ul64;
2187           return S_OK;
2188         }
2189         else if (dwVtBits & VTBIT_I2 && ul64 <= -I2_MIN)
2190         {
2191           V_VT(pVarDst) = VT_I2;
2192           V_I2(pVarDst) = -ul64;
2193           return S_OK;
2194         }
2195         else if (dwVtBits & VTBIT_I4 && ul64 <= -((LONGLONG)I4_MIN))
2196         {
2197           V_VT(pVarDst) = VT_I4;
2198           V_I4(pVarDst) = -ul64;
2199           return S_OK;
2200         }
2201         else if (dwVtBits & VTBIT_I8 && ul64 <= (ULONGLONG)I8_MAX + 1)
2202         {
2203           V_VT(pVarDst) = VT_I8;
2204           V_I8(pVarDst) = -ul64;
2205           return S_OK;
2206         }
2207         else if ((dwVtBits & REAL_VTBITS) == VTBIT_DECIMAL)
2208         {
2209           /* Decimal is only output choice left - fast path */
2210           V_VT(pVarDst) = VT_DECIMAL;
2211           DEC_SIGNSCALE(&V_DECIMAL(pVarDst)) = SIGNSCALE(DECIMAL_NEG,0);
2212           DEC_HI32(&V_DECIMAL(pVarDst)) = 0;
2213           DEC_LO64(&V_DECIMAL(pVarDst)) = -ul64;
2214           return S_OK;
2215         }
2216       }
2217     }
2218     else if (!bOverflow)
2219     {
2220       /* For positive integers, try signed then unsigned types in size order */
2221       if (dwVtBits & VTBIT_I1 && ul64 <= I1_MAX)
2222       {
2223         V_VT(pVarDst) = VT_I1;
2224         V_I1(pVarDst) = ul64;
2225         return S_OK;
2226       }
2227       else if (dwVtBits & VTBIT_UI1 && ul64 <= UI1_MAX)
2228       {
2229         V_VT(pVarDst) = VT_UI1;
2230         V_UI1(pVarDst) = ul64;
2231         return S_OK;
2232       }
2233       else if (dwVtBits & VTBIT_I2 && ul64 <= I2_MAX)
2234       {
2235         V_VT(pVarDst) = VT_I2;
2236         V_I2(pVarDst) = ul64;
2237         return S_OK;
2238       }
2239       else if (dwVtBits & VTBIT_UI2 && ul64 <= UI2_MAX)
2240       {
2241         V_VT(pVarDst) = VT_UI2;
2242         V_UI2(pVarDst) = ul64;
2243         return S_OK;
2244       }
2245       else if (dwVtBits & VTBIT_I4 && ul64 <= I4_MAX)
2246       {
2247         V_VT(pVarDst) = VT_I4;
2248         V_I4(pVarDst) = ul64;
2249         return S_OK;
2250       }
2251       else if (dwVtBits & VTBIT_UI4 && ul64 <= UI4_MAX)
2252       {
2253         V_VT(pVarDst) = VT_UI4;
2254         V_UI4(pVarDst) = ul64;
2255         return S_OK;
2256       }
2257       else if (dwVtBits & VTBIT_I8 && ul64 <= I8_MAX)
2258       {
2259         V_VT(pVarDst) = VT_I8;
2260         V_I8(pVarDst) = ul64;
2261         return S_OK;
2262       }
2263       else if (dwVtBits & VTBIT_UI8)
2264       {
2265         V_VT(pVarDst) = VT_UI8;
2266         V_UI8(pVarDst) = ul64;
2267         return S_OK;
2268       }
2269       else if ((dwVtBits & REAL_VTBITS) == VTBIT_DECIMAL)
2270       {
2271         /* Decimal is only output choice left - fast path */
2272         V_VT(pVarDst) = VT_DECIMAL;
2273         DEC_SIGNSCALE(&V_DECIMAL(pVarDst)) = SIGNSCALE(DECIMAL_POS,0);
2274         DEC_HI32(&V_DECIMAL(pVarDst)) = 0;
2275         DEC_LO64(&V_DECIMAL(pVarDst)) = ul64;
2276         return S_OK;
2277       }
2278     }
2279   }
2280
2281   if (dwVtBits & REAL_VTBITS)
2282   {
2283     /* Try to put the number into a float or real */
2284     BOOL bOverflow = FALSE, bNegative = pNumprs->dwOutFlags & NUMPRS_NEG;
2285     double whole = 0.0;
2286     int i;
2287
2288     /* Convert the number into a double */
2289     for (i = 0; i < pNumprs->cDig; i++)
2290       whole = whole * 10.0 + rgbDig[i];
2291
2292     TRACE("Whole double value is %16.16g\n", whole);
2293
2294     /* Account for the scale */
2295     while (multiplier10 > 10)
2296     {
2297       if (whole > dblMaximums[10])
2298       {
2299         dwVtBits &= ~(VTBIT_R4|VTBIT_R8|VTBIT_CY);
2300         bOverflow = TRUE;
2301         break;
2302       }
2303       whole = whole * dblMultipliers[10];
2304       multiplier10 -= 10;
2305     }
2306     if (multiplier10)
2307     {
2308       if (whole > dblMaximums[multiplier10])
2309       {
2310         dwVtBits &= ~(VTBIT_R4|VTBIT_R8|VTBIT_CY);
2311         bOverflow = TRUE;
2312       }
2313       else
2314         whole = whole * dblMultipliers[multiplier10];
2315     }
2316
2317     TRACE("Scaled double value is %16.16g\n", whole);
2318
2319     while (divisor10 > 10)
2320     {
2321       if (whole < dblMinimums[10] && whole != 0)
2322       {
2323         dwVtBits &= ~(VTBIT_R4|VTBIT_R8|VTBIT_CY); /* Underflow */
2324         bOverflow = TRUE;
2325         break;
2326       }
2327       whole = whole / dblMultipliers[10];
2328       divisor10 -= 10;
2329     }
2330     if (divisor10)
2331     {
2332       if (whole < dblMinimums[divisor10] && whole != 0)
2333       {
2334         dwVtBits &= ~(VTBIT_R4|VTBIT_R8|VTBIT_CY); /* Underflow */
2335         bOverflow = TRUE;
2336       }
2337       else
2338         whole = whole / dblMultipliers[divisor10];
2339     }
2340     if (!bOverflow)
2341       TRACE("Final double value is %16.16g\n", whole);
2342
2343     if (dwVtBits & VTBIT_R4 &&
2344         ((whole <= R4_MAX && whole >= R4_MIN) || whole == 0.0))
2345     {
2346       TRACE("Set R4 to final value\n");
2347       V_VT(pVarDst) = VT_R4; /* Fits into a float */
2348       V_R4(pVarDst) = pNumprs->dwOutFlags & NUMPRS_NEG ? -whole : whole;
2349       return S_OK;
2350     }
2351
2352     if (dwVtBits & VTBIT_R8)
2353     {
2354       TRACE("Set R8 to final value\n");
2355       V_VT(pVarDst) = VT_R8; /* Fits into a double */
2356       V_R8(pVarDst) = pNumprs->dwOutFlags & NUMPRS_NEG ? -whole : whole;
2357       return S_OK;
2358     }
2359
2360     if (dwVtBits & VTBIT_CY)
2361     {
2362       if (SUCCEEDED(VarCyFromR8(bNegative ? -whole : whole, &V_CY(pVarDst))))
2363       {
2364         V_VT(pVarDst) = VT_CY; /* Fits into a currency */
2365         TRACE("Set CY to final value\n");
2366         return S_OK;
2367       }
2368       TRACE("Value Overflows CY\n");
2369     }
2370   }
2371
2372   if (dwVtBits & VTBIT_DECIMAL)
2373   {
2374     int i;
2375     ULONG carry;
2376     ULONG64 tmp;
2377     DECIMAL* pDec = &V_DECIMAL(pVarDst);
2378
2379     DECIMAL_SETZERO(*pDec);
2380     DEC_LO32(pDec) = 0;
2381
2382     if (pNumprs->dwOutFlags & NUMPRS_NEG)
2383       DEC_SIGN(pDec) = DECIMAL_NEG;
2384     else
2385       DEC_SIGN(pDec) = DECIMAL_POS;
2386
2387     /* Factor the significant digits */
2388     for (i = 0; i < pNumprs->cDig; i++)
2389     {
2390       tmp = (ULONG64)DEC_LO32(pDec) * 10 + rgbDig[i];
2391       carry = (ULONG)(tmp >> 32);
2392       DEC_LO32(pDec) = (ULONG)(tmp & UI4_MAX);
2393       tmp = (ULONG64)DEC_MID32(pDec) * 10 + carry;
2394       carry = (ULONG)(tmp >> 32);
2395       DEC_MID32(pDec) = (ULONG)(tmp & UI4_MAX);
2396       tmp = (ULONG64)DEC_HI32(pDec) * 10 + carry;
2397       DEC_HI32(pDec) = (ULONG)(tmp & UI4_MAX);
2398
2399       if (tmp >> 32 & UI4_MAX)
2400       {
2401 VarNumFromParseNum_DecOverflow:
2402         TRACE("Overflow\n");
2403         DEC_LO32(pDec) = DEC_MID32(pDec) = DEC_HI32(pDec) = UI4_MAX;
2404         return DISP_E_OVERFLOW;
2405       }
2406     }
2407
2408     /* Account for the scale of the number */
2409     while (multiplier10 > 0)
2410     {
2411       tmp = (ULONG64)DEC_LO32(pDec) * 10;
2412       carry = (ULONG)(tmp >> 32);
2413       DEC_LO32(pDec) = (ULONG)(tmp & UI4_MAX);
2414       tmp = (ULONG64)DEC_MID32(pDec) * 10 + carry;
2415       carry = (ULONG)(tmp >> 32);
2416       DEC_MID32(pDec) = (ULONG)(tmp & UI4_MAX);
2417       tmp = (ULONG64)DEC_HI32(pDec) * 10 + carry;
2418       DEC_HI32(pDec) = (ULONG)(tmp & UI4_MAX);
2419
2420       if (tmp >> 32 & UI4_MAX)
2421         goto VarNumFromParseNum_DecOverflow;
2422       multiplier10--;
2423     }
2424     DEC_SCALE(pDec) = divisor10;
2425
2426     V_VT(pVarDst) = VT_DECIMAL;
2427     return S_OK;
2428   }
2429   return DISP_E_OVERFLOW; /* No more output choices */
2430 }
2431
2432 /**********************************************************************
2433  *              VarCat [OLEAUT32.318]
2434  *
2435  * Concatenates one variant onto another.
2436  *
2437  * PARAMS
2438  *  left    [I] First variant
2439  *  right   [I] Second variant
2440  *  result  [O] Result variant
2441  *
2442  * RETURNS
2443  *  Success: S_OK.
2444  *  Failure: An HRESULT error code indicating the error.
2445  */
2446 HRESULT WINAPI VarCat(LPVARIANT left, LPVARIANT right, LPVARIANT out)
2447 {
2448     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
2449           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), out);
2450
2451     /* Should we VariantClear out? */
2452     /* Can we handle array, vector, by ref etc. */
2453     if ((V_VT(left)&VT_TYPEMASK) == VT_NULL &&
2454         (V_VT(right)&VT_TYPEMASK) == VT_NULL)
2455     {
2456         V_VT(out) = VT_NULL;
2457         return S_OK;
2458     }
2459
2460     if (V_VT(left) == VT_BSTR && V_VT(right) == VT_BSTR)
2461     {
2462         V_VT(out) = VT_BSTR;
2463         VarBstrCat (V_BSTR(left), V_BSTR(right), &V_BSTR(out));
2464         return S_OK;
2465     }
2466     if (V_VT(left) == VT_BSTR) {
2467         VARIANT bstrvar;
2468         HRESULT hres;
2469
2470         V_VT(out) = VT_BSTR;
2471         VariantInit(&bstrvar);
2472         hres = VariantChangeTypeEx(&bstrvar,right,0,0,VT_BSTR);
2473         if (hres) {
2474             FIXME("Failed to convert right side from vt %d to VT_BSTR?\n",V_VT(right));
2475             return hres;
2476         }
2477         VarBstrCat (V_BSTR(left), V_BSTR(&bstrvar), &V_BSTR(out));
2478         return S_OK;
2479     }
2480     if (V_VT(right) == VT_BSTR) {
2481         VARIANT bstrvar;
2482         HRESULT hres;
2483
2484         V_VT(out) = VT_BSTR;
2485         VariantInit(&bstrvar);
2486         hres = VariantChangeTypeEx(&bstrvar,left,0,0,VT_BSTR);
2487         if (hres) {
2488             FIXME("Failed to convert right side from vt %d to VT_BSTR?\n",V_VT(right));
2489             return hres;
2490         }
2491         VarBstrCat (V_BSTR(&bstrvar), V_BSTR(right), &V_BSTR(out));
2492         return S_OK;
2493     }
2494     FIXME ("types %d / %d not supported\n",V_VT(left)&VT_TYPEMASK, V_VT(right)&VT_TYPEMASK);
2495     return S_OK;
2496 }
2497
2498 /* Wrapper around VariantChangeTypeEx() which permits changing a
2499    variant with VT_RESERVED flag set. Needed by VarCmp. */
2500 static HRESULT _VarChangeTypeExWrap (VARIANTARG* pvargDest,
2501                     VARIANTARG* pvargSrc, LCID lcid, USHORT wFlags, VARTYPE vt)
2502 {
2503     HRESULT res;
2504     VARTYPE flags;
2505
2506     flags = V_VT(pvargSrc) & ~VT_TYPEMASK;
2507     V_VT(pvargSrc) &= ~VT_RESERVED;
2508     res = VariantChangeTypeEx(pvargDest,pvargSrc,lcid,wFlags,vt);
2509     V_VT(pvargSrc) |= flags;
2510
2511     return res;
2512 }
2513
2514 /**********************************************************************
2515  *              VarCmp [OLEAUT32.176]
2516  *
2517  * Compare two variants.
2518  *
2519  * PARAMS
2520  *  left    [I] First variant
2521  *  right   [I] Second variant
2522  *  lcid    [I] LCID (locale identifier) for the comparison
2523  *  flags   [I] Flags to be used in the comparision:
2524  *              NORM_IGNORECASE, NORM_IGNORENONSPACE, NORM_IGNORESYMBOLS,
2525  *              NORM_IGNOREWIDTH, NORM_IGNOREKANATYPE, NORM_IGNOREKASHIDA
2526  *
2527  * RETURNS
2528  *  VARCMP_LT:   left variant is less than right variant.
2529  *  VARCMP_EQ:   input variants are equal.
2530  *  VARCMP_LT:   left variant is greater than right variant.
2531  *  VARCMP_NULL: either one of the input variants is NULL.
2532  *  Failure:     An HRESULT error code indicating the error.
2533  *
2534  * NOTES
2535  *  Native VarCmp up to and including WinXP dosn't like as input variants
2536  *  I1, UI2, VT_UI4, UI8 and UINT. INT is accepted only as left variant.
2537  *
2538  *  If both input variants are ERROR then VARCMP_EQ will be returned, else
2539  *  an ERROR variant will trigger an error.
2540  *
2541  *  Both input variants can have VT_RESERVED flag set which is ignored
2542  *  unless one and only one of the variants is a BSTR and the other one
2543  *  is not an EMPTY variant. All four VT_RESERVED combinations have a
2544  *  different meaning:
2545  *   - BSTR and other: BSTR is always greater than the other variant.
2546  *   - BSTR|VT_RESERVED and other: a string comparision is performed.
2547  *   - BSTR and other|VT_RESERVED: If the BSTR is a number a numeric
2548  *     comparision will take place else the BSTR is always greater.
2549  *   - BSTR|VT_RESERVED and other|VT_RESERVED: It seems that the other
2550  *     variant is ignored and the return value depends only on the sign
2551  *     of the BSTR if it is a number else the BSTR is always greater. A
2552  *     positive BSTR is greater, a negative one is smaller than the other
2553  *     variant.
2554  *
2555  * SEE
2556  *  VarBstrCmp for the lcid and flags usage.
2557  */
2558 HRESULT WINAPI VarCmp(LPVARIANT left, LPVARIANT right, LCID lcid, DWORD flags)
2559 {
2560     VARTYPE     lvt, rvt, vt;
2561     VARIANT     rv,lv;
2562     DWORD       xmask;
2563     HRESULT     rc;
2564
2565     TRACE("(%p->(%s%s),%p->(%s%s),0x%08lx,0x%08lx)\n", left, debugstr_VT(left),
2566           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), lcid, flags);
2567
2568     lvt = V_VT(left) & VT_TYPEMASK;
2569     rvt = V_VT(right) & VT_TYPEMASK;
2570     xmask = (1 << lvt) | (1 << rvt);
2571
2572     /* If we have any flag set except VT_RESERVED bail out.
2573        Same for the left input variant type > VT_INT and for the
2574        right input variant type > VT_I8. Yes, VT_INT is only supported
2575        as left variant. Go figure */
2576     if (((V_VT(left) | V_VT(right)) & ~VT_TYPEMASK & ~VT_RESERVED) ||
2577             lvt > VT_INT || rvt > VT_I8) {
2578         return DISP_E_BADVARTYPE;
2579     }
2580
2581     /* Don't ask me why but native VarCmp cannot handle: VT_I1, VT_UI2, VT_UI4,
2582        VT_UINT and VT_UI8. Tested with DCOM98, Win2k, WinXP */
2583     if (rvt == VT_INT || xmask & (VTBIT_I1 | VTBIT_UI2 | VTBIT_UI4 | VTBIT_UI8 |
2584                 VTBIT_DISPATCH | VTBIT_VARIANT | VTBIT_UNKNOWN | VTBIT_15))
2585         return DISP_E_TYPEMISMATCH;
2586
2587     /* If both variants are VT_ERROR return VARCMP_EQ */
2588     if (xmask == VTBIT_ERROR)
2589         return VARCMP_EQ;
2590     else if (xmask & VTBIT_ERROR)
2591         return DISP_E_TYPEMISMATCH;
2592
2593     if (xmask & VTBIT_NULL)
2594         return VARCMP_NULL;
2595
2596     VariantInit(&lv);
2597     VariantInit(&rv);
2598
2599     /* Two BSTRs, ignore VT_RESERVED */
2600     if (xmask == VTBIT_BSTR)
2601         return VarBstrCmp(V_BSTR(left), V_BSTR(right), lcid, flags);
2602
2603     /* A BSTR and an other variant; we have to take care of VT_RESERVED */
2604     if (xmask & VTBIT_BSTR) {
2605         VARIANT *bstrv, *nonbv;
2606         VARTYPE nonbvt;
2607         int swap = 0;
2608
2609         /* Swap the variants so the BSTR is always on the left */
2610         if (lvt == VT_BSTR) {
2611             bstrv = left;
2612             nonbv = right;
2613             nonbvt = rvt;
2614         } else {
2615             swap = 1;
2616             bstrv = right;
2617             nonbv = left;
2618             nonbvt = lvt;
2619         }
2620
2621         /* BSTR and EMPTY: ignore VT_RESERVED */
2622         if (nonbvt == VT_EMPTY)
2623             rc = (!V_BSTR(bstrv) || !*V_BSTR(bstrv)) ? VARCMP_EQ : VARCMP_GT;
2624         else {
2625             VARTYPE breserv = V_VT(bstrv) & ~VT_TYPEMASK;
2626             VARTYPE nreserv = V_VT(nonbv) & ~VT_TYPEMASK;
2627
2628             if (!breserv && !nreserv)
2629                 /* No VT_RESERVED set ==> BSTR always greater */
2630                 rc = VARCMP_GT;
2631             else if (breserv && !nreserv) {
2632                 /* BSTR has VT_RESERVED set. Do a string comparision */
2633                 rc = VariantChangeTypeEx(&rv,nonbv,lcid,0,VT_BSTR);
2634                 if (FAILED(rc))
2635                     return rc;
2636                 rc = VarBstrCmp(V_BSTR(bstrv), V_BSTR(&rv), lcid, flags);
2637             } else if (V_BSTR(bstrv) && *V_BSTR(bstrv)) {
2638             /* Non NULL nor empty BSTR */
2639                 /* If the BSTR is not a number the BSTR is greater */
2640                 rc = _VarChangeTypeExWrap(&lv,bstrv,lcid,0,VT_R8);
2641                 if (FAILED(rc))
2642                     rc = VARCMP_GT;
2643                 else if (breserv && nreserv)
2644                     /* FIXME: This is strange: with both VT_RESERVED set it
2645                        looks like the result depends only on the sign of
2646                        the BSTR number */
2647                     rc = (V_R8(&lv) >= 0) ? VARCMP_GT : VARCMP_LT;
2648                 else
2649                     /* Numeric comparision, will be handled below.
2650                        VARCMP_NULL used only to break out. */
2651                     rc = VARCMP_NULL;
2652             VariantClear(&lv);
2653             VariantClear(&rv);
2654             } else
2655                 /* Empty or NULL BSTR */
2656                 rc = VARCMP_GT;
2657         }
2658         /* Fixup the return code if we swapped left and right */
2659         if (swap) {
2660             if (rc == VARCMP_GT)
2661                 rc = VARCMP_LT;
2662             else if (rc == VARCMP_LT)
2663                 rc = VARCMP_GT;
2664         }
2665         if (rc != VARCMP_NULL)
2666             return rc;
2667     }
2668
2669     if (xmask & VTBIT_DECIMAL)
2670         vt = VT_DECIMAL;
2671     else if (xmask & VTBIT_BSTR)
2672         vt = VT_R8;
2673     else if (xmask & VTBIT_R4)
2674         vt = VT_R4;
2675     else if (xmask & (VTBIT_R8 | VTBIT_DATE))
2676         vt = VT_R8;
2677     else if (xmask & VTBIT_CY)
2678         vt = VT_CY;
2679     else
2680         /* default to I8 */
2681         vt = VT_I8;
2682
2683     /* Coerce the variants */
2684     rc = _VarChangeTypeExWrap(&lv,left,lcid,0,vt);
2685     if (rc == DISP_E_OVERFLOW && vt != VT_R8) {
2686         /* Overflow, change to R8 */
2687         vt = VT_R8;
2688         rc = _VarChangeTypeExWrap(&lv,left,lcid,0,vt);
2689     }
2690     if (FAILED(rc))
2691         return rc;
2692     rc = _VarChangeTypeExWrap(&rv,right,lcid,0,vt);
2693     if (rc == DISP_E_OVERFLOW && vt != VT_R8) {
2694         /* Overflow, change to R8 */
2695         vt = VT_R8;
2696         rc = _VarChangeTypeExWrap(&lv,left,lcid,0,vt);
2697         if (FAILED(rc))
2698             return rc;
2699         rc = _VarChangeTypeExWrap(&rv,right,lcid,0,vt);
2700     }
2701     if (FAILED(rc))
2702         return rc;
2703
2704 #define _VARCMP(a,b) \
2705     (((a) == (b)) ? VARCMP_EQ : (((a) < (b)) ? VARCMP_LT : VARCMP_GT))
2706
2707     switch (vt) {
2708         case VT_CY:
2709             return VarCyCmp(V_CY(&lv), V_CY(&rv));
2710         case VT_DECIMAL:
2711             return VarDecCmp(&V_DECIMAL(&lv), &V_DECIMAL(&rv));
2712         case VT_I8:
2713             return _VARCMP(V_I8(&lv), V_I8(&rv));
2714         case VT_R4:
2715             return _VARCMP(V_R4(&lv), V_R4(&rv));
2716         case VT_R8:
2717             return _VARCMP(V_R8(&lv), V_R8(&rv));
2718         default:
2719             /* We should never get here */
2720             return E_FAIL;
2721     }
2722 #undef _VARCMP
2723 }
2724
2725 /**********************************************************************
2726  *              VarAnd [OLEAUT32.142]
2727  *
2728  * Computes the logical AND of two variants.
2729  *
2730  * PARAMS
2731  *  left    [I] First variant
2732  *  right   [I] Second variant
2733  *  result  [O] Result variant
2734  *
2735  * RETURNS
2736  *  Success: S_OK.
2737  *  Failure: An HRESULT error code indicating the error.
2738  */
2739 HRESULT WINAPI VarAnd(LPVARIANT left, LPVARIANT right, LPVARIANT result)
2740 {
2741     HRESULT rc = E_FAIL;
2742
2743     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
2744           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
2745
2746     if ((V_VT(left)&VT_TYPEMASK) == VT_BOOL &&
2747         (V_VT(right)&VT_TYPEMASK) == VT_BOOL) {
2748
2749         V_VT(result) = VT_BOOL;
2750         if (V_BOOL(left) && V_BOOL(right)) {
2751             V_BOOL(result) = VARIANT_TRUE;
2752         } else {
2753             V_BOOL(result) = VARIANT_FALSE;
2754         }
2755         rc = S_OK;
2756
2757     } else {
2758         /* Integers */
2759         BOOL         lOk        = TRUE;
2760         BOOL         rOk        = TRUE;
2761         LONGLONG     lVal = -1;
2762         LONGLONG     rVal = -1;
2763         LONGLONG     res  = -1;
2764         int          resT = 0; /* Testing has shown I2 & I2 == I2, all else
2765                                   becomes I4, even unsigned ints (incl. UI2) */
2766
2767         lOk = TRUE;
2768         switch (V_VT(left)&VT_TYPEMASK) {
2769         case VT_I1   : lVal = V_I1(left);  resT=VT_I4; break;
2770         case VT_I2   : lVal = V_I2(left);  resT=VT_I2; break;
2771         case VT_I4   :
2772         case VT_INT  : lVal = V_I4(left);  resT=VT_I4; break;
2773         case VT_UI1  : lVal = V_UI1(left);  resT=VT_I4; break;
2774         case VT_UI2  : lVal = V_UI2(left); resT=VT_I4; break;
2775         case VT_UI4  :
2776         case VT_UINT : lVal = V_UI4(left); resT=VT_I4; break;
2777         case VT_BOOL : rVal = V_BOOL(left); resT=VT_I4; break;
2778         default: lOk = FALSE;
2779         }
2780
2781         rOk = TRUE;
2782         switch (V_VT(right)&VT_TYPEMASK) {
2783         case VT_I1   : rVal = V_I1(right);  resT=VT_I4; break;
2784         case VT_I2   : rVal = V_I2(right);  resT=max(VT_I2, resT); break;
2785         case VT_I4   :
2786         case VT_INT  : rVal = V_I4(right);  resT=VT_I4; break;
2787         case VT_UI1  : rVal = V_UI1(right);  resT=VT_I4; break;
2788         case VT_UI2  : rVal = V_UI2(right); resT=VT_I4; break;
2789         case VT_UI4  :
2790         case VT_UINT : rVal = V_UI4(right); resT=VT_I4; break;
2791         case VT_BOOL : rVal = V_BOOL(right); resT=VT_I4; break;
2792         default: rOk = FALSE;
2793         }
2794
2795         if (lOk && rOk) {
2796             res = (lVal & rVal);
2797             V_VT(result) = resT;
2798             switch (resT) {
2799             case VT_I2   : V_I2(result)  = res; break;
2800             case VT_I4   : V_I4(result)  = res; break;
2801             default:
2802                 FIXME("Unexpected result variant type %x\n", resT);
2803                 V_I4(result)  = res;
2804             }
2805             rc = S_OK;
2806
2807         } else {
2808             FIXME("VarAnd stub\n");
2809         }
2810     }
2811
2812     TRACE("returning 0x%8lx (%s%s),%ld\n", rc, debugstr_VT(result),
2813           debugstr_VF(result), V_VT(result) == VT_I4 ? V_I4(result) : V_I2(result));
2814     return rc;
2815 }
2816
2817 /**********************************************************************
2818  *              VarAdd [OLEAUT32.141]
2819  *
2820  * Add two variants.
2821  *
2822  * PARAMS
2823  *  left    [I] First variant
2824  *  right   [I] Second variant
2825  *  result  [O] Result variant
2826  *
2827  * RETURNS
2828  *  Success: S_OK.
2829  *  Failure: An HRESULT error code indicating the error.
2830  *
2831  * NOTES
2832  *  Native VarAdd up to and including WinXP dosn't like as input variants
2833  *  I1, UI2, UI4, UI8, INT and UINT.
2834  *
2835  *  Native VarAdd dosn't check for NULL in/out pointers and crashes. We do the
2836  *  same here.
2837  *
2838  * FIXME
2839  *  Overflow checking for R8 (double) overflow. Return DISP_E_OVERFLOW in that
2840  *  case.
2841  */
2842 HRESULT WINAPI VarAdd(LPVARIANT left, LPVARIANT right, LPVARIANT result)
2843 {
2844     HRESULT hres;
2845     VARTYPE lvt, rvt, resvt, tvt;
2846     VARIANT lv, rv, tv;
2847     double r8res;
2848
2849     /* Variant priority for coercion. Sorted from lowest to highest.
2850        VT_ERROR shows an invalid input variant type. */
2851     enum coerceprio { vt_EMPTY, vt_UI1, vt_I2, vt_I4, vt_I8, vt_BSTR,vt_R4,
2852                       vt_R8, vt_CY, vt_DATE, vt_DECIMAL, vt_DISPATCH, vt_NULL,
2853                       vt_ERROR };
2854     /* Mapping from priority to variant type. Keep in sync with coerceprio! */
2855     VARTYPE prio2vt[] = { VT_EMPTY, VT_UI1, VT_I2, VT_I4, VT_I8, VT_BSTR, VT_R4,
2856                           VT_R8, VT_CY, VT_DATE, VT_DECIMAL, VT_DISPATCH,
2857                           VT_NULL, VT_ERROR };
2858
2859     /* Mapping for coercion from input variant to priority of result variant. */
2860     static VARTYPE coerce[] = {
2861         /* VT_EMPTY, VT_NULL, VT_I2, VT_I4, VT_R4 */
2862         vt_EMPTY, vt_NULL, vt_I2, vt_I4, vt_R4,
2863         /* VT_R8, VT_CY, VT_DATE, VT_BSTR, VT_DISPATCH */
2864         vt_R8, vt_CY, vt_DATE, vt_BSTR, vt_DISPATCH,
2865         /* VT_ERROR, VT_BOOL, VT_VARIANT, VT_UNKNOWN, VT_DECIMAL */
2866         vt_ERROR, vt_I2, vt_ERROR, vt_ERROR, vt_DECIMAL,
2867         /* 15, VT_I1, VT_UI1, VT_UI2, VT_UI4 VT_I8 */
2868         vt_ERROR, vt_ERROR, vt_UI1, vt_ERROR, vt_ERROR, vt_I8
2869     };
2870
2871     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
2872           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right),
2873           result);
2874
2875     VariantInit(&lv);
2876     VariantInit(&rv);
2877     VariantInit(&tv);
2878     lvt = V_VT(left)&VT_TYPEMASK;
2879     rvt = V_VT(right)&VT_TYPEMASK;
2880
2881     /* If we have any flag set (VT_ARRAY, VT_VECTOR, etc.) bail out.
2882        Same for any input variant type > VT_I8 */
2883     if (V_VT(left) & ~VT_TYPEMASK || V_VT(right) & ~VT_TYPEMASK ||
2884         lvt > VT_I8 || rvt > VT_I8) {
2885         hres = DISP_E_BADVARTYPE;
2886         goto end;
2887     }
2888
2889     /* Determine the variant type to coerce to. */
2890     if (coerce[lvt] > coerce[rvt]) {
2891         resvt = prio2vt[coerce[lvt]];
2892         tvt = prio2vt[coerce[rvt]];
2893     } else {
2894         resvt = prio2vt[coerce[rvt]];
2895         tvt = prio2vt[coerce[lvt]];
2896     }
2897
2898     /* Special cases where the result variant type is defined by both
2899        input variants and not only that with the highest priority */
2900     if (resvt == VT_BSTR) {
2901         if (tvt == VT_EMPTY || tvt == VT_BSTR)
2902             resvt = VT_BSTR;
2903         else
2904             resvt = VT_R8;
2905     }
2906     if (resvt == VT_R4 && (tvt == VT_BSTR || tvt == VT_I8 || tvt == VT_I4))
2907         resvt = VT_R8;
2908
2909     /* For overflow detection use the biggest compatible type for the
2910        addition */
2911     switch (resvt) {
2912         case VT_ERROR:
2913             hres = DISP_E_BADVARTYPE;
2914             goto end;
2915         case VT_NULL:
2916             hres = S_OK;
2917             V_VT(result) = VT_NULL;
2918             goto end;
2919         case VT_DISPATCH:
2920             FIXME("cannot handle variant type VT_DISPATCH\n");
2921             hres = DISP_E_TYPEMISMATCH;
2922             goto end;
2923         case VT_EMPTY:
2924             resvt = VT_I2;
2925             /* Fall through */
2926         case VT_UI1:
2927         case VT_I2:
2928         case VT_I4:
2929         case VT_I8:
2930             tvt = VT_I8;
2931             break;
2932         case VT_DATE:
2933         case VT_R4:
2934             tvt = VT_R8;
2935             break;
2936         default:
2937             tvt = resvt;
2938     }
2939
2940     /* Now coerce the variants */
2941     hres = VariantChangeType(&lv, left, 0, tvt);
2942     if (FAILED(hres))
2943         goto end;
2944     hres = VariantChangeType(&rv, right, 0, tvt);
2945     if (FAILED(hres))
2946         goto end;
2947
2948     /* Do the math */
2949     hres = S_OK;
2950     V_VT(result) = resvt;
2951     switch (tvt) {
2952         case VT_DECIMAL:
2953             hres = VarDecAdd(&V_DECIMAL(&lv), &V_DECIMAL(&rv),
2954                              &V_DECIMAL(result));
2955             goto end;
2956         case VT_CY:
2957             hres = VarCyAdd(V_CY(&lv), V_CY(&rv), &V_CY(result));
2958             goto end;
2959         case VT_BSTR:
2960             /* We do not add those, we concatenate them. */
2961             hres = VarBstrCat(V_BSTR(&lv), V_BSTR(&rv), &V_BSTR(result));
2962             goto end;
2963         case VT_I8:
2964             /* Overflow detection */
2965             r8res = (double)V_I8(&lv) + (double)V_I8(&rv);
2966             if (r8res > (double)I8_MAX || r8res < (double)I8_MIN) {
2967                 V_VT(result) = VT_R8;
2968                 V_R8(result) = r8res;
2969                 goto end;
2970             } else {
2971                 V_VT(&tv) = tvt;
2972                 V_I8(&tv) = V_I8(&lv) + V_I8(&rv);
2973             }
2974             break;
2975         case VT_R8:
2976             V_VT(&tv) = tvt;
2977             /* FIXME: overflow detection */
2978             V_R8(&tv) = V_R8(&lv) + V_R8(&rv);
2979             break;
2980         default:
2981             ERR("We shouldn't get here! tvt = %d!\n", tvt);
2982             break;
2983     }
2984     if (resvt != tvt) {
2985         if ((hres = VariantChangeType(result, &tv, 0, resvt)) != S_OK) {
2986             /* Overflow! Change to the vartype with the next higher priority.
2987                With one exception: I4 ==> R8 even if it would fit in I8 */
2988             if (resvt == VT_I4)
2989                 resvt = VT_R8;
2990             else
2991                 resvt = prio2vt[coerce[resvt] + 1];
2992             hres = VariantChangeType(result, &tv, 0, resvt);
2993         }
2994     } else
2995         hres = VariantCopy(result, &tv);
2996
2997 end:
2998     if (hres != S_OK) {
2999         V_VT(result) = VT_EMPTY;
3000         V_I4(result) = 0;       /* No V_EMPTY */
3001     }
3002     VariantClear(&lv);
3003     VariantClear(&rv);
3004     VariantClear(&tv);
3005     TRACE("returning 0x%8lx (variant type %s)\n", hres, debugstr_VT(result));
3006     return hres;
3007 }
3008
3009 /**********************************************************************
3010  *              VarMul [OLEAUT32.156]
3011  *
3012  * Multiply two variants.
3013  *
3014  * PARAMS
3015  *  left    [I] First variant
3016  *  right   [I] Second variant
3017  *  result  [O] Result variant
3018  *
3019  * RETURNS
3020  *  Success: S_OK.
3021  *  Failure: An HRESULT error code indicating the error.
3022  *
3023  * NOTES
3024  *  Native VarMul up to and including WinXP dosn't like as input variants
3025  *  I1, UI2, UI4, UI8, INT and UINT. But it can multiply apples with oranges.
3026  *
3027  *  Native VarMul dosn't check for NULL in/out pointers and crashes. We do the
3028  *  same here.
3029  *
3030  * FIXME
3031  *  Overflow checking for R8 (double) overflow. Return DISP_E_OVERFLOW in that
3032  *  case.
3033  */
3034 HRESULT WINAPI VarMul(LPVARIANT left, LPVARIANT right, LPVARIANT result)
3035 {
3036     HRESULT hres;
3037     VARTYPE lvt, rvt, resvt, tvt;
3038     VARIANT lv, rv, tv;
3039     double r8res;
3040
3041     /* Variant priority for coercion. Sorted from lowest to highest.
3042        VT_ERROR shows an invalid input variant type. */
3043     enum coerceprio { vt_UI1 = 0, vt_I2, vt_I4, vt_I8, vt_CY, vt_R4, vt_R8,
3044                       vt_DECIMAL, vt_NULL, vt_ERROR };
3045     /* Mapping from priority to variant type. Keep in sync with coerceprio! */
3046     VARTYPE prio2vt[] = { VT_UI1, VT_I2, VT_I4, VT_I8, VT_CY, VT_R4, VT_R8,
3047                           VT_DECIMAL, VT_NULL, VT_ERROR };
3048
3049     /* Mapping for coercion from input variant to priority of result variant. */
3050     static VARTYPE coerce[] = {
3051         /* VT_EMPTY, VT_NULL, VT_I2, VT_I4, VT_R4 */
3052         vt_UI1, vt_NULL, vt_I2, vt_I4, vt_R4,
3053         /* VT_R8, VT_CY, VT_DATE, VT_BSTR, VT_DISPATCH */
3054         vt_R8, vt_CY, vt_R8, vt_R8, vt_ERROR,
3055         /* VT_ERROR, VT_BOOL, VT_VARIANT, VT_UNKNOWN, VT_DECIMAL */
3056         vt_ERROR, vt_I2, vt_ERROR, vt_ERROR, vt_DECIMAL,
3057         /* 15, VT_I1, VT_UI1, VT_UI2, VT_UI4 VT_I8 */
3058         vt_ERROR, vt_ERROR, vt_UI1, vt_ERROR, vt_ERROR, vt_I8
3059     };
3060
3061     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
3062           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right),
3063           result);
3064
3065     VariantInit(&lv);
3066     VariantInit(&rv);
3067     VariantInit(&tv);
3068     lvt = V_VT(left)&VT_TYPEMASK;
3069     rvt = V_VT(right)&VT_TYPEMASK;
3070
3071     /* If we have any flag set (VT_ARRAY, VT_VECTOR, etc.) bail out.
3072        Same for any input variant type > VT_I8 */
3073     if (V_VT(left) & ~VT_TYPEMASK || V_VT(right) & ~VT_TYPEMASK ||
3074         lvt > VT_I8 || rvt > VT_I8) {
3075         hres = DISP_E_BADVARTYPE;
3076         goto end;
3077     }
3078
3079     /* Determine the variant type to coerce to. */
3080     if (coerce[lvt] > coerce[rvt]) {
3081         resvt = prio2vt[coerce[lvt]];
3082         tvt = prio2vt[coerce[rvt]];
3083     } else {
3084         resvt = prio2vt[coerce[rvt]];
3085         tvt = prio2vt[coerce[lvt]];
3086     }
3087
3088     /* Special cases where the result variant type is defined by both
3089        input variants and not only that with the highest priority */
3090     if (resvt == VT_R4 && (tvt == VT_CY || tvt == VT_I8 || tvt == VT_I4))
3091         resvt = VT_R8;
3092     if (lvt == VT_EMPTY && rvt == VT_EMPTY)
3093         resvt = VT_I2;
3094
3095     /* For overflow detection use the biggest compatible type for the
3096        multiplication */
3097     switch (resvt) {
3098         case VT_ERROR:
3099             hres = DISP_E_BADVARTYPE;
3100             goto end;
3101         case VT_NULL:
3102             hres = S_OK;
3103             V_VT(result) = VT_NULL;
3104             goto end;
3105         case VT_UI1:
3106         case VT_I2:
3107         case VT_I4:
3108         case VT_I8:
3109             tvt = VT_I8;
3110             break;
3111         case VT_R4:
3112             tvt = VT_R8;
3113             break;
3114         default:
3115             tvt = resvt;
3116     }
3117
3118     /* Now coerce the variants */
3119     hres = VariantChangeType(&lv, left, 0, tvt);
3120     if (FAILED(hres))
3121         goto end;
3122     hres = VariantChangeType(&rv, right, 0, tvt);
3123     if (FAILED(hres))
3124         goto end;
3125
3126     /* Do the math */
3127     hres = S_OK;
3128     V_VT(&tv) = tvt;
3129     V_VT(result) = resvt;
3130     switch (tvt) {
3131         case VT_DECIMAL:
3132             hres = VarDecMul(&V_DECIMAL(&lv), &V_DECIMAL(&rv),
3133                              &V_DECIMAL(result));
3134             goto end;
3135         case VT_CY:
3136             hres = VarCyMul(V_CY(&lv), V_CY(&rv), &V_CY(result));
3137             goto end;
3138         case VT_I8:
3139             /* Overflow detection */
3140             r8res = (double)V_I8(&lv) * (double)V_I8(&rv);
3141             if (r8res > (double)I8_MAX || r8res < (double)I8_MIN) {
3142                 V_VT(result) = VT_R8;
3143                 V_R8(result) = r8res;
3144                 goto end;
3145             } else
3146                 V_I8(&tv) = V_I8(&lv) * V_I8(&rv);
3147             break;
3148         case VT_R8:
3149             /* FIXME: overflow detection */
3150             V_R8(&tv) = V_R8(&lv) * V_R8(&rv);
3151             break;
3152         default:
3153             ERR("We shouldn't get here! tvt = %d!\n", tvt);
3154             break;
3155     }
3156     if (resvt != tvt) {
3157         while ((hres = VariantChangeType(result, &tv, 0, resvt)) != S_OK) {
3158             /* Overflow! Change to the vartype with the next higher priority.
3159                With one exception: I4 ==> R8 even if it would fit in I8 */
3160             if (resvt == VT_I4)
3161                 resvt = VT_R8;
3162             else
3163                 resvt = prio2vt[coerce[resvt] + 1];
3164         }
3165     } else
3166         hres = VariantCopy(result, &tv);
3167
3168 end:
3169     if (hres != S_OK) {
3170         V_VT(result) = VT_EMPTY;
3171         V_I4(result) = 0;       /* No V_EMPTY */
3172     }
3173     VariantClear(&lv);
3174     VariantClear(&rv);
3175     VariantClear(&tv);
3176     TRACE("returning 0x%8lx (variant type %s)\n", hres, debugstr_VT(result));
3177     return hres;
3178 }
3179
3180 /**********************************************************************
3181  *              VarDiv [OLEAUT32.143]
3182  *
3183  * Divides one variant with another.
3184  *
3185  * PARAMS
3186  *  left    [I] First variant
3187  *  right   [I] Second variant
3188  *  result  [O] Result variant
3189  *
3190  * RETURNS
3191  *  Success: S_OK.
3192  *  Failure: An HRESULT error code indicating the error.
3193  */
3194 HRESULT WINAPI VarDiv(LPVARIANT left, LPVARIANT right, LPVARIANT result)
3195 {
3196     HRESULT rc = E_FAIL;
3197     VARTYPE lvt,rvt,resvt;
3198     VARIANT lv,rv;
3199     BOOL found;
3200
3201     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
3202           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
3203
3204     VariantInit(&lv);VariantInit(&rv);
3205     lvt = V_VT(left)&VT_TYPEMASK;
3206     rvt = V_VT(right)&VT_TYPEMASK;
3207     found = FALSE;resvt = VT_VOID;
3208     if (((1<<lvt) | (1<<rvt)) & (VTBIT_R4|VTBIT_R8|VTBIT_CY)) {
3209         found = TRUE;
3210         resvt = VT_R8;
3211     }
3212     if (!found && (((1<<lvt) | (1<<rvt)) & (VTBIT_DECIMAL))) {
3213         found = TRUE;
3214         resvt = VT_DECIMAL;
3215     }
3216     if (!found && (((1<<lvt) | (1<<rvt)) & (VTBIT_I1|VTBIT_I2|VTBIT_UI1|VTBIT_UI2|VTBIT_I4|VTBIT_UI4|VTBIT_INT|VTBIT_UINT))) {
3217         found = TRUE;
3218         resvt = VT_I4;
3219     }
3220     if (!found) {
3221         FIXME("can't expand vt %d vs %d to a target type.\n",lvt,rvt);
3222         return E_FAIL;
3223     }
3224     rc = VariantChangeType(&lv, left, 0, resvt);
3225     if (FAILED(rc)) {
3226         FIXME("Could not convert 0x%x to %d?\n",V_VT(left),resvt);
3227         return rc;
3228     }
3229     rc = VariantChangeType(&rv, right, 0, resvt);
3230     if (FAILED(rc)) {
3231         FIXME("Could not convert 0x%x to %d?\n",V_VT(right),resvt);
3232         return rc;
3233     }
3234     switch (resvt) {
3235     case VT_R8:
3236         if (V_R8(&rv) == 0) return DISP_E_DIVBYZERO;
3237         V_VT(result) = resvt;
3238         V_R8(result) = V_R8(&lv) / V_R8(&rv);
3239         rc = S_OK;
3240         break;
3241     case VT_DECIMAL:
3242         rc = VarDecDiv(&(V_DECIMAL(&lv)), &(V_DECIMAL(&rv)), &(V_DECIMAL(result)));
3243         V_VT(result) = resvt;
3244         break;
3245     case VT_I4:
3246         if (V_I4(&rv) == 0) return DISP_E_DIVBYZERO;
3247         V_VT(result) = resvt;
3248         V_I4(result) = V_I4(&lv) / V_I4(&rv);
3249         rc = S_OK;
3250         break;
3251     }
3252     TRACE("returning 0x%8lx (%s%s),%g\n", rc, debugstr_VT(result),
3253           debugstr_VF(result), V_VT(result) == VT_R8 ? V_R8(result) : (double)V_I4(result));
3254     return rc;
3255 }
3256
3257 /**********************************************************************
3258  *              VarSub [OLEAUT32.159]
3259  *
3260  * Subtract two variants.
3261  *
3262  * PARAMS
3263  *  left    [I] First variant
3264  *  right   [I] Second variant
3265  *  result  [O] Result variant
3266  *
3267  * RETURNS
3268  *  Success: S_OK.
3269  *  Failure: An HRESULT error code indicating the error.
3270  */
3271 HRESULT WINAPI VarSub(LPVARIANT left, LPVARIANT right, LPVARIANT result)
3272 {
3273     HRESULT rc = E_FAIL;
3274     VARTYPE lvt,rvt,resvt;
3275     VARIANT lv,rv;
3276     BOOL found;
3277
3278     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
3279           debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
3280
3281     VariantInit(&lv);VariantInit(&rv);
3282     lvt = V_VT(left)&VT_TYPEMASK;
3283     rvt = V_VT(right)&VT_TYPEMASK;
3284     found = FALSE;resvt = VT_VOID;
3285     if (((1<<lvt) | (1<<rvt)) & (VTBIT_DATE|VTBIT_R4|VTBIT_R8)) {
3286         found = TRUE;
3287         resvt = VT_R8;
3288     }
3289     if (!found && (((1<<lvt) | (1<<rvt)) & (VTBIT_DECIMAL))) {
3290         found = TRUE;
3291         resvt = VT_DECIMAL;
3292     }
3293     if (!found && (((1<<lvt) | (1<<rvt)) & (VTBIT_I1|VTBIT_I2|VTBIT_UI1|VTBIT_UI2|VTBIT_I4|VTBIT_UI4|VTBIT_INT|VTBIT_UINT))) {
3294         found = TRUE;
3295         resvt = VT_I4;
3296     }
3297     if (!found) {
3298         FIXME("can't expand vt %d vs %d to a target type.\n",lvt,rvt);
3299         return E_FAIL;
3300     }
3301     rc = VariantChangeType(&lv, left, 0, resvt);
3302     if (FAILED(rc)) {
3303         FIXME("Could not convert 0x%x to %d?\n",V_VT(left),resvt);
3304         return rc;
3305     }
3306     rc = VariantChangeType(&rv, right, 0, resvt);
3307     if (FAILED(rc)) {
3308         FIXME("Could not convert 0x%x to %d?\n",V_VT(right),resvt);
3309         return rc;
3310     }
3311     switch (resvt) {
3312     case VT_R8:
3313         V_VT(result) = resvt;
3314         V_R8(result) = V_R8(&lv) - V_R8(&rv);
3315         rc = S_OK;
3316         break;
3317     case VT_DECIMAL:
3318         rc = VarDecSub(&(V_DECIMAL(&lv)), &(V_DECIMAL(&rv)), &(V_DECIMAL(result)));
3319         V_VT(result) = resvt;
3320         break;
3321     case VT_I4:
3322         V_VT(result) = resvt;
3323         V_I4(result) = V_I4(&lv) - V_I4(&rv);
3324         rc = S_OK;
3325         break;
3326     }
3327     TRACE("returning 0x%8lx (%s%s),%g\n", rc, debugstr_VT(result),
3328           debugstr_VF(result), V_VT(result) == VT_R8 ? V_R8(result) : (double)V_I4(result));
3329     return rc;
3330 }
3331
3332 /**********************************************************************
3333  *              VarOr [OLEAUT32.157]
3334  *
3335  * Perform a logical or (OR) operation on two variants.
3336  *
3337  * PARAMS
3338  *  pVarLeft  [I] First variant
3339  *  pVarRight [I] Variant to OR with pVarLeft
3340  *  pVarOut   [O] Destination for OR result
3341  *
3342  * RETURNS
3343  *  Success: S_OK. pVarOut contains the result of the operation with its type
3344  *           taken from the table listed under VarXor().
3345  *  Failure: An HRESULT error code indicating the error.
3346  *
3347  * NOTES
3348  *  See the Notes section of VarXor() for further information.
3349  */
3350 HRESULT WINAPI VarOr(LPVARIANT pVarLeft, LPVARIANT pVarRight, LPVARIANT pVarOut)
3351 {
3352     VARTYPE vt = VT_I4;
3353     VARIANT varLeft, varRight, varStr;
3354     HRESULT hRet;
3355
3356     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", pVarLeft, debugstr_VT(pVarLeft),
3357           debugstr_VF(pVarLeft), pVarRight, debugstr_VT(pVarRight),
3358           debugstr_VF(pVarRight), pVarOut);
3359
3360     if (V_EXTRA_TYPE(pVarLeft) || V_EXTRA_TYPE(pVarRight) ||
3361         V_VT(pVarLeft) == VT_UNKNOWN || V_VT(pVarRight) == VT_UNKNOWN ||
3362         V_VT(pVarLeft) == VT_DISPATCH || V_VT(pVarRight) == VT_DISPATCH ||
3363         V_VT(pVarLeft) == VT_RECORD || V_VT(pVarRight) == VT_RECORD)
3364         return DISP_E_BADVARTYPE;
3365
3366     V_VT(&varLeft) = V_VT(&varRight) = V_VT(&varStr) = VT_EMPTY;
3367
3368     if (V_VT(pVarLeft) == VT_NULL || V_VT(pVarRight) == VT_NULL)
3369     {
3370         /* NULL OR Zero is NULL, NULL OR value is value */
3371         if (V_VT(pVarLeft) == VT_NULL)
3372             pVarLeft = pVarRight; /* point to the non-NULL var */
3373
3374         V_VT(pVarOut) = VT_NULL;
3375         V_I4(pVarOut) = 0;
3376
3377         switch (V_VT(pVarLeft))
3378         {
3379         case VT_DATE: case VT_R8:
3380             if (V_R8(pVarLeft))
3381                 goto VarOr_AsEmpty;
3382             return S_OK;
3383         case VT_BOOL:
3384             if (V_BOOL(pVarLeft))
3385                 *pVarOut = *pVarLeft;
3386             return S_OK;
3387          case VT_I2: case VT_UI2:
3388             if (V_I2(pVarLeft))
3389                 goto VarOr_AsEmpty;
3390             return S_OK;
3391         case VT_I1:
3392             if (V_I1(pVarLeft))
3393                 goto VarOr_AsEmpty;
3394             return S_OK;
3395         case VT_UI1:
3396             if (V_UI1(pVarLeft))
3397                 *pVarOut = *pVarLeft;
3398             return S_OK;
3399         case VT_R4:
3400             if (V_R4(pVarLeft))
3401                 goto VarOr_AsEmpty;
3402             return S_OK;
3403         case VT_I4: case VT_UI4: case VT_INT: case VT_UINT:
3404             if (V_I4(pVarLeft))
3405                 goto VarOr_AsEmpty;
3406             return S_OK;
3407         case VT_CY:
3408             if (V_CY(pVarLeft).int64)
3409                 goto VarOr_AsEmpty;
3410             return S_OK;
3411         case VT_I8: case VT_UI8:
3412             if (V_I8(pVarLeft))
3413                 goto VarOr_AsEmpty;
3414             return S_OK;
3415         case VT_DECIMAL:
3416             if (DEC_HI32(&V_DECIMAL(pVarLeft)) || DEC_LO64(&V_DECIMAL(pVarLeft)))
3417                 goto VarOr_AsEmpty;
3418             return S_OK;
3419         case VT_BSTR:
3420         {
3421             VARIANT_BOOL b;
3422
3423             if (!V_BSTR(pVarLeft))
3424                 return DISP_E_BADVARTYPE;
3425
3426             hRet = VarBoolFromStr(V_BSTR(pVarLeft), LOCALE_USER_DEFAULT, VAR_LOCALBOOL, &b);
3427             if (SUCCEEDED(hRet) && b)
3428             {
3429                 V_VT(pVarOut) = VT_BOOL;
3430                 V_BOOL(pVarOut) = b;
3431             }
3432             return hRet;
3433         }
3434         case VT_NULL: case VT_EMPTY:
3435             V_VT(pVarOut) = VT_NULL;
3436             return S_OK;
3437         default:
3438             return DISP_E_BADVARTYPE;
3439         }
3440     }
3441
3442     if (V_VT(pVarLeft) == VT_EMPTY || V_VT(pVarRight) == VT_EMPTY)
3443     {
3444         if (V_VT(pVarLeft) == VT_EMPTY)
3445             pVarLeft = pVarRight; /* point to the non-EMPTY var */
3446
3447 VarOr_AsEmpty:
3448         /* Since one argument is empty (0), OR'ing it with the other simply
3449          * gives the others value (as 0|x => x). So just convert the other
3450          * argument to the required result type.
3451          */
3452         switch (V_VT(pVarLeft))
3453         {
3454         case VT_BSTR:
3455             if (!V_BSTR(pVarLeft))
3456                 return DISP_E_BADVARTYPE;
3457
3458             hRet = VariantCopy(&varStr, pVarLeft);
3459             if (FAILED(hRet))
3460                 goto VarOr_Exit;
3461             pVarLeft = &varStr;
3462             hRet = VariantChangeType(pVarLeft, pVarLeft, 0, VT_BOOL);
3463             if (FAILED(hRet))
3464                 goto VarOr_Exit;
3465             /* Fall Through ... */
3466         case VT_EMPTY: case VT_UI1: case VT_BOOL: case VT_I2:
3467             V_VT(pVarOut) = VT_I2;
3468             break;
3469         case VT_DATE: case VT_CY: case VT_DECIMAL: case VT_R4: case VT_R8:
3470         case VT_I1: case VT_UI2: case VT_I4: case VT_UI4:
3471         case VT_INT: case VT_UINT: case VT_UI8:
3472             V_VT(pVarOut) = VT_I4;
3473             break;
3474         case VT_I8:
3475             V_VT(pVarOut) = VT_I8;
3476             break;
3477         default:
3478             return DISP_E_BADVARTYPE;
3479         }
3480         hRet = VariantCopy(&varLeft, pVarLeft);
3481         if (FAILED(hRet))
3482             goto VarOr_Exit;
3483         pVarLeft = &varLeft;
3484         hRet = VariantChangeType(pVarOut, pVarLeft, 0, V_VT(pVarOut));
3485         goto VarOr_Exit;
3486     }
3487
3488     if (V_VT(pVarLeft) == VT_BOOL && V_VT(pVarRight) == VT_BOOL)
3489     {
3490         V_VT(pVarOut) = VT_BOOL;
3491         V_BOOL(pVarOut) = V_BOOL(pVarLeft) | V_BOOL(pVarRight);
3492         return S_OK;
3493     }
3494
3495     if (V_VT(pVarLeft) == VT_UI1 && V_VT(pVarRight) == VT_UI1)
3496     {
3497         V_VT(pVarOut) = VT_UI1;
3498         V_UI1(pVarOut) = V_UI1(pVarLeft) | V_UI1(pVarRight);
3499         return S_OK;
3500     }
3501
3502     if (V_VT(pVarLeft) == VT_BSTR)
3503     {
3504         hRet = VariantCopy(&varStr, pVarLeft);
3505         if (FAILED(hRet))
3506             goto VarOr_Exit;
3507         pVarLeft = &varStr;
3508         hRet = VariantChangeType(pVarLeft, pVarLeft, 0, VT_BOOL);
3509         if (FAILED(hRet))
3510             goto VarOr_Exit;
3511     }
3512
3513     if (V_VT(pVarLeft) == VT_BOOL &&
3514         (V_VT(pVarRight) == VT_BOOL || V_VT(pVarRight) == VT_BSTR))
3515     {
3516         vt = VT_BOOL;
3517     }
3518     else if ((V_VT(pVarLeft) == VT_BOOL || V_VT(pVarLeft) == VT_UI1 ||
3519         V_VT(pVarLeft) == VT_I2 || V_VT(pVarLeft) == VT_BSTR) &&
3520         (V_VT(pVarRight) == VT_BOOL || V_VT(pVarRight) == VT_UI1 ||
3521         V_VT(pVarRight) == VT_I2 || V_VT(pVarRight) == VT_BSTR))
3522     {
3523         vt = VT_I2;
3524     }
3525     else if (V_VT(pVarLeft) == VT_I8 || V_VT(pVarRight) == VT_I8)
3526     {
3527         if (V_VT(pVarLeft) == VT_INT || V_VT(pVarRight) == VT_INT)
3528             return DISP_E_TYPEMISMATCH;
3529         vt = VT_I8;
3530     }
3531
3532     hRet = VariantCopy(&varLeft, pVarLeft);
3533     if (FAILED(hRet))
3534         goto VarOr_Exit;
3535
3536     hRet = VariantCopy(&varRight, pVarRight);
3537     if (FAILED(hRet))
3538         goto VarOr_Exit;
3539
3540     if (vt == VT_I4 && V_VT(&varLeft) == VT_UI4)
3541         V_VT(&varLeft) = VT_I4; /* Don't overflow */
3542     else
3543     {
3544         double d;
3545
3546         if (V_VT(&varLeft) == VT_BSTR &&
3547             FAILED(VarR8FromStr(V_BSTR(&varLeft), LOCALE_USER_DEFAULT, 0, &d)))
3548             hRet = VariantChangeType(&varLeft, &varLeft, VARIANT_LOCALBOOL, VT_BOOL);
3549         if (SUCCEEDED(hRet) && V_VT(&varLeft) != vt)
3550             hRet = VariantChangeType(&varLeft, &varLeft, 0, vt);
3551         if (FAILED(hRet))
3552             goto VarOr_Exit;
3553     }
3554
3555     if (vt == VT_I4 && V_VT(&varRight) == VT_UI4)
3556         V_VT(&varRight) = VT_I4; /* Don't overflow */
3557     else
3558     {
3559         double d;
3560
3561         if (V_VT(&varRight) == VT_BSTR &&
3562             FAILED(VarR8FromStr(V_BSTR(&varRight), LOCALE_USER_DEFAULT, 0, &d)))
3563             hRet = VariantChangeType(&varRight, &varRight, VARIANT_LOCALBOOL, VT_BOOL);
3564         if (SUCCEEDED(hRet) && V_VT(&varRight) != vt)
3565             hRet = VariantChangeType(&varRight, &varRight, 0, vt);
3566         if (FAILED(hRet))
3567             goto VarOr_Exit;
3568     }
3569
3570     V_VT(pVarOut) = vt;
3571     if (vt == VT_I8)
3572     {
3573         V_I8(pVarOut) = V_I8(&varLeft) | V_I8(&varRight);
3574     }
3575     else if (vt == VT_I4)
3576     {
3577         V_I4(pVarOut) = V_I4(&varLeft) | V_I4(&varRight);
3578     }
3579     else
3580     {
3581         V_I2(pVarOut) = V_I2(&varLeft) | V_I2(&varRight);
3582     }
3583
3584 VarOr_Exit:
3585     VariantClear(&varStr);
3586     VariantClear(&varLeft);
3587     VariantClear(&varRight);
3588     return hRet;
3589 }
3590
3591 /**********************************************************************
3592  * VarAbs [OLEAUT32.168]
3593  *
3594  * Convert a variant to its absolute value.
3595  *
3596  * PARAMS
3597  *  pVarIn  [I] Source variant
3598  *  pVarOut [O] Destination for converted value
3599  *
3600  * RETURNS
3601  *  Success: S_OK. pVarOut contains the absolute value of pVarIn.
3602  *  Failure: An HRESULT error code indicating the error.
3603  *
3604  * NOTES
3605  *  - This function does not process by-reference variants.
3606  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
3607  *    according to the following table:
3608  *| Input Type       Output Type
3609  *| ----------       -----------
3610  *| VT_BOOL          VT_I2
3611  *| VT_BSTR          VT_R8
3612  *| (All others)     Unchanged
3613  */
3614 HRESULT WINAPI VarAbs(LPVARIANT pVarIn, LPVARIANT pVarOut)
3615 {
3616     VARIANT varIn;
3617     HRESULT hRet = S_OK;
3618
3619     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
3620           debugstr_VF(pVarIn), pVarOut);
3621
3622     if (V_ISARRAY(pVarIn) || V_VT(pVarIn) == VT_UNKNOWN ||
3623         V_VT(pVarIn) == VT_DISPATCH || V_VT(pVarIn) == VT_RECORD ||
3624         V_VT(pVarIn) == VT_ERROR)
3625         return DISP_E_TYPEMISMATCH;
3626
3627     *pVarOut = *pVarIn; /* Shallow copy the value, and invert it if needed */
3628
3629 #define ABS_CASE(typ,min) \
3630     case VT_##typ: if (V_##typ(pVarIn) == min) hRet = DISP_E_OVERFLOW; \
3631                   else if (V_##typ(pVarIn) < 0) V_##typ(pVarOut) = -V_##typ(pVarIn); \
3632                   break
3633
3634     switch (V_VT(pVarIn))
3635     {
3636     ABS_CASE(I1,I1_MIN);
3637     case VT_BOOL:
3638         V_VT(pVarOut) = VT_I2;
3639         /* BOOL->I2, Fall through ... */
3640     ABS_CASE(I2,I2_MIN);
3641     case VT_INT:
3642     ABS_CASE(I4,I4_MIN);
3643     ABS_CASE(I8,I8_MIN);
3644     ABS_CASE(R4,R4_MIN);
3645     case VT_BSTR:
3646         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(&varIn));
3647         if (FAILED(hRet))
3648             break;
3649         V_VT(pVarOut) = VT_R8;
3650         pVarIn = &varIn;
3651         /* Fall through ... */
3652     case VT_DATE:
3653     ABS_CASE(R8,R8_MIN);
3654     case VT_CY:
3655         hRet = VarCyAbs(V_CY(pVarIn), & V_CY(pVarOut));
3656         break;
3657     case VT_DECIMAL:
3658         DEC_SIGN(&V_DECIMAL(pVarOut)) &= ~DECIMAL_NEG;
3659         break;
3660     case VT_UI1:
3661     case VT_UI2:
3662     case VT_UINT:
3663     case VT_UI4:
3664     case VT_UI8:
3665         /* No-Op */
3666         break;
3667     case VT_EMPTY:
3668         V_VT(pVarOut) = VT_I2;
3669     case VT_NULL:
3670         V_I2(pVarOut) = 0;
3671         break;
3672     default:
3673         hRet = DISP_E_BADVARTYPE;
3674     }
3675
3676     return hRet;
3677 }
3678
3679 /**********************************************************************
3680  *              VarFix [OLEAUT32.169]
3681  *
3682  * Truncate a variants value to a whole number.
3683  *
3684  * PARAMS
3685  *  pVarIn  [I] Source variant
3686  *  pVarOut [O] Destination for converted value
3687  *
3688  * RETURNS
3689  *  Success: S_OK. pVarOut contains the converted value.
3690  *  Failure: An HRESULT error code indicating the error.
3691  *
3692  * NOTES
3693  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
3694  *    according to the following table:
3695  *| Input Type       Output Type
3696  *| ----------       -----------
3697  *|  VT_BOOL          VT_I2
3698  *|  VT_EMPTY         VT_I2
3699  *|  VT_BSTR          VT_R8
3700  *|  All Others       Unchanged
3701  *  - The difference between this function and VarInt() is that VarInt() rounds
3702  *    negative numbers away from 0, while this function rounds them towards zero.
3703  */
3704 HRESULT WINAPI VarFix(LPVARIANT pVarIn, LPVARIANT pVarOut)
3705 {
3706     HRESULT hRet = S_OK;
3707
3708     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
3709           debugstr_VF(pVarIn), pVarOut);
3710
3711     V_VT(pVarOut) = V_VT(pVarIn);
3712
3713     switch (V_VT(pVarIn))
3714     {
3715     case VT_UI1:
3716         V_UI1(pVarOut) = V_UI1(pVarIn);
3717         break;
3718     case VT_BOOL:
3719         V_VT(pVarOut) = VT_I2;
3720         /* Fall through */
3721      case VT_I2:
3722         V_I2(pVarOut) = V_I2(pVarIn);
3723         break;
3724      case VT_I4:
3725         V_I4(pVarOut) = V_I4(pVarIn);
3726         break;
3727      case VT_I8:
3728         V_I8(pVarOut) = V_I8(pVarIn);
3729         break;
3730     case VT_R4:
3731         if (V_R4(pVarIn) < 0.0f)
3732             V_R4(pVarOut) = (float)ceil(V_R4(pVarIn));
3733         else
3734             V_R4(pVarOut) = (float)floor(V_R4(pVarIn));
3735         break;
3736     case VT_BSTR:
3737         V_VT(pVarOut) = VT_R8;
3738         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(pVarOut));
3739         pVarIn = pVarOut;
3740         /* Fall through */
3741     case VT_DATE:
3742     case VT_R8:
3743         if (V_R8(pVarIn) < 0.0)
3744             V_R8(pVarOut) = ceil(V_R8(pVarIn));
3745         else
3746             V_R8(pVarOut) = floor(V_R8(pVarIn));
3747         break;
3748     case VT_CY:
3749         hRet = VarCyFix(V_CY(pVarIn), &V_CY(pVarOut));
3750         break;
3751     case VT_DECIMAL:
3752         hRet = VarDecFix(&V_DECIMAL(pVarIn), &V_DECIMAL(pVarOut));
3753         break;
3754     case VT_EMPTY:
3755         V_VT(pVarOut) = VT_I2;
3756         V_I2(pVarOut) = 0;
3757         break;
3758     case VT_NULL:
3759         /* No-Op */
3760         break;
3761     default:
3762         if (V_TYPE(pVarIn) == VT_CLSID || /* VT_CLSID is a special case */
3763             FAILED(VARIANT_ValidateType(V_VT(pVarIn))))
3764             hRet = DISP_E_BADVARTYPE;
3765         else
3766             hRet = DISP_E_TYPEMISMATCH;
3767     }
3768     if (FAILED(hRet))
3769       V_VT(pVarOut) = VT_EMPTY;
3770
3771     return hRet;
3772 }
3773
3774 /**********************************************************************
3775  *              VarInt [OLEAUT32.172]
3776  *
3777  * Truncate a variants value to a whole number.
3778  *
3779  * PARAMS
3780  *  pVarIn  [I] Source variant
3781  *  pVarOut [O] Destination for converted value
3782  *
3783  * RETURNS
3784  *  Success: S_OK. pVarOut contains the converted value.
3785  *  Failure: An HRESULT error code indicating the error.
3786  *
3787  * NOTES
3788  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
3789  *    according to the following table:
3790  *| Input Type       Output Type
3791  *| ----------       -----------
3792  *|  VT_BOOL          VT_I2
3793  *|  VT_EMPTY         VT_I2
3794  *|  VT_BSTR          VT_R8
3795  *|  All Others       Unchanged
3796  *  - The difference between this function and VarFix() is that VarFix() rounds
3797  *    negative numbers towards 0, while this function rounds them away from zero.
3798  */
3799 HRESULT WINAPI VarInt(LPVARIANT pVarIn, LPVARIANT pVarOut)
3800 {
3801     HRESULT hRet = S_OK;
3802
3803     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
3804           debugstr_VF(pVarIn), pVarOut);
3805
3806     V_VT(pVarOut) = V_VT(pVarIn);
3807
3808     switch (V_VT(pVarIn))
3809     {
3810     case VT_R4:
3811         V_R4(pVarOut) = (float)floor(V_R4(pVarIn));
3812         break;
3813     case VT_BSTR:
3814         V_VT(pVarOut) = VT_R8;
3815         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(pVarOut));
3816         pVarIn = pVarOut;
3817         /* Fall through */
3818     case VT_DATE:
3819     case VT_R8:
3820         V_R8(pVarOut) = floor(V_R8(pVarIn));
3821         break;
3822     case VT_CY:
3823         hRet = VarCyInt(V_CY(pVarIn), &V_CY(pVarOut));
3824         break;
3825     case VT_DECIMAL:
3826         hRet = VarDecInt(&V_DECIMAL(pVarIn), &V_DECIMAL(pVarOut));
3827         break;
3828     default:
3829         return VarFix(pVarIn, pVarOut);
3830     }
3831
3832     return hRet;
3833 }
3834
3835 /**********************************************************************
3836  *              VarXor [OLEAUT32.167]
3837  *
3838  * Perform a logical exclusive-or (XOR) operation on two variants.
3839  *
3840  * PARAMS
3841  *  pVarLeft  [I] First variant
3842  *  pVarRight [I] Variant to XOR with pVarLeft
3843  *  pVarOut   [O] Destination for XOR result
3844  *
3845  * RETURNS
3846  *  Success: S_OK. pVarOut contains the result of the operation with its type
3847  *           taken from the table below).
3848  *  Failure: An HRESULT error code indicating the error.
3849  *
3850  * NOTES
3851  *  - Neither pVarLeft or pVarRight are modified by this function.
3852  *  - This function does not process by-reference variants.
3853  *  - Input types of VT_BSTR may be numeric strings or boolean text.
3854  *  - The type of result stored in pVarOut depends on the types of pVarLeft
3855  *    and pVarRight, and will be one of VT_UI1, VT_I2, VT_I4, VT_I8, VT_BOOL,
3856  *    or VT_NULL if the function succeeds.
3857  *  - Type promotion is inconsistent and as a result certain combinations of
3858  *    values will return DISP_E_OVERFLOW even when they could be represented.
3859  *    This matches the behaviour of native oleaut32.
3860  */
3861 HRESULT WINAPI VarXor(LPVARIANT pVarLeft, LPVARIANT pVarRight, LPVARIANT pVarOut)
3862 {
3863     VARTYPE vt;
3864     VARIANT varLeft, varRight;
3865     double d;
3866     HRESULT hRet;
3867
3868     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", pVarLeft, debugstr_VT(pVarLeft),
3869           debugstr_VF(pVarLeft), pVarRight, debugstr_VT(pVarRight),
3870           debugstr_VF(pVarRight), pVarOut);
3871
3872     if (V_EXTRA_TYPE(pVarLeft) || V_EXTRA_TYPE(pVarRight) ||
3873         V_VT(pVarLeft) > VT_UINT || V_VT(pVarRight) > VT_UINT ||
3874         V_VT(pVarLeft) == VT_VARIANT || V_VT(pVarRight) == VT_VARIANT ||
3875         V_VT(pVarLeft) == VT_UNKNOWN || V_VT(pVarRight) == VT_UNKNOWN ||
3876         V_VT(pVarLeft) == (VARTYPE)15 || V_VT(pVarRight) == (VARTYPE)15 ||
3877         V_VT(pVarLeft) == VT_ERROR || V_VT(pVarRight) == VT_ERROR)
3878         return DISP_E_BADVARTYPE;
3879
3880     if (V_VT(pVarLeft) == VT_NULL || V_VT(pVarRight) == VT_NULL)
3881     {
3882         /* NULL XOR anything valid is NULL */
3883         V_VT(pVarOut) = VT_NULL;
3884         return S_OK;
3885     }
3886
3887     /* Copy our inputs so we don't disturb anything */
3888     V_VT(&varLeft) = V_VT(&varRight) = VT_EMPTY;
3889
3890     hRet = VariantCopy(&varLeft, pVarLeft);
3891     if (FAILED(hRet))
3892         goto VarXor_Exit;
3893
3894     hRet = VariantCopy(&varRight, pVarRight);
3895     if (FAILED(hRet))
3896         goto VarXor_Exit;
3897
3898     /* Try any strings first as numbers, then as VT_BOOL */
3899     if (V_VT(&varLeft) == VT_BSTR)
3900     {
3901         hRet = VarR8FromStr(V_BSTR(&varLeft), LOCALE_USER_DEFAULT, 0, &d);
3902         hRet = VariantChangeType(&varLeft, &varLeft, VARIANT_LOCALBOOL,
3903                                  FAILED(hRet) ? VT_BOOL : VT_I4);
3904         if (FAILED(hRet))
3905             goto VarXor_Exit;
3906     }
3907
3908     if (V_VT(&varRight) == VT_BSTR)
3909     {
3910         hRet = VarR8FromStr(V_BSTR(&varRight), LOCALE_USER_DEFAULT, 0, &d);
3911         hRet = VariantChangeType(&varRight, &varRight, VARIANT_LOCALBOOL,
3912                                  FAILED(hRet) ? VT_BOOL : VT_I4);
3913         if (FAILED(hRet))
3914             goto VarXor_Exit;
3915     }
3916
3917     /* Determine the result type */
3918     if (V_VT(&varLeft) == VT_I8 || V_VT(&varRight) == VT_I8)
3919     {
3920         if (V_VT(pVarLeft) == VT_INT || V_VT(pVarRight) == VT_INT)
3921             return DISP_E_TYPEMISMATCH;
3922         vt = VT_I8;
3923     }
3924     else
3925     {
3926         switch ((V_VT(&varLeft) << 16) | V_VT(&varRight))
3927         {
3928         case (VT_BOOL  << 16) | VT_BOOL:
3929             vt = VT_BOOL;
3930             break;
3931         case (VT_UI1   << 16) | VT_UI1:
3932             vt = VT_UI1;
3933             break;
3934         case (VT_EMPTY << 16) | VT_EMPTY:
3935         case (VT_EMPTY << 16) | VT_UI1:
3936         case (VT_EMPTY << 16) | VT_I2:
3937         case (VT_EMPTY << 16) | VT_BOOL:
3938         case (VT_UI1   << 16) | VT_EMPTY:
3939         case (VT_UI1   << 16) | VT_I2:
3940         case (VT_UI1   << 16) | VT_BOOL:
3941         case (VT_I2    << 16) | VT_EMPTY:
3942         case (VT_I2    << 16) | VT_UI1:
3943         case (VT_I2    << 16) | VT_I2:
3944         case (VT_I2    << 16) | VT_BOOL:
3945         case (VT_BOOL  << 16) | VT_EMPTY:
3946         case (VT_BOOL  << 16) | VT_UI1:
3947         case (VT_BOOL  << 16) | VT_I2:
3948             vt = VT_I2;
3949             break;
3950         default:
3951             vt = VT_I4;
3952             break;
3953         }
3954     }
3955
3956     /* VT_UI4 does not overflow */
3957     if (vt != VT_I8)
3958     {
3959         if (V_VT(&varLeft) == VT_UI4)
3960             V_VT(&varLeft) = VT_I4;
3961         if (V_VT(&varRight) == VT_UI4)
3962             V_VT(&varRight) = VT_I4;
3963     }
3964
3965     /* Convert our input copies to the result type */
3966     if (V_VT(&varLeft) != vt)
3967         hRet = VariantChangeType(&varLeft, &varLeft, 0, vt);
3968     if (FAILED(hRet))
3969         goto VarXor_Exit;
3970
3971     if (V_VT(&varRight) != vt)
3972         hRet = VariantChangeType(&varRight, &varRight, 0, vt);
3973     if (FAILED(hRet))
3974         goto VarXor_Exit;
3975
3976     V_VT(pVarOut) = vt;
3977
3978     /* Calculate the result */
3979     switch (vt)
3980     {
3981     case VT_I8:
3982         V_I8(pVarOut) = V_I8(&varLeft) ^ V_I8(&varRight);
3983         break;
3984     case VT_I4:
3985         V_I4(pVarOut) = V_I4(&varLeft) ^ V_I4(&varRight);
3986         break;
3987     case VT_BOOL:
3988     case VT_I2:
3989         V_I2(pVarOut) = V_I2(&varLeft) ^ V_I2(&varRight);
3990         break;
3991     case VT_UI1:
3992         V_UI1(pVarOut) = V_UI1(&varLeft) ^ V_UI1(&varRight);
3993         break;
3994     }
3995
3996 VarXor_Exit:
3997     VariantClear(&varLeft);
3998     VariantClear(&varRight);
3999     return hRet;
4000 }
4001
4002 /**********************************************************************
4003  *              VarEqv [OLEAUT32.172]
4004  *
4005  * Determine if two variants contain the same value.
4006  *
4007  * PARAMS
4008  *  pVarLeft  [I] First variant to compare
4009  *  pVarRight [I] Variant to compare to pVarLeft
4010  *  pVarOut   [O] Destination for comparison result
4011  *
4012  * RETURNS
4013  *  Success: S_OK. pVarOut contains the result of the comparison (VARIANT_TRUE
4014  *           if equivalent or non-zero otherwise.
4015  *  Failure: An HRESULT error code indicating the error.
4016  *
4017  * NOTES
4018  *  - This function simply calls VarXor() on pVarLeft and pVarRight and inverts
4019  *    the result.
4020  */
4021 HRESULT WINAPI VarEqv(LPVARIANT pVarLeft, LPVARIANT pVarRight, LPVARIANT pVarOut)
4022 {
4023     HRESULT hRet;
4024
4025     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", pVarLeft, debugstr_VT(pVarLeft),
4026           debugstr_VF(pVarLeft), pVarRight, debugstr_VT(pVarRight),
4027           debugstr_VF(pVarRight), pVarOut);
4028
4029     hRet = VarXor(pVarLeft, pVarRight, pVarOut);
4030     if (SUCCEEDED(hRet))
4031     {
4032         if (V_VT(pVarOut) == VT_I8)
4033             V_I8(pVarOut) = ~V_I8(pVarOut);
4034         else
4035             V_UI4(pVarOut) = ~V_UI4(pVarOut);
4036     }
4037     return hRet;
4038 }
4039
4040 /**********************************************************************
4041  *              VarNeg [OLEAUT32.173]
4042  *
4043  * Negate the value of a variant.
4044  *
4045  * PARAMS
4046  *  pVarIn  [I] Source variant
4047  *  pVarOut [O] Destination for converted value
4048  *
4049  * RETURNS
4050  *  Success: S_OK. pVarOut contains the converted value.
4051  *  Failure: An HRESULT error code indicating the error.
4052  *
4053  * NOTES
4054  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
4055  *    according to the following table:
4056  *| Input Type       Output Type
4057  *| ----------       -----------
4058  *|  VT_EMPTY         VT_I2
4059  *|  VT_UI1           VT_I2
4060  *|  VT_BOOL          VT_I2
4061  *|  VT_BSTR          VT_R8
4062  *|  All Others       Unchanged (unless promoted)
4063  *  - Where the negated value of a variant does not fit in its base type, the type
4064  *    is promoted according to the following table:
4065  *| Input Type       Promoted To
4066  *| ----------       -----------
4067  *|   VT_I2            VT_I4
4068  *|   VT_I4            VT_R8
4069  *|   VT_I8            VT_R8
4070  *  - The native version of this function returns DISP_E_BADVARTYPE for valid
4071  *    variant types that cannot be negated, and returns DISP_E_TYPEMISMATCH
4072  *    for types which are not valid. Since this is in contravention of the
4073  *    meaning of those error codes and unlikely to be relied on by applications,
4074  *    this implementation returns errors consistent with the other high level
4075  *    variant math functions.
4076  */
4077 HRESULT WINAPI VarNeg(LPVARIANT pVarIn, LPVARIANT pVarOut)
4078 {
4079     HRESULT hRet = S_OK;
4080
4081     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
4082           debugstr_VF(pVarIn), pVarOut);
4083
4084     V_VT(pVarOut) = V_VT(pVarIn);
4085
4086     switch (V_VT(pVarIn))
4087     {
4088     case VT_UI1:
4089         V_VT(pVarOut) = VT_I2;
4090         V_I2(pVarOut) = -V_UI1(pVarIn);
4091         break;
4092     case VT_BOOL:
4093         V_VT(pVarOut) = VT_I2;
4094         /* Fall through */
4095     case VT_I2:
4096         if (V_I2(pVarIn) == I2_MIN)
4097         {
4098             V_VT(pVarOut) = VT_I4;
4099             V_I4(pVarOut) = -(int)V_I2(pVarIn);
4100         }
4101         else
4102             V_I2(pVarOut) = -V_I2(pVarIn);
4103         break;
4104     case VT_I4:
4105         if (V_I4(pVarIn) == I4_MIN)
4106         {
4107             V_VT(pVarOut) = VT_R8;
4108             V_R8(pVarOut) = -(double)V_I4(pVarIn);
4109         }
4110         else
4111             V_I4(pVarOut) = -V_I4(pVarIn);
4112         break;
4113     case VT_I8:
4114         if (V_I8(pVarIn) == I8_MIN)
4115         {
4116             V_VT(pVarOut) = VT_R8;
4117             hRet = VarR8FromI8(V_I8(pVarIn), &V_R8(pVarOut));
4118             V_R8(pVarOut) *= -1.0;
4119         }
4120         else
4121             V_I8(pVarOut) = -V_I8(pVarIn);
4122         break;
4123     case VT_R4:
4124         V_R4(pVarOut) = -V_R4(pVarIn);
4125         break;
4126     case VT_DATE:
4127     case VT_R8:
4128         V_R8(pVarOut) = -V_R8(pVarIn);
4129         break;
4130     case VT_CY:
4131         hRet = VarCyNeg(V_CY(pVarIn), &V_CY(pVarOut));
4132         break;
4133     case VT_DECIMAL:
4134         hRet = VarDecNeg(&V_DECIMAL(pVarIn), &V_DECIMAL(pVarOut));
4135         break;
4136     case VT_BSTR:
4137         V_VT(pVarOut) = VT_R8;
4138         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(pVarOut));
4139         V_R8(pVarOut) = -V_R8(pVarOut);
4140         break;
4141     case VT_EMPTY:
4142         V_VT(pVarOut) = VT_I2;
4143         V_I2(pVarOut) = 0;
4144         break;
4145     case VT_NULL:
4146         /* No-Op */
4147         break;
4148     default:
4149         if (V_TYPE(pVarIn) == VT_CLSID || /* VT_CLSID is a special case */
4150             FAILED(VARIANT_ValidateType(V_VT(pVarIn))))
4151             hRet = DISP_E_BADVARTYPE;
4152         else
4153             hRet = DISP_E_TYPEMISMATCH;
4154     }
4155     if (FAILED(hRet))
4156       V_VT(pVarOut) = VT_EMPTY;
4157
4158     return hRet;
4159 }
4160
4161 /**********************************************************************
4162  *              VarNot [OLEAUT32.174]
4163  *
4164  * Perform a not operation on a variant.
4165  *
4166  * PARAMS
4167  *  pVarIn  [I] Source variant
4168  *  pVarOut [O] Destination for converted value
4169  *
4170  * RETURNS
4171  *  Success: S_OK. pVarOut contains the converted value.
4172  *  Failure: An HRESULT error code indicating the error.
4173  *
4174  * NOTES
4175  *  - Strictly speaking, this function performs a bitwise ones complement
4176  *    on the variants value (after possibly converting to VT_I4, see below).
4177  *    This only behaves like a boolean not operation if the value in
4178  *    pVarIn is either VARIANT_TRUE or VARIANT_FALSE and the type is signed.
4179  *  - To perform a genuine not operation, convert the variant to a VT_BOOL
4180  *    before calling this function.
4181  *  - This function does not process by-reference variants.
4182  *  - The type of the value stored in pVarOut depends on the type of pVarIn,
4183  *    according to the following table:
4184  *| Input Type       Output Type
4185  *| ----------       -----------
4186  *| VT_EMPTY         VT_I2
4187  *| VT_R4            VT_I4
4188  *| VT_R8            VT_I4
4189  *| VT_BSTR          VT_I4
4190  *| VT_DECIMAL       VT_I4
4191  *| VT_CY            VT_I4
4192  *| (All others)     Unchanged
4193  */
4194 HRESULT WINAPI VarNot(LPVARIANT pVarIn, LPVARIANT pVarOut)
4195 {
4196     VARIANT varIn;
4197     HRESULT hRet = S_OK;
4198
4199     TRACE("(%p->(%s%s),%p)\n", pVarIn, debugstr_VT(pVarIn),
4200           debugstr_VF(pVarIn), pVarOut);
4201
4202     V_VT(pVarOut) = V_VT(pVarIn);
4203
4204     switch (V_VT(pVarIn))
4205     {
4206     case VT_I1:
4207         V_I4(pVarOut) = ~V_I1(pVarIn);
4208         V_VT(pVarOut) = VT_I4;
4209         break;
4210     case VT_UI1: V_UI1(pVarOut) = ~V_UI1(pVarIn); break;
4211     case VT_BOOL:
4212     case VT_I2:  V_I2(pVarOut) = ~V_I2(pVarIn); break;
4213     case VT_UI2:
4214         V_I4(pVarOut) = ~V_UI2(pVarIn);
4215         V_VT(pVarOut) = VT_I4;
4216         break;
4217     case VT_DECIMAL:
4218         hRet = VarI4FromDec(&V_DECIMAL(pVarIn), &V_I4(&varIn));
4219         if (FAILED(hRet))
4220             break;
4221         pVarIn = &varIn;
4222         /* Fall through ... */
4223     case VT_INT:
4224         V_VT(pVarOut) = VT_I4;
4225         /* Fall through ... */
4226     case VT_I4:  V_I4(pVarOut) = ~V_I4(pVarIn); break;
4227     case VT_UINT:
4228     case VT_UI4:
4229         V_I4(pVarOut) = ~V_UI4(pVarIn);
4230         V_VT(pVarOut) = VT_I4;
4231         break;
4232     case VT_I8:  V_I8(pVarOut) = ~V_I8(pVarIn); break;
4233     case VT_UI8:
4234         V_I4(pVarOut) = ~V_UI8(pVarIn);
4235         V_VT(pVarOut) = VT_I4;
4236         break;
4237     case VT_R4:
4238         hRet = VarI4FromR4(V_R4(pVarIn), &V_I4(pVarOut));
4239         V_I4(pVarOut) = ~V_I4(pVarOut);
4240         V_VT(pVarOut) = VT_I4;
4241         break;
4242     case VT_BSTR:
4243         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(&varIn));
4244         if (FAILED(hRet))
4245             break;
4246         pVarIn = &varIn;
4247         /* Fall through ... */
4248     case VT_DATE:
4249     case VT_R8:
4250         hRet = VarI4FromR8(V_R8(pVarIn), &V_I4(pVarOut));
4251         V_I4(pVarOut) = ~V_I4(pVarOut);
4252         V_VT(pVarOut) = VT_I4;
4253         break;
4254     case VT_CY:
4255         hRet = VarI4FromCy(V_CY(pVarIn), &V_I4(pVarOut));
4256         V_I4(pVarOut) = ~V_I4(pVarOut);
4257         V_VT(pVarOut) = VT_I4;
4258         break;
4259     case VT_EMPTY:
4260         V_I2(pVarOut) = ~0;
4261         V_VT(pVarOut) = VT_I2;
4262         break;
4263     case VT_NULL:
4264         /* No-Op */
4265         break;
4266     default:
4267         if (V_TYPE(pVarIn) == VT_CLSID || /* VT_CLSID is a special case */
4268             FAILED(VARIANT_ValidateType(V_VT(pVarIn))))
4269             hRet = DISP_E_BADVARTYPE;
4270         else
4271             hRet = DISP_E_TYPEMISMATCH;
4272     }
4273     if (FAILED(hRet))
4274       V_VT(pVarOut) = VT_EMPTY;
4275
4276     return hRet;
4277 }
4278
4279 /**********************************************************************
4280  *              VarRound [OLEAUT32.175]
4281  *
4282  * Perform a round operation on a variant.
4283  *
4284  * PARAMS
4285  *  pVarIn  [I] Source variant
4286  *  deci    [I] Number of decimals to round to
4287  *  pVarOut [O] Destination for converted value
4288  *
4289  * RETURNS
4290  *  Success: S_OK. pVarOut contains the converted value.
4291  *  Failure: An HRESULT error code indicating the error.
4292  *
4293  * NOTES
4294  *  - Floating point values are rounded to the desired number of decimals.
4295  *  - Some integer types are just copied to the return variable.
4296  *  - Some other integer types are not handled and fail.
4297  */
4298 HRESULT WINAPI VarRound(LPVARIANT pVarIn, int deci, LPVARIANT pVarOut)
4299 {
4300     VARIANT varIn;
4301     HRESULT hRet = S_OK;
4302     float factor;
4303
4304     TRACE("(%p->(%s%s),%d)\n", pVarIn, debugstr_VT(pVarIn), debugstr_VF(pVarIn), deci);
4305
4306     switch (V_VT(pVarIn))
4307     {
4308     /* cases that fail on windows */
4309     case VT_I1:
4310     case VT_I8:
4311     case VT_UI2:
4312     case VT_UI4:
4313         hRet = DISP_E_BADVARTYPE;
4314         break;
4315
4316     /* cases just copying in to out */
4317     case VT_UI1:
4318         V_VT(pVarOut) = V_VT(pVarIn);
4319         V_UI1(pVarOut) = V_UI1(pVarIn);
4320         break;
4321     case VT_I2:
4322         V_VT(pVarOut) = V_VT(pVarIn);
4323         V_I2(pVarOut) = V_I2(pVarIn);
4324         break;
4325     case VT_I4:
4326         V_VT(pVarOut) = V_VT(pVarIn);
4327         V_I4(pVarOut) = V_I4(pVarIn);
4328         break;
4329     case VT_NULL:
4330         V_VT(pVarOut) = V_VT(pVarIn);
4331         /* value unchanged */
4332         break;
4333
4334     /* cases that change type */
4335     case VT_EMPTY:
4336         V_VT(pVarOut) = VT_I2;
4337         V_I2(pVarOut) = 0;
4338         break;
4339     case VT_BOOL:
4340         V_VT(pVarOut) = VT_I2;
4341         V_I2(pVarOut) = V_BOOL(pVarIn);
4342         break;
4343     case VT_BSTR:
4344         hRet = VarR8FromStr(V_BSTR(pVarIn), LOCALE_USER_DEFAULT, 0, &V_R8(&varIn));
4345         if (FAILED(hRet))
4346             break;
4347         V_VT(&varIn)=VT_R8;
4348         pVarIn = &varIn;
4349         /* Fall through ... */
4350
4351     /* cases we need to do math */
4352     case VT_R8:
4353         if (V_R8(pVarIn)>0) {
4354             V_R8(pVarOut)=floor(V_R8(pVarIn)*pow(10, deci)+0.5)/pow(10, deci);
4355         } else {
4356             V_R8(pVarOut)=ceil(V_R8(pVarIn)*pow(10, deci)-0.5)/pow(10, deci);
4357         }
4358         V_VT(pVarOut) = V_VT(pVarIn);
4359         break;
4360     case VT_R4:
4361         if (V_R4(pVarIn)>0) {
4362             V_R4(pVarOut)=floor(V_R4(pVarIn)*pow(10, deci)+0.5)/pow(10, deci);
4363         } else {
4364             V_R4(pVarOut)=ceil(V_R4(pVarIn)*pow(10, deci)-0.5)/pow(10, deci);
4365         }
4366         V_VT(pVarOut) = V_VT(pVarIn);
4367         break;
4368     case VT_DATE:
4369         if (V_DATE(pVarIn)>0) {
4370             V_DATE(pVarOut)=floor(V_DATE(pVarIn)*pow(10, deci)+0.5)/pow(10, deci);
4371         } else {
4372             V_DATE(pVarOut)=ceil(V_DATE(pVarIn)*pow(10, deci)-0.5)/pow(10, deci);
4373         }
4374         V_VT(pVarOut) = V_VT(pVarIn);
4375         break;
4376     case VT_CY:
4377         if (deci>3)
4378             factor=1;
4379         else
4380             factor=pow(10, 4-deci);
4381
4382         if (V_CY(pVarIn).int64>0) {
4383             V_CY(pVarOut).int64=floor(V_CY(pVarIn).int64/factor)*factor;
4384         } else {
4385             V_CY(pVarOut).int64=ceil(V_CY(pVarIn).int64/factor)*factor;
4386         }
4387         V_VT(pVarOut) = V_VT(pVarIn);
4388         break;
4389
4390     /* cases we don't know yet */
4391     default:
4392         FIXME("unimplemented part, V_VT(pVarIn) == 0x%X, deci == %d\n",
4393                 V_VT(pVarIn) & VT_TYPEMASK, deci);
4394         hRet = DISP_E_BADVARTYPE;
4395     }
4396
4397     if (FAILED(hRet))
4398       V_VT(pVarOut) = VT_EMPTY;
4399
4400     TRACE("returning 0x%08lx (%s%s),%f\n", hRet, debugstr_VT(pVarOut),
4401         debugstr_VF(pVarOut), (V_VT(pVarOut) == VT_R4) ? V_R4(pVarOut) :
4402         (V_VT(pVarOut) == VT_R8) ? V_R8(pVarOut) : 0);
4403
4404     return hRet;
4405 }
4406
4407 /**********************************************************************
4408  *              VarIdiv [OLEAUT32.153]
4409  *
4410  * Converts input variants to integers and divides them.
4411  *
4412  * PARAMS
4413  *  left     [I] Left hand variant
4414  *  right    [I] Right hand variant
4415  *  result   [O] Destination for quotient
4416  *
4417  * RETURNS
4418  *  Success: S_OK.  result contains the quotient.
4419  *  Failure: An HRESULT error code indicating the error.
4420  *
4421  * NOTES
4422  *  If either expression is null, null is returned, as per MSDN
4423  */
4424 HRESULT WINAPI VarIdiv(LPVARIANT left, LPVARIANT right, LPVARIANT result)
4425 {
4426     VARIANT lv, rv;
4427     HRESULT hr;
4428
4429     VariantInit(&lv);
4430     VariantInit(&rv);
4431
4432     if ((V_VT(left) == VT_NULL) || (V_VT(right) == VT_NULL)) {
4433         hr = VariantChangeType(result, result, 0, VT_NULL);
4434         if (FAILED(hr)) {
4435             /* This should never happen */
4436             FIXME("Failed to convert return value to VT_NULL.\n");
4437             return hr;
4438         }
4439         return S_OK;
4440     }
4441
4442     hr = VariantChangeType(&lv, left, 0, VT_I4);
4443     if (FAILED(hr)) {
4444         return hr;
4445     }
4446     hr = VariantChangeType(&rv, right, 0, VT_I4);
4447     if (FAILED(hr)) {
4448         return hr;
4449     }
4450
4451     hr = VarDiv(&lv, &rv, result);
4452     return hr;
4453 }
4454
4455
4456 /**********************************************************************
4457  *              VarMod [OLEAUT32.155]
4458  *
4459  * Perform the modulus operation of the right hand variant on the left
4460  *
4461  * PARAMS
4462  *  left     [I] Left hand variant
4463  *  right    [I] Right hand variant
4464  *  result   [O] Destination for converted value
4465  *
4466  * RETURNS
4467  *  Success: S_OK. result contains the remainder.
4468  *  Failure: An HRESULT error code indicating the error.
4469  *
4470  * NOTE:
4471  *   If an error occurs the type of result will be modified but the value will not be.
4472  *   Doesn't support arrays or any special flags yet.
4473  */
4474 HRESULT WINAPI VarMod(LPVARIANT left, LPVARIANT right, LPVARIANT result)
4475 {
4476     BOOL         lOk        = TRUE;
4477     BOOL         rOk        = TRUE;
4478     HRESULT      rc         = E_FAIL;
4479     int          resT = 0;
4480     VARIANT      lv,rv;
4481
4482     VariantInit(&lv);
4483     VariantInit(&rv);
4484
4485     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left),
4486                   debugstr_VF(left), right, debugstr_VT(right), debugstr_VF(right), result);
4487
4488     /* check for invalid inputs */
4489     lOk = TRUE;
4490     switch (V_VT(left) & VT_TYPEMASK) {
4491     case VT_BOOL :
4492     case VT_I1   :
4493     case VT_I2   :
4494     case VT_I4   :
4495     case VT_I8   :
4496     case VT_INT  :
4497     case VT_UI1  :
4498     case VT_UI2  :
4499     case VT_UI4  :
4500     case VT_UI8  :
4501     case VT_UINT :
4502     case VT_R4   :
4503     case VT_R8   :
4504     case VT_CY   :
4505     case VT_EMPTY:
4506     case VT_DATE :
4507     case VT_BSTR :
4508       break;
4509     case VT_VARIANT:
4510     case VT_UNKNOWN:
4511       V_VT(result) = VT_EMPTY;
4512       return DISP_E_TYPEMISMATCH;
4513     case VT_DECIMAL:
4514       V_VT(result) = VT_EMPTY;
4515       return DISP_E_OVERFLOW;
4516     case VT_ERROR:
4517       return DISP_E_TYPEMISMATCH;
4518     case VT_RECORD:
4519       V_VT(result) = VT_EMPTY;
4520       return DISP_E_TYPEMISMATCH;
4521     case VT_NULL:
4522       break;
4523     default:
4524       V_VT(result) = VT_EMPTY;
4525       return DISP_E_BADVARTYPE;
4526     }
4527
4528
4529     rOk = TRUE;
4530     switch (V_VT(right) & VT_TYPEMASK) {
4531     case VT_BOOL :
4532     case VT_I1   :
4533     case VT_I2   :
4534     case VT_I4   :
4535     case VT_I8   :
4536       if((V_VT(left) == VT_INT) && (V_VT(right) == VT_I8))
4537       {
4538         V_VT(result) = VT_EMPTY;
4539         return DISP_E_TYPEMISMATCH;
4540       }
4541     case VT_INT  :
4542       if((V_VT(right) == VT_INT) && (V_VT(left) == VT_I8))
4543       {
4544         V_VT(result) = VT_EMPTY;
4545         return DISP_E_TYPEMISMATCH;
4546       }
4547     case VT_UI1  :
4548     case VT_UI2  :
4549     case VT_UI4  :
4550     case VT_UI8  :
4551     case VT_UINT :
4552     case VT_R4   :
4553     case VT_R8   :
4554     case VT_CY   :
4555       if(V_VT(left) == VT_EMPTY)
4556       {
4557         V_VT(result) = VT_I4;
4558         return S_OK;
4559       }
4560     case VT_EMPTY:
4561     case VT_DATE :
4562     case VT_BSTR:
4563       if(V_VT(left) == VT_NULL)
4564       {
4565         V_VT(result) = VT_NULL;
4566         return S_OK;
4567       }
4568       break;
4569
4570     case VT_VOID:
4571       V_VT(result) = VT_EMPTY;
4572       return DISP_E_BADVARTYPE;
4573     case VT_NULL:
4574       if(V_VT(left) == VT_VOID)
4575       {
4576         V_VT(result) = VT_EMPTY;
4577         return DISP_E_BADVARTYPE;
4578       } else if((V_VT(left) == VT_NULL) || (V_VT(left) == VT_EMPTY) || (V_VT(left) == VT_ERROR) ||
4579                 lOk)
4580       {
4581         V_VT(result) = VT_NULL;
4582         return S_OK;
4583       } else
4584       {
4585         V_VT(result) = VT_NULL;
4586         return DISP_E_BADVARTYPE;
4587       }
4588     case VT_VARIANT:
4589     case VT_UNKNOWN:
4590       V_VT(result) = VT_EMPTY;
4591       return DISP_E_TYPEMISMATCH;
4592     case VT_DECIMAL:
4593       if(V_VT(left) == VT_ERROR)
4594       {
4595         V_VT(result) = VT_EMPTY;
4596         return DISP_E_TYPEMISMATCH;
4597       } else
4598       {
4599         V_VT(result) = VT_EMPTY;
4600         return DISP_E_OVERFLOW;
4601       }
4602     case VT_ERROR:
4603       return DISP_E_TYPEMISMATCH;
4604     case VT_RECORD:
4605       if((V_VT(left) == 15) || ((V_VT(left) >= 24) && (V_VT(left) <= 35)) || !lOk)
4606       {
4607         V_VT(result) = VT_EMPTY;
4608         return DISP_E_BADVARTYPE;
4609       } else
4610       {
4611         V_VT(result) = VT_EMPTY;
4612         return DISP_E_TYPEMISMATCH;
4613       }
4614     default:
4615       V_VT(result) = VT_EMPTY;
4616       return DISP_E_BADVARTYPE;
4617     }
4618
4619     /* determine the result type */
4620     if((V_VT(left) == VT_I8)        || (V_VT(right) == VT_I8))   resT = VT_I8;
4621     else if((V_VT(left) == VT_UI1)  && (V_VT(right) == VT_BOOL)) resT = VT_I2;
4622     else if((V_VT(left) == VT_UI1)  && (V_VT(right) == VT_UI1))  resT = VT_UI1;
4623     else if((V_VT(left) == VT_UI1)  && (V_VT(right) == VT_I2))   resT = VT_I2;
4624     else if((V_VT(left) == VT_I2)   && (V_VT(right) == VT_BOOL)) resT = VT_I2;
4625     else if((V_VT(left) == VT_I2)   && (V_VT(right) == VT_UI1))  resT = VT_I2;
4626     else if((V_VT(left) == VT_I2)   && (V_VT(right) == VT_I2))   resT = VT_I2;
4627     else if((V_VT(left) == VT_BOOL) && (V_VT(right) == VT_BOOL)) resT = VT_I2;
4628     else if((V_VT(left) == VT_BOOL) && (V_VT(right) == VT_UI1))  resT = VT_I2;
4629     else if((V_VT(left) == VT_BOOL) && (V_VT(right) == VT_I2))   resT = VT_I2;
4630     else resT = VT_I4; /* most outputs are I4 */
4631
4632     /* convert to I8 for the modulo */
4633     rc = VariantChangeType(&lv, left, 0, VT_I8);
4634     if(FAILED(rc))
4635     {
4636       FIXME("Could not convert left type %d to %d? rc == 0x%lX\n", V_VT(left), VT_I8, rc);
4637       return rc;
4638     }
4639
4640     rc = VariantChangeType(&rv, right, 0, VT_I8);
4641     if(FAILED(rc))
4642     {
4643       FIXME("Could not convert right type %d to %d? rc == 0x%lX\n", V_VT(right), VT_I8, rc);
4644       return rc;
4645     }
4646
4647     /* if right is zero set VT_EMPTY and return divide by zero */
4648     if(V_I8(&rv) == 0)
4649     {
4650       V_VT(result) = VT_EMPTY;
4651       return DISP_E_DIVBYZERO;
4652     }
4653
4654     /* perform the modulo operation */
4655     V_VT(result) = VT_I8;
4656     V_I8(result) = V_I8(&lv) % V_I8(&rv);
4657
4658     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));
4659
4660     /* convert left and right to the destination type */
4661     rc = VariantChangeType(result, result, 0, resT);
4662     if(FAILED(rc))
4663     {
4664       FIXME("Could not convert 0x%x to %d?\n", V_VT(result), resT);
4665       return rc;
4666     }
4667
4668     return S_OK;
4669 }
4670
4671 /**********************************************************************
4672  *              VarPow [OLEAUT32.158]
4673  *
4674  * Computes the power of one variant to another variant.
4675  *
4676  * PARAMS
4677  *  left    [I] First variant
4678  *  right   [I] Second variant
4679  *  result  [O] Result variant
4680  *
4681  * RETURNS
4682  *  Success: S_OK.
4683  *  Failure: An HRESULT error code indicating the error.
4684  */
4685 HRESULT WINAPI VarPow(LPVARIANT left, LPVARIANT right, LPVARIANT result)
4686 {
4687     HRESULT hr;
4688     VARIANT dl,dr;
4689
4690     TRACE("(%p->(%s%s),%p->(%s%s),%p)\n", left, debugstr_VT(left), debugstr_VF(left),
4691           right, debugstr_VT(right), debugstr_VF(right), result);
4692
4693     hr = VariantChangeType(&dl,left,0,VT_R8);
4694     if (!SUCCEEDED(hr)) {
4695         ERR("Could not change passed left argument to VT_R8, handle it differently.\n");
4696         return E_FAIL;
4697     }
4698     hr = VariantChangeType(&dr,right,0,VT_R8);
4699     if (!SUCCEEDED(hr)) {
4700         ERR("Could not change passed right argument to VT_R8, handle it differently.\n");
4701         return E_FAIL;
4702     }
4703     V_VT(result) = VT_R8;
4704     V_R8(result) = pow(V_R8(&dl),V_R8(&dr));
4705     return S_OK;
4706 }