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

["laurent at guerby dot net" <gcc-bugzilla at gcc dot gnu dot org>]

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