[Bug tree-optimization/60340] New: ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu

[Bug tree-optimization/60340] New: ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu

[su at cs dot ucdavis.edu]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60340

            Bug ID: 60340
           Summary: ICE on valid code with -fcheck-data-deps at -O1 and
                    above on x86_64-linux-gnu
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: su at cs dot ucdavis.edu

The following code causes an ICE when compiled by the current gcc trunk with
-fcheck-data-deps at -O1 and above on x86_64-linux-gnu (in both 32-bit and
64-bit modes). 

It also affects 4.7.x and 4.8.x, but not 4.6.x. 

$ gcc-trunk -v
Using built-in specs.
COLLECT_GCC=gcc-trunk
COLLECT_LTO_WRAPPER=/usr/local/gcc-trunk/libexec/gcc/x86_64-unknown-linux-gnu/4.9.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-trunk/configure --prefix=/usr/local/gcc-trunk
--enable-languages=c,c++ --disable-werror --enable-multilib
Thread model: posix
gcc version 4.9.0 20140225 (experimental) [trunk revision 208111] (GCC) 
$ 
$ gcc-trunk -O1 -c small.c
$ gcc-trunk -O0 -fcheck-data-deps -c small.c
$ gcc-4.6.4 -O1 -fcheck-data-deps -c small.c
$ 
$ gcc-trunk -O1 -fcheck-data-deps -c small.c

(Number of distance vectors differ: Banerjee has 1, Omega has 2.
Banerjee dist vectors:
  0 
Omega dist vectors:
  0 
  1 
data dependence relation:
(Data Dep: 
#(Data Ref: 
#  bb: 4 
#  stmt: a.0_4 ={v} a;
#  ref: a
#  base_object: MEM[(int *)&a];
#)
#(Data Ref: 
#  bb: 4 
#  stmt: a ={v} a.1_5;
#  ref: a
#  base_object: MEM[(int *)&a];
#)
  inner loop index: 0
  loop nest: (1 )
  distance_vector:   0 
  distance_vector:   1 
  direction_vector:     =
  direction_vector:     +
)
)
small.c: In function ‘foo’:
small.c:3:6: internal compiler error: in compute_affine_dependence, at
tree-data-ref.c:4233
 void foo ()
      ^
0xf187fb compute_affine_dependence(data_dependence_relation*, loop*)
    ../../gcc-trunk/gcc/tree-data-ref.c:4232
0xf1908a compute_all_dependences(vec<data_reference*, va_heap, vl_ptr>,
vec<data_dependence_relation*, va_heap, vl_ptr>*, vec<loop*, va_heap, vl_ptr>,
bool)
    ../../gcc-trunk/gcc/tree-data-ref.c:4304
0xf19a20 compute_data_dependences_for_loop(loop*, bool, vec<loop*, va_heap,
vl_ptr>*, vec<data_reference*, va_heap, vl_ptr>*,
vec<data_dependence_relation*, va_heap, vl_ptr>*)
    ../../gcc-trunk/gcc/tree-data-ref.c:4632
0xf19b0e analyze_all_data_dependences
    ../../gcc-trunk/gcc/tree-data-ref.c:4740
0xf19b0e tree_check_data_deps()
    ../../gcc-trunk/gcc/tree-data-ref.c:4787
0xaa51c7 check_data_deps
    ../../gcc-trunk/gcc/tree-ssa-loop.c:209
0xaa51c7 execute
    ../../gcc-trunk/gcc/tree-ssa-loop.c:245
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.
$ 


-------------------------


volatile int a;

void foo ()
{
  for (; a < 1; a++)
    ;
}
>From gcc-bugs-return-444807-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Wed Feb 26 01:39:07 2014
Return-Path: <gcc-bugs-return-444807-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 5291 invoked by alias); 26 Feb 2014 01:39:07 -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 5261 invoked by uid 48); 26 Feb 2014 01:39:04 -0000
From: "sebunger44 at gmail dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug c/16602] Spurious warnings about pointer to array -> const pointer to array conversion
Date: Wed, 26 Feb 2014 01:39:00 -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: 4.0.0
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: sebunger44 at gmail dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P2
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields:
Message-ID: <bug-16602-4-Vxx9F9SZD9@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-16602-4@http.gcc.gnu.org/bugzilla/>
References: <bug-16602-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: 2014-02/txt/msg02564.txt.bz2
Content-length: 190

http://gcc.gnu.org/bugzilla/show_bug.cgi?id\x16602

--- Comment #14 from Sebastian Unger <sebunger44 at gmail dot com> ---
So how do I go about re-opening this? Or should I raise a new one?

[Bug tree-optimization/60340] ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60340

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I'm not sure that -fcheck-data-deps has been kept up-to-date enough to be
useful ... (and the omega result looks bogus)

[Bug tree-optimization/60340] ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu

[spop at gcc dot gnu.org]

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

--- Comment #2 from Sebastian Pop <spop at gcc dot gnu.org> ---
Author: spop
Date: Sat Jul 18 01:11:05 2015
New Revision: 225979

URL: https://gcc.gnu.org/viewcvs?rev=225979&root=gcc&view=rev
Log:
fix pr46851 and pr60340: remove unmaintained omega dependence test

Regstrapped on amd64-linux.

2015-07-18  Sebastian Pop  <s.pop@samsung.com>

        PR middle-end/46851
        PR middle-end/60340
        * Makefile.in: Removed omega.o.
        * common.opt: Remove flag fcheck-data-deps.
        * doc/invoke.texi: Remove documentation for fcheck-data-deps and
        its associated params: omega-max-vars, omega-max-geqs,
        omega-max-eqs, omega-max-wild-cards, omega-hash-table-size,
        omega-max-keys, omega-eliminate-redundant-constraints.
        * doc/loop.texi: Remove all the section on Omega.
        * graphite-blocking.c: Include missing params.h: it used to be
        included through tree-data-ref.h and omega.h.
        * graphite-isl-ast-to-gimple.c: Same.
        * graphite-optimize-isl.c: Same.
        * graphite-sese-to-poly.c: Same.
        * graphite.c: Same.
        * omega.c: Remove.
        * omega.h: Remove.
        * params.def: Removed PARAM_OMEGA_MAX_VARS, PARAM_OMEGA_MAX_GEQS,
        PARAM_OMEGA_MAX_EQS, PARAM_OMEGA_MAX_WILD_CARDS,
        PARAM_OMEGA_HASH_TABLE_SIZE, PARAM_OMEGA_MAX_KEYS, and
        PARAM_OMEGA_ELIMINATE_REDUNDANT_CONSTRAINTS.
        * passes.def: Remove pass_check_data_deps.
        * tree-data-ref.c (dump_affine_function): Declare DEBUG_FUNCTION.
        (dump_conflict_function): Same.
        (dump_subscript): Same.
        (print_direction_vector): Same.
        (print_dir_vectors): Same.
        (print_lambda_vector): Same.
        (print_dist_vectors): Same.
        (dump_data_dependence_relation): Same.
        (dump_data_dependence_relations): Same.
        (dump_dist_dir_vectors): Same.
        (dump_ddrs): Same.
        (init_omega_eq_with_af): Removed.
        (omega_extract_distance_vectors): Removed.
        (omega_setup_subscript): Removed.
        (init_omega_for_ddr_1): Removed.
        (init_omega_for_ddr): Removed.
        (ddr_consistent_p): Removed.
        (compute_affine_dependence): Do not use omega to check data
        dependences.
        (compute_data_dependences_for_bb): Removed.
        (analyze_all_data_dependences): Removed.
        (tree_check_data_deps): Removed.
        * tree-data-ref.h: Do not include omega.h.
        (compute_data_dependences_for_bb): Removed.
        (tree_check_data_deps): Removed.
        * tree-ssa-loop.c (pass_check_data_deps): Removed.
        (make_pass_check_data_deps): Removed.
        * tree-ssa-phiopt.c: Include params.h.
        * tree-vect-data-refs.c: Same.
        * tree-vect-slp.c: Same.

testsuite/
        * gcc.dg/tree-ssa/pr42327.c: Removed.
        * g++.dg/other/pr35011.C: Removed.

Removed:
    trunk/gcc/omega.c
    trunk/gcc/omega.h
    trunk/gcc/testsuite/g++.dg/other/pr35011.C
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr42327.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/Makefile.in
    trunk/gcc/common.opt
    trunk/gcc/doc/invoke.texi
    trunk/gcc/doc/loop.texi
    trunk/gcc/graphite-blocking.c
    trunk/gcc/graphite-isl-ast-to-gimple.c
    trunk/gcc/graphite-optimize-isl.c
    trunk/gcc/graphite-sese-to-poly.c
    trunk/gcc/graphite.c
    trunk/gcc/params.def
    trunk/gcc/passes.def
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-data-ref.c
    trunk/gcc/tree-data-ref.h
    trunk/gcc/tree-ssa-loop.c
    trunk/gcc/tree-ssa-phiopt.c
    trunk/gcc/tree-vect-data-refs.c
    trunk/gcc/tree-vect-slp.c

[Bug tree-optimization/60340] ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu

[spop at gcc dot gnu.org]

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

Sebastian Pop <spop at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |spop at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #3 from Sebastian Pop <spop at gcc dot gnu.org> ---
Fixed in r225979.