Searched refs:extract_range_from_assert (Results 1 – 17 of 17) sorted by relevance
96 void extract_range_from_assert (value_range_equiv *, tree);
709 vr_values::extract_range_from_assert (value_range_equiv *vr_p, tree expr) in extract_range_from_assert() function1460 extract_range_from_assert (vr, gimple_assign_rhs1 (stmt)); in extract_range_from_assignment()
149 void extract_range_from_assert (value_range_equiv *, tree);
157 * tree-vrp.c (extract_range_from_assert): Create
760 vr_values::extract_range_from_assert (value_range_equiv *vr_p, tree expr) in extract_range_from_assert() function in vr_values1357 extract_range_from_assert (vr, gimple_assign_rhs1 (stmt)); in extract_range_from_assignment()
17020 * tree-vrp.c (extract_range_from_assert): Build POINTER_PLUS_EXPR17443 (extract_range_from_assert): Create18803 (extract_range_from_assert): Set TREE_NO_WARNING when creating an19966 (extract_range_from_assert): Likewise.21748 (extract_range_from_assert): Likewise.21834 (extract_range_from_assert): Do not allocate bitmap here.26925 * tree-vrp.c (extract_range_from_assert): Don't try to handle a27053 (extract_range_from_assert): Likewise.33464 * tree-vrp.c (extract_range_from_assert): CSE calls to
8057 (extract_range_from_assert): Do not call fix_equivalence_set.12221 * tree-vrp.c (extract_range_from_assert): Set the range to VARYING17829 * tree-vrp.c (extract_range_from_assert): Remove special20814 * tree-vrp.c (extract_range_from_assert): When merging a VR_RANGE21776 * tree-vrp.c (extract_range_from_assert): Refine the result range
4827 (extract_range_from_assert): Call it.6330 * tree-vrp.c (extract_range_from_assert): If the new numeric6430 * tree-vrp.c (extract_range_from_assert): For !=12956 * tree-vrp.c (extract_range_from_assert): Replace14431 (extract_range_from_assert): Replace calls to opposite_comparison16501 (extract_range_from_assert): Flip the predicate code if the20914 (extract_range_from_assert): If the integral type has a22065 * tree-vrp.c (extract_range_from_assert,
2162 * tree-vrp.c (extract_range_from_assert): For signed 1-bit precision8846 * tree-vrp.c (extract_range_from_assert): Use the type of18052 * tree-vrp.c (extract_range_from_assert): Likewise.26929 (extract_range_from_assert): Likewise.
23432 * tree-vrp.c (extract_range_from_assert): Make sure to not23836 (extract_range_from_assert): Handle ASSERT_EXPRs
1788 (extract_range_from_assert): Properly canonicalize all21466 * tree-vrp.c (extract_range_from_assert): Split out range
13286 (extract_range_from_assert): Factor out17765 * tree-vrp.c (extract_range_from_assert): Singleton symbolic
13712 * tree-vrp.c (extract_range_from_assert): Fix typo in comment.40407 (extract_range_from_assert): Use wide-int interfaces.
33643 * tree-vrp.c (extract_range_from_assert): For LE_EXPR and LT_EXPR
24351 * tree-vrp.c (extract_range_from_assert,
10513 (extract_range_from_assert): Likewise.
7480 (extract_range_from_assert, extract_range_from_ssa_name): Likewise.