[Bug middle-end/68127] New: [6 Regression] ICE: error: incompatible types in PHI argument 0 / Segmentation fault

["Joost.VandeVondele at mat dot ethz.ch" <gcc-bugzilla@gcc.gnu.org>]

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

            Bug ID: 68127
           Summary: [6 Regression] ICE: error: incompatible types in PHI
                    argument 0 / Segmentation fault
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
          Assignee: unassigned at gcc dot gnu.org
          Reporter: Joost.VandeVondele at mat dot ethz.ch
  Target Milestone: ---

trunk started failing between r229401 and r229470 to build CP2K with -flto and
-fprofile-generate with the following ICE:

/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/cp_ddapc_util.F: In function
‘get_ddapc’:
/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/cp_ddapc_util.F:201:0: error:
incompatible types in PHI argument 0
   RECURSIVE SUBROUTINE get_ddapc(qs_env, calc_force, density_fit_section,&
^
long int

long unsigned int

__var_8_do_2091 = PHI <0(572), _1994(574)>
/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/cp_ddapc_util.F:201:0: error:
invalid PHI argument
<<< error >>>
/data/vjoost/gnu/cp2k/cp2k/makefiles/../src/cp_ddapc_util.F:201:0: internal
compiler error: Segmentation fault
0xa007df crash_signal
        ../../gcc/gcc/toplev.c:353
0x79c588 tree_class_check
        ../../gcc/gcc/tree.h:3041
0x79c588 useless_type_conversion_p(tree_node*, tree_node*)
        ../../gcc/gcc/gimple-expr.c:91
0xa47489 verify_gimple_phi
        ../../gcc/gcc/tree-cfg.c:4673
0xa47489 verify_gimple_in_cfg(function*, bool)
        ../../gcc/gcc/tree-cfg.c:4967
0x93764c execute_function_todo
        ../../gcc/gcc/passes.c:1967
0x9380c3 execute_todo
        ../../gcc/gcc/passes.c:2022
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
make[3]: *** [/tmp/ccTSnvhv.ltrans15.ltrans.o] Error 1
make[3]: Target `all' not remade because of errors.
lto-wrapper: fatal error: make returned 2 exit status
compilation terminated.
/data/vjoost/gnu/binutils-2.23.2/install/bin/ld: lto-wrapper failed
collect2: error: ld returned 1 exit status

No reduced testcase, as this involves LTO.
>From gcc-bugs-return-500758-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Oct 28 08:03:48 2015
Return-Path: <gcc-bugs-return-500758-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 81757 invoked by alias); 28 Oct 2015 08:03:47 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 81709 invoked by uid 48); 28 Oct 2015 08:03:43 -0000
From: "clyon at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/67929] [4.9/5/6 Regression][arm] Wrong code for FP mult-by-power-of-2 + int conversion
Date: Wed, 28 Oct 2015 08:03:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.9.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: clyon at gcc dot gnu.org
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Resolution: FIXED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: ktkachov at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 4.9.4
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: cc
Message-ID: <bug-67929-4-ay4Cvd0SMI@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-67929-4@http.gcc.gnu.org/bugzilla/>
References: <bug-67929-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2015-10/txt/msg02313.txt.bz2
Content-length: 856

https://gcc.gnu.org/bugzilla/show_bug.cgi?idg929

Christophe Lyon <clyon at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |clyon at gcc dot gnu.org

--- Comment #7 from Christophe Lyon <clyon at gcc dot gnu.org> ---
I think the testcase or check_effective_target_arm_vfp3_ok needs an adjustment:
when GCC is configured for arm-none-linux-gnueabihf, since the test is compiled
with -mfloat-abi=softfp, there is an error at link time because the crt*.o
files are compiled with float-abi=hard, and thus conflict with pr67929_1.o.

This is because check_effective_target_arm_vfp3_ok only checks whether a
*compilation* with -mfloat-abi=soffp works, and does not check that a link
actually works.