12 files changed, 13 insertions, 0 deletions
diff --git a/src/adaptor/dlt-adaptor-udp.c b/src/adaptor/dlt-adaptor-udp.c
index 11873e1..719707e 100755
--- a/src/adaptor/dlt-adaptor-udp.c
+++ b/src/adaptor/dlt-adaptor-udp.c
@@ -143,6 +143,7 @@ int main(int argc, char* argv[])
         {
             fprintf(stderr, "Unknown option '%c'\n", optopt);
             exit(3);
+            return 3;//for parasoft
         }
         }
     }
diff --git a/src/console/dlt-convert.c b/src/console/dlt-convert.c
index 854576c..76e92b9 100755
--- a/src/console/dlt-convert.c
+++ b/src/console/dlt-convert.c
@@ -236,6 +236,7 @@ int main(int argc, char* argv[])
         default:
 			{
             	abort();
+                return -1;//for parasoft
 			}
         }
 
diff --git a/src/console/dlt-receive.c b/src/console/dlt-receive.c
index 0f0a908..7e887fe 100755
--- a/src/console/dlt-receive.c
+++ b/src/console/dlt-receive.c
@@ -228,6 +228,7 @@ int main(int argc, char* argv[])
         default:
 			{
             	abort ();
+                return -1;//for parasoft
 			}
         }
 
diff --git a/src/examples/dlt-example-user-func.c b/src/examples/dlt-example-user-func.c
index 75db1b0..100d0c1 100755
--- a/src/examples/dlt-example-user-func.c
+++ b/src/examples/dlt-example-user-func.c
@@ -175,6 +175,7 @@ int main(int argc, char* argv[])
         default:
         {
             abort ();
+            return -1;//for parasoft
         }
         }
     }
diff --git a/src/examples/dlt-example-user.c b/src/examples/dlt-example-user.c
index a4203a8..afe2be0 100755
--- a/src/examples/dlt-example-user.c
+++ b/src/examples/dlt-example-user.c
@@ -215,6 +215,7 @@ int main(int argc, char* argv[])
         default:
         {
             abort ();
+            break;//for parasoft
         }
         }
     }
diff --git a/src/system/dlt-system-options.c b/src/system/dlt-system-options.c
index 65951a2..01a2215 100644
--- a/src/system/dlt-system-options.c
+++ b/src/system/dlt-system-options.c
@@ -110,6 +110,7 @@ int read_command_line(DltSystemCliOptions *options, int argc, char *argv[])
 			{
 				usage(argv[0]);
 				exit(0);
+                                return -1;//for parasoft
 			}
 			default:
 			{
diff --git a/src/tests/dlt-test-client.c b/src/tests/dlt-test-client.c
index f99da3e..572b04e 100755
--- a/src/tests/dlt-test-client.c
+++ b/src/tests/dlt-test-client.c
@@ -259,6 +259,7 @@ int main(int argc, char* argv[])
         default:
         {
             abort ();
+            return -1;//for parasoft
         }
         }
     }
diff --git a/src/tests/dlt-test-multi-process.c b/src/tests/dlt-test-multi-process.c
index 30ee76b..f9706d9 100755
--- a/src/tests/dlt-test-multi-process.c
+++ b/src/tests/dlt-test-multi-process.c
@@ -172,6 +172,7 @@ int read_cli(s_parameters *params, int argc, char **argv)
 				break;
 			default:
 				abort();
+                                return -1;//for parasoft
     	}
 	}
 	return 0;
@@ -235,6 +236,7 @@ void do_forks(s_parameters params)
 				fprintf(stderr, "Could not allocate memory for child process' kernel structure.\n");
 				cleanup();
 				abort();
+                                return;//for parasoft
 			}
 		case 0: // Child process, start threads
 			run_threads(params);
diff --git a/src/tests/dlt-test-stress-client.c b/src/tests/dlt-test-stress-client.c
index 44fcdb7..3ff14ae 100644
--- a/src/tests/dlt-test-stress-client.c
+++ b/src/tests/dlt-test-stress-client.c
@@ -282,6 +282,7 @@ int main(int argc, char* argv[])
         default:
         {
             abort ();
+            return -1;//for parasoft
         }
         }
     }
diff --git a/src/tests/dlt-test-stress-user.c b/src/tests/dlt-test-stress-user.c
index 5696705..b966d5f 100644
--- a/src/tests/dlt-test-stress-user.c
+++ b/src/tests/dlt-test-stress-user.c
@@ -183,6 +183,7 @@ int main(int argc, char* argv[])
         default:
         {
             abort ();
+            return -1;//for parasoft
         }
         }
 	}
diff --git a/src/tests/dlt-test-stress.c b/src/tests/dlt-test-stress.c
index 89443f9..4b5967f 100755
--- a/src/tests/dlt-test-stress.c
+++ b/src/tests/dlt-test-stress.c
@@ -183,6 +183,7 @@ int main(int argc, char* argv[])
         default:
         {
             abort ();
+            return -1;//for parasoft
         }
         }
     }
diff --git a/src/tests/dlt-test-user.c b/src/tests/dlt-test-user.c
index 67cd6e8..16c3cab 100755
--- a/src/tests/dlt-test-user.c
+++ b/src/tests/dlt-test-user.c
@@ -210,6 +210,7 @@ int main(int argc, char* argv[])
         default:
         {
             abort ();
+            return -1;//for parasoft
         }
         }
 	}