public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/60340] New: ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu
@ 2014-02-26 1:20 su at cs dot ucdavis.edu
2014-02-26 9:49 ` [Bug tree-optimization/60340] " rguenth at gcc dot gnu.org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: su at cs dot ucdavis.edu @ 2014-02-26 1:20 UTC (permalink / raw)
To: gcc-bugs
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?
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/60340] ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu
2014-02-26 1:20 [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
@ 2014-02-26 9:49 ` rguenth at gcc dot gnu.org
2015-07-18 1:11 ` spop at gcc dot gnu.org
2015-07-18 1:15 ` spop at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: rguenth at gcc dot gnu.org @ 2014-02-26 9:49 UTC (permalink / raw)
To: gcc-bugs
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)
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/60340] ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu
2014-02-26 1:20 [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
2014-02-26 9:49 ` [Bug tree-optimization/60340] " rguenth at gcc dot gnu.org
@ 2015-07-18 1:11 ` spop at gcc dot gnu.org
2015-07-18 1:15 ` spop at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: spop at gcc dot gnu.org @ 2015-07-18 1:11 UTC (permalink / raw)
To: gcc-bugs
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
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug tree-optimization/60340] ICE on valid code with -fcheck-data-deps at -O1 and above on x86_64-linux-gnu
2014-02-26 1:20 [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
2014-02-26 9:49 ` [Bug tree-optimization/60340] " rguenth at gcc dot gnu.org
2015-07-18 1:11 ` spop at gcc dot gnu.org
@ 2015-07-18 1:15 ` spop at gcc dot gnu.org
2 siblings, 0 replies; 4+ messages in thread
From: spop at gcc dot gnu.org @ 2015-07-18 1:15 UTC (permalink / raw)
To: gcc-bugs
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.
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2015-07-18 1:15 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-02-26 1:20 [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
2014-02-26 9:49 ` [Bug tree-optimization/60340] " rguenth at gcc dot gnu.org
2015-07-18 1:11 ` spop at gcc dot gnu.org
2015-07-18 1:15 ` spop at gcc dot gnu.org
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).