From 8f179851df8d260bf965acb5e682f425fd91cafd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lars=20G=C3=B6ttgens?= <lars.goettgens@rwth-aachen.de>
Date: Fri, 25 Oct 2024 11:09:39 +0200
Subject: [PATCH] Require one-based indexing in `_check_dim`

---
 src/Matrix.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Matrix.jl b/src/Matrix.jl
index dbb6695a6b..027ccfd0e4 100644
--- a/src/Matrix.jl
+++ b/src/Matrix.jl
@@ -29,6 +29,7 @@ function check_parent(a::MatrixElem, b::MatrixElem, throw::Bool = true)
 end
 
 function _check_dim(r::Int, c::Int, arr::AbstractMatrix{T}, transpose::Bool = false) where {T}
+  Base.require_one_based_indexing(arr)
   if !transpose
     size(arr) != (r, c) && throw(ErrorConstrDimMismatch(r, c, size(arr)...))
   else
@@ -38,6 +39,7 @@ function _check_dim(r::Int, c::Int, arr::AbstractMatrix{T}, transpose::Bool = fa
 end
 
 function _check_dim(r::Int, c::Int, arr::AbstractVector{T}) where {T}
+  Base.require_one_based_indexing(arr)
   length(arr) != r*c && throw(ErrorConstrDimMismatch(r, c, length(arr)))
   return nothing
 end