From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 92B0638560B7; Wed,  3 May 2023 15:19:56 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 92B0638560B7
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1683127196;
	bh=KVHRvUxwlawHarN65wl6gRD/r6Edr43/1JLQ+h9ttfY=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=tprOEYsSWyVh4zJBXDt3kKHa1sj/kQHSdh7VRhNYfNZ+e9bgR27UkTzChNLEXmOLp
	 ntvICn64FxB65ufGhxaYfrSt7xnOp+D72IWv6yZTVJsZY62234OlOVBTsr1g7mvH6X
	 cLpHT4R1wEf8uVjFdgKUlgbNzrMid05zUgGGmdTo=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c++/107065] GCC treats rvalue as an lvalue
Date: Wed, 03 May 2023 15:19:56 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: c++
X-Bugzilla-Version: 12.2.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-107065-4-c4RjsHUVfk@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-107065-4@http.gcc.gnu.org/bugzilla/>
References: <bug-107065-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=3D107065

--- Comment #18 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Jakub Jelinek
<jakub@gcc.gnu.org>:

https://gcc.gnu.org/g:52921a6c7249ac5d0aa58231ae45997bebd2bc67

commit r10-11347-g52921a6c7249ac5d0aa58231ae45997bebd2bc67
Author: Jakub Jelinek <jakub@redhat.com>
Date:   Thu Dec 15 19:17:45 2022 +0100

    c++: Ensure !!var is not an lvalue [PR107065]

    The TRUTH_NOT_EXPR case in cp_build_unary_op is one of the spots where
    we somewhat fold immediately using invert_truthvalue_loc.
    I've tried using
      return build1_loc (location, TRUTH_NOT_EXPR, boolean_type_node, arg);
    in there instead, but unfortunately that regressed
    Wlogical-not-parentheses-*.c pr49706.c pr62199.c pr65120.c sequence-pt-=
1.C
    tests, so at least for backporting that doesn't seem to be a way to go.

    So, this patch instead wraps it into NON_LVALUE_EXPR if needed (which a=
lso
    need a tweak for some tests in the pr47906.c test, but nothing major),
    with the intent to make it backportable, and later I'll try to do furth=
er
    steps to avoid folding here prematurely.  Most of the problems with
    build1 TRUTH_NOT_EXPR are that it doesn't even invert comparisons as mo=
st
    common case and lots of warning code isn't able to deal with ! around
    comparisons; so perhaps one way to do this would be fold by hand only
    invertable comparisons and for the rest create TRUTH_NOT_EXPR.

    2022-12-15  Jakub Jelinek  <jakub@redhat.com>

            PR c++/107065
    gcc/cp/
            * typeck.c (cp_build_unary_op) <case TRUTH_NOT_EXPR>: If
            invert_truthvalue_loc returns obvalue_p, wrap it into
NON_LVALUE_EXPR.
            * parser.c (cp_parser_binary_expression): Don't call
            warn_logical_not_parentheses if current.lhs is a NON_LVALUE_EXPR
            of a decl with boolean type.
    gcc/testsuite/
            * g++.dg/cpp0x/pr107065.C: New test.

    (cherry picked from commit 8b775b4c48a3cc4ef5c50e56144aea02da2e9cc6)=