public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/15405] New: [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1
@ 2004-05-13 11:25 ludovic dot brenta at insalien dot org
2004-05-13 11:33 ` [Bug optimization/15405] " pinskia at gcc dot gnu dot org
` (5 more replies)
0 siblings, 6 replies; 7+ messages in thread
From: ludovic dot brenta at insalien dot org @ 2004-05-13 11:25 UTC (permalink / raw)
To: gcc-bugs
procedure Test_105 is
x: float;
begin
for i in 1..10 loop
x := float(i);
end loop;
exception
when others => null;
end Test_105;
$ gcc -c test105.adb -funroll-all-loops -O1
+===========================GNAT BUG DETECTED==============================+
| 3.5.0 20040327 (experimental) (i686-pc-linux-gnu) verify_flow_info failed|
| Error detected at test105.adb:9:5 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Include the entire contents of this bug box in the report. |
| Include the exact gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==========================================================================+
--
Summary: [3.4/3.5 regression] Bug box, verify_flow_info failed
when using -funroll-all-loops -O1
Product: gcc
Version: 3.5.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15405
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug optimization/15405] [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1
2004-05-13 11:25 [Bug ada/15405] New: [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1 ludovic dot brenta at insalien dot org
@ 2004-05-13 11:33 ` pinskia at gcc dot gnu dot org
2004-06-12 22:07 ` [Bug rtl-optimization/15405] " mmitchel at gcc dot gnu dot org
` (4 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-05-13 11:33 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Component|ada |optimization
Keywords| |ice-on-valid-code
Target Milestone|--- |3.4.1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15405
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/15405] [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1
2004-05-13 11:25 [Bug ada/15405] New: [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1 ludovic dot brenta at insalien dot org
2004-05-13 11:33 ` [Bug optimization/15405] " pinskia at gcc dot gnu dot org
@ 2004-06-12 22:07 ` mmitchel at gcc dot gnu dot org
2004-10-07 9:36 ` [Bug rtl-optimization/15405] [3.4/4.0 " giovannibajo at libero dot it
` (3 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: mmitchel at gcc dot gnu dot org @ 2004-06-12 22:07 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From mmitchel at gcc dot gnu dot org 2004-06-12 22:07 -------
Ada PRs are never showstoppers; I've removed the target milestone.
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|3.4.1 |---
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15405
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/15405] [3.4/4.0 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1
2004-05-13 11:25 [Bug ada/15405] New: [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1 ludovic dot brenta at insalien dot org
2004-05-13 11:33 ` [Bug optimization/15405] " pinskia at gcc dot gnu dot org
2004-06-12 22:07 ` [Bug rtl-optimization/15405] " mmitchel at gcc dot gnu dot org
@ 2004-10-07 9:36 ` giovannibajo at libero dot it
2004-12-08 20:46 ` [Bug rtl-optimization/15405] " pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
5 siblings, 0 replies; 7+ messages in thread
From: giovannibajo at libero dot it @ 2004-10-07 9:36 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-10-07 09:36 -------
Arnaud,
would you please check if this PR is still actual (and confirm it in case), or
if it was fixed by recent work on mainline?
Thanks
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |giovannibajo at libero dot
| |it, charlet at gcc dot gnu
| |dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15405
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/15405] Bug box, verify_flow_info failed when using -funroll-all-loops -O1
2004-05-13 11:25 [Bug ada/15405] New: [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1 ludovic dot brenta at insalien dot org
` (2 preceding siblings ...)
2004-10-07 9:36 ` [Bug rtl-optimization/15405] [3.4/4.0 " giovannibajo at libero dot it
@ 2004-12-08 20:46 ` pinskia at gcc dot gnu dot org
2004-12-09 2:23 ` [Bug rtl-optimization/15405] [3.3/3.4 Regression] " giovannibajo at libero dot it
2005-05-22 21:02 ` [Bug rtl-optimization/15405] [3.4 " pinskia at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-12-08 20:46 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|[3.4/4.0 regression] Bug |Bug box, verify_flow_info
|box, verify_flow_info failed|failed when using -funroll-
|when using -funroll-all- |all-loops -O1
|loops -O1 |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15405
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/15405] [3.3/3.4 Regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1
2004-05-13 11:25 [Bug ada/15405] New: [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1 ludovic dot brenta at insalien dot org
` (3 preceding siblings ...)
2004-12-08 20:46 ` [Bug rtl-optimization/15405] " pinskia at gcc dot gnu dot org
@ 2004-12-09 2:23 ` giovannibajo at libero dot it
2005-05-22 21:02 ` [Bug rtl-optimization/15405] [3.4 " pinskia at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: giovannibajo at libero dot it @ 2004-12-09 2:23 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-12-09 02:23 -------
3.4 is ACATS free, this *is* a regression.
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|Bug box, verify_flow_info |[3.3/3.4 Regression] Bug
|failed when using -funroll- |box, verify_flow_info failed
|all-loops -O1 |when using -funroll-all-
| |loops -O1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15405
^ permalink raw reply [flat|nested] 7+ messages in thread
* [Bug rtl-optimization/15405] [3.4 Regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1
2004-05-13 11:25 [Bug ada/15405] New: [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1 ludovic dot brenta at insalien dot org
` (4 preceding siblings ...)
2004-12-09 2:23 ` [Bug rtl-optimization/15405] [3.3/3.4 Regression] " giovannibajo at libero dot it
@ 2005-05-22 21:02 ` pinskia at gcc dot gnu dot org
5 siblings, 0 replies; 7+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-05-22 21:02 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Summary|[3.3/3.4 Regression] Bug |[3.4 Regression] Bug box,
|box, verify_flow_info failed|verify_flow_info failed when
|when using -funroll-all- |using -funroll-all-loops -O1
|loops -O1 |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15405
^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2005-05-22 21:02 UTC | newest]
Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-05-13 11:25 [Bug ada/15405] New: [3.4/3.5 regression] Bug box, verify_flow_info failed when using -funroll-all-loops -O1 ludovic dot brenta at insalien dot org
2004-05-13 11:33 ` [Bug optimization/15405] " pinskia at gcc dot gnu dot org
2004-06-12 22:07 ` [Bug rtl-optimization/15405] " mmitchel at gcc dot gnu dot org
2004-10-07 9:36 ` [Bug rtl-optimization/15405] [3.4/4.0 " giovannibajo at libero dot it
2004-12-08 20:46 ` [Bug rtl-optimization/15405] " pinskia at gcc dot gnu dot org
2004-12-09 2:23 ` [Bug rtl-optimization/15405] [3.3/3.4 Regression] " giovannibajo at libero dot it
2005-05-22 21:02 ` [Bug rtl-optimization/15405] [3.4 " pinskia at gcc dot gnu dot 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).