Validate super first argument

Fixes #975

Author: msimacek

graalpython/com.oracle.graal.python.test/src/tests/test_super.py

@@ -49,6 +49,15 @@ def m(self): return ["B"] + self.my_super.m()
     assert B().m() == ["B", "A"]
 
 
+def test_super_requires_type_arg():
+    try:
+        super([])
+    except TypeError:
+        pass
+    else:
+        assert False
+
+
 def test_super_subclass_descr_get_invokes_subclass_type():
     class MySuper(super):
         news = []

graalpython/com.oracle.graal.python/src/com/oracle/graal/python/builtins/objects/superobject/SuperBuiltins.java

@@ -261,6 +261,9 @@ public final Object execute(VirtualFrame frame, Object self, Object[] arguments,
         PNone init(VirtualFrame frame, SuperObject self, Object cls, Object obj,
                         @Bind Node inliningTarget,
                         @Cached @Exclusive PRaiseNode raiseNode) {
+            if (!ensureIsTypeNode().executeCached(cls)) {
+                throw raiseNode.raise(inliningTarget, PythonErrorType.TypeError, ErrorMessages.FIRST_ARGUMENT_MUST_BE_A_TYPE_OBJECT_NOT_P, cls);
+            }
             if (!(obj instanceof PNone)) {
                 Object type = supercheck(frame, inliningTarget, cls, obj, raiseNode);
                 self.init(cls, type, obj);