diff options
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); |