assert FD before deref

Author: SwayamInSync

clang/lib/AST/ASTContext.cpp

@@ -3095,6 +3095,7 @@ void ASTContext::setBlockVarCopyInit(const VarDecl*VD, Expr *CopyExpr,
 // CppVerify contract side table accessors.
 FunctionContractInfo &
 ASTContext::getOrCreateFunctionContract(const FunctionDecl *FD) {
+  assert(FD && "Passed null params");
   const FunctionDecl *Key = FD->getCanonicalDecl();
   auto &Info = FunctionContracts[Key];
   if (!Info)