From 0c774f937f169f31f9b11136d3375901597f9269 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Tue, 8 Oct 2024 20:41:47 +1300 Subject: Cleaned up some assertions --- src/libsndfile.ads | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/libsndfile.ads') diff --git a/src/libsndfile.ads b/src/libsndfile.ads index 65ffeac..f996f9d 100644 --- a/src/libsndfile.ads +++ b/src/libsndfile.ads @@ -363,6 +363,13 @@ private (c_pointer_size * Interfaces.C.CHAR_BIT = Storage.Integer_Address'Size, "Size of C void pointers and size of Ada address values do not match"); + -- More things that shouldn't fail unless something really weird happens + pragma Assert (Short_Integer'Size = Interfaces.C.short'Size); + pragma Assert (Integer'Size = Interfaces.C.int'Size); + pragma Assert (Float'Size = Interfaces.C.C_float'Size); + pragma Assert (Long_Float'Size = Interfaces.C.double'Size); + pragma Assert (Character'Size = Interfaces.C.CHAR_BIT); + pragma Inline (Is_Open); pragma Inline (Write_Sync); -- cgit