diff -r 41300fa6a67c -r f7bc934e204c util/tests/auto/compiler/tst_compiler.cpp
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/util/tests/auto/compiler/tst_compiler.cpp	Wed Mar 31 11:06:36 2010 +0300
@@ -0,0 +1,656 @@
+/****************************************************************************
+**
+** Copyright (C) 2010 Nokia Corporation and/or its subsidiary(-ies).
+** All rights reserved.
+** Contact: Nokia Corporation (qt-info@nokia.com)
+**
+** This file is part of the test suite of the Qt Toolkit.
+**
+** $QT_BEGIN_LICENSE:LGPL$
+** No Commercial Usage
+** This file contains pre-release code and may not be distributed.
+** You may use this file in accordance with the terms and conditions
+** contained in the Technology Preview License Agreement accompanying
+** this package.
+**
+** GNU Lesser General Public License Usage
+** Alternatively, this file may be used under the terms of the GNU Lesser
+** General Public License version 2.1 as published by the Free Software
+** Foundation and appearing in the file LICENSE.LGPL included in the
+** packaging of this file.  Please review the following information to
+** ensure the GNU Lesser General Public License version 2.1 requirements
+** will be met: http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html.
+**
+** In addition, as a special exception, Nokia gives you certain additional
+** rights.  These rights are described in the Nokia Qt LGPL Exception
+** version 1.1, included in the file LGPL_EXCEPTION.txt in this package.
+**
+** If you have questions regarding the use of this file, please contact
+** Nokia at qt-info@nokia.com.
+**
+**
+**
+**
+**
+**
+**
+**
+** $QT_END_LICENSE$
+**
+****************************************************************************/
+
+
+#include <QtCore/QtCore>
+#include <QtTest/QtTest>
+
+#include <algorithm>
+
+#define BASECLASS_NOT_ABSTRACT
+#include "baseclass.h"
+#include "derivedclass.h"
+
+QT_USE_NAMESPACE
+
+class tst_Compiler : public QObject
+{
+Q_OBJECT
+
+private slots:
+    void template_methods();
+    void template_constructors();
+    void template_subclasses();
+    void methodSpecialization();
+    void constructorSpecialization();
+    void staticTemplateMethods();
+    void staticTemplateMethodSpecialization();
+    void detectDataStream();
+    void detectEnums();
+    void overrideCFunction();
+    void stdSortQList();
+    void stdSortQVector();
+    void templateCallOrder();
+    void virtualFunctionNoLongerPureVirtual();
+    void charSignedness() const;
+    void privateStaticTemplateMember() const;
+    void staticConstUnionWithInitializerList() const;
+};
+
+#if defined(Q_CC_MSVC) && _MSC_VER < 1300
+#define MSVC6
+#endif
+
+#if defined(Q_CC_MSVC) && _MSC_VER == 1300
+#define MSVC2002
+#endif
+
+#if defined(MSVC6)
+# define DONT_TEST_TEMPLATE_METHODS
+# define DONT_TEST_TEMPLATE_CONSTRUCTORS
+# define DONT_TEST_METHOD_SPECIALIZATION
+# define DONT_TEST_CONSTRUCTOR_SPECIALIZATION
+# define DONT_TEST_STATIC_TEMPLATE_METHODS
+# define DONT_TEST_STATIC_TEMPLATE_METHOD_SPECIALIZATION
+# define DONT_TEST_STL_SORTING
+# define DONT_TEST_SIGNEDNESS
+#endif
+
+#if defined(MSVC2002)
+# define DONT_TEST_TEMPLATE_METHODS
+# define DONT_TEST_DETECT_ENUMS
+# define DONT_TEST_METHOD_SPECIALIZATION
+# define DONT_TEST_CONSTRUCTOR_SPECIALIZATION
+# define DONT_TEST_STATIC_TEMPLATE_METHOD_SPECIALIZATION
+# define DONT_TEST_STL_SORTING
+#endif
+
+#if defined(Q_CC_HPACC)
+# define DONT_TEST_TEMPLATE_CONSTRUCTORS
+# define DONT_TEST_CONSTRUCTOR_SPECIALIZATION
+# define DONT_TEST_DATASTREAM_DETECTION
+#endif
+
+#if defined(Q_CC_SUN)
+# define DONT_TEST_STL_SORTING
+#endif
+
+#ifndef DONT_TEST_TEMPLATE_METHODS
+class TemplateMethodClass
+{
+public:
+    template <class T>
+    T foo() { return 42; }
+};
+
+void tst_Compiler::template_methods()
+{
+    TemplateMethodClass t;
+
+    QCOMPARE(t.foo<int>(), 42);
+    QCOMPARE(t.foo<long>(), 42l);
+    QCOMPARE(t.foo<double>(), 42.0);
+}
+#else
+void tst_Compiler::template_methods()
+{ QSKIP("Compiler doesn't do template methods", SkipAll); }
+#endif
+
+#ifndef DONT_TEST_TEMPLATE_CONSTRUCTORS
+class TemplateConstructorClass
+{
+public:
+    template <class T>
+    TemplateConstructorClass(const T& t) { i = int(t); }
+
+    int i;
+};
+
+void tst_Compiler::template_constructors()
+{
+    TemplateConstructorClass t1(42);
+    TemplateConstructorClass t2(42l);
+    TemplateConstructorClass t3(42.0);
+
+    QCOMPARE(t1.i, 42);
+    QCOMPARE(t2.i, 42);
+    QCOMPARE(t3.i, 42);
+}
+#else
+void tst_Compiler::template_constructors()
+{ QSKIP("Compiler doesn't do template constructors", SkipAll); }
+#endif
+
+template <typename T>
+struct OuterClass
+{
+    template <typename U>
+    struct InnerClass
+    {
+        U convert(const T &t) { return static_cast<U>(t); }
+    };
+};
+
+void tst_Compiler::template_subclasses()
+{
+    OuterClass<char>::InnerClass<int> c1;
+    QCOMPARE(c1.convert('a'), int('a'));
+
+    OuterClass<QRect>::InnerClass<QRectF> c2;
+    QCOMPARE(c2.convert(QRect(1, 2, 3, 4)), QRectF(QRect(1, 2, 3, 4)));
+}
+
+#ifndef DONT_TEST_METHOD_SPECIALIZATION
+class TemplateMethodClass2
+{
+public:
+    template <class T>
+    T foo() { return 42; }
+};
+
+template<>
+int TemplateMethodClass2::foo<int>()
+{ return 43; }
+
+void tst_Compiler::methodSpecialization()
+{
+    TemplateMethodClass2 t;
+
+    QCOMPARE(t.foo<int>(), 43);
+    QCOMPARE(t.foo<long>(), 42l);
+    QCOMPARE(t.foo<double>(), 42.0);
+}
+#else
+void tst_Compiler::methodSpecialization()
+{ QSKIP("Compiler doesn't do template specialization", SkipAll); }
+#endif
+
+#ifndef DONT_TEST_CONSTRUCTOR_SPECIALIZATION
+class TemplateConstructorClass2
+{
+public:
+    template <class T>
+    TemplateConstructorClass2(const T &t) { i = int(t); }
+
+    int i;
+};
+
+template<>
+TemplateConstructorClass2::TemplateConstructorClass2(const int &t) { i = t + 1; }
+
+void tst_Compiler::constructorSpecialization()
+{
+    TemplateConstructorClass2 t1(42);
+    TemplateConstructorClass2 t2(42l);
+    TemplateConstructorClass2 t3(42.0);
+
+    QCOMPARE(t1.i, 43);
+    QCOMPARE(t2.i, 42);
+    QCOMPARE(t3.i, 42);
+}
+#else
+void tst_Compiler::constructorSpecialization()
+{ QSKIP("Compiler doesn't do constructor specialization", SkipAll); }
+#endif
+
+#ifndef DONT_TEST_STATIC_TEMPLATE_METHODS
+class StaticTemplateClass
+{
+public:
+    template <class T>
+    static T foo() { return 42; }
+};
+
+void tst_Compiler::staticTemplateMethods()
+{
+    QCOMPARE(StaticTemplateClass::foo<int>(), 42);
+    QCOMPARE(StaticTemplateClass::foo<uint>(), 42u);
+}
+#else
+void tst_Compiler::staticTemplateMethods()
+{ QSKIP("Compiler doesn't do static template methods", SkipAll); }
+#endif
+
+#ifndef DONT_TEST_STATIC_TEMPLATE_METHOD_SPECIALIZATION
+class StaticTemplateClass2
+{
+public:
+    template <class T>
+    static T foo() { return 42; }
+};
+
+template<>
+double StaticTemplateClass2::foo<double>() { return 18.5; }
+
+void tst_Compiler::staticTemplateMethodSpecialization()
+{
+    QCOMPARE(StaticTemplateClass2::foo<int>(), 42);
+    QCOMPARE(StaticTemplateClass2::foo<uint>(), 42u);
+    QCOMPARE(StaticTemplateClass2::foo<double>(), 18.5);
+}
+#else
+void tst_Compiler::staticTemplateMethodSpecialization()
+{ QSKIP("Compiler doesn't do static template method specialization", SkipAll); }
+#endif
+
+#ifndef DONT_TEST_DATASTREAM_DETECTION
+/******* DataStream tester *********/
+namespace QtTestInternal
+{
+    struct EmptyStruct {};
+    struct LowPreferenceStruct { LowPreferenceStruct(...); };
+
+    EmptyStruct operator<<(QDataStream &, const LowPreferenceStruct &);
+    EmptyStruct operator>>(QDataStream &, const LowPreferenceStruct &);
+
+    template<typename T>
+    struct DataStreamChecker
+    {
+        static EmptyStruct hasStreamHelper(const EmptyStruct &);
+        static QDataStream hasStreamHelper(const QDataStream &);
+        static QDataStream &dsDummy();
+        static T &dummy();
+
+#ifdef BROKEN_COMPILER
+        static const bool HasDataStream =
+            sizeof(hasStreamHelper(dsDummy() << dummy())) == sizeof(QDataStream)
+            && sizeof(hasStreamHelper(dsDummy() >> dummy())) == sizeof(QDataStream);
+#else
+        enum {
+            HasOutDataStream = sizeof(hasStreamHelper(dsDummy() >> dummy())) == sizeof(QDataStream),
+            HasInDataStream = sizeof(hasStreamHelper(dsDummy() << dummy())) == sizeof(QDataStream),
+            HasDataStream = HasOutDataStream & HasInDataStream
+        };
+#endif
+    };
+
+    template<bool>
+    struct DataStreamOpHelper
+    {
+        template <typename T>
+        struct Getter {
+            static QMetaType::SaveOperator saveOp() { return 0; }
+        };
+    };
+
+    template<>
+    struct DataStreamOpHelper<true>
+    {
+        template <typename T>
+        struct Getter {
+            static QMetaType::SaveOperator saveOp()
+            {
+                typedef void(*SavePtr)(QDataStream &, const T *);
+                SavePtr op = ::qMetaTypeSaveHelper<T>;
+                return reinterpret_cast<QMetaType::SaveOperator>(op);
+            }
+        };
+
+    };
+
+    template<typename T>
+    inline QMetaType::SaveOperator getSaveOperator(T * = 0)
+    {
+        typedef typename DataStreamOpHelper<DataStreamChecker<T>::HasDataStream>::template Getter<T> GetterHelper;
+        return GetterHelper::saveOp();
+    }
+};
+
+struct MyString: public QString {};
+struct Qxxx {};
+
+void tst_Compiler::detectDataStream()
+{
+    QVERIFY(QtTestInternal::DataStreamChecker<int>::HasDataStream == true);
+    QVERIFY(QtTestInternal::DataStreamChecker<uint>::HasDataStream == true);
+    QVERIFY(QtTestInternal::DataStreamChecker<char *>::HasDataStream == true);
+    QVERIFY(QtTestInternal::DataStreamChecker<const int>::HasInDataStream == true);
+    QVERIFY(QtTestInternal::DataStreamChecker<const int>::HasOutDataStream == false);
+    QVERIFY(QtTestInternal::DataStreamChecker<const int>::HasDataStream == false);
+    QVERIFY(QtTestInternal::DataStreamChecker<double>::HasDataStream == true);
+
+    QVERIFY(QtTestInternal::DataStreamChecker<QString>::HasDataStream == true);
+    QVERIFY(QtTestInternal::DataStreamChecker<MyString>::HasDataStream == true);
+    QVERIFY(QtTestInternal::DataStreamChecker<Qxxx>::HasDataStream == false);
+
+    QVERIFY(QtTestInternal::getSaveOperator<int>() != 0);
+    QVERIFY(QtTestInternal::getSaveOperator<uint>() != 0);
+    QVERIFY(QtTestInternal::getSaveOperator<char *>() != 0);
+    QVERIFY(QtTestInternal::getSaveOperator<double>() != 0);
+    QVERIFY(QtTestInternal::getSaveOperator<QString>() != 0);
+    QVERIFY(QtTestInternal::getSaveOperator<MyString>() != 0);
+    QVERIFY(QtTestInternal::getSaveOperator<Qxxx>() == 0);
+}
+#else
+void tst_Compiler::detectDataStream()
+{ QSKIP("Compiler doesn't evaluate templates correctly", SkipAll); }
+#endif
+
+#ifndef DONT_TEST_DETECT_ENUMS
+enum Enum1 { Foo = 0, Bar = 1 };
+enum Enum2 {};
+enum Enum3 { Something = 1 };
+
+template <typename T> char QTypeInfoEnumHelper(T);
+template <typename T> void *QTypeInfoEnumHelper(...);
+
+#if defined(MSVC6)
+
+template <int>
+struct QTestTypeInfoHelper
+{
+    enum { IsE = 0 };
+};
+
+template <>
+struct QTestTypeInfoHelper<sizeof(void *)>
+{
+    enum { IsE = 1 };
+};
+
+
+template <typename T>
+struct QTestTypeInfo
+{
+    typedef typename QTestTypeInfoHelper<sizeof(QTypeInfoEnumHelper<T>(0))> TIHelper;
+    enum { IsEnum = TIHelper::IsE };
+};
+#else
+template <typename T>
+struct QTestTypeInfo
+{
+    enum { IsEnum = sizeof(QTypeInfoEnumHelper<T>(0)) == sizeof(void*) };
+};
+#endif
+
+void tst_Compiler::detectEnums()
+{
+    QVERIFY(QTestTypeInfo<Enum1>::IsEnum);
+    QVERIFY(QTestTypeInfo<Enum2>::IsEnum);
+    QVERIFY(QTestTypeInfo<Enum3>::IsEnum);
+    QVERIFY(!QTestTypeInfo<int>::IsEnum);
+    QVERIFY(!QTestTypeInfo<char>::IsEnum);
+    QVERIFY(!QTestTypeInfo<uint>::IsEnum);
+    QVERIFY(!QTestTypeInfo<short>::IsEnum);
+    QVERIFY(!QTestTypeInfo<ushort>::IsEnum);
+    QVERIFY(!QTestTypeInfo<void*>::IsEnum);
+    QVERIFY(!QTestTypeInfo<QString>::IsEnum);
+    QVERIFY(QTestTypeInfo<Qt::Key>::IsEnum);
+    QVERIFY(QTestTypeInfo<Qt::ToolBarArea>::IsEnum);
+    QVERIFY(!QTestTypeInfo<Qt::ToolBarAreas>::IsEnum);
+    QVERIFY(QTestTypeInfo<Qt::MatchFlag>::IsEnum);
+    QVERIFY(!QTestTypeInfo<Qt::MatchFlags>::IsEnum);
+}
+#else
+void tst_Compiler::detectEnums()
+{ QSKIP("Compiler doesn't evaluate templates correctly", SkipAll); }
+#endif
+
+static int indicator = 0;
+
+
+// this is a silly C function
+extern "C" {
+    void someCFunc(void *) { indicator = 42; }
+}
+
+// this is the catch-template that will be called if the C function doesn't exist
+template <typename T>
+void someCFunc(T *) { indicator = 10; }
+
+void tst_Compiler::overrideCFunction()
+{
+    someCFunc((void*)0);
+    QCOMPARE(indicator, 42);
+}
+
+#ifndef DONT_TEST_STL_SORTING
+void tst_Compiler::stdSortQList()
+{
+    QList<int> list;
+    list << 4 << 2;
+    std::sort(list.begin(), list.end());
+    QCOMPARE(list.value(0), 2);
+    QCOMPARE(list.value(1), 4);
+
+    QList<QString> slist;
+    slist << "b" << "a";
+    std::sort(slist.begin(), slist.end());
+    QCOMPARE(slist.value(0), QString("a"));
+    QCOMPARE(slist.value(1), QString("b"));
+}
+
+void tst_Compiler::stdSortQVector()
+{
+    QVector<int> vector;
+    vector << 4 << 2;
+    std::sort(vector.begin(), vector.end());
+    QCOMPARE(vector.value(0), 2);
+    QCOMPARE(vector.value(1), 4);
+
+    QVector<QString> strvec;
+    strvec << "b" << "a";
+    std::sort(strvec.begin(), strvec.end());
+    QCOMPARE(strvec.value(0), QString("a"));
+    QCOMPARE(strvec.value(1), QString("b"));
+}
+#else
+void tst_Compiler::stdSortQList()
+{ QSKIP("Compiler's STL broken", SkipAll); }
+void tst_Compiler::stdSortQVector()
+{ QSKIP("Compiler's STL broken", SkipAll); }
+#endif
+
+// the C func will set it to 1, the template to 2
+static int whatWasCalled = 0;
+
+void callOrderFunc(void *)
+{
+    whatWasCalled = 1;
+}
+
+template <typename T>
+void callOrderFunc(T *)
+{
+    whatWasCalled = 2;
+}
+
+template <typename T>
+void callOrderNoCFunc(T *)
+{
+    whatWasCalled = 3;
+}
+
+/*
+   This test will check what will get precendence - the C function
+   or the template.
+
+   It also makes sure this template "override" will compile on all systems
+   and not result in ambiguities.
+*/
+void tst_Compiler::templateCallOrder()
+{
+    QCOMPARE(whatWasCalled, 0);
+
+    // call it with a void *
+    void *f = 0;
+    callOrderFunc(f);
+    QCOMPARE(whatWasCalled, 1);
+    whatWasCalled = 0;
+
+    char *c = 0;
+    /* call it with a char * - AMBIGOUS, fails on several compilers
+    callOrderFunc(c);
+    QCOMPARE(whatWasCalled, 1);
+    whatWasCalled = 0;
+    */
+
+    // now try the case when there is no C function
+    callOrderNoCFunc(f);
+    QCOMPARE(whatWasCalled, 3);
+    whatWasCalled = 0;
+
+    callOrderNoCFunc(c);
+    QCOMPARE(whatWasCalled, 3);
+    whatWasCalled = 0;
+}
+
+// test to see if removing =0 from a pure virtual function is BC
+void tst_Compiler::virtualFunctionNoLongerPureVirtual()
+{
+#ifdef BASECLASS_NOT_ABSTRACT
+    // has a single virtual function, not pure virtual, can call it
+    BaseClass baseClass;
+    QTest::ignoreMessage(QtDebugMsg, "BaseClass::wasAPureVirtualFunction()");
+    baseClass.wasAPureVirtualFunction();
+#endif
+
+    // DerivedClass inherits from BaseClass, and function is declared
+    // pure virtual, make sure we can still call it
+    DerivedClass derivedClass;
+    QTest::ignoreMessage(QtDebugMsg, "DerivedClass::wasAPureVirtualFunction()");
+    derivedClass.wasAPureVirtualFunction();
+}
+
+template<typename T> const char *resolveCharSignedness();
+
+template<>
+const char *resolveCharSignedness<char>()
+{
+    return "char";
+}
+
+template<>
+const char *resolveCharSignedness<unsigned char>()
+{
+    return "unsigned char";
+}
+
+template<>
+const char *resolveCharSignedness<signed char>()
+{
+    return "signed char";
+}
+
+void tst_Compiler::charSignedness() const
+{
+#ifdef DONT_TEST_SIGNEDNESS
+    QSKIP("MS VC 6.0 instantiates the char function for type unsigned char.", SkipSingle);
+#else
+    QCOMPARE("char",            resolveCharSignedness<char>());
+    QCOMPARE("unsigned char",   resolveCharSignedness<unsigned char>());
+    QCOMPARE("signed char",     resolveCharSignedness<signed char>());
+#endif
+}
+
+class PrivateStaticTemplateMember
+{
+public:
+    long regularMember()
+    {
+        return helper<long, int>(3);
+    }
+
+private:
+    template<typename A, typename B>
+    static A helper(const B b)
+    {
+        return A(b);
+    }
+};
+
+void tst_Compiler::privateStaticTemplateMember() const
+{
+    PrivateStaticTemplateMember v;
+
+    QCOMPARE(long(3), v.regularMember());
+}
+
+
+#if !defined(Q_CC_MIPS)
+
+// make sure we can use a static initializer with a union and then use
+// the second member of the union
+static const union { unsigned char c[8]; double d; } qt_be_inf_bytes = { { 0x7f, 0xf0, 0, 0, 0, 0, 0, 0 } };
+static const union { unsigned char c[8]; double d; } qt_le_inf_bytes = { { 0, 0, 0, 0, 0, 0, 0xf0, 0x7f } };
+static const union { unsigned char c[8]; double d; } qt_armfpa_inf_bytes = { { 0, 0, 0xf0, 0x7f, 0, 0, 0, 0 } };
+static inline double qt_inf()
+{
+#ifdef QT_ARMFPA
+    return qt_armfpa_inf_bytes.d;
+#else
+    return (QSysInfo::ByteOrder == QSysInfo::BigEndian
+            ? qt_be_inf_bytes.d
+            : qt_le_inf_bytes.d);
+#endif
+}
+
+#else
+
+static const unsigned char qt_be_inf_bytes[] = { 0x7f, 0xf0, 0, 0, 0, 0, 0, 0 };
+static const unsigned char qt_le_inf_bytes[] = { 0, 0, 0, 0, 0, 0, 0xf0, 0x7f };
+static const unsigned char qt_armfpa_inf_bytes[] = { 0, 0, 0xf0, 0x7f, 0, 0, 0, 0 };
+static inline double qt_inf()
+{
+    const uchar *bytes;
+#ifdef QT_ARMFPA
+    bytes = qt_armfpa_inf_bytes;
+#else
+    bytes = (QSysInfo::ByteOrder == QSysInfo::BigEndian
+             ? qt_be_inf_bytes
+             : qt_le_inf_bytes);
+#endif
+
+    union { uchar c[8]; double d; } returnValue;
+    qMemCopy(returnValue.c, bytes, sizeof(returnValue.c));
+    return returnValue.d;
+}
+
+#endif
+
+void tst_Compiler::staticConstUnionWithInitializerList() const
+{
+    double d = qt_inf();
+    QVERIFY(qIsInf(d));
+}
+
+QTEST_MAIN(tst_Compiler)
+#include "tst_compiler.moc"