In most situations of function type is implicitly
converted to the corresponding pointer.
This pointer can be dereferenced but the implicit
conversion will make it to immediatly decay back
to a pointer. In consequence, in a function call
the function designator can be preceded by an unlimited
number of deref operator ('*').
This series makes it effective.
Luc Van Oostenryck (3):
add testcases for multiple deref of calls
avoid unneeded alloc on error path
dereference of a function is a no-op
evaluate.c | 6 +++++-
validation/function-pointer-type.c | 3 +++
validation/linear/call-builtin.c | 5 ++++-
validation/linear/call-direct.c | 5 ++++-
validation/linear/call-indirect.c | 4 +++-
validation/linear/call-inline.c | 5 ++++-
validation/sizeof-function.c | 1 -
7 files changed, 23 insertions(+), 6 deletions(-)
--
2.15.0
--
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
