diff options
author | Jedidiah Barber <contact@jedbarber.id.au> | 2024-10-08 20:41:47 +1300 |
---|---|---|
committer | Jedidiah Barber <contact@jedbarber.id.au> | 2024-10-08 20:41:47 +1300 |
commit | 0c774f937f169f31f9b11136d3375901597f9269 (patch) | |
tree | ba45bf63374321c95eb0fccf1fc2acce14009ecc /src/libsndfile.ads | |
parent | 3181961ad2eefb3a6d9151db99661411792d4097 (diff) |
Diffstat (limited to 'src/libsndfile.ads')
-rw-r--r-- | src/libsndfile.ads | 7 |
1 files changed, 7 insertions, 0 deletions
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); |