summaryrefslogtreecommitdiff
path: root/spec/compiler/val/external-interface.yml
blob: fa8d685703e8f3489c7d7cb805f0cea0b323952d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause
copyrights:
- Copyright (C) 2023 embedded brains GmbH & Co. KG
enabled-by: true
links:
- role: validation
  uid: /compiler/if/asm
- role: validation
  uid: /compiler/if/builtin-choose-expr
- role: validation
  uid: /compiler/if/builtin-expect
- role: validation
  uid: /compiler/if/builtin-return-address
- role: validation
  uid: /compiler/if/builtin-types-compatible-p
- role: validation
  uid: /compiler/if/builtin-unreachable
- role: validation
  uid: /compiler/if/coverity
- role: validation
  uid: /compiler/if/cplusplus
- role: validation
  uid: /compiler/if/file
- role: validation
  uid: /compiler/if/func
- role: validation
  uid: /compiler/if/gnuc
- role: validation
  uid: /compiler/if/line
- role: validation
  uid: /compiler/if/pretty-function
- role: validation
  uid: /compiler/if/stdc-version
- role: validation
  uid: /compiler/if/typeof
- role: validation
  uid: /compiler/if/user-label-prefix
method: by-review-of-design
references: []
text: |
  This interface is an external interface.  It is implicitly validated by
  the ${/glossary/api:/term} elements which use this interface.
type: validation