diff options
Diffstat (limited to 'spec/compiler/if')
-rw-r--r-- | spec/compiler/if/asm.yml | 4 | ||||
-rw-r--r-- | spec/compiler/if/builtin-choose-expr.yml | 4 | ||||
-rw-r--r-- | spec/compiler/if/builtin-expect.yml | 4 | ||||
-rw-r--r-- | spec/compiler/if/builtin-return-address.yml | 4 | ||||
-rw-r--r-- | spec/compiler/if/builtin-types-compatible-p.yml | 4 | ||||
-rw-r--r-- | spec/compiler/if/builtin-unreachable.yml | 4 | ||||
-rw-r--r-- | spec/compiler/if/container.yml | 10 | ||||
-rw-r--r-- | spec/compiler/if/coverity.yml | 6 | ||||
-rw-r--r-- | spec/compiler/if/cplusplus.yml | 6 | ||||
-rw-r--r-- | spec/compiler/if/gnuc.yml | 6 | ||||
-rw-r--r-- | spec/compiler/if/group.yml | 15 | ||||
-rw-r--r-- | spec/compiler/if/stdc-version.yml | 4 | ||||
-rw-r--r-- | spec/compiler/if/typeof.yml | 4 | ||||
-rw-r--r-- | spec/compiler/if/user-label-prefix.yml | 6 |
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 |