From 1c2a9b35f73a69b56d1903cc39c0e3f25a33363c Mon Sep 17 00:00:00 2001 From: Richard Stallman Date: Sun, 18 Jul 1993 20:27:18 +0000 Subject: [PATCH] (c_expand_return): Set TREE_SIDE_EFFECTS for the MODIFY_EXPR that we make. (build_unary_op): Support CONJ_EXPR. Change BIT_NOT_EXPR to CONJ_EXPR if arg is complex. From-SVN: r4939 --- gcc/c-typeck.c | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c index af934e373e2..ab2b9216533 100644 --- a/gcc/c-typeck.c +++ b/gcc/c-typeck.c @@ -3029,7 +3029,13 @@ build_unary_op (code, xarg, noconvert) break; case BIT_NOT_EXPR: - if (typecode != INTEGER_TYPE) + if (typecode == COMPLEX_TYPE) + { + code = CONJ_EXPR; + if (!noconvert) + arg = default_conversion (arg); + } + else if (typecode != INTEGER_TYPE) errstring = "wrong type argument to bit-complement"; else if (!noconvert) arg = default_conversion (arg); @@ -3043,6 +3049,15 @@ build_unary_op (code, xarg, noconvert) arg = default_conversion (arg); break; + case CONJ_EXPR: + /* Conjugating a real value is a no-op, but allow it anyway. */ + if (!(typecode == INTEGER_TYPE || typecode == REAL_TYPE + || typecode == COMPLEX_TYPE)) + errstring = "wrong type argument to conjugation"; + else if (!noconvert) + arg = default_conversion (arg); + break; + case TRUTH_NOT_EXPR: if (typecode != INTEGER_TYPE && typecode != REAL_TYPE && typecode != POINTER_TYPE @@ -5800,6 +5815,7 @@ c_expand_return (retval) tree res = DECL_RESULT (current_function_decl); t = build (MODIFY_EXPR, TREE_TYPE (res), res, convert (TREE_TYPE (res), t)); + TREE_SIDE_EFFECTS (t) = 1; expand_return (t); current_function_returns_value = 1; } -- 2.30.2