There is several issues regarding which modifiers is or must be
preserved when using the '&' or 'typeof()' operators. There is
also no explicit tests for these. This serie aims to improve this
situation by:
- avoid to inherit storage modifiers by '&' (patch 1)
- simplify an existing test (patch 2 & 3)
- create a bunch of test cases (patch 4 & 5)
- partial fix for modifiers needing to be inherited by typeof
(patch 6)
The last patch is marked as '[RFC]' because it needs some clarification
on the wanted semantics of some modifiers in some situations.
In particular, MOD_NODEREF & MOD_SAFE are for the moment not addressed,
like the address space.
Lastly, especially for what concerns MOD_SAFE, some others changes are
needed.
Luc Van Oostenryck (6):
storage should not be inherited by pointers
testsuite: simplify test function-pointer-inheritance
use a shorter name for function-pointer-modifier-inheritance.c
testsuite: test modifiers preserved by '&' operator
testsuite: test modifiers preserved by 'typeof()'
[RFC] some modifiers need to be preserved by 'typeof()'
symbol.c | 8 +-
symbol.h | 4 +-
validation/function-pointer-inheritance.c | 9 ++
validation/function-pointer-modifier-inheritance.c | 18 ----
validation/nocast.c | 2 +-
validation/ptr-inherit.c | 80 +++++++++++++++
validation/typeof-addresspace.c | 20 ++++
validation/typeof-mods.c | 109 +++++++++++++++++++++
validation/typeof-noderef.c | 19 ++++
validation/typeof-safe.c | 23 +++++
10 files changed, 270 insertions(+), 22 deletions(-)
create mode 100644 validation/function-pointer-inheritance.c
delete mode 100644 validation/function-pointer-modifier-inheritance.c
create mode 100644 validation/ptr-inherit.c
create mode 100644 validation/typeof-addresspace.c
create mode 100644 validation/typeof-mods.c
create mode 100644 validation/typeof-noderef.c
create mode 100644 validation/typeof-safe.c
--
2.10.2
--
To unsubscribe from this list: send the line "unsubscribe linux-sparse" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
