Initial commit

tests/01_static_asserts.c

@@ -0,0 +1,60 @@
+/* - | Copyright | ------------------------------------------------------------
+   Copyright (c) 2026 Randy Jordan
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of 
+this software and associated documentation files (the "Software"), to deal in 
+the Software without restriction, including without limitation the rights to 
+use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies 
+of the Software, and to permit persons to whom the Software is furnished to do 
+so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all 
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR 
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, 
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE 
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER 
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, 
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE 
+SOFTWARE.
+
+ * --------------------------------------------------------------------------*/
+#define DEBUG
+#include "../include/ci2.h"
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <limits.h>     /* INT_MAX, CHAR_BIT             — C standard */
+#include <float.h>      /* FLT_MANT_DIG                  — C standard */
+int main(int argc, char *argv[]){
+    (void) argc;
+    (void) argv;
+    
+    /* Fundamental type sizes that almost all C code silently assumes. */
+    CI2_STATIC_ASSERT(CHAR_BIT       == 8);
+    CI2_STATIC_ASSERT(sizeof(char)   == 1);
+    CI2_STATIC_ASSERT(sizeof(short)  == 2);
+    CI2_STATIC_ASSERT(sizeof(int)    == 4);
+    CI2_STATIC_ASSERT(sizeof(float)  == 4);
+    CI2_STATIC_ASSERT(sizeof(double) == 8);
+
+    /* Pointer and size_t width — catches ILP64 oddities. */
+    CI2_STATIC_ASSERT(sizeof(void *) == sizeof(size_t));
+
+    /* Fixed-width types from <stdint.h> */
+    CI2_STATIC_ASSERT(sizeof(uint8_t) == 1);
+    CI2_STATIC_ASSERT(sizeof(uint16_t) == 2);
+    CI2_STATIC_ASSERT(sizeof(uint32_t) == 4);
+    CI2_STATIC_ASSERT(sizeof(uint64_t) == 8);
+
+    CI2_STATIC_ASSERT(sizeof(int8_t) == 1);
+    CI2_STATIC_ASSERT(sizeof(int16_t) == 2);
+    CI2_STATIC_ASSERT(sizeof(int32_t) == 4);
+    CI2_STATIC_ASSERT(sizeof(int64_t) == 8);
+
+    /* IEEE-754 single precision: 24 significand bits. */
+    CI2_STATIC_ASSERT(FLT_MANT_DIG == 24);
+    
+    return EXIT_SUCCESS;
+}