summaryrefslogtreecommitdiffstats
path: root/spec/compiler/if
diff options
context:
space:
mode:
Diffstat (limited to 'spec/compiler/if')
-rw-r--r--spec/compiler/if/asm.yml4
-rw-r--r--spec/compiler/if/builtin-choose-expr.yml4
-rw-r--r--spec/compiler/if/builtin-expect.yml4
-rw-r--r--spec/compiler/if/builtin-return-address.yml4
-rw-r--r--spec/compiler/if/builtin-types-compatible-p.yml4
-rw-r--r--spec/compiler/if/builtin-unreachable.yml4
-rw-r--r--spec/compiler/if/container.yml10
-rw-r--r--spec/compiler/if/coverity.yml6
-rw-r--r--spec/compiler/if/cplusplus.yml6
-rw-r--r--spec/compiler/if/gnuc.yml6
-rw-r--r--spec/compiler/if/group.yml15
-rw-r--r--spec/compiler/if/stdc-version.yml4
-rw-r--r--spec/compiler/if/typeof.yml4
-rw-r--r--spec/compiler/if/user-label-prefix.yml6
14 files changed, 43 insertions, 38 deletions
diff --git a/spec/compiler/if/asm.yml b/spec/compiler/if/asm.yml
index 3ac1086b..293da75c 100644
--- a/spec/compiler/if/asm.yml
+++ b/spec/compiler/if/asm.yml
@@ -5,8 +5,8 @@ enabled-by: true
index-entries: []
interface-type: unspecified
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __asm__
references: []
type: interface
diff --git a/spec/compiler/if/builtin-choose-expr.yml b/spec/compiler/if/builtin-choose-expr.yml
index 5a8413c3..394730f4 100644
--- a/spec/compiler/if/builtin-choose-expr.yml
+++ b/spec/compiler/if/builtin-choose-expr.yml
@@ -5,8 +5,8 @@ enabled-by: true
index-entries: []
interface-type: unspecified
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __builtin_choose_expr
references: []
type: interface
diff --git a/spec/compiler/if/builtin-expect.yml b/spec/compiler/if/builtin-expect.yml
index ae1e0503..e195a27d 100644
--- a/spec/compiler/if/builtin-expect.yml
+++ b/spec/compiler/if/builtin-expect.yml
@@ -5,8 +5,8 @@ enabled-by: true
index-entries: []
interface-type: unspecified
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __builtin_expect
references: []
type: interface
diff --git a/spec/compiler/if/builtin-return-address.yml b/spec/compiler/if/builtin-return-address.yml
index b68d28e0..b5ff188d 100644
--- a/spec/compiler/if/builtin-return-address.yml
+++ b/spec/compiler/if/builtin-return-address.yml
@@ -5,8 +5,8 @@ enabled-by: true
index-entries: []
interface-type: unspecified
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __builtin_return_address
references: []
type: interface
diff --git a/spec/compiler/if/builtin-types-compatible-p.yml b/spec/compiler/if/builtin-types-compatible-p.yml
index 988221f0..ca3565f3 100644
--- a/spec/compiler/if/builtin-types-compatible-p.yml
+++ b/spec/compiler/if/builtin-types-compatible-p.yml
@@ -5,8 +5,8 @@ enabled-by: true
index-entries: []
interface-type: unspecified
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __builtin_types_compatible_p
references: []
type: interface
diff --git a/spec/compiler/if/builtin-unreachable.yml b/spec/compiler/if/builtin-unreachable.yml
index 8e37900a..e2c4b937 100644
--- a/spec/compiler/if/builtin-unreachable.yml
+++ b/spec/compiler/if/builtin-unreachable.yml
@@ -5,8 +5,8 @@ enabled-by: true
index-entries: []
interface-type: unspecified
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __builtin_unreachable
references: []
type: interface
diff --git a/spec/compiler/if/container.yml b/spec/compiler/if/container.yml
deleted file mode 100644
index 6a02d235..00000000
--- a/spec/compiler/if/container.yml
+++ /dev/null
@@ -1,10 +0,0 @@
-SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
-copyrights:
-- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
-enabled-by: true
-index-entries: []
-interface-type: container
-links:
-- role: interface-placement
- uid: domain
-type: interface
diff --git a/spec/compiler/if/coverity.yml b/spec/compiler/if/coverity.yml
index 2fe4d0dd..05104ffa 100644
--- a/spec/compiler/if/coverity.yml
+++ b/spec/compiler/if/coverity.yml
@@ -3,10 +3,10 @@ copyrights:
- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
index-entries: []
-interface-type: unspecified
+interface-type: unspecified-define
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __COVERITY__
references: []
type: interface
diff --git a/spec/compiler/if/cplusplus.yml b/spec/compiler/if/cplusplus.yml
index 390cdeff..7deb19e4 100644
--- a/spec/compiler/if/cplusplus.yml
+++ b/spec/compiler/if/cplusplus.yml
@@ -3,10 +3,10 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
index-entries: []
-interface-type: unspecified
+interface-type: unspecified-define
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __cplusplus
references: []
type: interface
diff --git a/spec/compiler/if/gnuc.yml b/spec/compiler/if/gnuc.yml
index f232b5e7..c9082f6b 100644
--- a/spec/compiler/if/gnuc.yml
+++ b/spec/compiler/if/gnuc.yml
@@ -3,10 +3,10 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
index-entries: []
-interface-type: unspecified
+interface-type: unspecified-define
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __GNUC__
references: []
type: interface
diff --git a/spec/compiler/if/group.yml b/spec/compiler/if/group.yml
new file mode 100644
index 00000000..94f10e98
--- /dev/null
+++ b/spec/compiler/if/group.yml
@@ -0,0 +1,15 @@
+SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
+copyrights:
+- Copyright (C) 2022 embedded brains GmbH (http://www.embedded-brains.de)
+enabled-by: true
+identifier: Compiler
+links:
+- role: requirement-refinement
+ uid: /req/external-interface
+non-functional-type: design-group
+rationale: null
+references: []
+requirement-type: non-functional
+text: |
+ The used compiler interfaces shall be specified.
+type: requirement
diff --git a/spec/compiler/if/stdc-version.yml b/spec/compiler/if/stdc-version.yml
index 0654b742..1a6d0f32 100644
--- a/spec/compiler/if/stdc-version.yml
+++ b/spec/compiler/if/stdc-version.yml
@@ -5,8 +5,8 @@ enabled-by: true
index-entries: []
interface-type: unspecified-define
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __STDC_VERSION__
references:
- identifier: https://en.cppreference.com/w/c/preprocessor/replace
diff --git a/spec/compiler/if/typeof.yml b/spec/compiler/if/typeof.yml
index 752b112b..340e0b05 100644
--- a/spec/compiler/if/typeof.yml
+++ b/spec/compiler/if/typeof.yml
@@ -5,8 +5,8 @@ enabled-by: true
index-entries: []
interface-type: unspecified
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __typeof__
references: []
type: interface
diff --git a/spec/compiler/if/user-label-prefix.yml b/spec/compiler/if/user-label-prefix.yml
index 5420ede5..a5af7267 100644
--- a/spec/compiler/if/user-label-prefix.yml
+++ b/spec/compiler/if/user-label-prefix.yml
@@ -3,10 +3,10 @@ copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
index-entries: []
-interface-type: unspecified
+interface-type: unspecified-define
links:
-- role: interface-placement
- uid: container
+- role: interface-ingroup
+ uid: group
name: __USER_LABEL_PREFIX__
references: []
type: interface