[Bug middle-end/67053] New: [6 Regression] AIL: experimental/optional/constexpr/make_optional.cc

[Bug middle-end/67053] New: [6 Regression] AIL: experimental/optional/constexpr/make_optional.cc

[ktkachov at gcc dot gnu.org]

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

            Bug ID: 67053
           Summary: [6 Regression] AIL:
                    experimental/optional/constexpr/make_optional.cc
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ktkachov at gcc dot gnu.org
                CC: rguenth at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64-none-elf, aarch64-none-linux-gnu,
                    aarch64_be-none-elf, arm-none-eabi,
                    arm-none-linux-gnueabihf

I'm seeing a libstdc++ failure after:
Author: rguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Tue Jul 28 07:20:33 2015 +0000

    2015-07-28  Richard Biener  <rguenther@suse.de>

        * fold-const.c (fold_comparison): Remove equality folding
        of decl addresses ...
        * match.pd: ... here and merge with existing pattern.


    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@226299
138bc75d-0d04-0410-961f-82ee72b054a4


output is:
$SRC/libstdc++-v3/testsuite/experimental/optional/constexpr/make_optional.cc:
In function 'int main()':
$SRC/libstdc++-v3/testsuite/experimental/optional/constexpr/make_optional.cc:29:3:
error: non-constant condition for static assertion
   static_assert( &*o != &i, "" );
   ^
$SRC/libstdc++-v3/testsuite/experimental/optional/constexpr/make_optional.cc:29:22:
error: '((&
o.std::experimental::fundamentals_v1::optional<int>::<anonymous>.std::experimental::fu
ndamentals_v1::_Optional_base<int,
false>::<anonymous>.std::experimental::fundamentals_v1::_Optional_base<int,
false>::<anonymous union>::_M_payload) != (& i))' is not a constant expression
   static_assert( &*o != &i, "" );
                      ^

FAIL: experimental/optional/constexpr/make_optional.cc (test for excess errors)

[Bug middle-end/67053] [6 Regression] FAIL: experimental/optional/constexpr/make_optional.cc

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |6.0
            Summary|[6 Regression] AIL:         |[6 Regression] FAIL:
                   |experimental/optional/const |experimental/optional/const
                   |expr/make_optional.cc       |expr/make_optional.cc
      Known to fail|                            |6.0

[Bug middle-end/67053] [6 Regression] FAIL: experimental/optional/constexpr/make_optional.cc

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2015-07-29
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Mine.

[Bug middle-end/67053] [6 Regression] FAIL: experimental/optional/constexpr/make_optional.cc

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Thu Jul 30 07:09:20 2015
New Revision: 226384

URL: https://gcc.gnu.org/viewcvs?rev=226384&root=gcc&view=rev
Log:
2015-07-30  Richard Biener  <rguenther@suse.de>

        PR middle-end/67053
        * match.pd: Allow both operands to independently have conversion
        when simplifying compares of addresses.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/match.pd

[Bug middle-end/67053] [6 Regression] FAIL: experimental/optional/constexpr/make_optional.cc

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #3 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.