[rtems-central commit] spec: Add RTEMS_STATIC_ANALYSIS

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    a9830102702367bfd0a4d9bae18687932b60e04c
Changeset: http://git.rtems.org/rtems-central/commit/?id=a9830102702367bfd0a4d9bae18687932b60e04c

Author:    Sebastian Huber <sebastian.huber at embedded-brains.de>
Date:      Mon Feb  1 06:47:24 2021 +0100

spec: Add RTEMS_STATIC_ANALYSIS

---

 spec/compiler/if/coverity.yml              | 12 ++++++++++++
 spec/rtems/basedefs/if/static-analysis.yml | 23 +++++++++++++++++++++++
 2 files changed, 35 insertions(+)

diff --git a/spec/compiler/if/coverity.yml b/spec/compiler/if/coverity.yml
new file mode 100644
index 0000000..3bb5723
--- /dev/null
+++ b/spec/compiler/if/coverity.yml
@@ -0,0 +1,12 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+index-entries: []
+interface-type: unspecified
+links:
+- role: interface-placement
+  uid: container
+name: __COVERITY__
+reference: null
+type: interface
diff --git a/spec/rtems/basedefs/if/static-analysis.yml b/spec/rtems/basedefs/if/static-analysis.yml
new file mode 100644
index 0000000..880e4c5
--- /dev/null
+++ b/spec/rtems/basedefs/if/static-analysis.yml
@@ -0,0 +1,23 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+brief: |
+  It is defined if a static analysis run is performed.
+copyrights:
+- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
+definition:
+  default: null
+  variants:
+  - definition: ''
+    enabled-by:
+    - defined(${/compiler/if/coverity:/name})
+description: null
+enabled-by: true
+index-entries: []
+interface-type: define
+links:
+- role: interface-placement
+  uid: header
+- role: interface-ingroup
+  uid: group
+name: RTEMS_STATIC_ANALYSIS
+notes: null
+type: interface