From a7f5bb2d5f1ae5cf0d47a3ed92ec24ad48309749 Mon Sep 17 00:00:00 2001 From: rguenth Date: Tue, 27 Nov 2007 12:30:15 +0000 Subject: 2007-11-27 Richard Guenther * builtins.c (fold_builtin_1): Verify the argument types of BUILT_IN_ISNORMAL. (fold_builtin_n): Verify the number of arguments to variadic built-in functions. * gcc.dg/builtins-error.c: New testcase. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@130465 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/builtins.c | 57 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 57 insertions(+) (limited to 'gcc/builtins.c') diff --git a/gcc/builtins.c b/gcc/builtins.c index 1eb6cfc3d6e..5befd422bb0 100644 --- a/gcc/builtins.c +++ b/gcc/builtins.c @@ -10063,6 +10063,15 @@ fold_builtin_1 (tree fndecl, tree arg0, bool ignore) case BUILT_IN_ISNAND128: return fold_builtin_classify (fndecl, arg0, BUILT_IN_ISNAN); + case BUILT_IN_ISNORMAL: + if (!validate_arg (arg0, REAL_TYPE)) + { + error ("non-floating-point argument to function %qs", + IDENTIFIER_POINTER (DECL_NAME (fndecl))); + return error_mark_node; + } + break; + case BUILT_IN_PRINTF: case BUILT_IN_PRINTF_UNLOCKED: case BUILT_IN_VPRINTF: @@ -10408,7 +10417,55 @@ fold_builtin_4 (tree fndecl, tree arg0, tree arg1, tree arg2, tree arg3, static tree fold_builtin_n (tree fndecl, tree *args, int nargs, bool ignore) { + enum built_in_function fcode = DECL_FUNCTION_CODE (fndecl); tree ret = NULL_TREE; + + /* Verify the number of arguments for type-generic and thus variadic + builtins. */ + switch (fcode) + { + case BUILT_IN_ISFINITE: + case BUILT_IN_ISINF: + case BUILT_IN_ISNAN: + case BUILT_IN_ISNORMAL: + if (nargs < 1) + { + error ("too few arguments to function %qs", + IDENTIFIER_POINTER (DECL_NAME (fndecl))); + return error_mark_node; + } + else if (nargs > 1) + { + error ("too many arguments to function %qs", + IDENTIFIER_POINTER (DECL_NAME (fndecl))); + return error_mark_node; + } + break; + + case BUILT_IN_ISGREATER: + case BUILT_IN_ISGREATEREQUAL: + case BUILT_IN_ISLESS: + case BUILT_IN_ISLESSEQUAL: + case BUILT_IN_ISLESSGREATER: + case BUILT_IN_ISUNORDERED: + if (nargs < 2) + { + error ("too few arguments to function %qs", + IDENTIFIER_POINTER (DECL_NAME (fndecl))); + return error_mark_node; + } + else if (nargs > 2) + { + error ("too many arguments to function %qs", + IDENTIFIER_POINTER (DECL_NAME (fndecl))); + return error_mark_node; + } + break; + + default: + break; + } + switch (nargs) { case 0: -- cgit v1.2.1