Add unit test of existing type_name2type_identifier behaviour

In order to quickly test that no regressions have occured as part of
adding extra functionality.

Author: thomasspriggs

unit/Makefile

@@ -15,6 +15,7 @@ SRC += analyses/ai/ai.cpp \
        analyses/does_remove_const/does_type_preserve_const_correctness.cpp \
        analyses/does_remove_const/is_type_at_least_as_const_as.cpp \
        ansi-c/max_malloc_size.cpp \
+       ansi-c/type2name.cpp \
        big-int/big-int.cpp \
        compound_block_locations.cpp \
        get_goto_model_from_c_test.cpp \

unit/ansi-c/type2name.cpp

@@ -0,0 +1,26 @@
+/*******************************************************************\
+
+Module: Unit tests for type_name2type_identifier
+
+Author: Thomas Spriggs
+
+\*******************************************************************/
+
+#include <testing-utils/use_catch.h>
+
+extern std::string type_name2type_identifier(const std::string &name);
+
+TEST_CASE(
+  "type_name2type_identifier sanity check",
+  "[core][ansi-c][type_name2type_identifier]")
+{
+  CHECK(type_name2type_identifier("char") == "char");
+}
+
+TEST_CASE(
+  "type_name2type_identifier special characters",
+  "[core][ansi-c][type_name2type_identifier]")
+{
+  CHECK(type_name2type_identifier("char*") == "char_ptr_");
+  CHECK(type_name2type_identifier("foo{bar}") == "foo_start_sub_bar_end_sub_");
+}