Home
last modified time | relevance | path

Searched refs:contains_p (Results 1 – 25 of 68) sorted by relevance

123

/dports/lang/gcc12-devel/gcc-12-20211205/gcc/analyzer/
H A Dstore.h253 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 Dtrimmed-graph.h96 bool contains_p (const exploded_edge *eedge) const in contains_p() function
H A Dsm-malloc.cc214 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 Dstore.cc243 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 Dtrimmed-graph.h96 bool contains_p (const exploded_edge *eedge) const in contains_p() function
H A Dsm-malloc.cc213 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 Dtrimmed-graph.h96 bool contains_p (const exploded_edge *eedge) const in contains_p() function
H A Dsm-malloc.cc213 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 Dtrimmed-graph.h96 bool contains_p (const exploded_edge *eedge) const in contains_p() function
H A Dsm-malloc.cc213 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 Drule_properties.cpp152 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 Drule_properties.cpp152 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 Dvalue-range.cc623 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 Drange-op.cc379 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 Dvalue-range.cc623 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 Drange-op.cc379 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 Dvalue-range.cc623 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 Drange-op.cc379 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 Drange-op.cc482 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 Dvalue-range.cc594 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 Dvalue-range.h89 bool contains_p (tree) const; in class()
H A Drange-op.cc1713 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 Dvalue-range.h89 bool contains_p (tree) const; in class()
H A Drange-op.cc1713 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 Dvalue-range.h89 bool contains_p (tree) const; in class()

123