<div dir="ltr"><div dir="ltr"><div dir="ltr">I tried this and got this error. I have attached the hack I did to see if it </div><div dir="ltr">helped the modeling. It can't be  {} and it can't be just a forward reference.</div><div dir="ltr">I added a dummy entry. I hope we don't have to duplicate the enums.<br><div><br></div><div><pre style="box-sizing:border-box;overflow:auto;font-family:Menlo,Monaco,Consolas,"Courier New",monospace;font-size:12px;padding:9.5px;margin-top:0px;margin-bottom:10px;line-height:1.42857;word-break:break-all;color:rgb(51,51,51);background-color:rgb(245,245,245);border:1px solid rgb(204,204,204);border-radius:0px">"/home/deploy/www/scan/current/tmp/modeling_files/nnx5CJ2NPZJPcw3n0aLS4w/model.
          c", line 39: error #40: expected an identifier
  typedef enum { } Internal_errors_Source;
                 ^

[ERROR] 1 error detected in the compilation of "modeling_file.c".
ERROR: cov-emit returned with code 1</pre></div></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jan 29, 2021 at 12:07 AM Sebastian Huber <<a href="mailto:sebastian.huber@embedded-brains.de">sebastian.huber@embedded-brains.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">---<br>
 static-analysis/coverity/model.c | 53 ++++++++++++++++++++++++++++++++<br>
 1 file changed, 53 insertions(+)<br>
 create mode 100644 static-analysis/coverity/model.c<br>
<br>
diff --git a/static-analysis/coverity/model.c b/static-analysis/coverity/model.c<br>
new file mode 100644<br>
index 0000000..874b1b3<br>
--- /dev/null<br>
+++ b/static-analysis/coverity/model.c<br>
@@ -0,0 +1,53 @@<br>
+/* SPDX-License-Identifier: BSD-2-Clause */<br>
+<br>
+/**<br>
+ * @file<br>
+ *<br>
+ * @brief This file provides models for the Coverity static analyser.<br>
+ *<br>
+ * If you update this file, then ask a project administrator to update the<br>
+ * analysis settings:<br>
+ *<br>
+ * <a href="https://scan.coverity.com/projects/rtems?tab=analysis_settings" rel="noreferrer" target="_blank">https://scan.coverity.com/projects/rtems?tab=analysis_settings</a><br>
+ */<br>
+<br>
+/*<br>
+ * Copyright (C) 2021 embedded brains GmbH (<a href="http://www.embedded-brains.de" rel="noreferrer" target="_blank">http://www.embedded-brains.de</a>)<br>
+ *<br>
+ * Redistribution and use in source and binary forms, with or without<br>
+ * modification, are permitted provided that the following conditions<br>
+ * are met:<br>
+ * 1. Redistributions of source code must retain the above copyright<br>
+ *    notice, this list of conditions and the following disclaimer.<br>
+ * 2. Redistributions in binary form must reproduce the above copyright<br>
+ *    notice, this list of conditions and the following disclaimer in the<br>
+ *    documentation and/or other materials provided with the distribution.<br>
+ *<br>
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"<br>
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE<br>
+ * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE<br>
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE<br>
+ * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR<br>
+ * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF<br>
+ * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS<br>
+ * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN<br>
+ * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)<br>
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE<br>
+ * POSSIBILITY OF SUCH DAMAGE.<br>
+ */<br>
+<br>
+typedef enum { } Internal_errors_Source;<br>
+<br>
+typedef unsigned long Internal_errors_t;<br>
+<br>
+void _Terminate( Internal_errors_Source the_source, Internal_errors_t the_error )<br>
+{<br>
+  (void) the_source;<br>
+  (void) the_error;<br>
+  __coverity_panic__();<br>
+}<br>
+<br>
+void __builtin_unreachable( void )<br>
+{<br>
+  __coverity_panic__();<br>
+}<br>
-- <br>
2.26.2<br>
<br>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" target="_blank">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a><br>
</blockquote></div>