/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/ |
H A D | store.h | 253 bool contains_p (bit_offset_t offset) const in contains_p() function 259 bool contains_p (const bit_range &other, bit_range *out) const; 300 bool contains_p (byte_offset_t offset) const in contains_p() function 305 bool contains_p (const byte_range &other, byte_range *out) const;
|
H A D | trimmed-graph.h | 96 bool contains_p (const exploded_edge *eedge) const in contains_p() function
|
H A D | sm-malloc.cc | 214 virtual bool contains_p (const deallocator *d) const = 0; 246 bool contains_p (const deallocator *d) const FINAL OVERRIDE; 262 bool contains_p (const deallocator *d) const FINAL OVERRIDE; 545 custom_deallocator_set::contains_p (const deallocator *d) const in contains_p() function in ana::__anond91b4c270111::custom_deallocator_set 589 standard_deallocator_set::contains_p (const deallocator *d) const in contains_p() function in ana::__anond91b4c270111::standard_deallocator_set 1812 if (!astate->m_deallocators->contains_p (d)) in on_deallocator_call() 1870 if (!astate->m_deallocators->contains_p (&m_free.m_deallocator)) in on_realloc_call()
|
H A D | store.cc | 243 bit_range::contains_p (const bit_range &other, bit_range *out) const in contains_p() function in ana::bit_range 245 if (contains_p (other.get_start_bit_offset ()) in contains_p() 246 && contains_p (other.get_last_bit_offset ())) in contains_p() 414 byte_range::contains_p (const byte_range &other, byte_range *out) const in contains_p() function in ana::byte_range 416 if (contains_p (other.get_start_byte_offset ()) in contains_p() 417 && contains_p (other.get_last_byte_offset ())) in contains_p() 1583 if (reg_range.contains_p (bound_range, &subrange)) in maybe_get_compound_binding() 1600 else if (bound_range.contains_p (reg_range, &subrange)) in maybe_get_compound_binding()
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/analyzer/ |
H A D | trimmed-graph.h | 96 bool contains_p (const exploded_edge *eedge) const in contains_p() function
|
H A D | sm-malloc.cc | 213 virtual bool contains_p (const deallocator *d) const = 0; 245 bool contains_p (const deallocator *d) const FINAL OVERRIDE; 261 bool contains_p (const deallocator *d) const FINAL OVERRIDE; 538 custom_deallocator_set::contains_p (const deallocator *d) const in contains_p() function in ana::__anon725c5bc70111::custom_deallocator_set 582 standard_deallocator_set::contains_p (const deallocator *d) const in contains_p() function in ana::__anon725c5bc70111::standard_deallocator_set 1760 if (!astate->m_deallocators->contains_p (d)) in on_deallocator_call()
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/analyzer/ |
H A D | trimmed-graph.h | 96 bool contains_p (const exploded_edge *eedge) const in contains_p() function
|
H A D | sm-malloc.cc | 213 virtual bool contains_p (const deallocator *d) const = 0; 245 bool contains_p (const deallocator *d) const FINAL OVERRIDE; 261 bool contains_p (const deallocator *d) const FINAL OVERRIDE; 538 custom_deallocator_set::contains_p (const deallocator *d) const in contains_p() function in ana::__anon673aeb840111::custom_deallocator_set 582 standard_deallocator_set::contains_p (const deallocator *d) const in contains_p() function in ana::__anon673aeb840111::standard_deallocator_set 1760 if (!astate->m_deallocators->contains_p (d)) in on_deallocator_call()
|
/dports/lang/gcc11/gcc-11.2.0/gcc/analyzer/ |
H A D | trimmed-graph.h | 96 bool contains_p (const exploded_edge *eedge) const in contains_p() function
|
H A D | sm-malloc.cc | 213 virtual bool contains_p (const deallocator *d) const = 0; in get_cpu_global_timer() 245 bool contains_p (const deallocator *d) const FINAL OVERRIDE; in get_cpu_global_timer() 261 bool contains_p (const deallocator *d) const FINAL OVERRIDE; in get_cpu_global_timer() 538 custom_deallocator_set::contains_p (const deallocator *d) const in get_cpu_global_timer() 582 standard_deallocator_set::contains_p (const deallocator *d) const in get_cpu_global_timer() 1760 if (!astate->m_deallocators->contains_p (d)) in get_cpu_global_timer()
|
/dports/math/z3/z3-z3-4.8.13/src/muz/base/ |
H A D | rule_properties.cpp | 152 context::contains_pred contains_p(m_ctx); in check_existential_tail() local 153 check_pred check_pred(contains_p, m); in check_existential_tail()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/ |
H A D | rule_properties.cpp | 152 context::contains_pred contains_p(m_ctx); in check_existential_tail() local 153 check_pred check_pred(contains_p, m); in check_existential_tail()
|
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ |
H A D | value-range.cc | 623 return contains_p (val); in value_inside_range() 658 irange::contains_p (tree cst) const in contains_p() function in irange 670 return numeric_range.contains_p (cst); in contains_p() 2246 ASSERT_FALSE (i1.contains_p (build_int_cst (integer_type_node, 15))); in range_tests_int_range_max() 2414 ASSERT_TRUE (r1.contains_p (INT (7))); in range_tests_misc() 2417 ASSERT_TRUE (r1.contains_p (SCHAR(15))); in range_tests_misc() 2418 ASSERT_FALSE (r1.contains_p (SCHAR(300))); in range_tests_misc() 2502 ASSERT_TRUE (vv.contains_p (UINT (2))); in range_tests_misc() 2510 ASSERT_TRUE (r0.contains_p (UINT (2))); in range_tests_misc()
|
H A D | range-op.cc | 379 if (lhs.contains_p (build_zero_cst (lhs.type ()))) in get_bool_state() 1693 if (!lhs_refined.contains_p (build_zero_cst (type))) in op1_range() 1882 if (!lhs.contains_p (build_zero_cst (lhs.type ()))) in op1_range() 1993 else if (lh.contains_p (build_zero_cst (lh.type ())) in fold_range() 1994 || rh.contains_p (build_zero_cst (rh.type ()))) in fold_range() 2324 if (!lhs.contains_p (build_zero_cst (type))) in set_nonzero_range_from_mask() 3167 else if (!lh.contains_p (build_zero_cst (lh.type ()))) in fold_range() 3644 ASSERT_TRUE (res.contains_p (val)); in range_op_lshift_tests() 3705 ASSERT_FALSE (op1.contains_p (UINT (3))); in range_op_rshift_tests() 3714 ASSERT_FALSE (op1.contains_p (INT (-2))); in range_op_rshift_tests()
|
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ |
H A D | value-range.cc | 623 return contains_p (val); in value_inside_range() 658 irange::contains_p (tree cst) const in contains_p() function in irange 670 return numeric_range.contains_p (cst); in contains_p() 2246 ASSERT_FALSE (i1.contains_p (build_int_cst (integer_type_node, 15))); in range_tests_int_range_max() 2414 ASSERT_TRUE (r1.contains_p (INT (7))); in range_tests_misc() 2417 ASSERT_TRUE (r1.contains_p (SCHAR(15))); in range_tests_misc() 2418 ASSERT_FALSE (r1.contains_p (SCHAR(300))); in range_tests_misc() 2502 ASSERT_TRUE (vv.contains_p (UINT (2))); in range_tests_misc() 2510 ASSERT_TRUE (r0.contains_p (UINT (2))); in range_tests_misc()
|
H A D | range-op.cc | 379 if (lhs.contains_p (build_zero_cst (lhs.type ()))) in get_bool_state() 1693 if (!lhs_refined.contains_p (build_zero_cst (type))) in op1_range() 1882 if (!lhs.contains_p (build_zero_cst (lhs.type ()))) in op1_range() 1993 else if (lh.contains_p (build_zero_cst (lh.type ())) in fold_range() 1994 || rh.contains_p (build_zero_cst (rh.type ()))) in fold_range() 2324 if (!lhs.contains_p (build_zero_cst (type))) in set_nonzero_range_from_mask() 3167 else if (!lh.contains_p (build_zero_cst (lh.type ()))) in fold_range() 3644 ASSERT_TRUE (res.contains_p (val)); in range_op_lshift_tests() 3705 ASSERT_FALSE (op1.contains_p (UINT (3))); in range_op_rshift_tests() 3714 ASSERT_FALSE (op1.contains_p (INT (-2))); in range_op_rshift_tests()
|
/dports/lang/gcc11/gcc-11.2.0/gcc/ |
H A D | value-range.cc | 623 return contains_p (val); in value_inside_range() 658 irange::contains_p (tree cst) const in contains_p() function in irange 670 return numeric_range.contains_p (cst); in contains_p() 2246 ASSERT_FALSE (i1.contains_p (build_int_cst (integer_type_node, 15))); in range_tests_int_range_max() 2414 ASSERT_TRUE (r1.contains_p (INT (7))); in range_tests_misc() 2417 ASSERT_TRUE (r1.contains_p (SCHAR(15))); in range_tests_misc() 2418 ASSERT_FALSE (r1.contains_p (SCHAR(300))); in range_tests_misc() 2502 ASSERT_TRUE (vv.contains_p (UINT (2))); in range_tests_misc() 2510 ASSERT_TRUE (r0.contains_p (UINT (2))); in range_tests_misc()
|
H A D | range-op.cc | 379 if (lhs.contains_p (build_zero_cst (lhs.type ()))) in get_bool_state() 1693 if (!lhs_refined.contains_p (build_zero_cst (type))) in op1_range() 1882 if (!lhs.contains_p (build_zero_cst (lhs.type ()))) in op1_range() 1993 else if (lh.contains_p (build_zero_cst (lh.type ())) in fold_range() 1994 || rh.contains_p (build_zero_cst (rh.type ()))) in fold_range() 2324 if (!lhs.contains_p (build_zero_cst (type))) in set_nonzero_range_from_mask() 3167 else if (!lh.contains_p (build_zero_cst (lh.type ()))) in fold_range() 3644 ASSERT_TRUE (res.contains_p (val)); in range_op_lshift_tests() 3705 ASSERT_FALSE (op1.contains_p (UINT (3))); in range_op_rshift_tests() 3714 ASSERT_FALSE (op1.contains_p (INT (-2))); in range_op_rshift_tests()
|
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ |
H A D | range-op.cc | 482 if (lhs.contains_p (build_zero_cst (lhs.type ()))) in get_bool_state() 554 if (!lhs.contains_p (build_zero_cst (lhs.type ()))) in op1_op2_relation() 664 if (!lhs.contains_p (build_zero_cst (lhs.type ()))) in op1_op2_relation() 834 if (!lhs.contains_p (build_zero_cst (lhs.type ()))) in op1_op2_relation() 2075 if (!lhs.contains_p (build_zero_cst (type))) in op1_range() 2496 || rh.contains_p (build_zero_cst (rh.type ()))) in fold_range() 2832 if (!lhs.contains_p (build_zero_cst (type))) in set_nonzero_range_from_mask() 4279 ASSERT_TRUE (res.contains_p (val)); in range_op_lshift_tests() 4340 ASSERT_FALSE (op1.contains_p (UINT (3))); in range_op_rshift_tests() 4349 ASSERT_FALSE (op1.contains_p (INT (-2))); in range_op_rshift_tests() [all …]
|
H A D | value-range.cc | 594 return contains_p (val); in value_inside_range() 629 irange::contains_p (tree cst) const in contains_p() function in irange 641 return numeric_range.contains_p (cst); in contains_p() 2297 ASSERT_FALSE (i1.contains_p (build_int_cst (integer_type_node, 15))); in range_tests_int_range_max() 2475 ASSERT_TRUE (r1.contains_p (INT (7))); in range_tests_misc() 2478 ASSERT_TRUE (r1.contains_p (SCHAR(15))); in range_tests_misc() 2479 ASSERT_FALSE (r1.contains_p (SCHAR(300))); in range_tests_misc() 2563 ASSERT_TRUE (vv.contains_p (UINT (2))); in range_tests_misc() 2571 ASSERT_TRUE (r0.contains_p (UINT (2))); in range_tests_misc()
|
/dports/lang/gcc10/gcc-10.3.0/gcc/ |
H A D | value-range.h | 89 bool contains_p (tree) const; in class()
|
H A D | range-op.cc | 1713 else if (lh.contains_p (build_zero_cst (lh.type ())) in fold_range() 1714 || rh.contains_p (build_zero_cst (rh.type ()))) in fold_range() 2548 else if (!lh.contains_p (build_zero_cst (lh.type ()))) in fold_range() 2914 ASSERT_TRUE (r1.contains_p (INT (7))); in range_tests() 2917 ASSERT_TRUE (r1.contains_p (SCHAR(15))); in range_tests() 2918 ASSERT_FALSE (r1.contains_p (SCHAR(300))); in range_tests()
|
/dports/devel/avr-gcc/gcc-10.2.0/gcc/ |
H A D | value-range.h | 89 bool contains_p (tree) const; in class()
|
H A D | range-op.cc | 1713 else if (lh.contains_p (build_zero_cst (lh.type ())) in fold_range() 1714 || rh.contains_p (build_zero_cst (rh.type ()))) in fold_range() 2548 else if (!lh.contains_p (build_zero_cst (lh.type ()))) in fold_range() 2914 ASSERT_TRUE (r1.contains_p (INT (7))); in range_tests() 2917 ASSERT_TRUE (r1.contains_p (SCHAR(15))); in range_tests() 2918 ASSERT_FALSE (r1.contains_p (SCHAR(300))); in range_tests()
|
/dports/lang/gcc10-devel/gcc-10-20211008/gcc/ |
H A D | value-range.h | 89 bool contains_p (tree) const; in class()
|