CroppedArray2DRef: either all dimensions are zero, or none are

LebedevRI · LebedevRI · commit f93114c8a21e · 2024-01-11T21:05:37.000+03:00
diff --git a/src/librawspeed/adt/CroppedArray2DRef.h b/src/librawspeed/adt/CroppedArray2DRef.h
@@ -100,6 +100,7 @@ inline void CroppedArray2DRef<T>::establishClassInvariants() const noexcept {
   invariant(croppedHeight <= base.height());
   invariant(offsetCols + croppedWidth <= base.width());
   invariant(offsetRows + croppedHeight <= base.height());
+  invariant((croppedWidth == 0) == (croppedHeight == 0));
 }
 
 template <class T>

Original file line number	Diff line number	Diff line change
`@@ -100,6 +100,7 @@ inline void CroppedArray2DRef<T>::establishClassInvariants() const noexcept {`
`100`	`100`	`invariant(croppedHeight <= base.height());`
`101`	`101`	`invariant(offsetCols + croppedWidth <= base.width());`
`102`	`102`	`invariant(offsetRows + croppedHeight <= base.height());`
	`103`	`+ invariant((croppedWidth == 0) == (croppedHeight == 0));`
`103`	`104`	`}`
`104`	`105`
`105`	`106`	`template <class T>`