From 0806a7958b5b5ee29da043d3e4f3f854c164059d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christian=20G=C3=B6ttsche?= Date: Sat, 31 Oct 2020 20:57:22 +0100 Subject: Assert Vector_get returns an object It is generally assumed Vector_get returns a non-NULL object. Use a generic assert in Vector_get instead of in callers. --- Vector.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Vector.c') diff --git a/Vector.c b/Vector.c index 77f56a88..63b64723 100644 --- a/Vector.c +++ b/Vector.c @@ -65,8 +65,9 @@ int Vector_count(const Vector* this) { } Object* Vector_get(Vector* this, int idx) { - assert(idx < this->items); + assert(idx >= 0 && idx < this->items); assert(Vector_isConsistent(this)); + assert(this->array[idx]); return this->array[idx]; } -- cgit v1.2.3