File TeXmacs-random.patch of Package TeXmacs

--- plugins/mathematica/src/realpath.c
+++ plugins/mathematica/src/realpath.c
@@ -19,4 +19,5 @@
   if (argc<2) exit(1);
   if (realpath(argv[1],path)) printf("%s\n",path);
   else exit(1);
+  return 0;
 }
--- plugins/maxima/src/maxima_filter.c
+++ plugins/maxima/src/maxima_filter.c
@@ -52,4 +52,5 @@
   }
   if (first) fputs("\2verbatim:",stdout);
   fputs("\2latex:\\red The end\\black\5\5",stdout);
+  return 0;
 }
--- src/Kernel/Types/string.hpp
+++ src/Kernel/Types/string.hpp
@@ -74,7 +74,7 @@
 bool   is_id     (string s);
 
 void  fatal_error (string message= "unknown", string routine= "unknown",
-		   string file= "");
+		   string file= "") __attribute__ ((noreturn));
 
 void  set_info_handler (void (*) (string, string, int));
 void  set_wait_handler (void (*) (string, string, int));
--- src/Data/Tree/tree_cursor.cpp
+++ src/Data/Tree/tree_cursor.cpp
@@ -120,6 +120,7 @@
       return path ();
     }
   }
+  return path ();
 }
 
 bool
--- src/Plugins/Ispell/ispell.cpp
+++ src/Plugins/Ispell/ispell.cpp
@@ -229,6 +229,7 @@
     sc->send (s);
     return sc->retrieve ();
   }
+  return "";
 }
 
 /******************************************************************************