diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-09-05 10:03:15 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2022-09-05 14:32:04 +0200 |
commit | 002e64dcf4fb77a7e8c549856df488bf9d83a9fb (patch) | |
tree | 49d8cab080ba3ff78d43cb79c6860b6c6979dc1d /spec/rtems/basedefs/if | |
parent | spec: Add not pre-qualified constraint (diff) | |
download | rtems-central-002e64dcf4fb77a7e8c549856df488bf9d83a9fb.tar.bz2 |
spec: Refine basedefs specification
Diffstat (limited to 'spec/rtems/basedefs/if')
-rw-r--r-- | spec/rtems/basedefs/if/dequalify-depthx.yml | 2 | ||||
-rw-r--r-- | spec/rtems/basedefs/if/unreachable.yml | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/spec/rtems/basedefs/if/dequalify-depthx.yml b/spec/rtems/basedefs/if/dequalify-depthx.yml index 5eda28ff..f785dd49 100644 --- a/spec/rtems/basedefs/if/dequalify-depthx.yml +++ b/spec/rtems/basedefs/if/dequalify-depthx.yml @@ -19,7 +19,7 @@ definition: ${typeof-refx:/name}( ${.:/params[0]/name}, ${.:/params[1]/name} ) ) || ${/compiler/if/builtin-types-compatible-p:/name}( ${.:/params[1]/name}, void * ), (${.:/params[1]/name}) ( ${.:/params[2]/name} ), - ${/score/if/dequalify-types-not-compatible:/name}() ) + ${/score/basedefs/if/dequalify-types-not-compatible:/name}() ) enabled-by: - defined(${/compiler/if/gnuc:/name}) description: null diff --git a/spec/rtems/basedefs/if/unreachable.yml b/spec/rtems/basedefs/if/unreachable.yml index 9322c1e5..62aaf1d1 100644 --- a/spec/rtems/basedefs/if/unreachable.yml +++ b/spec/rtems/basedefs/if/unreachable.yml @@ -5,12 +5,12 @@ copyrights: - Copyright (C) 2016 embedded brains GmbH (http://www.embedded-brains.de) definition: default: | - ${/score/if/assert-unreachable:/name}() + ${/score/basedefs/if/assert-unreachable:/name}() variants: - definition: | do { ${/compiler/if/builtin-unreachable:/name}(); - ${/score/if/assert-unreachable:/name}(); + ${/score/basedefs/if/assert-unreachable:/name}(); } while ( 0 ) enabled-by: - defined(${/compiler/if/gnuc:/name}) |