From 952d33b8db3341dd48dc4e73186720f33a8525db Mon Sep 17 00:00:00 2001 From: Jason Merrill Date: Tue, 24 Aug 1999 17:25:13 -0400 Subject: [PATCH] new From-SVN: r28827 --- gcc/testsuite/g++.old-deja/g++.eh/cond1.C | 31 +++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 gcc/testsuite/g++.old-deja/g++.eh/cond1.C diff --git a/gcc/testsuite/g++.old-deja/g++.eh/cond1.C b/gcc/testsuite/g++.old-deja/g++.eh/cond1.C new file mode 100644 index 00000000000..67b66ca61ad --- /dev/null +++ b/gcc/testsuite/g++.old-deja/g++.eh/cond1.C @@ -0,0 +1,31 @@ +// Build don't link: + +// Copyright (C) 1999 Free Software Foundation, Inc. +// Contributed by Nathan Sidwell 11 Apr 1999 +// Derived from bug report from Gabriel Dos Reis +// +// http://egcs.cygnus.com/ml/egcs-bugs/1999-03/msg00883.html + +// conditional exprs have some funny rules when one of the types is void. +// [expr.cond] 5.16, make sure we do the right things +// We implement an extension, allowing one side to be void, check we +// pedantically moan. + +struct X {}; +void fn(int i) +{ + int j; + + j = (i ? throw X() : 1); // ok, int + j = (i ? 1 : throw X()); // ok, int + + (i ? throw X() : throw X()); // ok, void + + (i ? i : j) = 1; // ok, int & + (i ? throw X() : j) = 1; // ERROR - non-lvalue + (i ? j : throw X()) = 1; // ERROR - non-lvalue + (i ? throw X() : throw X()) = 1; // ERROR - void + + (i ? (void)1 : i++); // ERROR - ANSI forbids + (i ? i++ : (void)1); // ERROR - ANSI forbids +} -- 2.30.2