Add test for C99 fixed int width

goblint · Apr 1, 2022 · 9e3b8c6 · 9e3b8c6
1 parent 8d9c4f2
commit 9e3b8c6
Show file tree

Hide file tree

Showing 2 changed files with 35 additions and 0 deletions.
diff --git a/test/small1/c99-fixed-width-int.c b/test/small1/c99-fixed-width-int.c
@@ -0,0 +1,34 @@
+#include<inttypes.h>
+int main() {
+    int8_t i;
+    int16_t j;
+    int32_t h;
+    int64_t k;
+    int_fast8_t fi;
+    int_fast16_t fj;
+    int_fast32_t fh;
+    int_fast64_t fk;
+    int_least8_t li;
+    int_least16_t lj;
+    int_least32_t lk;
+    int_least64_t li;
+    intmax_t m;
+    intptr_t p;
+
+    uint8_t ui;
+    uint16_t uj;
+    uint32_t uh;
+    uint64_t uk;
+    uint_fast8_t ufi;
+    uint_fast16_t ufj;
+    uint_fast32_t ufh;
+    uint_fast64_t ufk;
+    uint_least8_t uli;
+    uint_least16_t ulj;
+    uint_least32_t ulk;
+    uint_least64_t uli;
+    uintmax_t um;
+    uintptr_t up;
+
+
+}
diff --git a/test/testcil.pl b/test/testcil.pl
@@ -696,6 +696,7 @@ sub addToGroup {
 
 addTest("testrunc99/c99-tgmath");
 addTest("testrunc99/c99-float-pragma");
+addTest("testrunc99/c99-fixed-width-int");
 addTest("combinec99inline");
 addBadComment("combinec99inline", "C99 inline semantic not fully supported.");