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
