--- Comment #12 from pinskia at gcc dot gnu dot org 2006-02-20 04:58
---
Here is a testcase independent of IV-OPTs:
void abort(void);
int printf(const char *format, ...);
__attribute__((noinline))
void gen_rtx_CONST_INT(long long x) {
if (-x > 10)
abort();
}
__attribute__((
--- Comment #11 from roger at eyesopen dot com 2006-02-20 03:52 ---
Hmmm. Looks like the problem is in .088t.vrp2
We have
unsigned int D.1981;
unsigned int D.1982;
D.1982_9 = -D.1981_1;
D.1981_1: [0, +INF] EQUIVALENCES: { } (0 elements)
D.1982_9: [0, 1] EQUIVALENCES: { } (0 elem
--- Comment #10 from roger at eyesopen dot com 2006-02-20 03:11 ---
Analyzing the code in comment #5, this looks like a bad interaction between
ivopts and vrp. Either of -fno-ivopts or -fno-tree-vrp cures the problem.
But it looks like the output of .084t.ivopts is reasonable.
--
ro
--- Comment #9 from falk at debian dot org 2006-02-19 22:46 ---
This bug was introduced with:
r75 | law | 2006-02-17 05:15:32 +0100 (Fri, 17 Feb 2006) | 33 lines
* tree-vrp.c (set_value_range_to_nonnegative): New function.
(vrp_expr_computes_nonnegative, ssa_name_no
--- Comment #8 from pinskia at gcc dot gnu dot org 2006-02-19 19:36 ---
This looks more related to PR 26304.
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
--- Comment #7 from falk at debian dot org 2006-02-19 18:58 ---
not really ice-on-valid-code nor memory-hog, those were only due to miscompiled
xgcc
--
falk at debian dot org changed:
What|Removed |Added
--- Comment #6 from steven at gcc dot gnu dot org 2006-02-19 18:56 ---
Also fails on AMD64.
--
steven at gcc dot gnu dot org changed:
What|Removed |Added
Stat
--- Comment #5 from falk at debian dot org 2006-02-19 18:19 ---
The problem apparently comes from using negation on an induction variable,
in a context where widening is needed:
[EMAIL PROTECTED]:/tmp% cat alpha.c
void abort(void);
int printf(const char *format, ...);
__attribute__((no
--- Comment #4 from pinskia at gcc dot gnu dot org 2006-02-19 16:30 ---
[11:22] < mellum> The Alpha bootstrap bug seems to be due to
alpha_expand_prologue being miscompiled
[11:23] < mellum> there's a loop
[11:24] < mellum> for (probed = 4096; probed < frame_size; probed += 8192) {
[11:2
--- Comment #3 from falk at debian dot org 2006-02-19 15:57 ---
(In reply to comment #2)
> I wonder if this is related to at all PR 26348.
Probably not, because it already happens without any options (forgot to mention
that).
--
falk at debian dot org changed:
What|R
--- Comment #2 from pinskia at gcc dot gnu dot org 2006-02-19 15:38 ---
I wonder if this is related to at all PR 26348.
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
-
--
pinskia at gcc dot gnu dot org changed:
What|Removed |Added
Keywords||build, ice-on-valid-code,
|
12 matches
Mail list logo