From 2f171b4b7074790c6647e30d8be8ffb6345c360b Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 21 Nov 2023 11:13:16 +0100
Subject: spec: Validate compiler interfaces

---
 spec/compiler/val/external-interface.yml | 43 ++++++++++++++++++++++++++++++++
 1 file changed, 43 insertions(+)
 create mode 100644 spec/compiler/val/external-interface.yml

diff --git a/spec/compiler/val/external-interface.yml b/spec/compiler/val/external-interface.yml
new file mode 100644
index 00000000..fa8d6857
--- /dev/null
+++ b/spec/compiler/val/external-interface.yml
@@ -0,0 +1,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
-- 
cgit v1.2.3