Add extra diagnostics in JitCall::AreArgumentsValid

This catches 0 objects to construct/destruct and attempting array new with requried initialization parameters

Author: aaronj0

include/CppInterOp/CppInterOp.h

@@ -140,8 +140,8 @@ class JitCall {
       : m_DestructorCall(C), m_Kind(K), m_FD(Dtor) {}
 
   /// Checks if the passed arguments are valid for the given function.
-  CPPINTEROP_API bool AreArgumentsValid(void* result, ArgList args,
-                                        void* self) const;
+  CPPINTEROP_API bool AreArgumentsValid(void* result, ArgList args, void* self,
+                                        size_t nary = 1UL) const;
 
   /// This function is used for debugging, it reports when the function was
   /// called.

lib/CppInterOp/CppInterOp.cpp

@@ -132,7 +132,8 @@ static clang::Sema& getSema() { return getInterp().getCI()->getSema(); }
 static clang::ASTContext& getASTContext() { return getSema().getASTContext(); }
 
 #define DEBUG_TYPE "jitcall"
-bool JitCall::AreArgumentsValid(void* result, ArgList args, void* self) const {
+bool JitCall::AreArgumentsValid(void* result, ArgList args, void* self,
+                                size_t nary) const {
   bool Valid = true;
   if (Cpp::IsConstructor(m_FD)) {
     assert(result && "Must pass the location of the created object!");
@@ -156,6 +157,18 @@ bool JitCall::AreArgumentsValid(void* result, ArgList args, void* self) const {
     assert(0 && "We are discarding the return type of the function!");
     Valid = false;
   }
+  if (Cpp::IsConstructor(m_FD) || Cpp::IsDestructor(m_FD))
+    assert(nary > 0 &&
+           "Number of objects to construct/destruct should be atleast 1");
+
+  if (Cpp::IsConstructor(m_FD)) {
+    const auto* CD = cast<CXXConstructorDecl>((const Decl*)m_FD);
+    if (CD->getMinRequiredArguments() != 0 && nary > 1) {
+      assert(0 &&
+             "Cannot pass initialization parameters to array new construction");
+      Valid = false;
+    }
+  }
   assert(m_Kind != kDestructorCall && "Wrong overload!");
   Valid &= m_Kind != kDestructorCall;
   return Valid;