* [Bug ada/40599] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
@ 2009-06-30 10:34 ` oliver dot kellogg at eads dot com
2009-06-30 10:49 ` oliver dot kellogg at eads dot com
` (12 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: oliver dot kellogg at eads dot com @ 2009-06-30 10:34 UTC (permalink / raw)
To: gcc-bugs
------- Comment #1 from oliver dot kellogg at eads dot com 2009-06-30 10:34 -------
Created an attachment (id=18099)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=18099&action=view)
source files for reproducing the bug
Tried this with i686-linux-gnu and x86_64-linux-gnu and with various
4.5.0 svn trunk versions of June up to 20090628.
Only happens when both -g and -O are switched on.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug ada/40599] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
2009-06-30 10:34 ` [Bug ada/40599] " oliver dot kellogg at eads dot com
@ 2009-06-30 10:49 ` oliver dot kellogg at eads dot com
2009-06-30 10:57 ` rguenth at gcc dot gnu dot org
` (11 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: oliver dot kellogg at eads dot com @ 2009-06-30 10:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #2 from oliver dot kellogg at eads dot com 2009-06-30 10:49 -------
Does not happen with 4.5.0 trunk 20090406 and earlier versions.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug ada/40599] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
2009-06-30 10:34 ` [Bug ada/40599] " oliver dot kellogg at eads dot com
2009-06-30 10:49 ` oliver dot kellogg at eads dot com
@ 2009-06-30 10:57 ` rguenth at gcc dot gnu dot org
2009-06-30 11:07 ` oliver dot kellogg at eads dot com
` (10 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-06-30 10:57 UTC (permalink / raw)
To: gcc-bugs
------- Comment #3 from rguenth at gcc dot gnu dot org 2009-06-30 10:57 -------
My bet would be var-tracking. Can you try if -fno-var-tracking fixes this?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug ada/40599] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (2 preceding siblings ...)
2009-06-30 10:57 ` rguenth at gcc dot gnu dot org
@ 2009-06-30 11:07 ` oliver dot kellogg at eads dot com
2009-06-30 14:56 ` [Bug debug/40599] [4.5 regression] " pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: oliver dot kellogg at eads dot com @ 2009-06-30 11:07 UTC (permalink / raw)
To: gcc-bugs
------- Comment #4 from oliver dot kellogg at eads dot com 2009-06-30 11:06 -------
> My bet would be var-tracking. Can you try if -fno-var-tracking fixes this?
On the mark. Doesn't happen with -fno-var-tracking
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (3 preceding siblings ...)
2009-06-30 11:07 ` oliver dot kellogg at eads dot com
@ 2009-06-30 14:56 ` pinskia at gcc dot gnu dot org
2009-07-02 11:37 ` rguenth at gcc dot gnu dot org
` (8 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2009-06-30 14:56 UTC (permalink / raw)
To: gcc-bugs
--
pinskia at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Component|ada |debug
Keywords| |ice-on-valid-code
Summary|GCC error in |[4.5 regression] GCC error
|pre_and_rev_post_order_compu|in
|te, at cfganal.c:1045 |pre_and_rev_post_order_compu
| |te, at cfganal.c:1045
Target Milestone|--- |4.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (4 preceding siblings ...)
2009-06-30 14:56 ` [Bug debug/40599] [4.5 regression] " pinskia at gcc dot gnu dot org
@ 2009-07-02 11:37 ` rguenth at gcc dot gnu dot org
2009-07-09 15:47 ` rguenth at gcc dot gnu dot org
` (7 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-07-02 11:37 UTC (permalink / raw)
To: gcc-bugs
------- Comment #5 from rguenth at gcc dot gnu dot org 2009-07-02 11:37 -------
Jakub should maybe know more ;)
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jakub at redhat dot com
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (5 preceding siblings ...)
2009-07-02 11:37 ` rguenth at gcc dot gnu dot org
@ 2009-07-09 15:47 ` rguenth at gcc dot gnu dot org
2009-07-10 9:45 ` jakub at gcc dot gnu dot org
` (6 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-07-09 15:47 UTC (permalink / raw)
To: gcc-bugs
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (6 preceding siblings ...)
2009-07-09 15:47 ` rguenth at gcc dot gnu dot org
@ 2009-07-10 9:45 ` jakub at gcc dot gnu dot org
2009-07-12 4:41 ` oliver dot kellogg at eads dot com
` (5 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: jakub at gcc dot gnu dot org @ 2009-07-10 9:45 UTC (permalink / raw)
To: gcc-bugs
------- Comment #6 from jakub at gcc dot gnu dot org 2009-07-10 09:44 -------
While this triggers only with -fvar-tracking, it is var-tracking related only
in that vt_find_locations calls pre_and_rev_post_order_compute. The real
problem is that there are 2 basic blocks (in my case 220 and 222) that have no
predecessors, so aren't reachable from the entry block and therefore
gcc_assert (pre_order_num == n_basic_blocks - NUM_FIXED_BLOCKS);
assertion fails (pre_order_num is n_basic_blocks - NUM_FIXED_BLOCKS - 2).
In *.split3 we have:
(insn 4396 853 4397 204 pkg0017.adb:483 (set (mem/c:SF (plus:DI (reg/f:DI 6 bp)
(const_int -1668 [0xfffffffffffff97c])) [0 S4 A32])
(reg:SF 21 xmm0 [orig:143 D.79246 ] [143])) 98 {*movsf_1}
(expr_list:REG_DEAD (reg:SF 21 xmm0 [orig:143 D.79246 ] [143])
(nil)))
(insn 4397 4396 854 204 pkg0017.adb:483 (set (reg:SF 8 st)
(mem/c:SF (plus:DI (reg/f:DI 6 bp)
(const_int -1668 [0xfffffffffffff97c])) [0 S4 A32])) 98
{*movsf_1} (nil))
(insn 854 4397 862 204 pkg0017.adb:483 (set (reg:XF 9 st(1) [orig:147 D.79250 ]
[147])
(float_extend:XF (reg:SF 8 st))) 137 {*extendsfxf2_i387}
(expr_list:REG_DEAD (reg:SF 8 st)
(expr_list:REG_EH_REGION (const_int 387 [0x183])
(nil))))
;; End of basic block 204 -> ( 205 220)
...
;; Start of basic block ( 204) -> 220
;; bb 220 artificial_defs: { d-1(0){ }d-1(1){ }}
;; bb 220 artificial_uses: { u-1(6){ }u-1(7){ }u-1(16){ }u-1(20){ }}
;; lr in 6 [bp] 7 [sp] 16 [argp] 20 [frame]
;; lr use 6 [bp] 7 [sp] 16 [argp] 20 [frame]
;; lr def 0 [ax] 1 [dx] 42 [r13]
;; Pred edge 204 (ab,eh)
(code_label 3492 4766 3497 220 941 "" [0 uses])
but in *.stack:
(insn 4396 853 4397 204 pkg0017.adb:483 (set (mem/c:SF (plus:DI (reg/f:DI 6 bp)
(const_int -1668 [0xfffffffffffff97c])) [0 S4 A32])
(reg:SF 21 xmm0 [orig:143 D.79246 ] [143])) 98 {*movsf_1}
(expr_list:REG_DEAD (reg:SF 21 xmm0 [orig:143 D.79246 ] [143])
(nil)))
(insn 4397 4396 862 204 pkg0017.adb:483 (set (reg:SF 8 st)
(mem/c:SF (plus:DI (reg/f:DI 6 bp)
(const_int -1668 [0xfffffffffffff97c])) [0 S4 A32])) 98
{*movsf_1} (nil))
;; End of basic block 204 -> ( 205)
...
;; Start of basic block () -> 220
;; bb 220 artificial_defs: { d-1(0){ }d-1(1){ }}
;; bb 220 artificial_uses: { u-1(6){ }u-1(7){ }u-1(16){ }u-1(20){ }}
;; lr in 6 [bp] 7 [sp] 16 [argp] 20 [frame]
;; lr use 6 [bp] 7 [sp] 16 [argp] 20 [frame]
;; lr def 0 [ax] 1 [dx] 42 [r13]
(code_label 3492 4766 3497 220 941 "" [0 uses])
So, either the float_extend is considered throwing when it shouldn't (when
would float_extend throw? Only for signalling NaN?), or reg-stack.c is
forgetting to cleanup the CFG when it removed insns with REG_EH_REGION. In any
case it definitely doesn't look like var-tracking.c's fault.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (7 preceding siblings ...)
2009-07-10 9:45 ` jakub at gcc dot gnu dot org
@ 2009-07-12 4:41 ` oliver dot kellogg at eads dot com
2009-07-12 5:29 ` oliver dot kellogg at eads dot com
` (4 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: oliver dot kellogg at eads dot com @ 2009-07-12 4:41 UTC (permalink / raw)
To: gcc-bugs
------- Comment #7 from oliver dot kellogg at eads dot com 2009-07-12 04:41 -------
> ------- Comment #2 From Oliver Kellogg 2009-06-30 10:49 [reply] -------
>
> Does not happen with 4.5.0 trunk 20090406 and earlier versions.
Pardon, the version used was 20090314.
Does happen with 20090506 (r147182).
Building 20090406 r145578 now.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (8 preceding siblings ...)
2009-07-12 4:41 ` oliver dot kellogg at eads dot com
@ 2009-07-12 5:29 ` oliver dot kellogg at eads dot com
2009-07-17 17:49 ` oliver dot kellogg at eads dot com
` (3 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: oliver dot kellogg at eads dot com @ 2009-07-12 5:29 UTC (permalink / raw)
To: gcc-bugs
------- Comment #8 from oliver dot kellogg at eads dot com 2009-07-12 05:28 -------
> Building 20090406 r145578 now.
Does not happen there - problem must be between 20090406 and 20090506.
Does further narrowing down make sense?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (9 preceding siblings ...)
2009-07-12 5:29 ` oliver dot kellogg at eads dot com
@ 2009-07-17 17:49 ` oliver dot kellogg at eads dot com
2009-07-17 18:11 ` rguenth at gcc dot gnu dot org
` (2 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: oliver dot kellogg at eads dot com @ 2009-07-17 17:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #9 from oliver dot kellogg at eads dot com 2009-07-17 17:49 -------
Triggered by
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=146776
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (10 preceding siblings ...)
2009-07-17 17:49 ` oliver dot kellogg at eads dot com
@ 2009-07-17 18:11 ` rguenth at gcc dot gnu dot org
2009-11-09 13:49 ` rguenth at gcc dot gnu dot org
2009-11-10 5:39 ` oliver dot kellogg at eads dot com
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-07-17 18:11 UTC (permalink / raw)
To: gcc-bugs
------- Comment #10 from rguenth at gcc dot gnu dot org 2009-07-17 18:11 -------
Honza, this is yours.
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |hubicka at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (11 preceding siblings ...)
2009-07-17 18:11 ` rguenth at gcc dot gnu dot org
@ 2009-11-09 13:49 ` rguenth at gcc dot gnu dot org
2009-11-10 5:39 ` oliver dot kellogg at eads dot com
13 siblings, 0 replies; 15+ messages in thread
From: rguenth at gcc dot gnu dot org @ 2009-11-09 13:49 UTC (permalink / raw)
To: gcc-bugs
------- Comment #11 from rguenth at gcc dot gnu dot org 2009-11-09 13:49 -------
Does this still happen with current trunk, esp. after the EH rewrite?
--
rguenth at gcc dot gnu dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |WAITING
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug debug/40599] [4.5 regression] GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045
2009-06-30 10:29 [Bug ada/40599] New: GCC error in pre_and_rev_post_order_compute, at cfganal.c:1045 oliver dot kellogg at eads dot com
` (12 preceding siblings ...)
2009-11-09 13:49 ` rguenth at gcc dot gnu dot org
@ 2009-11-10 5:39 ` oliver dot kellogg at eads dot com
13 siblings, 0 replies; 15+ messages in thread
From: oliver dot kellogg at eads dot com @ 2009-11-10 5:39 UTC (permalink / raw)
To: gcc-bugs
------- Comment #12 from oliver dot kellogg at eads dot com 2009-11-10 05:38 -------
> Does this still happen with current trunk, esp. after the EH rewrite?
Does not happen with trunk r154034.
Thanks.
--
oliver dot kellogg at eads dot com changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40599
^ permalink raw reply [flat|nested] 15+ messages in thread