This series contains a fix for the linearization of function calls via function pointers. Luc Van Oostenryck (3): add testcases for the linearization of calls simplify linearize_call_expression() fix linearize (*fun)() linearize.c | 21 ++++-------- validation/builtin-arith.c | 52 +++++++++++++++++++++++++++++ validation/function-pointer-type.c | 9 +++++ validation/linear/call-basic.c | 57 ++++++++++++++++++++++++++++++++ validation/linear/call-builtin.c | 14 ++++++++ validation/linear/call-casted-pointer.c | 31 +++++++++++++++++ validation/linear/call-complex-pointer.c | 32 ++++++++++++++++++ validation/linear/call-direct.c | 14 ++++++++ validation/linear/call-indirect.c | 13 ++++++++ validation/linear/call-inline.c | 15 +++++++++ validation/optim/call-complex-pointer.c | 13 ++++++++ validation/sizeof-builtin.c | 15 +++++++++ validation/sizeof-function.c | 50 ++++++++++++++++++++++++++++ 13 files changed, 321 insertions(+), 15 deletions(-) create mode 100644 validation/builtin-arith.c create mode 100644 validation/function-pointer-type.c create mode 100644 validation/linear/call-basic.c create mode 100644 validation/linear/call-builtin.c create mode 100644 validation/linear/call-casted-pointer.c create mode 100644 validation/linear/call-complex-pointer.c create mode 100644 validation/linear/call-direct.c create mode 100644 validation/linear/call-indirect.c create mode 100644 validation/linear/call-inline.c create mode 100644 validation/optim/call-complex-pointer.c create mode 100644 validation/sizeof-builtin.c create mode 100644 validation/sizeof-function.c -- 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
