QmlCompiler: Do check specificType on SetLookup

We may have implicitly invalidated it when shadow-checking.

Amends commit b3281f1.

Change-Id: Ia5c54a3a0fa97c61e947ecb0a5b21d410e1bf19a
Reviewed-by: Fabian Kosmale <[email protected]>
Reviewed-by: Volker Hilsheimer <[email protected]>

Author: ulfhermannqt

src/qmlcompiler/qqmljscodegenerator.cpp

@@ -1186,8 +1186,13 @@ void QQmlJSCodeGenerator::generate_SetLookup(int index, int baseReg)
     const QQmlJSRegisterContent specific = m_typeResolver->memberType(
                 callBase, m_jsUnitGenerator->lookupName(index));
 
-    // We have checked that in the type propagator.
-    Q_ASSERT(!specific.storedType().isNull());
+    if (specific.storedType().isNull()) {
+        reject(u"SetLookup. Could not find property "
+               + m_jsUnitGenerator->lookupName(index)
+               + u" on type "
+               + callBase.storedType()->internalName());
+        return;
+    }
 
     // Choose a container that can hold both, the "in" accumulator and what we actually want.
     // If the types are all the same because we can all store them as verbatim C++ types,

tests/auto/qml/qmlcppcodegen/data/failures.qml

@@ -83,6 +83,11 @@ QtObject {
         return a;
     }
 
+    property Person shadowable
+    function setLookupOnShadowable() {
+        shadowable.area.width = 16
+    }
+
     // TODO: Drop these once we can manipulate QVariant-wrapped lists.
     property list<withLength> withLengths
     property int l: withLengths.length

tests/auto/qml/qmlcppcodegen/data/person.cpp

@@ -98,3 +98,16 @@ void Person::setCousins(const QList<Person *> &newCousins)
     m_cousins = newCousins;
     emit cousinsChanged();
 }
+
+QRectF Person::area() const
+{
+    return m_area;
+}
+
+void Person::setArea(const QRectF &newArea)
+{
+    if (m_area == newArea)
+        return;
+    m_area = newArea;
+    emit areaChanged();
+}

tests/auto/qml/qmlcppcodegen/data/person.h

@@ -8,6 +8,7 @@
 #include <QtQml/qqml.h>
 #include <QtQml/qqmlengine.h>
 #include <QtCore/qproperty.h>
+#include <QtCore/qrect.h>
 
 // Intentionally opaque type
 class Barzle : public QObject {};
@@ -22,6 +23,7 @@ class Person : public QObject
     Q_PROPERTY(QList<Barzle *> barzles READ barzles WRITE setBarzles NOTIFY barzlesChanged FINAL)
     Q_PROPERTY(QList<Person *> cousins READ cousins WRITE setCousins NOTIFY cousinsChanged FINAL)
     Q_PROPERTY(QByteArray data READ data WRITE setData NOTIFY dataChanged FINAL)
+    Q_PROPERTY(QRectF area READ area WRITE setArea NOTIFY areaChanged) // not FINAL
     QML_ELEMENT
 public:
     Person(QObject *parent = nullptr);
@@ -52,6 +54,9 @@ class Person : public QObject
     QList<Person *> cousins() const;
     void setCousins(const QList<Person *> &newCousins);
 
+    QRectF area() const;
+    void setArea(const QRectF &newArea);
+
 signals:
     void nameChanged();
     void shoeSizeChanged();
@@ -65,13 +70,16 @@ class Person : public QObject
     void objectListHappened(const QList<QObject *> &);
     void variantListHappened(const QList<QVariant> &);
 
+    void areaChanged();
+
 private:
     QString m_name;
     int m_shoeSize;
     QVariantList m_things;
     QList<Barzle *> m_barzles;
     QList<Person *> m_cousins;
     QProperty<QByteArray> m_data;
+    QRectF m_area;
 };
 
 class BarzleListRegistration