Remove gimple_expr_type uses from value-range code
authorRichard Biener <rguenther@suse.de>
Fri, 16 Jul 2021 12:53:42 +0000 (14:53 +0200)
committerRichard Biener <rguenther@suse.de>
Mon, 19 Jul 2021 05:59:43 +0000 (07:59 +0200)
commit4a21a8c34a707e88f450375e3c7d593be75162f4
treee7bc4d81323b916aa15380088689036ea0111147
parentbdea84c4b5773723fa3ac7fa01f33542093864d5
Remove gimple_expr_type uses from value-range code

This removes the last uses from value-range code.

2021-07-16  Richard Biener  <rguenther@suse.de>

* tree-vrp.c (register_edge_assert_for_2): Use the
type from the LHS.
(vrp_folder::fold_predicate_in): Likewise.
* vr-values.c (gimple_assign_nonzero_p): Likewise.
(vr_values::extract_range_from_comparison): Likewise.
(vr_values::extract_range_from_ubsan_builtin): Use the
type of the first operand.
(vr_values::extract_range_basic): Push down type
computation, use the appropriate LHS.
(vr_values::extract_range_from_assignment): Use the
type of the LHS.
gcc/tree-vrp.c
gcc/vr-values.c