These patches add proper typechecking to built-in floating-point predicates like __builtin_isinf(). They also are an excuse to put in place a bit more infrastructure for complete handling of builtins. This series is available in the Git repository at: https://github.com/lucvoo/sparse-dev/tree/builtin-fp git://github.com/lucvoo/sparse-dev.git builtin-fp ---------------------------------------------------------------- Luc Van Oostenryck (4): builtin: extract eval_args() from arguments_choose() builtin: add typechecking of isnan(), isinf(), ... builtin: add testcases for expansion of special FP constants builtin: add testcases for expansion of FP classification builtin.c | 79 +++++++++++++++++++++------- validation/builtin-fp-unop.c | 95 ++++++++++++++++++++++++++++++++++ validation/expand/builtin_fpclassify.c | 26 ++++++++++ validation/expand/builtin_huge_val.c | 39 ++++++++++++++ validation/expand/builtin_isinf.c | 20 +++++++ validation/expand/builtin_isnan.c | 20 +++++++ validation/expand/builtin_isnormal.c | 20 +++++++ validation/expand/builtin_nan.c | 23 ++++++++ 8 files changed, 303 insertions(+), 19 deletions(-) create mode 100644 validation/builtin-fp-unop.c create mode 100644 validation/expand/builtin_fpclassify.c create mode 100644 validation/expand/builtin_huge_val.c create mode 100644 validation/expand/builtin_isinf.c create mode 100644 validation/expand/builtin_isnan.c create mode 100644 validation/expand/builtin_isnormal.c create mode 100644 validation/expand/builtin_nan.c -- 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
