From 42639a36bf2983d4a5adb02f3ab7e8c4bd1023c7 Mon Sep 17 00:00:00 2001 From: Aldy Hernandez Date: Tue, 22 Nov 2022 10:24:06 +0100 Subject: Remove ASSERT_EXPR. This removes all uses of ASSERT_EXPR except the internal one in ipa-*. gcc/ChangeLog: * doc/gimple.texi: Remove ASSERT_EXPR references. * fold-const.cc (tree_expr_nonzero_warnv_p): Same. (fold_binary_loc): Same. (tree_expr_nonnegative_warnv_p): Same. * gimple-array-bounds.cc (get_base_decl): Same. * gimple-pretty-print.cc (dump_unary_rhs): Same. * gimple.cc (get_gimple_rhs_num_ops): Same. * pointer-query.cc (handle_ssa_name): Same. * tree-cfg.cc (verify_gimple_assign_single): Same. * tree-pretty-print.cc (dump_generic_node): Same. * tree-scalar-evolution.cc (scev_dfs::follow_ssa_edge_expr):Same. (interpret_rhs_expr): Same. * tree-ssa-operands.cc (operands_scanner::get_expr_operands): Same. * tree-ssa-propagate.cc (substitute_and_fold_dom_walker::before_dom_children): Same. * tree-ssa-threadedge.cc: Same. * tree-vrp.cc (overflow_comparison_p): Same. * tree.def (ASSERT_EXPR): Add note. * tree.h (ASSERT_EXPR_VAR): Remove. (ASSERT_EXPR_COND): Remove. * vr-values.cc (simplify_using_ranges::vrp_visit_cond_stmt): Remove comment. --- gcc/tree-cfg.cc | 11 ----------- 1 file changed, 11 deletions(-) (limited to 'gcc/tree-cfg.cc') diff --git a/gcc/tree-cfg.cc b/gcc/tree-cfg.cc index d982988..2817531 100644 --- a/gcc/tree-cfg.cc +++ b/gcc/tree-cfg.cc @@ -4795,17 +4795,6 @@ verify_gimple_assign_single (gassign *stmt) } return res; - case ASSERT_EXPR: - /* FIXME. */ - rhs1 = fold (ASSERT_EXPR_COND (rhs1)); - if (rhs1 == boolean_false_node) - { - error ("%qs with an always-false condition", code_name); - debug_generic_stmt (rhs1); - return true; - } - break; - case WITH_SIZE_EXPR: error ("%qs RHS in assignment statement", get_tree_code_name (rhs_code)); -- cgit v1.1