test C++/C mixture

Author: Daniel Kroening

regression/cpp/ModeC3/cpp_file.cpp

@@ -0,0 +1,4 @@
+extern "C" int some_function(int param)
+{
+  return param+1;
+}

regression/cpp/ModeC3/main_c.c

@@ -0,0 +1,9 @@
+#include <assert.h>
+
+int some_function(int);
+
+int main()
+{
+  int return_value=some_function(2);
+  assert(return_value==3);
+}

regression/cpp/ModeC3/test.desc

@@ -0,0 +1,8 @@
+CORE
+main_c.c
+cpp_file.cpp
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+^CONVERSION ERROR$