PR c++/19355
* c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
unary operator and can't be treated as a binary/comparison operator.
* g++.dg/expr/pr19355-1.C: New test case.
From-SVN: r93159
+2005-01-10 Roger Sayle <roger@eyesopen.com>
+
+ PR c++/19355
+ * c-common.c (c_common_truthvalue_conversion): TRUTH_NOT_EXPR is a
+ unary operator and can't be treated as a binary/comparison operator.
+
2005-01-10 Richard Henderson <rth@redhat.com>
* config/i386/i386.c (ix86_function_value): Use type_natural_mode.
case TRUTH_AND_EXPR:
case TRUTH_OR_EXPR:
case TRUTH_XOR_EXPR:
- case TRUTH_NOT_EXPR:
if (TREE_TYPE (expr) != truthvalue_type_node)
return build2 (TREE_CODE (expr), truthvalue_type_node,
TREE_OPERAND (expr, 0), TREE_OPERAND (expr, 1));
return expr;
+ case TRUTH_NOT_EXPR:
+ if (TREE_TYPE (expr) != truthvalue_type_node)
+ return build1 (TREE_CODE (expr), truthvalue_type_node,
+ TREE_OPERAND (expr, 0));
+ return expr;
+
case ERROR_MARK:
return expr;
+2005-01-10 Roger Sayle <roger@eyesopen.com>
+
+ PR c++/19355
+ * g++.dg/expr/pr19355-1.C: New test case.
+
2005-01-10 Laurent GUERBY <laurent@guerby.net>
* ada/acats/tests/c4/c456001.a: New from ACATS 2.5L
--- /dev/null
+// PR c++/19355
+// { dg-do compile }
+
+typedef bool Boolean;
+extern Boolean is_nil ();
+void f(void)
+{
+ unsigned int ilen;
+ if(!((ilen > 0 ? !is_nil () : 1))) {}
+}
+