|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
include/llvm/ADT/FoldingSet.h 221 static void Profile(const T &X, FoldingSetNodeID &ID) {
224 static void Profile(T &X, FoldingSetNodeID &ID) {
232 static inline bool Equals(T &X, const FoldingSetNodeID &ID, unsigned IDHash,
240 static inline unsigned ComputeHash(T &X, FoldingSetNodeID &TempID);
250 : public DefaultFoldingSetTrait<T> {};
include/llvm/ADT/ImmutableMap.h 28 using value_type = const std::pair<T,S>;
32 using data_type = const S;
33 using data_type_ref = const S&;
51 return ImutContainerInfo<S>::isEqual(L,R);
56 ImutContainerInfo<S>::Profile(ID, V.second);
include/llvm/ADT/ImmutableSet.h 840 using value_type = const T;
841 using value_type_ref = const T&;
844 FoldingSetTrait<T>::Profile(X,ID);
909 struct ImutContainerInfo : public ImutProfileInfo<T> {
910 using value_type = typename ImutProfileInfo<T>::value_type;
911 using value_type_ref = typename ImutProfileInfo<T>::value_type_ref;
include/llvm/ADT/STLExtras.h 108 Ret (*callback)(intptr_t callable, Params ...params) = nullptr;
112 static Ret callback_fn(intptr_t callable, Params ...params) {
129 Ret operator()(Params ...params) const {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramStateTrait.h 147 using data_type = llvm::ImmutableMap<Key, Data, Info>;
150 using value_type = Data;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/RangedConstraintManager.h 76 RangeSet addRange(Factory &F, const RangeSet &RS) {
76 RangeSet addRange(Factory &F, const RangeSet &RS) {
114 RangeSet Intersect(BasicValueFactory &BV, Factory &F, llvm::APSInt Lower,
116 RangeSet Intersect(BasicValueFactory &BV, Factory &F,
117 const RangeSet &Other) const;
118 RangeSet Negate(BasicValueFactory &BV, Factory &F) const;
122 bool operator==(const RangeSet &other) const {
129 using ConstraintRangeTy = llvm::ImmutableMap<SymbolRef, RangeSet>;
tools/clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp 156 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F,
179 RangeSet RangeSet::Intersect(BasicValueFactory &BV, Factory &F,
180 const RangeSet &Other) const {
184 RangeSet newPiece = Intersect(BV, F, i->From(), i->To());
196 RangeSet RangeSet::Negate(BasicValueFactory &BV, Factory &F) const {
305 RangeSet::Factory F;
307 RangeSet getRange(ProgramStateRef State, SymbolRef Sym);
308 const RangeSet* getRangeForMinusSymbol(ProgramStateRef State,
311 RangeSet getSymLTRange(ProgramStateRef St, SymbolRef Sym,
314 RangeSet getSymGTRange(ProgramStateRef St, SymbolRef Sym,
317 RangeSet getSymLERange(ProgramStateRef St, SymbolRef Sym,
320 RangeSet getSymLERange(llvm::function_ref<RangeSet()> RS,
320 RangeSet getSymLERange(llvm::function_ref<RangeSet()> RS,
323 RangeSet getSymGERange(ProgramStateRef St, SymbolRef Sym,
384 const RangeSet *Ranges = State->get<ConstraintRange>(Sym);
433 static RangeSet assumeNonZero(
435 RangeSet::Factory &F,
437 RangeSet Domain) {
451 static RangeSet applyBitwiseConstraints(
453 RangeSet::Factory &F,
454 RangeSet Input,
479 RangeSet RangeConstraintManager::getRange(ProgramStateRef State,
486 const RangeSet *R = getRangeForMinusSymbol(State, Sym);
502 RangeSet Result(F, BV.getMinValue(T), BV.getMaxValue(T));
520 const RangeSet*
529 if (const RangeSet *negV = State->get<ConstraintRange>(negSym)) {
569 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
584 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
588 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St,
620 RangeSet New = getSymLTRange(St, Sym, Int, Adjustment);
624 RangeSet RangeConstraintManager::getSymGTRange(ProgramStateRef St,
656 RangeSet New = getSymGTRange(St, Sym, Int, Adjustment);
660 RangeSet RangeConstraintManager::getSymGERange(ProgramStateRef St,
692 RangeSet New = getSymGERange(St, Sym, Int, Adjustment);
696 RangeSet RangeConstraintManager::getSymLERange(
697 llvm::function_ref<RangeSet()> RS,
724 RangeSet RangeConstraintManager::getSymLERange(ProgramStateRef St,
735 RangeSet New = getSymLERange(St, Sym, Int, Adjustment);
742 RangeSet New = getSymGERange(State, Sym, From, Adjustment);
745 RangeSet Out = getSymLERange([&] { return New; }, To, Adjustment);
752 RangeSet RangeLT = getSymLTRange(State, Sym, From, Adjustment);
753 RangeSet RangeGT = getSymGTRange(State, Sym, To, Adjustment);
754 RangeSet New(RangeLT.addRange(F, RangeGT));
usr/include/c++/7.4.0/bits/stl_pair.h 101 is_constructible<_T2, const _U2&>>::value;
108 is_convertible<const _U2&, _T2>>::value;
115 is_constructible<_T2, _U2&&>>::value;
115 is_constructible<_T2, _U2&&>>::value;
122 is_convertible<_U2&&, _T2>>::value;
122 is_convertible<_U2&&, _T2>>::value;
129 is_convertible<_U2&&, _T2>>;
134 is_constructible<_T2, _U2&&>,
209 : private __pair_base<_T1, _T2>
212 typedef _T2 second_type; /// @c second_type is the second bound type
215 _T2 second; /// @c second is a copy of the second object
252 using _PCCP = _PCC<true, _T1, _T2>;
260 constexpr pair(const _T1& __a, const _T2& __b)
269 explicit constexpr pair(const _T1& __a, const _T2& __b)
283 _T1, _T2>;
311 constexpr pair(_U1&& __x, const _T2& __y)
318 explicit constexpr pair(_U1&& __x, const _T2& __y)
325 constexpr pair(const _T1& __x, _U2&& __y)
341 constexpr pair(_U1&& __x, _U2&& __y)
380 is_copy_assignable<_T2>>::value,
391 is_move_assignable<_T2>>::value,
403 is_assignable<_T2&, const _U2&>>::value,
403 is_assignable<_T2&, const _U2&>>::value,
405 operator=(const pair<_U1, _U2>& __p)
414 is_assignable<_T2&, _U2&&>>::value,
414 is_assignable<_T2&, _U2&&>>::value,
416 operator=(pair<_U1, _U2>&& __p)
usr/include/c++/7.4.0/type_traits 215 : public __is_void_helper<typename remove_cv<_Tp>::type>::type
326 : public __is_integral_helper<typename remove_cv<_Tp>::type>::type
354 : public __is_floating_point_helper<typename remove_cv<_Tp>::type>::type
381 : public __is_pointer_helper<typename remove_cv<_Tp>::type>::type
567 : public __is_null_pointer_helper<typename remove_cv<_Tp>::type>::type
581 : public __or_<is_lvalue_reference<_Tp>,
582 is_rvalue_reference<_Tp>>::type
588 : public __or_<is_integral<_Tp>, is_floating_point<_Tp>>::type
588 : public __or_<is_integral<_Tp>, is_floating_point<_Tp>>::type
601 : public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
601 : public __not_<__or_<is_function<_Tp>, is_reference<_Tp>,
602 is_void<_Tp>>>::type
611 : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
611 : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
611 : public __or_<is_arithmetic<_Tp>, is_enum<_Tp>, is_pointer<_Tp>,
612 is_member_pointer<_Tp>, is_null_pointer<_Tp>>::type
612 is_member_pointer<_Tp>, is_null_pointer<_Tp>>::type
631 : public __is_member_pointer_helper<typename remove_cv<_Tp>::type>::type
638 : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
638 : public __or_<is_object<_Tp>, is_reference<_Tp>>::type
777 : public __and_<is_array<_Tp>, __not_<extent<_Tp>>>
777 : public __and_<is_array<_Tp>, __not_<extent<_Tp>>>
798 typedef decltype(__test<_Tp>(0)) type;
811 remove_all_extents<_Tp>::type>::type
825 : public __is_destructible_safe<_Tp>::type
984 typedef decltype(__test<_Tp, _Arg>(0)) type;
989 : public __and_<is_destructible<_Tp>,
990 __is_direct_constructible_impl<_Tp, _Arg>>
1072 __is_direct_constructible_ref_cast<_Tp, _Arg>,
1073 __is_direct_constructible_new_safe<_Tp, _Arg>
1079 : public __is_direct_constructible_new<_Tp, _Arg>::type
1119 : public __is_direct_constructible<_Tp, _Arg>
1130 : public __is_constructible_impl<_Tp, _Args...>::type
1286 : public is_assignable<_Tp&, const _Tp&>
1286 : public is_assignable<_Tp&, const _Tp&>
1292 : public __is_copy_assignable_impl<_Tp>
1304 : public is_assignable<_Tp&, _Tp&&>
1304 : public is_assignable<_Tp&, _Tp&&>
1310 : public __is_move_assignable_impl<_Tp>
1526 static void __test_aux(_To1);
1538 typedef decltype(__test<_From, _To>(0)) type;
1545 : public __is_convertible_helper<_From, _To>::type
1554 { typedef _Tp type; };
1558 { typedef _Tp type; };
1563 { typedef _Tp type; };
1574 remove_const<typename remove_volatile<_Tp>::type>::type type;
1659 { typedef _Tp&& type; };
1955 { typedef _Tp type; };