Add more string literal tests

Author: lucic71

tests/unit/string_literals.cpp

@@ -11,6 +11,11 @@ int main() {
   char mutable_string_arr[] = "papanasi";
   const char immutable_string_arr[] = "papanasi";
 
+  char *mutable_empty = "";
+  const char *immutable_empty = "";
+  char mutable_empty_arr[] = "";
+  const char immutable_empty_arr[] = "";
+
   foo_mut("world");
   foo_mut(mutable_string);
   foo_mut(mutable_string_arr);
@@ -20,5 +25,11 @@ int main() {
   foo_const(immutable_string);
   foo_const(mutable_string_arr);
   foo_const(immutable_string_arr);
+
+  foo_const("");
+  foo_const(mutable_empty);
+  foo_const(immutable_empty);
+  foo_const(mutable_empty_arr);
+  foo_const(immutable_empty_arr);
   return 0;
 }

tests/unit/string_literals_c.c

@@ -11,6 +11,11 @@ int main() {
   char mutable_string_arr[] = "papanasi";
   const char immutable_string_arr[] = "papanasi";
 
+  char *mutable_empty = "";
+  const char *immutable_empty = "";
+  char mutable_empty_arr[] = "";
+  const char immutable_empty_arr[] = "";
+
   foo_mut("world");
   foo_mut(mutable_string);
   foo_mut(mutable_string_arr);
@@ -20,5 +25,11 @@ int main() {
   foo_const(immutable_string);
   foo_const(mutable_string_arr);
   foo_const(immutable_string_arr);
+
+  foo_const("");
+  foo_const(mutable_empty);
+  foo_const(immutable_empty);
+  foo_const(mutable_empty_arr);
+  foo_const(immutable_empty_arr);
   return 0;
 }

tests/unit/string_literals_concat.cpp

@@ -0,0 +1,24 @@
+#include <cassert>
+
+int main() {
+  const char *joined = "alpha\n"
+                       "beta\n"
+                       "gamma\n";
+  assert(joined[0] == 'a');
+  assert(joined[5] == '\n');
+  assert(joined[6] == 'b');
+
+  char arr[] = "foo" "bar";
+  assert(arr[0] == 'f');
+  assert(arr[3] == 'b');
+  assert(arr[5] == 'r');
+  assert(arr[6] == '\0');
+
+  const char *split_pieces = "abc" "def" "ghi";
+  assert(split_pieces[0] == 'a');
+  assert(split_pieces[3] == 'd');
+  assert(split_pieces[6] == 'g');
+  assert(split_pieces[8] == 'i');
+  assert(split_pieces[9] == '\0');
+  return 0;
+}

tests/unit/string_literals_concat_c.c

@@ -0,0 +1,17 @@
+#include <assert.h>
+
+int main(void) {
+  char arr[] = "foo" "bar";
+  assert(arr[0] == 'f');
+  assert(arr[3] == 'b');
+  assert(arr[5] == 'r');
+  assert(arr[6] == '\0');
+
+  const char *split_pieces = "abc" "def" "ghi";
+  assert(split_pieces[0] == 'a');
+  assert(split_pieces[3] == 'd');
+  assert(split_pieces[6] == 'g');
+  assert(split_pieces[8] == 'i');
+  assert(split_pieces[9] == '\0');
+  return 0;
+}

tests/unit/string_literals_return.cpp

@@ -0,0 +1,32 @@
+#include <cassert>
+
+const char *get_greeting() { return "hello"; }
+const char *get_empty() { return ""; }
+
+const char *get_branch(int x) {
+  if (x > 0) {
+    return "positive";
+  }
+  return "non-positive";
+}
+
+int main() {
+  const char *a = get_greeting();
+  assert(a[0] == 'h');
+  assert(a[4] == 'o');
+  assert(a[5] == '\0');
+
+  const char *b = get_empty();
+  assert(b[0] == '\0');
+
+  const char *c = get_branch(1);
+  assert(c[0] == 'p');
+  assert(c[7] == 'e');
+  assert(c[8] == '\0');
+
+  const char *d = get_branch(-1);
+  assert(d[0] == 'n');
+  assert(d[11] == 'e');
+  assert(d[12] == '\0');
+  return 0;
+}

tests/unit/string_literals_return_c.c

@@ -0,0 +1,32 @@
+#include <assert.h>
+
+const char *get_greeting(void) { return "hello"; }
+const char *get_empty(void) { return ""; }
+
+const char *get_branch(int x) {
+  if (x > 0) {
+    return "positive";
+  }
+  return "non-positive";
+}
+
+int main(void) {
+  const char *a = get_greeting();
+  assert(a[0] == 'h');
+  assert(a[4] == 'o');
+  assert(a[5] == '\0');
+
+  const char *b = get_empty();
+  assert(b[0] == '\0');
+
+  const char *c = get_branch(1);
+  assert(c[0] == 'p');
+  assert(c[7] == 'e');
+  assert(c[8] == '\0');
+
+  const char *d = get_branch(-1);
+  assert(d[0] == 'n');
+  assert(d[11] == 'e');
+  assert(d[12] == '\0');
+  return 0;
+}

tests/unit/string_literals_sized.cpp

@@ -0,0 +1,29 @@
+#include <cassert>
+
+int main() {
+  char empty_buf[256] = "";
+  assert(empty_buf[0] == '\0');
+  assert(empty_buf[255] == '\0');
+
+  char prefix_buf[32] = "%";
+  assert(prefix_buf[0] == '%');
+  assert(prefix_buf[1] == '\0');
+  assert(prefix_buf[31] == '\0');
+
+  char short_buf[16] = "hi";
+  assert(short_buf[0] == 'h');
+  assert(short_buf[1] == 'i');
+  assert(short_buf[2] == '\0');
+  assert(short_buf[15] == '\0');
+
+  char exact_buf[6] = "hello";
+  assert(exact_buf[0] == 'h');
+  assert(exact_buf[4] == 'o');
+  assert(exact_buf[5] == '\0');
+
+  assert(sizeof("hello") == 6);
+  assert(sizeof("hello") - 1 == 5);
+  assert(sizeof("") == 1);
+  assert(sizeof("fifteen-bytes!!") - 1 == 15);
+  return 0;
+}

tests/unit/string_literals_sized_c.c

@@ -0,0 +1,29 @@
+#include <assert.h>
+
+int main() {
+  char empty_buf[256] = "";
+  assert(empty_buf[0] == '\0');
+  assert(empty_buf[255] == '\0');
+
+  char prefix_buf[32] = "%";
+  assert(prefix_buf[0] == '%');
+  assert(prefix_buf[1] == '\0');
+  assert(prefix_buf[31] == '\0');
+
+  char short_buf[16] = "hi";
+  assert(short_buf[0] == 'h');
+  assert(short_buf[1] == 'i');
+  assert(short_buf[2] == '\0');
+  assert(short_buf[15] == '\0');
+
+  char exact_buf[6] = "hello";
+  assert(exact_buf[0] == 'h');
+  assert(exact_buf[4] == 'o');
+  assert(exact_buf[5] == '\0');
+
+  assert(sizeof("hello") == 6);
+  assert(sizeof("hello") - 1 == 5);
+  assert(sizeof("") == 1);
+  assert(sizeof("fifteen-bytes!!") - 1 == 15);
+  return 0;
+}