[Bug c++/77775] New: [7 Regression] since r238559 Kdevelop gets miscompiled

[trippels at gcc dot gnu.org]

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

            Bug ID: 77775
           Summary: [7 Regression] since r238559 Kdevelop gets miscompiled
           Product: gcc
           Version: 7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: trippels at gcc dot gnu.org
                CC: jason at gcc dot gnu.org
  Target Milestone: ---

Created attachment 39717
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=39717&action=edit
unreduced testcase

Starting with r238559:

commit 5157eff877f9491e7c0fc9231ac2b686983eaa41
Author: jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4>
Date:   Thu Jul 21 06:05:33 2016 +0000

            PR c++/71121 - -Waddress, constexpr, and PMFs.

            * cp-gimplify.c (cp_fully_fold): First call maybe_constant_value.

Kdevelop gets miscompiled and crashes on startup.

I've narrowed the issue to a single file.
See the attachments.

x4 sublime # diff -u good_ bad_
--- good_       2016-09-28 12:37:52.508094930 +0200
+++ bad_        2016-09-28 14:24:11.674668521 +0200
@@ -1016,7 +1016,7 @@
        pushq   %r13
        pushq   %r12
        pushq   %rbx
-       subq    $376, %rsp
+       subq    $216, %rsp
        .cfi_offset 15, -24
        .cfi_offset 14, -32
        .cfi_offset 13, -40
@@ -1337,19 +1337,15 @@
        movq    8(%rax), %rax
        movq    %rax, -72(%rbp)
        movq    -72(%rbp), %rax
-       movq    (%rax), %rdx
-       movq   
_ZN7Sublime4Area9viewAddedEPNS_9AreaIndexEPNS_4ViewE@GOTPCREL(%rip), %rax
-       movq    %rax, %r8
-       movl    $0, %r9d
-       movq    %r8, %rax
-       cmpq    %rax, %rdx
+       movq    (%rax), %rax
+       testq   %rax, %rax
        jne     .L87
        movq    -72(%rbp), %rax
        movq    8(%rax), %rdx
        movq   
_ZN7Sublime4Area9viewAddedEPNS_9AreaIndexEPNS_4ViewE@GOTPCREL(%rip), %rax
-       movq    %rax, %r10
-       movl    $0, %r11d
-       movq    %r11, %rax
+       movq    %rax, %r8
+       movl    $0, %r9d
+       movq    %r9, %rax
        cmpq    %rax, %rdx
        je      .L88
        movq    -72(%rbp), %rax
@@ -1362,19 +1358,15 @@
        jmp     .L55
 .L87:
        movq    -72(%rbp), %rax
-       movq    (%rax), %rdx
-       movq   
_ZN7Sublime4Area17aboutToRemoveViewEPNS_9AreaIndexEPNS_4ViewE@GOTPCREL(%rip),
%rax
-       movq    %rax, %r12
-       movl    $0, %r13d
-       movq    %r12, %rax
-       cmpq    %rax, %rdx
+       movq    (%rax), %rax
+       testq   %rax, %rax
        jne     .L89
        movq    -72(%rbp), %rax
        movq    8(%rax), %rdx
        movq   
_ZN7Sublime4Area17aboutToRemoveViewEPNS_9AreaIndexEPNS_4ViewE@GOTPCREL(%rip),
%rax
-       movq    %rax, %r14
-       movl    $0, %r15d
-       movq    %r15, %rax
+       movq    %rax, %r10
+       movl    $0, %r11d
+       movq    %r11, %rax
        cmpq    %rax, %rdx
        je      .L90
        movq    -72(%rbp), %rax
...