[Bug ada/31036] New: ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[Bug ada/31036] New: ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[laurent at guerby dot net]

These failures were introduced between:

http://gcc.gnu.org/ml/gcc-testresults/2007-03/msg00073.html
LAST_UPDATED: Fri Mar  2 06:18:14 UTC 2007 (revision 122469)

http://gcc.gnu.org/ml/gcc-testresults/2007-03/msg00085.html
LAST_UPDATED: Fri Mar  2 21:02:52 UTC 2007 (revision 122487)

Likely changes:

r122487 | ian | 2007-03-02 21:09:31 +0100 (Fri, 02 Mar 2007) | 35 lines

        Used signed infinities in VRP.
        * tree-vrp.c (uses_overflow_infinity): New static function.
        (supports_overflow_infinity): New static function.
        (make_overflow_infinity): New static function.
        (negative_overflow_infinity): New static function.
        (positive_overflow_infinity): New static function.
        (is_negative_overflow_infinity): New static function.
        (is_positive_overflow_infinity): New static function.
        (is_overflow_infinity): New static function.
        (overflow_infinity_range_p): New static function.
        (compare_values_warnv): New function split out of compare_values.
        (compare_value): Call it.
        (set_value_range_to_nonnegative): Add overflow_infinity
        parameter.  Change caller.
        (vrp_expr_computes_nonnegative): Add strict_overflow_p parameter.
        Change callers.
        (vrp_expr_computes_nonzero): Likewise.
        (compare_ranges, compare_range_with_value): Likewise.
        (compare_name_with_value, compare_names): Likewise.
        (vrp_evaluate_conditional): Likewise.
        (set_value_range): Handle infinity
        (vrp_operand_equal_p, operand_less_p): Likewise.
        (extract_range_from_assert): Likewise.
        (vrp_int_const_binop): Likewise.
        (extract_range_from_binary_expr): Likewise.
        (extract_range_from_unary_expr): Likewise.
        (extract_range_from_comparison): Likewise.
        (extract_range_from_expr): Likewise.
        (dump_value_range): Likewise.
        (vrp_visit_cond_stmt, vrp_visit_phi_node): Likewise.
        (test_for_singularity): Likewise.
        (vrp_int_const_binop): Remove inline qualifier.
        (adjust_range_with_scev): Add comment.
        * tree-flow.h (vrp_evaluate_conditional): Update declaration.

------------------------------------------------------------------------
r122484 | dnovillo | 2007-03-02 20:20:14 +0100 (Fri, 02 Mar 2007) | 17 lines


        * tree-ssa-structalias.c (could_have_pointers): Tidy.
        (get_constraint_for): Likewise.
        (do_structure_copy): Likewise.
        (find_func_aliases): Fix references to MODIFY_EXPR.
        (intra_create_variable_infos): Tidy.
        * tree-ssa-operands.c (add_virtual_operand): Add argument
        IS_CALL_SITE.
        When adding members of alias sets, if IS_CALL_SITE is true and
        the symbol is not call-clobbered, skip it.
        Adjust all callers.


testsuite/ChangeLog

        * gcc.dg/tree-ssa/20070302-1.c: New test.




c41307d.adb: In function 'C41307D':
c41307d.adb:32: error: definition in block 44 does not dominate use in block 42
for SSA_NAME: NMT.250_740 in statement:
NMT.250_1472 = PHI <NMT.250_740(42), NMT.250_748(43)>
PHI argument
NMT.250_740
for PHI node
NMT.250_1472 = PHI <NMT.250_740(42), NMT.250_748(43)>
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070304 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| verify_ssa failed                                                        |
| Error detected at c41307d.adb:255:5                                      |

c85006d.adb: In function 'C85006D':
c85006d.adb:38: error: definition in block 667 does not dominate use in block
804
for SSA_NAME: NMT.2215_4272(ab) in statement:
NMT.2215_6842(ab) = PHI <NMT.2215_4272(ab)(804)>
PHI argument
NMT.2215_4272(ab)
for PHI node
NMT.2215_6842(ab) = PHI <NMT.2215_4272(ab)(804)>
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070304 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| verify_ssa failed                                                        |

cd10002_deriv.ads: In function 'Cd10002_Deriv':
cd10002_deriv.ads:6: error: definition in block 3 does not dominate use in
block 5
for SSA_NAME: NMT.3275_77 in statement:
NMT.3275_42 = PHI <NMT.3275_77(5), NMT.3275_77(3)>
PHI argument
NMT.3275_77
for PHI node
NMT.3275_42 = PHI <NMT.3275_77(5), NMT.3275_77(3)>
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070304 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| verify_ssa failed                                                        |
| Error detected at cd10002_deriv.adb:96:1                                 |

cxaa018.adb: In function 'CXAA018':
cxaa018.adb:57: error: definition in block 77 does not dominate use in block
145
for SSA_NAME: NMT.367_636(ab) in statement:
NMT.367_988(ab) = PHI <NMT.367_636(ab)(75), NMT.367_636(ab)(145)>
PHI argument
NMT.367_636(ab)
for PHI node
NMT.367_988(ab) = PHI <NMT.367_636(ab)(75), NMT.367_636(ab)(145)>
+===========================GNAT BUG DETECTED==============================+
| 4.3.0 20070304 (experimental) (x86_64-unknown-linux-gnu) GCC error:      |
| verify_ssa failed                                                        |
| Error detected at cxaa018.adb:277:5                                      |


-- 
           Summary: ACATS:  verify_ssa failed  for c41307d c85006d cd10002
                    cxaa018
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: laurent at guerby dot net
  GCC host triplet: x86_64-unknown-linux-gnu


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

[Bug ada/31036] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[laurent at guerby dot net]

------- Comment #1 from laurent at guerby dot net  2007-03-04 13:25 -------
No ICE at -O0 but it ICEs at -O1 and -O2


-- 


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

[Bug ada/31036] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[laurent at guerby dot net]

------- Comment #2 from laurent at guerby dot net  2007-03-04 13:28 -------
(gdb)  debug_bb_n (5)
Undefined command: "debug_bb_n".  Try "help".
(gdb) p debug_bb_n (5)
;; basic block 5, loop depth 0, count 0
;; prev block 4, next block 6
;; pred:       4 [31.0%]  (true,exec)
;; succ:       6 [100.0%]  (fallthru,exec)
<L2>:;
D.2751_21 = (character[(long int) <PLACEHOLDER_EXPR struct
string___XUP>.P_BOUNDS->LB0:(long int) <PLACEHOLDER_EXPR struct
string___XUP>.P_BOUNDS->UB0] *) "INCORRECT RESULTS FROM EXPANDED NAME - 2";
# D.2749_363 = VDEF <D.2749_362(D)> { D.2749 }
D.2749.P_ARRAY = D.2751_21;
# D.2749_364 = VDEF <D.2749_363> { D.2749 }
D.2749.P_BOUNDS = &C.76;
# VUSE <D.2749_364> { D.2749 }
# P_365 = VDEF <P_354>
# FRAME.151_366 = VDEF <FRAME.151_355>
# MPT.249_372 = VDEF <MPT.249_361>
# SMT.268_951 = VDEF <SMT.268_949>
# NMT.275_1088 = VDEF <NMT.275_1084>
# NMT.276_1089 = VDEF <NMT.276_1085>
# NMT.277_1090 = VDEF <NMT.277_1086>
# SMT.287_1369 = VDEF <SMT.287_1368> { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
report__failed (D.2749);

$1 = (struct basic_block_def *) 0x2b3f2c5d3600
(gdb) p debug_bb_n (3)
;; basic block 3, loop depth 0, count 0
;; prev block 2, next block 4
;; pred:       2 [31.0%]  (true,exec)
;; succ:       4 [100.0%]  (fallthru,exec)
<L0>:;
D.2740_11 = (character[(long int) <PLACEHOLDER_EXPR struct
string___XUP>.P_BOUNDS->LB0:(long int) <PLACEHOLDER_EXPR struct
string___XUP>.P_BOUNDS->UB0] *) "INCORRECT RESULTS FROM EXPANDED NAME - 1";
# D.2738_328 = VDEF <D.2738_327(D)> { D.2738 }
D.2738.P_ARRAY = D.2740_11;
# D.2738_329 = VDEF <D.2738_328> { D.2738 }
D.2738.P_BOUNDS = &C.75;
# VUSE <D.2738_329> { D.2738 }
# P_330 = VDEF <P_319>
# FRAME.151_331 = VDEF <FRAME.151_320>
# MPT.249_337 = VDEF <MPT.249_326>
# SMT.268_943 = VDEF <SMT.268_941>
# NMT.275_1072 = VDEF <NMT.275_1068>
# NMT.276_1073 = VDEF <NMT.276_1069>
# NMT.277_1074 = VDEF <NMT.277_1070>
# SMT.287_1365 = VDEF <SMT.287_1364> { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
report__failed (D.2738);

$2 = (struct basic_block_def *) 0x2b3f2c5d3500


-- 


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

[Bug ada/31036] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[laurent at guerby dot net]

------- Comment #3 from laurent at guerby dot net  2007-03-04 13:45 -------
Ooops wrong numbers, for c41307d

(gdb) up
#1  0x000000000091c5c8 in verify_use (bb=0x2abaa9552480, def_bb=0x2abaa9552d00,
use_p=0x2abaa9591c38, stmt=0x2abaa9591c00, check_abnormal=0 '\0',
names_defined_in_bb=0x0)
    at /home/guerby/work/gcc/version-head/gcc/tree-ssa.c:244
244           error ("definition in block %i does not dominate use in block
%i",
(gdb) p debug_bb_n(42)
;; basic block 42, loop depth 1, count 0
;; prev block 41, next block 43
;; pred:       48 [31.0%]  (false,exec)
;; succ:       43 [100.0%]  (fallthru,exec)
<L20>:;
# P_742 = VDEF <P_734>
# FRAME.151_743 = VDEF <FRAME.151_735>
# MPT.249_749 = VDEF <MPT.249_741>
# SMT.268_1029 = VDEF <SMT.268_1027>
# NMT.275_1244 = VDEF <NMT.275_1240>
# NMT.276_1245 = VDEF <NMT.276_1241>
# NMT.277_1246 = VDEF <NMT.277_1242>
# SMT.287_1408 = VDEF <SMT.287_1407> { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
report__ident_char (43);

$1 = (struct basic_block_def *) 0x2abaa7b69580
(gdb) p debug_bb_n(43)
;; basic block 43, loop depth 1, count 0
;; prev block 42, next block 44
;; pred:       48 [69.0%]  (true,exec) 42 [100.0%]  (fallthru,exec)
;; succ:       44 [54.0%]  (true,exec) 45 [46.0%]  (false,exec)
# SMT.287_1355 = PHI <SMT.287_1407(48), SMT.287_1408(42)>
# SMT.282_1283 = PHI <SMT.282_1464(48), SMT.282_1464(42)>
# NMT.277_181 = PHI <NMT.277_1242(48), NMT.277_1246(42)>
# NMT.276_186 = PHI <NMT.276_1241(48), NMT.276_1245(42)>
# NMT.275_150 = PHI <NMT.275_1240(48), NMT.275_1244(42)>
# SMT.274_119 = PHI <SMT.274_1468(48), SMT.274_1468(42)>
# SMT.269_926 = PHI <SMT.269_1469(48), SMT.269_1469(42)>
# SMT.268_911 = PHI <SMT.268_1027(48), SMT.268_1029(42)>
# MPT.249_263 = PHI <MPT.249_741(48), MPT.249_749(42)>
# NMT.248_249 = PHI <NMT.248_740(48), NMT.248_748(42)>
# NMT.247_235 = PHI <NMT.247_739(48), NMT.247_747(42)>
# NMT.246_221 = PHI <NMT.246_738(48), NMT.246_746(42)>
# FRAME.151_179 = PHI <FRAME.151_735(48), FRAME.151_743(42)>
# P_165 = PHI <P_734(48), P_742(42)>
lab1:;
# P_750 = VDEF <P_165>
# FRAME.151_751 = VDEF <FRAME.151_179>
# MPT.249_757 = VDEF <MPT.249_263>
# SMT.268_1031 = VDEF <SMT.268_911>
# NMT.275_1248 = VDEF <NMT.275_150>
# NMT.276_1249 = VDEF <NMT.276_186>
# NMT.277_1250 = VDEF <NMT.277_181>
# SMT.287_1409 = VDEF <SMT.287_1355> { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
new_var_70 = report__ident_char (45);
i_72 = i_809 + 1;
ivtmp.289_1417 = ivtmp.289_1416 - 1;
new_var_1415 = new_var_70;
# P_758 = VDEF <P_750>
# FRAME.151_759 = VDEF <FRAME.151_751>
# MPT.249_765 = VDEF <MPT.249_757>
# SMT.268_1033 = VDEF <SMT.268_1031>
# NMT.275_1252 = VDEF <NMT.275_1248>
# NMT.276_1253 = VDEF <NMT.276_1249>
# NMT.277_1254 = VDEF <NMT.277_1250>
# SMT.287_1410 = VDEF <SMT.287_1409> { P FRAME.151 MPT.249 SMT.268 NMT.275
NMT.276 NMT.277 SMT.287 }
D.2805_73 = report__ident_char (45);
if (new_var_1415 != D.2805_73) goto <L23>; else goto <L24>;

$2 = (struct basic_block_def *) 0x2abaa7b69600


-- 


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

[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2007-03-04 17:39 -------
Could you say which pass is causing this invalid IR to show up?


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|ada                         |tree-optimization
            Summary|ACATS:  verify_ssa failed   |[4.3 Regression] ACATS:
                   |for c41307d c85006d cd10002 |verify_ssa failed  for
                   |cxaa018                     |c41307d c85006d cd10002
                   |                            |cxaa018
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[laurent at guerby dot net]

------- Comment #5 from laurent at guerby dot net  2007-03-04 18:26 -------
(gdb) bt
#0  error (gmsgid=0xcaba20 "definition in block %i does not dominate use in
block %i") at /home/guerby/work/gcc/version-head/gcc/diagnostic.c:548
#1  0x000000000091c5c8 in verify_use (bb=0x2ac849e1f480, def_bb=0x2ac849e1fd00,
use_p=0x2ac849e5ec38, stmt=0x2ac849e5ec00, check_abnormal=0 '\0',
names_defined_in_bb=0x0)
    at /home/guerby/work/gcc/version-head/gcc/tree-ssa.c:244
#2  0x000000000091e2c2 in verify_phi_args (phi=0x2ac849e5ec00,
bb=0x2ac849e1fd00, definition_block=0x16a0a20) at
/home/guerby/work/gcc/version-head/gcc/tree-ssa.c:343
#3  0x000000000091e7b9 in verify_ssa (check_modified_stmt=1 '\001') at
/home/guerby/work/gcc/version-head/gcc/tree-ssa.c:617
#4  0x00000000007a0ba5 in execute_function_todo (data=<value optimized out>) at
/home/guerby/work/gcc/version-head/gcc/passes.c:911
#5  0x00000000007a090d in execute_todo (flags=48) at
/home/guerby/work/gcc/version-head/gcc/passes.c:932
#6  0x00000000007a0dea in execute_one_pass (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1077
#7  0x00000000007a0f4c in execute_pass_list (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1107
#8  0x00000000007a0f5e in execute_pass_list (pass=0x101df00) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1108
#9  0x00000000007a0f5e in execute_pass_list (pass=0x101d3c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1108
#10 0x000000000086d967 in tree_rest_of_compilation (fndecl=0x2ac849772e00) at
/home/guerby/work/gcc/version-head/gcc/tree-optimize.c:412
#11 0x000000000041e92c in gnat_expand_body (gnu_decl=0xcaba20) at
/home/guerby/work/gcc/version-head/gcc/ada/misc.c:672
#12 0x00000000009a6bf0 in cgraph_expand_function (node=0x2ac8497a5620) at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1015
#13 0x00000000009a8e72 in cgraph_optimize () at
/home/guerby/work/gcc/version-head/gcc/cgraphunit.c:1084
#14 0x0000000000420039 in gnat_write_global_declarations () at
/home/guerby/work/gcc/version-head/gcc/ada/utils.c:3774
#15 0x000000000081aaab in toplev_main (argc=<value optimized out>, argv=<value
optimized out>) at /home/guerby/work/gcc/version-head/gcc/toplev.c:1034
#16 0x00002ac848c168e4 in __libc_start_main () from /lib/libc.so.6
#17 0x0000000000403d49 in _start ()


(gdb) f 6
#6  0x00000000007a0dea in execute_one_pass (pass=0x101e2c0) at
/home/guerby/work/gcc/version-head/gcc/passes.c:1077
1077      execute_todo (todo_after | pass->todo_flags_finish);
(gdb) p *pass
$1 = {name = 0xca7323 "cunroll", gate = 0x8df010 <gate_tree_complete_unroll>,
execute = 0x8df0b0 <tree_complete_unroll>, sub = 0x0, next = 0x101e320,
static_pass_number = 103, tv_id = 64, 
  properties_required = 72, properties_provided = 0, properties_destroyed = 0,
todo_flags_start = 0, todo_flags_finish = 65, letter = 0 '\0'}


-- 


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

[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[dnovillo at gcc dot gnu dot org]

------- Comment #6 from dnovillo at gcc dot gnu dot org  2007-03-04 18:37 -------

I've just reproduced these failures locally.  Two options:

1- The Ada FE is somehow tricking alias analysis into thinking that some
call-clobbered symbols are not call-clobbered.

2- Alias analysis is not properly marking some call-clobbered symbols.

Tell me how I generate the .adb file from its .ada source?  What I see in
acats.log does not work.
gnatmake --GCC="/home/dnovillo/gcc/native.clean/bld/gcc/xgcc
-B/home/dnovillo/gcc/native.clean/bld/gcc/" -gnatws -O2
-I/home/dnovillo/gcc/native.clean/bld/gcc/testsuite/ada/acats/support
c41307d.adb -largs --GCC="/home/dnovillo/gcc/native.clean/bld/gcc/xgcc
-B/home/dnovillo/gcc/native.clean/bld/gcc/"
/home/dnovillo/gcc/native.clean/bld/gcc/xgcc -c
-B/home/dnovillo/gcc/native.clean/bld/gcc/ -gnatws -O2
-I/home/dnovillo/gcc/native.clean/bld/gcc/testsuite/ada/acats/support
c41307d.adb


-- 

dnovillo at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |dnovillo at gcc dot gnu dot
                   |dot org                     |org
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-04 18:37:21
               date|                            |


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

[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[laurent at guerby dot net]

------- Comment #7 from laurent at guerby dot net  2007-03-04 18:44 -------
If you have a run directory:
cd gcc/testsuite/ada/acats/tests/c4/c41307d
gdb  .../gcc/x86_64-unknown-linux-gnu/4.3.0/gnat1
r -I../../../support -quiet -dumpbase c41307d.adb -O1 -mtune=generic
c41307d.adb

If not cd somewhere then
gnatchop .../version-head/gcc/testsuite/ada/acats/tests/c4/c41307d.ada 
gnatchop ../version-head/gcc/testsuite/ada/acats/support/rep*
gcc -c -O1 c41307d.adb


-- 


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

[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[dnovillo at gcc dot gnu dot org]

------- Comment #8 from dnovillo at gcc dot gnu dot org  2007-03-04 19:04 -------
(In reply to comment #7)
> If you have a run directory:
> cd gcc/testsuite/ada/acats/tests/c4/c41307d
> gdb  .../gcc/x86_64-unknown-linux-gnu/4.3.0/gnat1
> r -I../../../support -quiet -dumpbase c41307d.adb -O1 -mtune=generic
> c41307d.adb
> 
> If not cd somewhere then
> gnatchop .../version-head/gcc/testsuite/ada/acats/tests/c4/c41307d.ada 
> gnatchop ../version-head/gcc/testsuite/ada/acats/support/rep*
> gcc -c -O1 c41307d.adb
> 


Thanks.  It's one of these three symbols:

c41307d: This symbols is not marked call-clobbered: C.83
c41307d: This symbols is not marked call-clobbered: C.84
c41307d: This symbols is not marked call-clobbered: C.87

These symbols are in the alias set of a call-clobbered memory tag.  When the
operand scanner is adding VDEFs for this call-clobbered tag, it goes through
the set of aliases adding VDEF operands for them.  However, since these symbols
are not marked as call-clobbered, the operand scanner is ignoring them.

For now, I'm suspecting a bug in alias analysis because according to the alias
dumps, the variables are all considered global and addressable.  We are not
discovering that their address escape.


-- 


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

[Bug tree-optimization/31036] [4.3 Regression] ACATS: verify_ssa failed for c41307d c85006d cd10002 cxaa018

[pinskia at gcc dot gnu dot org]

------- Comment #9 from pinskia at gcc dot gnu dot org  2007-03-04 19:07 -------
> c41307d: This symbols is not marked call-clobbered: C.83
> c41307d: This symbols is not marked call-clobbered: C.84
> c41307d: This symbols is not marked call-clobbered: C.87

Those are constants decls so they should not matter if they escape or not
really because they are never changed.


-- 


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

[Bug tree-optimization/31036] [4.3 Regression] verify_ssa failure for ACATS c41307d c85006d cd10002 cxaa018

[ebotcazou at gcc dot gnu dot org]

------- Comment #10 from ebotcazou at gcc dot gnu dot org  2007-06-09 08:40 -------
http://gcc.gnu.org/ml/gcc-testresults/2007-06/msg00304.html


-- 

ebotcazou at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED


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