From 2aac192471397a381200ebf29cf92978b97b34b0 Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Wed, 3 Feb 2010 16:53:41 -0500 Subject: [PATCH] re PR c++/40138 (ICE with invalid va_arg) PR c++/40138 * fold-const.c (operand_equal_p): Handle erroneous types. From-SVN: r156483 --- gcc/ChangeLog | 5 +++++ gcc/fold-const.c | 4 +++- gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/g++.dg/ext/builtin11.C | 9 +++++++++ 4 files changed, 20 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/g++.dg/ext/builtin11.C diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e1cb4108482..e00a3884cc4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2010-02-03 Jason Merrill + + PR c++/40138 + * fold-const.c (operand_equal_p): Handle erroneous types. + 2010-02-01 Kaushik Phatak * config/h8300/h8300.md (can_delay): Fix attibute condition. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index e7a4b8c8f49..292b89f9496 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -3165,7 +3165,9 @@ int operand_equal_p (const_tree arg0, const_tree arg1, unsigned int flags) { /* If either is ERROR_MARK, they aren't equal. */ - if (TREE_CODE (arg0) == ERROR_MARK || TREE_CODE (arg1) == ERROR_MARK) + if (TREE_CODE (arg0) == ERROR_MARK || TREE_CODE (arg1) == ERROR_MARK + || TREE_TYPE (arg0) == error_mark_node + || TREE_TYPE (arg1) == error_mark_node) return 0; /* Check equality of integer constants before bailing out due to diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b3fef29a5a2..fd84e5e1e3f 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2010-02-03 Jason Merrill + PR c++/40138 + * g++.dg/ext/builtin11.C: New. + PR c++/4926 PR c++/38600 * g++.dg/abi/mangle35.C: New. diff --git a/gcc/testsuite/g++.dg/ext/builtin11.C b/gcc/testsuite/g++.dg/ext/builtin11.C new file mode 100644 index 00000000000..2749671fb32 --- /dev/null +++ b/gcc/testsuite/g++.dg/ext/builtin11.C @@ -0,0 +1,9 @@ +// PR c++/40138 +// { dg-options "-Wall" } + +void foo(int i, ...) +{ + V v; // { dg-error "not declared|expected" } + __builtin_va_start(v, i); // { dg-error "not declared" } + i = __builtin_va_arg(v, int); +} -- 2.30.2