Fixes for stack overflow detection

- Add a stack overflow try-block in Main.
- Add code for pretty OSX stack overflow messages.

Compiler/Main/Main.mo

@@ -76,6 +76,7 @@ import SimCode;
 import SimCodeMain;
 import SimCodeFunctionUtil;
 import Socket;
+import StackOverflow;
 import System;
 import TplMain;
 import Util;
@@ -818,6 +819,7 @@ protected
   list<String> args_1;
   GC.ProfStats stats;
 algorithm
+  try
   try
     args_1 := init(args);
     if Flags.isSet(Flags.GC_PROF) then
@@ -833,6 +835,13 @@ algorithm
   if Flags.isSet(Flags.GC_PROF) then
     print(GC.profStatsStr(GC.getProfStats(), head="GC stats at end of program:") + "\n");
   end if;
+  else
+    print("Stack overflow detected and was not caught.\nSend us a bug report at https://trac.openmodelica.org/OpenModelica/newticket\n    Include the following trace:\n");
+    for s in StackOverflow.readableStacktraceMessages() loop
+      print(s);
+      print("\n");
+    end for;
+  end try annotation(__OpenModelica_stackOverflowCheckpoint=true);
 end main;
 
 protected function main2

Compiler/Util/StackOverflow.mo

@@ -59,12 +59,20 @@ protected
   list<String> strs;
   String so,fun;
 algorithm
+  // regex for Linux messages
   (n,strs) := System.regex(inSymbol, "^([^(]*)[(]([^+]*[^+]*)[+][^)]*[)] *[[]0x[0-9a-fA-F]*[]]$", 3, extended=true);
   if n == 3 then
     {_,so,fun} := strs;
     outSymbol := so + "(" + unmangle(fun) + ")";
   else
-    outSymbol := inSymbol;
+    // regex for OSX messages
+    (n,strs) := System.regex(inSymbol, "^[0-9 ]*([A-Za-z0-9.]*) *0x[0-9a-fA-F]* ([A-Za-z0-9_]*) *[+] *[0-9]*$", 3, extended=true);
+    if n == 3 then
+      {_,so,fun} := strs;
+      outSymbol := so + "(" + unmangle(fun) + ")";
+    else
+      outSymbol := inSymbol;
+    end if;
   end if;
 end stripAddresses;