summaryrefslogtreecommitdiffstats
path: root/spec/rtems/basedefs/req/no-inline-0.yml
blob: 6e36bfea2109f39ac835a1096eb1b0e43df86af6 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
SPDX-License-Identifier: CC-BY-SA-4.0
copyrights:
- Copyright (C) 2020 embedded brains GmbH (http://www.embedded-brains.de)
enabled-by: true
functional-type: function
links:
- role: interface-function
  uid: ../if/no-inline
rationale: |
  If the function has no side effects, it may still be subject to inlining.
  To avoid this, produce an artificial side effect with ``asm ("");``.
references: []
requirement-type: functional
text: |
  When the code is compiled with the GNU C compiler,
  and the ${../if/no-inline:/name} macro is used as last part of a
  function declaration or is attached to a function definition,
  and the function has side-effects,
  the macro shall prevent the compiler from inlining this function.
type: requirement