diff options
Diffstat (limited to 'spec/rtems/basedefs/req/alignof-0.yml')
| -rw-r--r-- | spec/rtems/basedefs/req/alignof-0.yml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/spec/rtems/basedefs/req/alignof-0.yml b/spec/rtems/basedefs/req/alignof-0.yml new file mode 100644 index 00000000..fcce6ba1 --- /dev/null +++ b/spec/rtems/basedefs/req/alignof-0.yml @@ -0,0 +1,26 @@ +SPDX-License-Identifier: CC-BY-SA-4.0 +copyrights: +- Copyright (C) 2021 embedded brains GmbH (http://www.embedded-brains.de) +enabled-by: true +links: +- role: requirement-refinement + uid: ../if/alignof +non-functional-type: interface +rationale: | + Note that if not ``__STDC_VERSION__ >= 201112L`` and neither + ``__cplusplus >= 201103L``, the result of this call may return a value + which is not appropriate for alignment. +references: [] +requirement-type: non-functional +text: | + When the code is compiled with a C compiler and + the ``__STDC_VERSION__`` symbol is defined with version ``201112L`` or + higher or + the code is compiled with a C++ compiler + and the ``__cplusplus`` symbol is defined with version ``201103L`` or higher, + and the argument ${../if/alignof:/params[0]/name} is a type, + and the argument ${../if/alignof:/params[0]/name} is not a function type, + and the argument ${../if/alignof:/params[0]/name} is a complete type, + the macro ${../if/alignof:/name} shall result in + the alignment requirement in bytes required for any instance of the type. +type: requirement |