CHERI: adding ci tests for the new elaboration of readonly objects

tests/cheri-ci/0337-CHERI_const1.undef.c

@@ -0,0 +1,7 @@
+int main(void)
+{
+ const int xxx = 42;
+ int *p = (int*)&xxx;
+ xxx;
+ *p = 100; // undefined
+}

tests/cheri-ci/0338-CHERI_const2.undef.c

@@ -0,0 +1,10 @@
+int aux(int *p)
+{
+ return p?(*p = 10):10;
+}
+
+int main(void)
+{
+ const int xxx = (aux((int*)&xxx), xxx); // the store in aux() is undefined
+ aux((int*)&xxx); // the store in aux() is undefined
+}

tests/cheri-ci/0339-CHERI_const3.undef.c

@@ -0,0 +1,10 @@
+int aux(int *p)
+{
+ return p?(*p = 10):10;
+}
+
+int main(void)
+{
+ const int xxx = (aux(0), xxx);
+ aux((int*)&xxx); // the store in aux() is undefined
+}

tests/cheri-ci/0340-CHERI_string-literal.undef.c

@@ -0,0 +1,6 @@
+int main(void)
+{
+ char *str = "string";
+ str[0];
+ str[0] = 'S'; // undefined
+}

tests/cheri-ci/expected/0337-CHERI_const1.undef.c.expected

@@ -0,0 +1 @@
+Undefined {ub: "UB064_modifying_const", stderr: "", loc: "<6:3--6:11>"}

tests/cheri-ci/expected/0338-CHERI_const2.undef.c.expected

@@ -0,0 +1 @@
+Undefined {ub: "UB_CHERI_InsufficientPermissions", stderr: "", loc: "<3:12--3:21>"}

tests/cheri-ci/expected/0339-CHERI_const3.undef.c.expected

@@ -0,0 +1 @@
+Undefined {ub: "UB064_modifying_const", stderr: "", loc: "<3:12--3:21>"}

tests/cheri-ci/expected/0340-CHERI_string-literal.undef.c.expected

@@ -0,0 +1 @@
+Undefined {ub: "UB033_modifying_string_literal", stderr: "", loc: "<5:3--5:15>"}

tests/ci/0341-misaligned_pointer_implicit_conversion.undef.c

@@ -0,0 +1,14 @@
+#include <stdlib.h>
+
+void func(void *p0)
+{
+ int **p1 = p0; // undef
+}
+
+int main(void)
+{
+ char *p = malloc(sizeof(int*)+1);
+ void *p0 = (void*)(p+1);
+
+ func(p0);
+}

tests/tests-cheri.sh

@@ -198,6 +198,10 @@ citests=(
  0332-rvalue-temporary-lifetime-pointer-zap.c
  0333-shifts_non_representable.undef.c
  0336-memcpy-ovelap.undef.c
+ 0337-CHERI_const1.undef.c
+ 0338-CHERI_const2.undef.c
+ 0339-CHERI_const3.undef.c
+ 0340-CHERI_string-literal.undef.c
 )
 
 # TESTS THAT ARE KNOW TO FAIL (for example .error test for which we need to improve the message)