[Bug fortran/68146] New: ice in gimple_stmt_nonnegative_warnv

public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed

* [Bug fortran/68146] New: ice in gimple_stmt_nonnegative_warnv_p with -O2
@ 2015-10-29 14:51 dcb314 at hotmail dot com
  2015-10-29 15:06 ` [Bug middle-end/68146] [6 Regression] " rguenth at gcc dot gnu.org
  2015-10-29 16:00 ` dominiq at lps dot ens.fr
  0 siblings, 2 replies; 3+ messages in thread
From: dcb314 at hotmail dot com @ 2015-10-29 14:51 UTC (permalink / raw)
  To: gcc-bugs

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

            Bug ID: 68146
           Summary: ice in gimple_stmt_nonnegative_warnv_p with -O2
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dcb314 at hotmail dot com
  Target Milestone: ---

Created attachment 36613
  --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=36613&action=edit
FORTRAN source code

The attached FORTRAN code, when compiled with -c -O2 on x86_64,
does this

internal compiler error: Segmentation fault
0xc4d67f crash_signal
        ../../src/trunk/gcc/toplev.c:353
0x991e56 gimple_stmt_nonnegative_warnv_p(gimple*, bool*, int)
        ../../src/trunk/gcc/gimple-fold.c:6266
0x991f21 gimple_phi_nonnegative_warnv_p
        ../../src/trunk/gcc/gimple-fold.c:6251
0x991f21 gimple_stmt_nonnegative_warnv_p(gimple*, bool*, int)
        ../../src/trunk/gcc/gimple-fold.c:6276
0x92d9f5 tree_expr_nonnegative_p(tree_node*)
        ../../src/trunk/gcc/fold-const.c:13164

gimple-fold.c:6266 is

switch (gimple_code (stmt))


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug middle-end/68146] [6 Regression] ice in gimple_stmt_nonnegative_warnv_p with -O2
  2015-10-29 14:51 [Bug fortran/68146] New: ice in gimple_stmt_nonnegative_warnv_p with -O2 dcb314 at hotmail dot com
@ 2015-10-29 15:06 ` rguenth at gcc dot gnu.org
  2015-10-29 16:00 ` dominiq at lps dot ens.fr
  1 sibling, 0 replies; 3+ messages in thread
From: rguenth at gcc dot gnu.org @ 2015-10-29 15:06 UTC (permalink / raw)
  To: gcc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-10-29
                 CC|                            |rguenth at gcc dot gnu.org,
                   |                            |rsandifo at gcc dot gnu.org
          Component|fortran                     |middle-end
   Target Milestone|---                         |6.0
            Summary|ice in                      |[6 Regression] ice in
                   |gimple_stmt_nonnegative_war |gimple_stmt_nonnegative_war
                   |nv_p with -O2               |nv_p with -O2
     Ever confirmed|0                           |1

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

We enter

12877         return (!name_registered_for_update_p (t)
12878                 && depth < PARAM_VALUE (PARAM_MAX_SSA_NAME_QUERY_DEPTH)
12879                 && gimple_stmt_nonnegative_warnv_p (SSA_NAME_DEF_STMT
(t),
12880                                                     strict_overflow_p,
depth));

with a released SSA name (TREE_TYPE == NULL)

#0  0x0000000000b38160 in gimple_code (g=0x0)
    at /space/rguenther/src/svn/trunk/gcc/gimple.h:1661
#1  0x0000000000b4d90d in gimple_stmt_nonnegative_warnv_p (stmt=<gimple 0x0>, 
    strict_overflow_p=0x7fffffffd5ae, depth=1)
    at /space/rguenther/src/svn/trunk/gcc/gimple-fold.c:6260
#2  0x0000000000af455b in tree_single_nonnegative_warnv_p (
    t=<ssa_name 0x7ffff52dbbd0>, strict_overflow_p=0x7fffffffd5ae, depth=1)
    at /space/rguenther/src/svn/trunk/gcc/fold-const.c:12880
#3  0x0000000000b4d8bf in gimple_phi_nonnegative_warnv_p (stmt=
    <gimple_phi 0x7ffff58a0600>, strict_overflow_p=0x7fffffffd5ae, depth=0)
    at /space/rguenther/src/svn/trunk/gcc/gimple-fold.c:6245
#4  0x0000000000b4d962 in gimple_stmt_nonnegative_warnv_p (
    stmt=<gimple_phi 0x7ffff58a0600>, strict_overflow_p=0x7fffffffd5ae, 
    depth=0) at /space/rguenther/src/svn/trunk/gcc/gimple-fold.c:6270
#5  0x0000000000af455b in tree_single_nonnegative_warnv_p (
    t=<ssa_name 0x7ffff52dbb40>, strict_overflow_p=0x7fffffffd5ae, depth=0)
    at /space/rguenther/src/svn/trunk/gcc/fold-const.c:12880
#6  0x0000000000af5176 in tree_expr_nonnegative_warnv_p (
    t=<ssa_name 0x7ffff52dbb40>, strict_overflow_p=0x7fffffffd5ae, depth=0)
    at /space/rguenther/src/svn/trunk/gcc/fold-const.c:13146
#7  0x0000000000af51bf in tree_expr_nonnegative_p (t=<ssa_name 0x7ffff52dbb40>)
    at /space/rguenther/src/svn/trunk/gcc/fold-const.c:13162
#8  0x000000000133c63a in generic_simplify_ABS_EXPR (loc=2147488880, 
    code=ABS_EXPR, type=<real_type 0x7ffff68e55e8 real(kind=8)>, 
    op0=<ssa_name 0x7ffff52dbb40>) at generic-match.c:7996
#9  0x0000000001346b58 in generic_simplify (loc=2147488880, code=ABS_EXPR, 
    type=<real_type 0x7ffff68e55e8 real(kind=8)>, 
    op0=<ssa_name 0x7ffff52dbb40>) at generic-match.c:10127
#10 0x0000000000adc246 in fold_unary_loc (loc=2147488880, code=ABS_EXPR, 
    type=<real_type 0x7ffff68e55e8 real(kind=8)>, 
    op0=<ssa_name 0x7ffff52dbb40>)
    at /space/rguenther/src/svn/trunk/gcc/fold-const.c:7596
#11 0x0000000000af2ad8 in fold_build1_stat_loc (loc=2147488880, code=ABS_EXPR, 
    type=<real_type 0x7ffff68e55e8 real(kind=8)>, 
    op0=<ssa_name 0x7ffff52dbb40>)
    at /space/rguenther/src/svn/trunk/gcc/fold-const.c:12267
#12 0x0000000000eb1ec6 in gimplify_build1 (gsi=0x7fffffffdad0, code=ABS_EXPR, 
    type=<real_type 0x7ffff68e55e8 real(kind=8)>, a=<ssa_name 0x7ffff52dbb40>)
    at /space/rguenther/src/svn/trunk/gcc/tree-cfg.c:8541
#13 0x0000000000ebd3b4 in expand_complex_div_wide (gsi=0x7fffffffdad0, 
    inner_type=<real_type 0x7ffff68e55e8 real(kind=8)>, 
    ar=<ssa_name 0x7ffff52ded80>, ai=<ssa_name 0x7ffff52deea0>, 
    br=<ssa_name 0x7ffff52dbb40>, bi=<ssa_name 0x7ffff52dbb88>, code=RDIV_EXPR)
    at /space/rguenther/src/svn/trunk/gcc/tree-complex.c:1126


^ permalink raw reply	[flat|nested] 3+ messages in thread

* [Bug middle-end/68146] [6 Regression] ice in gimple_stmt_nonnegative_warnv_p with -O2
  2015-10-29 14:51 [Bug fortran/68146] New: ice in gimple_stmt_nonnegative_warnv_p with -O2 dcb314 at hotmail dot com
  2015-10-29 15:06 ` [Bug middle-end/68146] [6 Regression] " rguenth at gcc dot gnu.org
@ 2015-10-29 16:00 ` dominiq at lps dot ens.fr
  1 sibling, 0 replies; 3+ messages in thread
From: dominiq at lps dot ens.fr @ 2015-10-29 16:00 UTC (permalink / raw)
  To: gcc-bugs

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

--- Comment #2 from Dominique d'Humieres <dominiq at lps dot ens.fr> ---
Reduced test case

        SUBROUTINE CJYVB(V,Z,VM,CBJ,CDJ,CBY,CDY)
        IMPLICIT DOUBLE PRECISION (A,B,G,O-Y)
        IMPLICIT COMPLEX*16 (C,Z)
        DIMENSION CBJ(0:*),CDJ(0:*),CBY(0:*),CDY(0:*)
        N=INT(V)
           CALL GAMMA2(VG,GA)
        DO 65 K=1,N
           CBY(K)=CYY
65      CONTINUE
        CDJ(0)=V0/Z*CBJ(0)-CBJ(1)
        DO 70 K=1,N
70         CDJ(K)=-(K+V0)/Z*CBJ(K)+CBJ(K-1)
        END

This appeared between revisions r228586 (2015-10-07, compiles) and r228678
(2015-10-10, ICE).

Backtrace for the reduced test with r229438

Program received signal SIGSEGV, Segmentation fault.
gimple_stmt_nonnegative_warnv_p (stmt=<optimized out>,
strict_overflow_p=<optimized out>, depth=<optimized out>)
    at ../../_clean/gcc/gimple-fold.c:6266
warning: Source file is more recent than executable.
6266        {
(gdb) bt
#0  gimple_stmt_nonnegative_warnv_p (stmt=<optimized out>,
strict_overflow_p=<optimized out>, depth=<optimized out>)
    at ../../_clean/gcc/gimple-fold.c:6266
#1  0x0000000100679375 in tree_expr_nonnegative_p (t=<optimized out>) at
../../_clean/gcc/fold-const.c:13164
#2  0x00000001001d2f18 in generic_simplify (loc=<optimized out>,
code=<optimized out>, type=<optimized out>, op0=<optimized out>)
    at generic-match.c:7964
#3  0x0000000100688e20 in fold_unary_loc (loc=<optimized out>, code=<optimized
out>, type=<optimized out>, op0=<optimized out>)
    at ../../_clean/gcc/fold-const.c:7598
#4  0x000000010068a40a in fold_build1_stat_loc (loc=<optimized out>,
code=<optimized out>, type=<optimized out>, op0=<optimized out>)
    at ../../_clean/gcc/fold-const.c:12269
#5  0x000000010099cfbf in gimplify_build1 (gsi=<optimized out>, code=<optimized
out>, type=<optimized out>, a=<optimized out>)
    at ../../_clean/gcc/tree-cfg.c:8495
#6  0x00000001009ad1e9 in tree_lower_complex () at
../../_clean/gcc/tree-complex.c:1126
#7  0x00000001009ae242 in ?? () at ../../_clean/gcc/tree-complex.c:1736
#8  0x000000010089c091 in execute_one_pass (pass=<optimized out>) at
../../_clean/gcc/passes.c:2344
#9  0x000000010089c57e in execute_pass_list_1 (pass=<optimized out>) at
../../_clean/gcc/passes.c:2397
#10 0x000000010089c590 in execute_pass_list_1 (pass=<optimized out>) at
../../_clean/gcc/passes.c:2398
#11 0x000000010089c5d9 in execute_pass_list (fn=<optimized out>,
pass=<optimized out>) at ../../_clean/gcc/passes.c:2408
#12 0x0000000100564017 in cgraph_node::expand (this=<optimized out>) at
../../_clean/gcc/cgraphunit.c:1983
#13 0x000000010056561c in symbol_table::compile (this=<optimized out>) at
../../_clean/gcc/cgraphunit.c:2119
#14 0x0000000100567574 in symbol_table::finalize_compilation_unit
(this=<optimized out>) at ../../_clean/gcc/cgraphunit.c:2536
#15 0x0000000100965f3e in compile_file () at ../../_clean/gcc/toplev.c:508
#16 0x0000000100d536ac in ?? ()
#17 0x0000000100d55069 in main (argc=3, argv=0x7fff5fbff2d8) at
../../_clean/gcc/main.c:39


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2015-10-29 16:00 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-10-29 14:51 [Bug fortran/68146] New: ice in gimple_stmt_nonnegative_warnv_p with -O2 dcb314 at hotmail dot com
2015-10-29 15:06 ` [Bug middle-end/68146] [6 Regression] " rguenth at gcc dot gnu.org
2015-10-29 16:00 ` dominiq at lps dot ens.fr

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).